Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 40

Conference/Workshop Paper (36)

Deriving Safety Case Fragments for Assessing MBASafe’s Compliance with EN 50128 (Jun 2016)
Barbara Gallina, Elena Gómez-Martínez , Clara Benac Earle
16th International SPICE Conference on Process Improvement and Capability dEtermination (SPICE-2016)

Ontology-based Identification of Commonalities and Variabilities among Safety Processes (Dec 2015)
Barbara Gallina, Zoltan Szatmari
16 th International Conference on Product-Focused Software Process Improvement (PROFES-2015)

Enhancing Model-Based Engineering of Product Lines by Adding Functional Safety (Oct 2015)
Stephan Baumgart, Joakim Fröberg , Sasikumar Punnekkat
International Workshop on Modelling in Automotive Software Engineering (MASE'15)

Graphical Approach for Modeling of Safety and Variability in Product Lines (Aug 2015)
Stephan Baumgart, Aleksandra Salikiryaki , Iliana Petrova
41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA15)

Predicting the Effort for Functional Safety in Product Lines (Aug 2015)
Stephan Baumgart, Ditmar Parmeza
The 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA'15)

Deriving Reusable Process-based Arguments from Process Models in the Context of Railway Safety Standards (Jun 2015)
Barbara Gallina, Luciana Provenzano
The 20th International Conference on Reliable Software Technologies (Ada-Europe-2015)

Towards Enabling Reuse in the Context of Safety-critical Product Lines (May 2015)
Barbara Gallina
5th International Workshop on Product LinE Approaches in Software Engineering (PLEASE-15)

Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems (Jan 2015)
Irfan Sljivo, Omar Jaradat, Iain Bate, Patrick Graydon
16th IEEE International Symposium on High Assurance Systems Engineering (HASE 2015)

A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis (Jan 2015)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri
The 14th International Conference on Software Reuse (ICSR2015)

Facilitating Certi cation Artefacts Reuse Using Safety Contracts (Jan 2015)
Irfan Sljivo
International Conference on Software Reuse Doctoral Symposium (ICSR DS 2015)

The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward (Nov 2014) -- Best Paper Award--
Patrick Graydon, Iain Bate
The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014)

THRUST: a Method for Speeding up the Creation of Process-related Deliverables (Nov 2014)
Barbara Gallina, Kristina Lundqvist, Kristina Forsberg
Digital Avionics Systems Conference (DASC-33)

A Model-driven Safety Certification Method for Process Compliance (Nov 2014)
Barbara Gallina
2nd International Workshop on Assurance Cases for Software-intensive Systems, joint event of ISSRE 2014. (ASSURE 2014)

Cost Optimisation in Certification of Software Product Lines (Nov 2014)
Ricardo Rodríguez , Sasikumar Punnekkat
IEEE International Workshop on Software Certification (wosocer14)

Enabling Cross-domain Reuse of Tool Qualification Certification Artefacts (Sep 2014)
Barbara Gallina, Shaghayegh Kashiyarandi, Karlheinz Zugsbrati, Arjan Geven
1st International Workshop on DEvelopment, Verification and VAlidation of cRiTical Systems, SAFECOMP Workshop (DEVVARTS 2014)

Generation of Safety Case Argument-Fragments from Safety Contracts (Sep 2014)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
The 33rd International Conference on Computer Safety, Reliability and Security (SafeComp 2014)

Towards a Clearer Understanding of Context and Its Role in Assurance Argument Confidence (Sep 2014)
Patrick Graydon
The 33rd International Conference on Computer Safety, Reliability and Security (SafeComp 2014)

Industrial Challenges to Achieve Functional Safety Compliance in Product Lines (Aug 2014)
Stephan Baumgart, Joakim Fröberg , Sasikumar Punnekkat
The 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2014)

Modeling a Safety- and Automotive-oriented Process Line to Enable Reuse and Flexible Process Derivation (Jul 2014)
Barbara Gallina, Shaghayegh Kashiyarandi, Helmut Martin, Robert Bramberger
8th IEEE International Workshop Quality-Oriented Reuse of Software (QUORS’14)

Variability Management in Product Lines of Safety Critical Embedded Systems (Jul 2014)
Stephan Baumgart, Xiaodi Zhang , Joakim Fröberg , Sasikumar Punnekkat
International Conference on Embedded Systems 2014 (ICES2014)

Challenges for Reuse in a Safety-Critical Context: A State-of-Practice Study (Apr 2014)
Helmut Martin, Stephan Baumgart, Andrea Leitner , Daniel Watzenig
SAE 2014 World Congress & Exhibition (SAE 2014)

Assuring Safety for Component Based Software Engineering (Jan 2014)
Iain Bate, Philippa Conmy
15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014)

Strong and Weak Contract Formalism for Third-Party Component Reuse (Nov 2013)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
3rd International Workshop on Software Certification (WoSoCer 2013)

A Perspective on Safety Argumentation: Aims, Achievements, Challenges, and Opportunities (Oct 2013)
Patrick Graydon
First International Workshop on Argument for Agreement and Assurance (AAA 2013)

Efficient embedded systems education by adopting component based software development paradigm (Sep 2013)
Sasikumar Punnekkat
SEAA 2013 - Workshop on Teaching, Education and Training for Dependable Embedded and Cyberphysical Systems (SEAA2013WsTeach)

S-TunExSPEM: Towards an Extension of SPEM 2.0 to Model and Exchange Tuneable Safety-oriented Processes (Aug 2013)
Barbara Gallina, Karthik Raja Pitchai, Kristina Lundqvist
Software Engineering Research, Management and Applications (SERA 2013)

Uncertainty and Confidence in Safety Logic (Aug 2013)
Patrick Graydon
31st International System Safety Conference (ISSC'13)

Towards Automatic Verification of Safety Properties in AADL System Models (Aug 2013) -- Best Paper Award--
Stefan Björnander, Patrick Graydon, Rikard Land
31st International System Safety Conference (ISSC'13)

Fostering Reuse within Safety-critical Component-based Systems through Fine-grained Contracts (Jun 2013)
Irfan Sljivo, Jan Carlson, Barbara Gallina, Hans Hansson
International Workshop on Critical Software Component Reusability and Certification across Domains (CSC2013)

Agile Practices in Regulated Railway Software Development (Nov 2012)
Henrik Jonsson, Stig Larsson , Sasikumar Punnekkat
23rd IEEE International Symposium on Software Reliability Engineering (ISSRE'12)

A Method to Formally Evaluate Safety Case Arguments against a System Architecture Model (Nov 2012)
Stefan Björnander, Rikard Land, Patrick Graydon, Kristina Lundqvist, Philippa Conmy
2nd edition of the IEEE Workshop on Software Certification (WoSoCER2012)

Industrial Experiences of Building a Safety Case in Compliance with ISO 26262 (Nov 2012)
Raghad Dardar , Barbara Gallina, Andreas Johnsen, Kristina Lundqvist, Mattias Nyberg
2nd International Workshop on Software Certification (WoSoCER 2012)

Towards a Safety-oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification. (Oct 2012)
Barbara Gallina, Irfan Sljivo, Omar Jaradat
35th Annual IEEE Software Engineering Workshop (FedCSIS Conference) (SEW-36)

Better, Faster, Cheaper, and Safer Too – Is This Really Possible? (Sep 2012) -- Best Paper Award--
Iain Bate, Hans Hansson, Sasikumar Punnekkat
ETFA2012 - 17th IEEE Intl Conf. on Emerging Technologies for Factory automation

Efficient Software Component Reuse in Safety-Critical Systems – An Empirical Study (Sep 2012)
Rikard Land, Mikael Åkerholm, Jan Carlson
31st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2012)

Towards Efficient Functional Safety Certification of Construction Machinery using a Component-based Approach (Jun 2012)
Stephan Baumgart, Joakim Fröberg , Sasikumar Punnekkat
Product LinE Approaches in Software Engineering 2012 (PLEASE 2012)

Proceedings (Editor) (1)

Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering (Jul 2014)
Lionel Seinturier , Eduardo Santana de Almeida , Jan Carlson
The 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE'14)

Keynote Lecture (3)

Survival in the Dynamic Landscape of Verification, Validation and Certification
Sasikumar Punnekkat
9th International conference on the Quality of Information and Communication Technology (QUATIC2014)

Critical Infrastructure Protection: the eternal return of dependability-related essential principles (Sep 2014)
Barbara Gallina
1st International Workshop on Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI-2014)

Towards Composable Safety (Keynote) (Sep 2012)
Hans Hansson
31st Intl Conf. on Compter Safety, Reliability, and Security (SAFECOMP 2012)

Items per page: