Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Chris W. Johnson 0001 |
Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and Accidents. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Sandro Bologna, Claudio Balducelli, Giovanni Dipoppa, Giordano Vicoli |
Dependability and Survivability of Large Complex Critical Infrastructures. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Nagarajan Kandasamy, John P. Hayes, Brian T. Murray |
Dependable Communication Synthesis for Distributed Embedded Systems. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Stuart Anderson, Massimo Felici, Bev Littlewood (eds.) |
Computer Safety, Reliability, and Security, 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bozzano, Adolfo Villafiorita |
Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ester Ciancamerla, Michele Minichino, S. Serro, Enrico Tronci |
Automatic Timeliness Verification of a Public Mobile Network. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Joe Gorman, Ståle Walderhaug, Håvard Kvålen |
Reliable Data Replication in a Wireless Medical Emergency Network. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | César Mataix, Pedro Martín, Francisco Javier Rodríguez, Maria J. Manzano, Javier Pozo |
Fault-Tolerant Communication System to Improve Safety in Railway Environments. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Weber, Heidemarie Tondok, Michael Bachmayer |
Enhancing Software Safety by Fault Trees: Experiences from an Application to Flight Critical SW. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Paul Mason, Amer Saeed, Steve Riddle |
On the Role of Traceability for Standards Compliance: Tracking Requirements to Code. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Janusz Górski, Aleksander Jarzebowicz, Rafal Leszczyna, Jakub Miler, Marcin Olszewski |
An Approach to Trust Case Development. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Bistarelli, Simon N. Foley |
A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Hongxia Jin, Gregory F. Sullivan, Gerald M. Masson |
Software Tamper Resistance Using Program Certificates. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | George Angelis, Stefanos Gritzalis, Costas Lambrinoudakis |
Security Policy Configuration Issues in Grid Computing Environments. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Oliver Rooks, Michael Armbruster, S. Büchli, Armin Sulzmann, Gernot Spiegelberg, Uwe Kiencke |
Redundancy Management for Drive-by-Wire Computer Systems. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Asif Iqbal 0004, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh 0001 |
Visual Modeling and Verification of Distributed Reactive Systems. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Grünbauer, Helia Hollmann, Jan Jürjens, Guido Wimmel |
Modelling and Verification of Layered Security Protocols: A Bank Application. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra, Claire Jones |
Integrity Static Analysis of COTS/SOUP. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Lano, David Clark 0001, Kelly Androutsopoulos |
Safety and Security Analysis of Object-Oriented Models. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Erik Hollnagel |
Dependability of Joint Human-Computer Systems. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Klaus D. Heidtmann |
Statistical Comparison of Two Sum-of-Disjoint-Product Algorithms for Reliability and Safety Evaluation. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Paynter, Bob W. Born |
Analysing the Safety of a Software Development Process. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Servida |
Dependability in the Information Society: Getting Ready for the FP6. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Babita Sharma, S. D. Dhodapkar, S. Ramesh 0001 |
Assertion Checking Environment (ACE) for Formal Verification of C Programs. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Titos Saridakis |
Dependability and Configurability: Partners or Competitors in Pervasive Computing? |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ferdinand J. Dafelmair |
Survivability Strategy for a Security Critical Process. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Luping Chen, John H. R. May, Gordon Hughes |
Assessment of the Benefit of Redundant Systems. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jef Jacobs, Jos J. M. Trienekens |
Towards a Metrics Based Verification and Validation Maturity Model. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Rodríguez 0003, José Carlos Campelo, Juan José Serrano |
A Watchdog Processor Architecture with Minimal Performance Overhead. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | John C. Knight |
Software Challenges in Aviation Systems. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Wenhui Zhang |
A Strategy for Improving the Efficiency of Procedure Verification. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jan Bredereke, Axel Lankenau |
A Rigorous View of Mode Confusion. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Iain Bate, Tim Kelly |
Architectural Considerations in the Certification of Modular Systems. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Droste |
Redundant Data Acquisition in a Distributed Security Compound. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Rune Fredriksen, Monica Kristiansen, Bjørn Axel Gran, Ketil Stølen, Tom Arthur Opperud, Theodosis Dimitrakos |
The CORAS Framework for a Model-Based Risk Management Process. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Sandro Bologna, Erik Hollnagel |
Human-Computer System Dependability. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Bobbio, Ester Ciancamerla, Giuliana Franceschinis, Rossano Gaeta, Michele Minichino, Luigi Portinale |
Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | MahdiReza Mohajerani, Ali Moeini |
An Approach to a New Network Security Architecture for Academic Environments. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Marco Gribaudo, András Horváth, Andrea Bobbio, Enrico Tronci, Ester Ciancamerla, Michele Minichino |
Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Voß, Roger Slack, Rob Procter, Robin Williams, Mark Hartswood, Mark Rouncefield |
Dependability as Ordinary Action. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Yiannis Papadopoulos |
Model-Based On-Line Monitoring Using a State Sensitive Fault Propagation Model. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Bev Littlewood |
On Diversity, and the Elusiveness of Independence. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Peter T. Popov |
Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Off-the-Shelf Components. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ítalo Romani de Oliveira, Paulo Sérgio Cugnasca |
Checking Safe Trajectories of Aircraft Using Hybrid Automata. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh |
Safety Analysis of the Height Control System for the Elbtunnel. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra |
Software Criticality Analysis of COTS/SOUP. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi |
Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Stuart Anderson, Sandro Bologna, Massimo Felici (eds.) |
Computer Safety, Reliability and Security, 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002, Proceedings |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Peter G. Bishop |
Estimating Residual Faults from Code Coverage. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Rottke, Denis Hatebur, Maritta Heisel, Monika Heiner |
A Problem-Oriented Approach to Common Criteria Certification. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Yoon-Jung Rhee, Tai-Yun Kim |
Practical Solutions to Key Recovery Based on PKI in IP Security. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Zsigmond Pap, István Majzik, András Pataricza |
Checking General Safety Criteria on UML Statecharts. |
SAFECOMP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | John Fox |
Designing Safety into Medical Decisions and Clinical Processes. |
SAFECOMP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Porcarelli, Felicita Di Giandomenico, Amine Chohra, Andrea Bondavalli |
Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems. |
SAFECOMP |
2001 |
DBLP BibTeX RDF |
|
1 | Felix Redmill |
The COTS Debate in Perspective. |
SAFECOMP |
2001 |
DBLP BibTeX RDF |
|
1 | Martin Naedele, Dacfey Dzung, Michael Stanimirov |
Network Security for Substation Automation Systems. |
SAFECOMP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Günther Zoffmann, Manfred Gingerl, Christian Reumann, Gerald Sonneck |
A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B. |
SAFECOMP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Oliver Mäckel, Georg Hoever |
Analyzing Human-Machine Interactions in Safety-Critical Systems: A Basic Applicable Approach. |
SAFECOMP |
2001 |
DBLP BibTeX RDF |
|
1 | Udo Voges (eds.) |
Computer Safety, Reliability and Security, 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001, Proceedings |
SAFECOMP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Kaâniche, Yannick Le Guédart, Jean Arlat, Thierry Boyer |
An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models. |
SAFECOMP |
2001 |
DBLP BibTeX RDF |
|
1 | Bjørn Axel Gran, Atte Helminen |
A Bayesian Belief Network for Reliability Assessment. |
SAFECOMP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Gawkowski, Janusz Sosnowski |
Experimental Evaluation of Fault Handling Mechanisms. |
SAFECOMP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Rune Winther, Ole-Arnt Johnsen, Bjørn Axel Gran |
Security Assessments of Safety Critical Systems Using HAZOPs. |
SAFECOMP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Friedemann Bitsch |
Safety Patterns - The Key to Formal Specification of Safety Requirements. |
SAFECOMP |
2001 |
DBLP BibTeX RDF |
|
1 | Rainer Faller |
Project Experience with IEC 61508 and Its Consequences. |
SAFECOMP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Tadeusz Cichocki, Janusz Górski |
Formal Support for Fault Modelling and Analysis. |
SAFECOMP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Silke Kuball, Gordon Hughes, John H. R. May, Julio Gallardo, Andrew D. John, Roy B. Carter |
The Effectiveness of Statistical Testing when Applied to Logic Systems. |
SAFECOMP |
2001 |
DBLP BibTeX RDF |
|
1 | Paul Caspi, Christine Mazuet, Natacha Reynaud Paligot |
About the Design of Distributed Control Systems: The Quasi-Synchronous Approach. |
SAFECOMP |
2001 |
DBLP BibTeX RDF |
|
1 | Ulrich Laible, Thomas Bürger, Günter Pritschow |
A Fail-Safe Dual Channel Robot Control for Surgery Applications. |
SAFECOMP |
2001 |
DBLP BibTeX RDF |
|
1 | Hans R. Fankhauser |
Safety Functions versus Control Functions. |
SAFECOMP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Odd Nordland |
Presenting a Safety Case - A Case Study. |
SAFECOMP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | John M. Rushby |
Modeling the Human in Human Factors. |
SAFECOMP |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Cláudia Betous-Almeida, Karama Kanoun |
Dependability Evaluation. |
SAFECOMP |
2001 |
DBLP BibTeX RDF |
|
1 | Ioannis Vakalis |
A Comparison Study of the Behavior of Equivalent Algorithms in Fault Injection Experiments in Parallel Superscalar Architectures. |
SAFECOMP |
2001 |
DBLP BibTeX RDF |
|
1 | Alberto Pasquini, Antonio Rizzo, Luca Save |
Analysis of Incidents Involving Interactive Systems. |
SAFECOMP |
2001 |
DBLP BibTeX RDF |
|
1 | Thomas Gilb |
The Ten Most Powerful Principles for Quality in (Software and) Software Organizations for Dependable Systems. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | James S. Pascoe, Roger J. Loader |
A Survey on Safety-Critical Multicast Networking. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | A. G. Faulkner, P. A. Bennett, R. H. Pierce, I. H. A. Johnston, N. Storey |
The Safety Management of Data-Driven Safety-Related Systems. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | B. Parrotta, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante |
Speeding-Up Fault Injection Campaigns in VHDL Models. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Chris W. Johnson 0001 |
Software Support for Incident Reporting Systems in Safety-Critical Applications. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Nimal Nissanke, Hamdan Dammag |
Risk Ordering of States in Safecharts. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
risk ordering, nuclear safety, Safety, Statecharts, risk assessment, failures |
1 | Derek Fowler, Phil Bennett |
IEC 61508 - A Suitable Bases for the Certification of Safety-Critical Transport-Infrastructure Systems?? |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Hussey |
HAZOP Analysis of Formal Models of Safety-Critical Interactive Systems. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Denis Besnard |
Expert Error: The Case of Trouble-Shooting in Electronics. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Maarten Steinbuch |
Safe Tech: A Control Oriented Viewpoint. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Richard Evans, Jonathan D. Moffett |
Derivation of Safety Targets for the Random Failure of Programmable Vehicle Based Systems. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang A. Halang, Peter Vogrin, Matjaz Colnaric |
A Safety Licensable PES for SIL 4 Applications. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
Safety critical industrial automation, Safety Integrity Level 4, safety licensing, programmable electronic system, predictable real time behaviour, fail safe behaviour |
1 | Jan Magott, Pawel Skrobanek |
A Method of Analysis of Fault Trees with Time Dependencies. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
Safety-Critical System, Protection, Time Petri Net, Fault Tree, Time Dependency |
1 | Bjørn Axel Gran, Gustav Dahll, Siegfried Eisinger, Eivind J. Lund, Jan Gerhard Norstrøm, Peter Strocka, Britt J. Ystanes |
Estimating Dependability of Programmable Systems Using BBNs. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Robin E. Bloomfield, Dan Craigen, Frank Koob, Markus Ullmann, Stefan Wittmann |
Formal Methods Diffusion: Past Lessons and Future Prospects. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | D. Basu, R. Paramasivam |
An Approach to Software Assisted Recovery from Hardware Transient Faults for Real Time Systems. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Luping Chen, John H. R. May, Gordon Hughes |
A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Schenk |
SIMATIC S7-400F/FH: Safety-Related Programmable Logic Controller. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Mark-Alexander Sujan, Antonio Rizzo, Alberto Pasquini |
Dependability Evaluation: Model and Method Based on Activity Theory. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
Human Reliability Analysis, Activity Theory, Distributed Cognition, Dependability Evaluation |
1 | Michel Houtermans, George E. Apostolakis, Aarnout Brombacher, Dimitrios Karydas |
Programmable Electronic System Design & Verification Utilizing DFM. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | John Napier, John H. R. May, Gordon Hughes |
Empirical Assessment of Software On-Line Diagnostics Using Fault Injection. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Peter A. Lindsay, John A. McDermid, David J. Tombs |
Deriving Quantified Safety Requirements in Complex Systems. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Scheurer |
Formal Methods: The Problem Is Education. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Georg Droschl, Walter Kuhn, Gerald Sonneck, Michael Thuswald |
A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Zdzislaw Zurakowski |
Safety and Security Issues in Electric Power Industry. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|