Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar21. 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)
Keynote Talk
Human Factors
- Alexander Voß, Roger Slack, Rob Procter, Robin Williams, Mark Hartswood, Mark Rouncefield:
Dependability as Ordinary Action. 32-43
Security
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
Application of Formal Methods (Poster Session)
- 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
Design for Dependability
- Jef Jacobs, Jos J. M. Trienekens:
Towards a Metrics Based Verification and Validation Maturity Model. 175-185 - 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
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 - Thomas Rottke, Denis Hatebur, Maritta Heisel, Monika Heiner:
A Problem-Oriented Approach to Common Criteria Certification. 334-346
maintained by 
, founded at 
, founded at 
last updated on 2019-02-22 23:45 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
