|
SYNOPSIS publications
Doctoral Thesis(2) Licentiate Thesis(3) Journal article(5)-
A Method to Generate Reusable Safety Case Argument-Fragments from Compositional Safety Analysis (2016-07-25)Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano PuriJournal 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 (2015-12-31)Barbara Gallina, Luciana ProvenzanoAda User Journal 36 (4) (AUJ- 36 (4))
-
10 Years of research on debugging concurrent and multicore software: a systematic mapping study (2015-12-04)Sara Abbaspour, Daniel Sundmark, Sigrid Eldh, Hans Hansson, Wasif AfzalSoftware Quality Journal(Software Qual J)
-
Towards Partitioned Hierarchical Real-Time Scheduling on Multi-core Processors (2014-06-01)Mikael Åsberg, Thomas Nolte, Shinpei KatoACM 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 (2014-05-01)Patrick Graydon, Iain BateThe Computer Journal(Comput. J.)
Conference/Workshop Paper(78)-
Using Safety Contracts to Verify Design Assumptions During Runtime (2018-06-21)Omar Jaradat, Sasikumar Punnekkat23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 (Ada-Europe-2018 )
-
AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems (2017-10-23)Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul PetterssonThe 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 (2017-10-23)Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson, Martin TorelmThe 28th International Symposium on Software Reliability Engineering (ISSRE) - IEEE(ISSRE 2017)
-
Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases (2017-09-04)Omar Jaradat, Iain BateEuropean Dependable Computing Conference(EDCC'17)
-
Risk-based Decision-making Fallacies: Why Present Functional Safety Standards Are Not Enough (2017-04-04)Andreas Johnsen, Gordana Dodig-Crnkovic, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson2nd International Workshop on Decision Making in Software Architecture(MARCH)
-
Towards Cloud-Based Enactment of Safety-Related Processes (2016-09-23)Sami Alajrami, Barbara Gallina, Irfan Sljivo, Alexander Romanovsky, Petter Isberg35th International Conference on Computer Safety, Reliability and Security(SafeComp2016)
-
Systematic Maintenance of Safety Cases to Reduce Risk (2016-09-20)Omar Jaradat, Iain Bate4th International Workshop on Assurance Cases for Software-intensive Systems(ASSURE2016)
-
Configuration-aware Contracts (2016-09-01)Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson4th International Workshop on Assurance Cases for Software-intensive Systems(ASSURE2016)
-
A Model for Systematic Monitoring and Debugging of Starvation Bugs in Multicore Software (2016-08-03)Sara Abbaspour, Mehrdad Saadatmand, Sigrid Eldh, Daniel Sundmark, Hans HanssonASE Workshop on Specification, Comprehension, Testing and Debugging of Concurrent Programs(SCTDCP2016)
-
Enhanced PCB Based Slicing (2016-06-25)Husni Khanfar, Björn LisperFifth International Valentin Turchin Workshop on Metacomputation(META 2016 )
-
Deriving Safety Case Fragments for Assessing MBASafe’s Compliance with EN 50128 (2016-06-10)Barbara Gallina, Elena Gómez-Martínez, Clara Benac Earle16th International SPICE Conference on Process Improvement and Capability dEtermination(SPICE-2016)
-
A Study on Concurrency Bugs in an Open Source Software (2016-06-02)Sara Abbaspour, Daniel Sundmark, Sigrid Eldh, Hans Hansson, Eduard Paul Enoiu12th International Conference on Open Source Systems(OSS'16)
-
AQAF: an Architecture Quality Assurance Framework for systems modeled in AADL (2016-04-05)Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Martin Torelm, Paul Pettersson12th International ACM SIGSOFT Conference on the Quality of Software Architectures(QoSA)
-
EXE-SPEM: Towards Cloud-Based Executable Software Process Models (2016-02-26)Sami Alajrami, Barbara Gallina, Alexander Romanovsky4th International Conference on Model-Driven Engineering and Software Development(MODELSWARD-2016)
-
Ontology-based Identification of Commonalities and Variabilities among Safety Processes (2015-12-07)Barbara Gallina, Zoltan Szatmari16 th International Conference on Product-Focused Software Process Improvement(PROFES-2015)
-
Deriving Hierarchical Safety Contracts (2015-11-20)Omar Jaradat, Iain BateThe 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 (2015-11-18)Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans HanssonThe 21st IEEE Pacific Rim International Symposium on Dependable Computing(PRDC 2015)
-
Influential Nuisance Factors on a Decision of Sufficient Testing (2015-11-18)Mahnaz Malekzadeh, Iain BateThe 15th International Conference on Algorithms and Architectures for Parallel Processing(ICA3PP'15)
-
A Survey on Testing for Cyber Physical System (2015-11-09)Sara Abbaspour, Rafia Inam, Hans HanssonThe 27th International Conference on Testing Software and Systems(ICTSS 2015)
-
Benefits of Security-informed Safety-oriented Process Line Engineering (2015-09-30)Barbara Gallina, Laurent FabreDigital Avionics Systems Conference(DASC-34)
-
Towards Classification of Concurrency Bugs Based on Observable Properties (2015-09-01)Sara Abbaspour, Hans Hansson, Daniel Sundmark, Sigrid EldhInternational Workshop on Complex faUlts and Failures in LargE Software (COUFLESS 15)
-
Using Design of Experiments to Optimise a Decision of Sufficient Testing (2015-08-26)Mahnaz Malekzadeh, Iain Bate, Sasikumar PunnekkatThe 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 (2015-06-29)Barbara Gallina, Luciana ProvenzanoThe 20th International Conference on Reliable Software Technologies(Ada-Europe-2015)
-
Using Sensitivity Analysis to Facilitate The Maintenance of Safety Cases (2015-06-29)Omar Jaradat, Iain Bate, Sasikumar PunnekkatThe 20th International Conference on Reliable Software Technologies(Ada-Europe-2015)
-
Formal Assurance Arguments: A Solution In Search of a Problem? (2015-06-26)Patrick GraydonThe 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks(DSN)
-
Static Backward Program Slicing for Safety Critical Systems (2015-06-22)Husni Khanfar, Björn Lisper, Abu Naser MasudThe 20th International Conference on Reliable Software Technologies(Ada-Europe-2015)
-
Facilitating the Maintenance of Safety Cases (2015-06-05)Omar Jaradat, Iain Bate, Sasikumar PunnekkatThe 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 (2015-05-25)Barbara Gallina5th International Workshop on Product LinE Approaches in Software Engineering(PLEASE-15)
-
Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems (2015-01-08)Irfan Sljivo, Omar Jaradat, Iain Bate, Patrick Graydon16th IEEE International Symposium on High Assurance Systems Engineering(HASE 2015)
-
A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis (2015-01-06)Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano PuriThe 14th International Conference on Software Reuse(ICSR2015)
-
Facilitating Certication Artefacts Reuse Using Safety Contracts (2015-01-04)Irfan SljivoInternational Conference on Software Reuse Doctoral Symposium(ICSR DS 2015)
-
Static Backward Demand-Driven Slicing (2015-01-04)Björn Lisper, Abu Naser Masud, Husni KhanfarACM Sigplan-Sigact Symposium on Partial Evaluation and Program Manipulation(PEPM)
-
The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward (2014-11-19)
-- Best Paper Award--
Patrick Graydon, Iain BateThe 20th IEEE Pacific Rim International Symposium on Dependable Computing(PRDC 2014)
-
THRUST: a Method for Speeding up the Creation of Process-related Deliverables (2014-11-15)Barbara Gallina, Kristina Lundqvist, Kristina ForsbergDigital Avionics Systems Conference(DASC-33)
-
A Model-driven Safety Certification Method for Process Compliance (2014-11-07)Barbara Gallina2nd International Workshop on Assurance Cases for Software-intensive Systems, joint event of ISSRE 2014.(ASSURE 2014)
-
Cost Optimisation in Certification of Software Product Lines (2014-11-03)Ricardo Rodríguez, Sasikumar PunnekkatIEEE International Workshop on Software Certification(wosocer14)
-
Enabling Cross-domain Reuse of Tool Qualification Certification Artefacts (2014-09-15)Barbara Gallina, Shaghayegh Kashiyarandi, Karlheinz Zugsbrati, Arjan Geven1st International Workshop on DEvelopment, Verification and VAlidation of cRiTical Systems, SAFECOMP Workshop(DEVVARTS 2014)
-
Generation of Safety Case Argument-Fragments from Safety Contracts (2014-09-10)Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans HanssonThe 33rd International Conference on Computer Safety, Reliability and Security(SafeComp 2014)
-
Towards a Clearer Understanding of Context and Its Role in Assurance Argument Confidence (2014-09-10)Patrick GraydonThe 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 (2014-07-25)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 (2014-07-03)Stephan Baumgart, Xiaodi Zhang, Joakim Fröberg, Sasikumar PunnekkatInternational Conference on Embedded Systems 2014(ICES2014)
-
Mixed Criticality Scheduling in Fault-Tolerant Distributed Real-time Systems (2014-07-03)Abhilash Thekkilakattil, Radu Dobrin, Sasikumar PunnekkatInternational Conference on Embedded Systems 2014(ICES2014)
-
Regression Verification of AADL Models through Slicing of System Dependence Graphs (2014-06-27)Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Kaj HänninenTenth International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA'14)
-
Making an ALARP Decision of Sufficient Testing (2014-01-11)Mahnaz Malekzadeh, Iain Bate15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014)
-
On the Nature and Content of Safety Contracts (2014-01-11)Patrick Graydon, Iain Bate15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014)
-
Assuring Safety for Component Based Software Engineering (2014-01-10)Iain Bate, Philippa Conmy15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014)
-
Safety Assurance Driven Problem Formulation for Mixed-Criticality Scheduling (2013-12-03)Patrick Graydon, Iain Bate1st International Workshop on Mixed Criticality Systems(WMC 2013)
-
Improving Reliability of Real-Time Systems through Value and Time Voting (2013-12-02)Hüseyin Aysan, Iain Bate, Patrick Graydon, Sasikumar PunnekkatThe 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2013)
-
Strong and Weak Contract Formalism for Third-Party Component Reuse (2013-11-05)Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson3rd International Workshop on Software Certification(WoSoCer 2013)
-
A Perspective on Safety Argumentation: Aims, Achievements, Challenges, and Opportunities (2013-10-28)Patrick GraydonFirst International Workshop on Argument for Agreement and Assurance(AAA 2013)
-
Elaboration of Safety Requirements (2013-10-10)Kristina Forsberg, Eva Mårbring Isaksson, Barbara Gallina, Kristina Lundqvist, Achille Penna32nd Digital Avionics Systems Conference(DASC 2013)
-
An Experimental Evaluation of Synchronization Protocol Mechanisms in the Domain of Hierarchical Fixed-Priority Scheduling (2013-10-01)Mikael Åsberg, Moris Behnam, Thomas Nolte21st IEEE International Conference on Real-Time Networks and Systems(RTNS'13)
-
Efficient embedded systems education by adopting component based software development paradigm (2013-09-06)Sasikumar PunnekkatSEAA 2013 - Workshop on Teaching, Education and Training for Dependable Embedded and Cyberphysical Systems (SEAA2013WsTeach)
-
TDDHQ: Achieving Higher Quality Testing in Test Driven Development (2013-09-04)Adnan Causevic, Sasikumar Punnekkat, Daniel Sundmark39th Euromicro Conference on Software Engineering and Advanced Applications(SEAA 2013)
-
Fast Linux Bootup using Non-Intrusive Methods for Predictable Industrial Embedded Systems (2013-09-01)Mikael Åsberg, Thomas Nolte, Mikael Joki, Jimmy Hogbrink18th IEEE International Conference on Emerging Technology & Factory Automation
-
VROOM & cC: a Method to Build Safety Cases for ISO 26262-compliant Product Lines (2013-09-01)Barbara Gallina, Antonio Gallucci, Kristina Lundqvist, Mattias NybergNext Generation of System Assurance Approaches for Safety-Critical Systems(SASSUR 2013)
-
S-TunExSPEM: Towards an Extension of SPEM 2.0 to Model and Exchange Tuneable Safety-oriented Processes (2013-08-01)Barbara Gallina, Karthik Raja Pitchai, Kristina LundqvistSoftware Engineering Research, Management and Applications(SERA 2013)
-
Uncertainty and Confidence in Safety Logic (2013-08-01)Patrick Graydon31st International System Safety Conference(ISSC'13)
-
Towards Partitioned Hierarchical Real-Time Scheduling on Multi-core Processors (2013-08-01)Mikael Åsberg, Thomas Nolte, Shinpei Kato1st International Workshop on Virtualization for Real-Time Embedded Systems (VtRES13)
-
The Role of Architectural Model Checking in Conducting Preliminary Safety Assessment (2013-08-01)Omar Jaradat, Patrick Graydon, Iain Bate31st International System Safety Conference(ISSC'13)
-
Searching for the Minimum Failures that Can Cause a Hazard in a Wireless Sensor Network (2013-07-06)Iain Bate, Mark FairbairnGenetic and Evolutionary Computation Conference(GECCO 2013)
-
Fostering Reuse within Safety-critical Component-based Systems through Fine-grained Contracts (2013-06-18)Irfan Sljivo, Jan Carlson, Barbara Gallina, Hans HanssonInternational Workshop on Critical Software Component Reusability and Certification across Domains(CSC2013)
-
Resource Sharing Using the Rollback Mechanism in Hierarchically Scheduled Real-Time Open Systems (2013-04-01)Mikael Åsberg, Thomas Nolte, Moris Behnam19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS13)
-
A Statistical Response-Time Analysis of Real-Time Embedded Systems (2012-12-01)Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean33rd IEEE Real-Time Systems Symposium (RTSS12)
-
Towards a User-Mode Approach to Partitioned Scheduling in the seL4 Microkernel (2012-12-01)Mikael Åsberg, Thomas Nolte5th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS12)
-
Agile Practices in Regulated Railway Software Development (2012-11-27)Henrik Jonsson, Stig Larsson, Sasikumar Punnekkat23rd IEEE International Symposium on Software Reliability Engineering(ISSRE'12)
-
From Fault Injection to Mutant Injection: the Next Step for Safety Analysis? (2012-11-01)Guillermo Rodriguez-Navas, Patrick Graydon, Iain BateHardware and Software: Verification and Testing. Proc. of the 8th International Haifa Verification Conference, HVC 2012
-
A Method to Formally Evaluate Safety Case Arguments against a System Architecture Model (2012-11-01)Stefan Björnander, Rikard Land, Patrick Graydon, Kristina Lundqvist, Philippa Conmy2nd edition of the IEEE Workshop on Software Certification (WoSoCER2012)
-
Industrial Experiences of Building a Safety Case in Compliance with ISO 26262 (2012-11-01)Raghad Dardar, Barbara Gallina, Andreas Johnsen, Kristina Lundqvist, Mattias Nyberg2nd International Workshop on Software Certification(WoSoCER 2012)
-
Towards a Safety-oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification. (2012-10-01)Barbara Gallina, Irfan Sljivo, Omar Jaradat35th Annual IEEE Software Engineering Workshop (FedCSIS Conference)(SEW-36)
-
Automated Verification of AADL-Specifications Using UPPAAL (2012-10-01)Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat14th IEEE International Symposium on High Assurance Systems Engineering (HASE 2012)
-
Towards using the Graphics Processing Unit (GPU) for Embedded Systems (2012-09-01)Daniel Hallmans, Mikael Åsberg, Thomas Nolte17th IEEE International Conference on Emerging Technologies & Factory Automation(ETFA'12)
-
Better, Faster, Cheaper, and Safer Too – Is This Really Possible? (2012-09-01)
-- Best Paper Award--
Iain Bate, Hans Hansson, Sasikumar PunnekkatETFA2012 - 17th IEEE Intl Conf. on Emerging Technologies for Factory automation
-
Efficient Software Component Reuse in Safety-Critical Systems – An Empirical Study (2012-09-01)Rikard Land, Mikael Åkerholm, Jan Carlson31st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2012)
-
ExSched: An External CPU Scheduler Framework for Real-Time Systems (2012-08-01)Mikael Åsberg, Thomas Nolte, Shinpei Kato, Ragunathan Rajkumar18th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA12)
-
Understanding the Role of Transmission Power in Component-Based Architectures for Adaptive WSN (2012-07-01)Guillermo Rodriguez-Navas, Miquel A. Ribot, Bartomeu AlordaThe 4th IEEE International Workshop on Component-Based Design of Resource-Constrained Systems
-
Liability for Software in Safety-Critical Mechatronic Systems: An Industrial Questionnaire (2012-06-01)Holger Kienle, Daniel Sundmark, Kristina Lundqvist, Andreas Johnsen2nd International Workshop on Software Engineering for Embedded Systems (SEES 2012)
-
On Voting Strategies for Loosely Synchronized Dependable Real-Time Systems (2012-06-01)Hüseyin Aysan, Radu Dobrin, Sasikumar Punnekkat, Iain Bate7th IEEE International Symposium on Industrial Embedded Systems
Report - MRTC(6)-
Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases: An Example (2017-04-15)Omar Jaradat, Iain Bate
-
Improving the Stop-Test Decision When Testing Data are Slow to Converge (2016-08-18)Mahnaz Malekzadeh, Iain BateMRTC Report, Mälardalen Real-Time Research Centre(MRTC2016)
-
Empirical Validation of the Architecture Quality Assurance Framework (AQAF): A Technical Report (2016-01-11)Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Kaj Hänninen, Martin Torelm
-
Using Safety Contracts to Guide the Integration of Reusable Safety Elements within ISO 26262 (2015-03-09)Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans HanssonMRTC Report, Mälardalen Real-Time Research Centre(MRTC 2015)
-
On-Demand Slicing (2014-05-08)Husni Khanfar
-
Evaluating the Run-Time Performance of Synthesised Resource-Reservation Schedulers Using TAtoC, UPPAAL and Frama-C (2013-12-09)Mikael Åsberg, Paul Pettersson, Thomas Nolte
Proceedings (Editor)(1) Keynote Lecture(4)
|