default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21st SAFECOMP 2002: Catania, Italy
- Stuart Anderson, Sandro Bologna, Massimo Felici:
Computer Safety, Reliability and Security, 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002, Proceedings. Lecture Notes in Computer Science 2434, Springer 2002, ISBN 3-540-44157-3
Human-Computer System Dependability (Joint ECCE-11 & SAFECOMP 2002)
- Sandro Bologna, Erik Hollnagel:
Human-Computer System Dependability. 1-3 - Erik Hollnagel:
Dependability of Joint Human-Computer Systems. 4-9
Keynote Talk
- Andrea Servida:
Dependability in the Information Society: Getting Ready for the FP6. 10-18
Human Factors
- Jan Bredereke, Axel Lankenau:
A Rigorous View of Mode Confusion. 19-31 - Alexander Voß, Roger Slack, Rob Procter, Robin Williams
, Mark Hartswood, Mark Rouncefield:
Dependability as Ordinary Action. 32-43
Security
- Yoon-Jung Rhee, Tai-Yun Kim:
Practical Solutions to Key Recovery Based on PKI in IP Security. 44-52 - Thomas Droste:
Redundant Data Acquisition in a Distributed Security Compound. 53-60 - Ferdinand J. Dafelmair:
Survivability Strategy for a Security Critical Process. 61-69
Dependability Assessment (Poster Session)
- Klaus D. Heidtmann:
Statistical Comparison of Two Sum-of-Disjoint-Product Algorithms for Reliability and Safety Evaluation. 70-81 - Kevin Lano, David Clark, Kelly Androutsopoulos:
Safety and Security Analysis of Object-Oriented Models. 82-93 - 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. 94-105
Keynote Talk
- John C. Knight:
Software Challenges in Aviation Systems. 106-112
Application of Formal Methods (Poster Session)
- Wenhui Zhang:
A Strategy for Improving the Efficiency of Procedure Verification. 113-125 - Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi:
Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time. 126-138 - Peter T. Popov:
Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Off-the-Shelf Components. 139-150
Reliability Assessment
- Luping Chen, John H. R. May, Gordon Hughes:
Assessment of the Benefit of Redundant Systems. 151-162 - Peter G. Bishop:
Estimating Residual Faults from Code Coverage. 163-174
Design for Dependability
- Jef Jacobs, Jos J. M. Trienekens:
Towards a Metrics Based Verification and Validation Maturity Model. 175-185 - Stephen Paynter, Bob W. Born:
Analysing the Safety of a Software Development Process. 186-197 - Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra:
Software Criticality Analysis of COTS/SOUP. 198-211
Safety Assessment
- 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. 212-223 - Ítalo Romani de Oliveira, Paulo Sérgio Cugnasca:
Checking Safe Trajectories of Aircraft Using Hybrid Automata. 224-235 - Yiannis Papadopoulos:
Model-Based On-Line Monitoring Using a State Sensitive Fault Propagation Model. 236-248
Keynote Talk
- Bev Littlewood:
On Diversity, and the Elusiveness of Independence. 249-251
Design for Dependability (Poster Session)
- MahdiReza Mohajerani, Ali Moeini:
An Approach to a New Network Security Architecture for Academic Environments. 252-260 - Francisco Rodríguez, José Carlos Campelo, Juan José Serrano:
A Watchdog Processor Architecture with Minimal Performance Overhead. 261-272
Application of Formal Methods
- 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. 273-283 - Babita Sharma, S. D. Dhodapkar, S. Ramesh:
Assertion Checking Environment (ACE) for Formal Verification of C Programs. 284-295 - Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh:
Safety Analysis of the Height Control System for the Elbtunnel. 296-308
Design for Dependability
- Titos Saridakis:
Dependability and Configurability: Partners or Competitors in Pervasive Computing? 309-320 - Iain Bate, Tim Kelly:
Architectural Considerations in the Certification of Modular Systems. 321-333 - Thomas Rottke, Denis Hatebur, Maritta Heisel, Monika Heiner:
A Problem-Oriented Approach to Common Criteria Certification. 334-346
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-08 20:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
