Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Thomas Peikenkamp, Antonella Cavallo, Laura Valacca, Eckard Böde, Matthias Pretzer, Ernst Moritz Hahn |
Towards a Unified Model-Based Safety Assessment. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jang-Soo Lee, Arndt Lindner, Jong-Gyun Choi, Horst Miedl, Kee-Choon Kwon |
Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Holger Giese, Matthias Tichy |
Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia |
Towards Filtering and Alerting Rule Rewriting on Single-Component Policies. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
NIDSs, Policy Anomalies, Network Security, Firewalls |
1 | Igor Nai Fovino, Marcelo Masera |
Through the Description of Attacks: A Multidimensional View. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
Security assessment, Attack Pattern |
1 | Mark-Alexander Sujan, Michael D. Harrison, Alison Steven, Pauline H. Pearson, Susan J. Vernon |
Demonstration of Safety in Healthcare Organisations. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Norbert Oster, Francesca Saglietti |
Automatic Test Data Generation by Multi-objective Optimisation. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
testing, evolutionary algorithms, data flow, mutation testing, object-oriented software, automated test data generation |
1 | Marcin Szpyrka, Tomasz Szmuc |
Verification of Automatic Train Protection Systems with RTCP-Nets. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Aneta Poniszewska-Maranda |
Access Control Coherence of Information Systems Based on Security Constraints. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hall-May, Tim Kelly |
Using Agent-Based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | I-Hsin Chou, Chin-Feng Fan |
Regulatory Software Configuration Management System Design. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Kirsten Berkenkötter, Ulrich Hannemann |
Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tomasz Gierszewski, Wojciech Molisz, Jacek Rak |
On Certain Behavior of Scale-Free Networks Under Malicious Attacks. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach, Marco Bozzano |
Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Martin Schlager, Wolfgang Herzner, Andreas Wolf, Oliver Gründonner, Maximilian Rosenblattl, Erwin Erkinger |
Encapsulating Application Subsystems Using the DECOS Core OS. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Santen |
Stepwise Development of Secure Systems. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Won Jay Song, Moon Kyo Cho, Im Sook Há, Mun Kee Choi |
Healthcare System Architecture, Economic Value, and Policy Models in Large-Scale Wireless Sensor Networks. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Robert Alexander, Dimitar Kazakov, Tim Kelly |
System of Systems Hazard Analysis Using Simulation and Machine Learning. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Rupert Schlick, Wolfgang Herzner, Thierry Le Sergent |
Checking SCADE Models for Correct Usage of Physical Units. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
physical units, dependable embedded systems, model based software development, SCADE, DECOS, verification, safety, error detection |
1 | Mário Brito, John May |
Gaining Confidence in the Software Development Process Using Expert Systems. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Janusz Górski (eds.) |
Computer Safety, Reliability, and Security, 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Dawid Trawczynski, Janusz Sosnowski, Janusz Zalewski |
A Tool for Databus Safety Analysis Using Fault Injection. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Byungryong Kim |
Using Group Overlapping to Protect Server from Attack in Grid Computing. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Eimantas Garsva |
Computer System Survivability Modelling by Using Stochastic Activity Network. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Fredrik Törner, Per Johannessen, Peter Öhman |
Assessment of Hazard Identification Methods for the Automotive Domain. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Cholda, Jerzy Domzal, Andrzej Jajszczyk, Krzysztof Wajda |
Reliability Analysis of Resilient Packet Rings. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Bengt Ljungquist, Thomas Thelin |
An IEC 62061 Compliant Safety System Design Method for Machinery. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hall-May, Tim Kelly |
Defining and Decomposing Safety Policy for Systems of Systems. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rune Winther, Bjørn Axel Gran, Gustav Dahll (eds.) |
Computer Safety, Reliability, and Security, 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Nawal Addouche, Christian Antoine, Jacky Montmain |
Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | George Bearfield, William Marsh 0001 |
Generalising Event Trees Using Bayesian Networks with a Case Study of Train Derailment. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ola Løkberg, Øystein Skogstad |
Functional Apportioning of Safety Requirements on Railway Signalling Systems. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tom Gilb |
Design Evaluation: Estimating Multiple Critical Performance and Cost Impacts of Designs. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Anjali Joshi, Mats Per Erik Heimdahl |
Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Felici |
Evolutionary Safety Analysis: Motivations from the Air Traffic Management Domain. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea |
Safety Interfaces for Component-Based Systems. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Herzner, Stephan Ramberger, Thomas Länger, Christian Reumann, Thomas Gruber 0004, Christian Sejkora |
Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Software. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jose J. Gonzalez |
Towards a Cyber Security Reporting System - A Quality Improvement Process. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Robert Martinez, Torgeir Enkerud |
The Importance of Single-Source Engineering of Emergency and Process Shutdown Systems. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Martin Skambraks |
A Safety-Related PES for Task-Oriented Real-Time Execution Without Asynchronous Interrupts. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Atoosa P.-J. Thunem |
Security Research from a Multi-disciplinary and Multi-sectoral Perspective. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha |
Control and Data Flow Testing on Function Block Diagrams. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Lei Wang 0023, Mingde Zhao, Zengwei Zheng, Zhaohui Wu 0001 |
End-To-End Worst-Case Response Time Analysis for Hard Real-Time Distributed Systems. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Edoardo Campagnano, Ester Ciancamerla, Michele Minichino, Enrico Tronci |
Automatic Analysis of a Safety Critical Tele Control System. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Zeshan Kurd, Tim P. Kelly |
Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof Sacha |
Automatic Code Generation for PLC Controllers. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Brahim Hamid, Mohamed Mosbah 0001 |
A Formal Model for Fault-Tolerance in Distributed Systems. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Distributed systems, Local computations, Graph rewriting systems |
1 | Terje Sivertsen, Rune Fredriksen, Atoosa P.-J. Thunem, Jan-Erik Holmberg, Janne Valkonen, Olli Ventä, Jan-Ove Andersson |
The TACO Approach for Traceability and Communication of Requirements. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Monica Kristiansen |
Finding Upper Bounds for Software Failure Probabilities - Experiments and Results. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ruben Alexandersson, D. Krishna Chaitanya, Peter Öhman, Yasir Siraj |
A Technique for Fault Tolerance Assessment of COTS Based Systems. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Qiang Yan 0002, Huaying Shu |
The Application of an Object-Oriented Method in Information System Security Evaluation. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Peter G. Bishop, Robin E. Bloomfield, Sofia Guerra, Konstantinos Tourlas |
Justification of Smart Sensors for Nuclear Applications. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jose Antonio Fonseca, Jorge Rady de Almeida Jr. |
CMMI RAMS Extension Based on CENELEC Railway Standard. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Meine van der Meulen, Lorenzo Strigini, Miguel A. Revilla |
On the Effectiveness of Run-Time Checks. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jan Henry Nyström, Philip W. Trinder, David J. King |
Are High-Level Languages Suitable for Robust Telecoms Software?. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Denis Hatebur, Maritta Heisel |
Problem Frames and Architectures for Security Problems. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tage Stabell-Kulø, Simone Lupetti |
Public-Key Cryptography and Availability. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hamid R. Zarandi, Seyed Ghassem Miremadi |
A Highly Fault Detectable Cache Architecture for Dependable Computing. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Linas Laibinis, Elena Troubitsyna |
Refinement of Fault Tolerant Control Systems in B. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann (eds.) |
Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | D. Rehage, Udo B. Carl, M. Merkel, A. Vahl |
The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | D. Essame |
Handling Safety Critical Requirements in System Engineering Using the B Formal Method . |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Guido Herrtwich |
Automotive Telematics - Road Safety Versus IT Security? |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | E. Dillon, Christophe Meudec |
Automatic Test Data Generation from Embedded C Code. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Holger Pfeifer, Friedrich W. von Henke |
Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bettina Buth |
Analysing Mode Confusion: An Approach Using FDR2. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | J. G. W. Bentley, Peter G. Bishop, Meine van der Meulen |
An Empirical Exploration of the Difficulty Function. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Antonio Orazzo |
A Hybrid Testing Methodology for Railway Control Systems. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Aldini, Marco Bernardo 0001 |
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ester Ciancamerla, Michele Minichino |
Performability Measures of the Public Mobile Network of a Tele Control System. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Pfitzmann |
Why Safety and Security Should and Will Merge. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Titos Saridakis |
Towards the Integration of Fault, Resource, and Power Management. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Kaiser, Catharina Gramlich |
State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Zeshan Kurd, Tim Kelly |
Using Fuzzy Self-Organising Maps for Safety Critical Systems. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Junbeom Yoo, Sung Deok Cha, Han Seong Son, Chang Hwoi Kim, Jang-Soo Lee |
PLC-Based Safety Critical Software Development for Nuclear Power Plants. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | João Durães, Marco Vieira, Henrique Madeira |
Dependability Benchmarking of Web-Servers. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bjørn Axel Gran, Rune Fredriksen, Atoosa P.-J. Thunem |
An Approach for Model-Based Risk Assessment. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michael Vollmer 0002 |
Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | James M. Armstrong, Stephen Paynter |
The Deconstruction of Safety Arguments Through Adversarial Counter-Argument. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Shamus P. Smith, Michael D. Harrison, Bastiaan A. Schupp |
How Explicit Are the Barriers to Failure in Safety Arguments? |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Holger Giese, Matthias Tichy, Daniela Schilling |
Compositional Hazard Analysis of UML Component and Deployment Models. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Lars-Henrik Eriksson |
Using Formal Methods in a Retrospective Safety Case. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach, R. Cross |
Safety Requirements and Fault Trees Using Retrenchment. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michael Cebulla |
Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
Analysis and Modeling, Formal Methods, Human Factors |
1 | Per Johannessen, Fredrik Törner, Jan Torin |
Actuator Based Hazard Analysis for Safety Critical Systems. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Rae, Daniel Jackson 0001, Prasad Ramanan, Jay Flanz, Didier Leyman |
Critical Feature Analysis of a Radiotherapy Machine. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Kimberly S. Wasson, John C. Knight, Elisabeth A. Strunk, Sean R. Travis |
Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Atte Helminen, U. Pulkkinen |
Quantitative Reliability Estimation of a Computer-Based Motor Protection Relay Using Bayesian Networks. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | N. Storey, Alastair Faulkner |
The Characteristics of Data in Data-Intensive Safety-Related Systems. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Chris W. Johnson 0001 |
The Application of Causal Analysis Techniques for Computer-Related Mishaps. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Gilmore, Leïla Kloul |
A Unified Tool for Performance Modelling and Prediction. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Magnos Martinello, Mohamed Kaâniche, Karama Kanoun |
Web Service Availability - Impact of Error Recovery. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Shamus P. Smith, Michael D. Harrison |
Reuse in Hazard Analysis: Identification and Support. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | M. Thomas |
Issues in Safety Assurance. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Guy Dewsbury, Ian Sommerville, Karen Clarke, Mark Rouncefield |
A Dependability Model for Domestic Systems. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | K. Driscoll, B. Hall, Håkan Sivencrona, P. Zumsteg |
Byzantine Fault Tolerance, from Theory to Reality. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Zeshan Kurd, Tim Kelly |
Safety Lifecycle for Developing Safety Critical Artificial Neural Networks. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Pasquini, Simone Pozzi |
Safety Assessment of Experimental Air Traffc Management Procedures. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
Safety Assessment, Human-Computer Interaction, Air Traffic Management |
1 | David Wright 0001 |
Elicitation and Validation of Graphical Dependability Models. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Constance L. Heitmeyer |
Developing High Assurance Systems: On the Role of Software Tools. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|