Search results for "SAFECOMP"

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

Publications at "SAFECOMP"( http://dblp.L3S.de/Venues/SAFECOMP )