Publications
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, 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, 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, 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, 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, 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)
