Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Floor Koornneef, Meine van der Meulen (eds.) |
Computer Safety, Reliability and Security, 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000, Proceedings |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Stuart Anderson, Massimo Felici |
Controlling Requirements Evolution: An Avionics Case Study. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Méhaut, Pierre Morère |
Improving Software Development by Using Safe Object Oriented Development: OTCD. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Cláudia Almeida, Alberto Arazo, Yves Crouzet, Karama Kanoun |
Dependability of Computer Control Systems in Power Plants. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart |
A Dependability-Explicit Model for the Development of Computing Systems. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ferdinand J. Dafelmair |
Improvements in Process Control Dependability through Internet Security Technology. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jan van Katwijk, Hans Toetenel, Abd-El-Kader Sahraoui, Eric Anderson, Janusz Zalewski |
Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Wenhui Zhang |
Validation of Control System Specifications with Abstract Plant Models. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Bev Littlewood, Peter T. Popov, Lorenzo Strigini |
Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Chris Johnson |
Forensic Software Engineering and the Need for New Approaches to Accident Investigation. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Peter B. Ladkin |
Causal Reasoning about Aircraft Accidents. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Tadeusz Cichocki, Janusz Górski |
Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Robert |
Programming Rule Static Verification for Reliable Software. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Gaetano Lombardi, Emilia Peciola, Raffaela Mirandola, Antonia Bertolino, Eda Marchetti |
Towards Statistical Control of an Industrial Test Process. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Yiannis Papadopoulos, John A. McDermid |
Hierarchically Performed Hazard Origin and Propagation Studies. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Tim P. Kelly, John A. McDermid |
A Systematic Approach to Safety Case Maintenance. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Paternò, Carmen Santoro, Sophie Tahmassebi |
The Impact of Different Media on Safety and Usability of Interactive ATC Applications. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Sang-Yoon Min, Yoon-Kyu Jan, Sung Deok Cha, Yong Rae Kwon, Doo-Hwan Bae |
Safety Verification of Ada95 Programs Using Software Fault Trees. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Heinrich Krebs, Swapan Mitra |
Hardware Redundant Vital Computers - Demonstration of Safety on the Basis of Current Standards. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | David Peter Eames, Jonathan D. Moffett |
The Integration of Safety and Security Requirements. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Yun Bai 0001, Vijay Varadharajan |
On Formal Languages for Sequences of Authorization Transformations. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
Policy Transformation, Formal language, Default logic, Authorization Policies |
1 | Sung-Min Lee 0006, Tai-Yun Kim |
Three-Pass Hybrid Key Establishment Protocol Based on ESIGN Signature. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Paul Caspi, Christine Mazuet, Rym Salem, Daniel Weber 0017 |
Formal Design of Distributed Control Systems with Lustre. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Ireneusz Czarnowski, Piotr Jedrzejowicz, Ewa Ratajczak |
Scheduling Fault-Tolerant Programs on Multiple Processors to Maximize Schedule Reliability. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Lucia Vilela Leite Filgueiras |
Human Performance Reliability in the Design-for-Usability Life Cycle for Safety Human-Computer Interfaces. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi |
Formal Validation of the GUARDS Inter-Consistency Mechanism. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Silke Kuball, John H. R. May, Gordon Hughes |
Structural Software Reliability Estimation. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Monika Heiner, Maritta Heisel |
Modeling Safety-Critical Systems with Z and Petri Nets. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Angelo Chiappini, Alessandro Cimatti, Carmen Porzia, G. Rotondo, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita |
Formal Specification and Development of a Safety-Critical Train Management System. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | John D. Musa |
Software Reliability Engineering in Industry. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Gustav Dahll |
Safety Evaluation of a Train Leader Telephone System. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | José Carlos Campelo, Pedro Yuste, Francisco Rodríguez 0003, Pedro J. Gil, Juan José Serrano |
Hierarchical Reliability and Safety Models of Fault Tolerant Distributed Industrial Control Systems. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Trouessin |
Dependability Requirements and Security Architectures for the Healthcare/Medical Sector. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Laurence Rognin, Jean-Paul Blanquart |
Impact of Communication on Systems Dependability: Human Factors Perspectives. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | P. G. Beerthuizen, W. Kruidhof |
System and Software Safety Analysis for the ERA Control Computer. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Gerald Sonneck, Erwin Schoitsch |
Assessment and Certification of Safety-Critical Digital Architectures - The ACRuDA Project. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Peter T. Popov, Lorenzo Strigini, Alexander B. Romanovsky |
Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Rogério de Lemos, Amer Saeed |
Safety Analysis Techniques for Validating Formal Models During Verification. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Kaisa Sere, Elena Troubitsyna |
Hazard Analysis in Formal Specification. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Chris W. Johnson 0001 |
A First Step Towards the Integration of Accident Reports and Constructive Design Documents. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Bobbio, Luigi Portinale, Michele Minichino, Ester Ciancamerla |
Comparing Fault Trees and Bayesian Networks for Dependability Analysis. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Hussey |
Patterns for Safer Human-Computer Interfaces. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Alfredo Benso, Maurizio Rebaudengo, Matteo Sonza Reorda |
FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Yves Deswarte, Mohamed Kaâniche, Pierre Corneillie, John Goodson |
SQUALE Dependability Assessment Criteria. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Maria Wimmer 0001, Antonio Rizzo, Mark-Alexander Sujan |
A Holistic Design Concept to Improve Safety Related Control Systems. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Felici, Karama Kanoun, Alberto Pasquini (eds.) |
Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP'99, Toulouse, France, September, 1999, Proceedings |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Tim Clement, Ian Cottam, Peter K. D. Froome, Claire Jones |
The Development of a Commercial "Shrink-Wrapped Application" to Safety Integrity Level 2: The DUST-EXPERTTM Story. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Chris W. Johnson 0001 |
Evaluating the Contribution of DesktopVR for Safety-Critical Applications. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar |
A Graphical Environment for the Specification and Verification of Reactive Systems. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Chin-Feng Fan, Swu Yih |
Safety Markup Language: Concept and Application. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Algirdas Pakstas, Igor Shagaev |
Extendable Ground-to-Air Communication Architecture for CoDySa. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Jin Mo, Yves Crouzet |
A Method for Operator Error Detection Based on Plan Recognition. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig |
Automated Black-Box Testing with Abstract VDM Oracles. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Lano, Pauline Kan, Arturo Sanchez |
Linking Hazard Analysis to Formal Specification and Design in B. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Vincent David, Jean Delcoigne, Evelyne Leret, Alain Ourghanlian, Philippe Hilsenkopf, Philippe Paris |
Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Sandro Bologna, Rocco Bove, Giovanni Dipoppa, Giorgio Mongardi, Gino Biondi, Carmen Porzia, Benny Graft Mortensen, Niels Kirkegaard |
Applying Formal Methods in Industry The UseGat Project. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Elmar Dilger, Thomas Führer, Bernd Müller |
Distributed Fault-Tolerant and Safety-Critical Application in Vehicles - A Time-Triggered Approach. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Timm Grams |
Operator Errors and Their Causes. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Bert Knegtering, Aarnout Brombacher |
Conceptual Comparison of Two Commonly Used Safeguarding Principles. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof Sacha |
Safety Verification of Software Using Structured Petri Nets. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang D. Ehrenberger (eds.) |
Computer Safety, Reliability and Security, 17th International Conference, SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Arndt Lindner |
ANSI-C in Safety Critical Applications - Lessons-Learned from Software Evaluation. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Silvije Jovalekic, Bernd Rist |
Impact of Object-Oriented Software Engineering Applied to the Development of Security Systems. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Agathe Merceron, Monika Müllerburg, G. Michele Pinna |
Verifying a Time-Triggered Protocol in a Multi-language Environment. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Ferdinand J. Dafelmair |
Model and Implementation of a Secure SW-Development Process for Mission Critical Software. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Hutchinson, Michael Wallbaum |
A Performance Comparison of Group Security Mechanisms. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Heinrich Rust |
Safety in Production Cell Components: An Appraoch Combining Formal Real-Time Specifications and Patterns. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Francesca Saglietti |
Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | John Iliadis, Stefanos Gritzalis, V. Oikonomou |
Towards Secure Downloadable Executable Content: The Java Paradigm. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Drechsler |
Verifying Integrity of Decision Diagrams. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Piergiorgio Bertoli, Alessandro Cimatti, Fausto Giunchiglia, Paolo Traverso |
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Bas A. de Mol, Floor Koornneef |
"Profit by Safety" or Quackery in Biomedical Information Technology? |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Fokko van Dijk, Wan J. Fokkink, Gea Kolk, Paul van de Ven, Bas van Vlijmen |
EURIS, a Specification Method for Distributed Interlockings. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Kirsten Winter, Thomas Santen, Maritta Heisel |
An Agenda for Specifying Software Components with Complex Data Models. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Dieter Kochs, Walter Geisselhardt, Holger Hilmer, Matthias Lenord |
Fault-Tolerant Communication in Large-Scale Manipulators. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Hollingworth, Amer Saeed |
CoRSA - A Constraint Based Approach to Requirements and Safety Analysis. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Gerald Sonneck, Erwin Schoitsch, Lorenzo Strigini |
A Holistic View on the Dependability of Software-Intensive Systems. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Nicolás Martín-Vivaldi, Peter Isacsson |
Controlling your Design through your Software Process. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang A. Halang, Alceu Heinke Frigeri |
Methods and Languages for Safety-Related Real-Time Programming. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
Safety controllers, Safe language subsets, Cause/effect tables, Function block diagrams, Safety integrity levels, Real time systems, Programming languages |
1 | Peter Liggesmeyer, Martin Rothfelder |
Towards Automated Proof of Fail-Safe Behaviour. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso |
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Ken Wong, Jeff Joyce |
Refinement of Safety-Related Hazards into Verifiable Code Assertions. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Bartosz Nowicki, Janusz Górski |
Object Oriented Safety Analysis of an Extra High Voltage Substation Bay. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ringler, J. Steiner, Ralf Belschner, Bernd Hedenetz |
Increasing System Safety for By-Wire Applications in Vehicles by Using a Time Triggered Architecture. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Brian A. Wichmann |
High Integrity Ada. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Peter A. Lindsay, John A. McDermid |
A systematic approach to software safety integrity levels. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | P. D. Edwards, R. S. Rivett, G. F. McCall |
Towards an Automotive 'Safer Subset' of C. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Xun Yi, Kwork-Yan Lam, Yongfei Han |
Design, Analysis and Implementation of a New Hash Function Based on Block Cipher. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Marko Cepin, Rogério de Lemos, Borut Mavko, Steve Riddle, Amer Saeed |
An Object-Based Approach to Modelling and Analysis of Failure Properties. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Tim P. Kelly, John A. McDermid |
Safety Case Construction and Reuse Using Patterns. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Hélène Papini, Frangois Simon |
Software-based Safety-critical Systems: a Taxonomy. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Baufreton, Xavier Méhaut, Éric Rutten |
Embedded Systems in Avionics and the SACRES Approach. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Gustav Dahll |
Safety Assessment of Software Based Systems. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Yahia Lebbah |
Consistency Checking by Type Inference and Constraint Satisfaction. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Marc Wilikens, Marcelo Masera, Davide Vallero |
Integration of Safety Requirements in the Initial Phases of the Project Lifecycle of Hardware/Software Systems. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Stephen P. Wilson, John A. McDermid, P. M. Kirkham, Clive H. Pygott, David J. Tombs |
Computer Based Support for Standards and Processes in Safety Critical Systems. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Andrew M. Dearden, Michael D. Harrison |
Using Executable Interactor Specifications to Explore the Impact of Operator Interaction Errors. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Francesca Saglietti |
Dynamic Decision on Checkpointing by Use of Reduced Ordered Binary Decision Diagrams. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Peter R. Croll, Colin Chambers, M. Bowell, Paul W. H. Chung |
Towards Safer Industrial Computer Controlled Systems. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | John C. Knight, Luís G. Nakano |
Software Test Techniques for System Fault-Tree Analysis. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|