Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 99 (showing 1 - 50)

Doctoral Thesis (2)

Contracts-Based Maintenance of Safety Cases (Nov 2018)
Omar Jaradat

Assurance Aware Contract-Based Design for Safety-Critical Systems (Sep 2018)
Irfan Sljivo

Licentiate Thesis (3)

An ALARP stop test decision for the worst case timing characteristics of safety-critical systems (Sep 2016)
Mahnaz Malekzadeh

Enhancing the Maintainability of Safety Cases Using Safety Contracts (Nov 2015)
Omar Jaradat

Facilitating Reuse of Safety Case Artefacts Using Safety Contracts (Jun 2015)
Irfan Sljivo

Journal article (5)

A Method to Generate Reusable Safety Case Argument-Fragments from Compositional Safety Analysis (Jul 2016)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri
Journal of Systems and Software: Special Issue on Software Reuse (SR-JSS 2016)

Deriving Reusable Process-based Arguments from Process Models in the Context of Railway Safety Standards (Dec 2015)
Barbara Gallina, Luciana Provenzano
Ada User Journal 36 (4) (AUJ- 36 (4))

10 Years of research on debugging concurrent and multicore software: a systematic mapping study (Dec 2015)
Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson, Wasif Afzal
Software Quality Journal (Software Qual J)

Towards Partitioned Hierarchical Real-Time Scheduling on Multi-core Processors (Jun 2014)
Mikael Åsberg, Thomas Nolte, Shinpei Kato
ACM SIGBED Review. Special Issue on Workshop on Virtualization for Real-Time Embedded Systems (VtRES 2013) (SIGBED Review)

Realistic Safety Cases for the Timing of Systems (May 2014)
Patrick Graydon, Iain Bate
The Computer Journal (Comput. J.)

Conference/Workshop Paper (78)

Using Safety Contracts to Verify Design Assumptions During Runtime (Jun 2018)
Omar Jaradat, Sasikumar Punnekkat
23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 (Ada-Europe-2018 )

AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems (Oct 2017)
Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson
The 28th International Symposium on Software Reliability Engineering (ISSRE) - IEEE (ISSRE 2017)

Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool (Oct 2017)
Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson, Martin Torelm
The 28th International Symposium on Software Reliability Engineering (ISSRE) - IEEE (ISSRE 2017)

Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases (Sep 2017)
Omar Jaradat, Iain Bate
European Dependable Computing Conference (EDCC'17)

Risk-based Decision-making Fallacies: Why Present Functional Safety Standards Are Not Enough (Apr 2017)
Andreas Johnsen, Gordana Dodig-Crnkovic, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson
2nd International Workshop on Decision Making in Software Architecture (MARCH)

Towards Cloud-Based Enactment of Safety-Related Processes (Sep 2016)
Sami Alajrami , Barbara Gallina, Irfan Sljivo, Alexander Romanovsky , Petter Isberg
35th International Conference on Computer Safety, Reliability and Security (SafeComp2016)

Systematic Maintenance of Safety Cases to Reduce Risk (Sep 2016)
Omar Jaradat, Iain Bate
4th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE2016)

Configuration-aware Contracts (Sep 2016)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
4th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE2016)

A Model for Systematic Monitoring and Debugging of Starvation Bugs in Multicore Software (Aug 2016)
Sara Abbaspour Asadollah, Mehrdad Saadatmand, Sigrid Eldh, Daniel Sundmark, Hans Hansson
ASE Workshop on Specification, Comprehension, Testing and Debugging of Concurrent Programs (SCTDCP2016)

Enhanced PCB Based Slicing (Jun 2016)
Husni Khanfar, Björn Lisper
Fifth International Valentin Turchin Workshop on Metacomputation (META 2016 )

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)

A Study on Concurrency Bugs in an Open Source Software (Jun 2016)
Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson, Eduard Paul Enoiu
12th International Conference on Open Source Systems (OSS'16)

AQAF: an Architecture Quality Assurance Framework for systems modeled in AADL (Apr 2016)
Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Martin Torelm , Paul Pettersson
12th International ACM SIGSOFT Conference on the Quality of Software Architectures (QoSA)

EXE-SPEM: Towards Cloud-Based Executable Software Process Models (Feb 2016)
Sami Alajrami , Barbara Gallina, Alexander Romanovsky
4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD-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)

Deriving Hierarchical Safety Contracts (Nov 2015)
Omar Jaradat, Iain Bate
The 21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015)

Using Safety Contracts to Guide the Integration of Reusable Safety Elements within ISO 26262 (Nov 2015)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
The 21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015)

Influential Nuisance Factors on a Decision of Sufficient Testing (Nov 2015)
Mahnaz Malekzadeh, Iain Bate
The 15th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP'15)

A Survey on Testing for Cyber Physical System (Nov 2015)
Sara Abbaspour Asadollah, Rafia Inam, Hans Hansson
The 27th International Conference on Testing Software and Systems (ICTSS 2015)

Benefits of Security-informed Safety-oriented Process Line Engineering (Sep 2015)
Barbara Gallina, Laurent Fabre
Digital Avionics Systems Conference (DASC-34)

Towards Classification of Concurrency Bugs Based on Observable Properties (Sep 2015)
Sara Abbaspour Asadollah, Hans Hansson, Daniel Sundmark, Sigrid Eldh
International Workshop on Complex faUlts and Failures in LargE Software (COUFLESS 15)

Using Design of Experiments to Optimise a Decision of Sufficient Testing (Aug 2015)
Mahnaz Malekzadeh, Iain Bate, Sasikumar Punnekkat
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)

Using Sensitivity Analysis to Facilitate The Maintenance of Safety Cases (Jun 2015)
Omar Jaradat, Iain Bate, Sasikumar Punnekkat
The 20th International Conference on Reliable Software Technologies (Ada-Europe-2015)

Formal Assurance Arguments: A Solution In Search of a Problem? (Jun 2015)
Patrick Graydon
The 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

Static Backward Program Slicing for Safety Critical Systems (Jun 2015)
Husni Khanfar, Björn Lisper, Abu Naser Masud
The 20th International Conference on Reliable Software Technologies (Ada-Europe-2015)

Facilitating the Maintenance of Safety Cases (Jun 2015)
Omar Jaradat, Iain Bate, Sasikumar Punnekkat
The 3rd International Conference on Reliability, Safety and Hazard - Advances in Reliability, Maintenance and Safety (ICRES-ARMS'15)

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)

Static Backward Demand-Driven Slicing (Jan 2015)
Björn Lisper, Abu Naser Masud, Husni Khanfar
ACM Sigplan-Sigact Symposium on Partial Evaluation and Program Manipulation (PEPM)

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)

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)

Items per page: