| 1993 | A Knowledge-Based Approach to Program Testing and Analysis. Igor M. Galkin |
| 1993 | A Safety Critical Computer System in a Railway Application. Bernhard Stamm, René Baumann, Martin Kündig-Herzog |
| 1993 | A Virus-Resistant Network Interface. Martin Witte, Wolfgang A. Halang |
| 1993 | CIP - Communicating Interacting Processes A Formal Method for the Development of Reactive Systems. Hugo Fierz, Hansruedi Müller, Spiros Netos |
| 1993 | Composition and Refinement of Probabilistic Real-Time Systems. Zhiming Liu, Jens Nordahl, Erling Vagn Sørensen |
| 1993 | Confidently Assessing a Zero Probability of Software Failure. Jeffrey M. Voas, Christoph C. Michael, Keith W. Miller |
| 1993 | Data Flow Control Systems: an Example of Safety Validation. Cinzia Bernardeschi, Luca Simoncini, Andrea Bondavalli |
| 1993 | Dependability of Scaleable, Distributed Systems: Communication Strategies for Redundant Processes. Walter Kuhn, Erwin Schoitsch |
| 1993 | Dependability: from Concepts to Limits. Jean-Claude Laprie |
| 1993 | Design and Analysis of a Failsafe Algorithm for Solving Boolean Equations. Harvey E. Rhody, Vittorio Manoni, James R. Hoelscher |
| 1993 | Designing a High-level Language for Safety Systems. G. Sen, J. Brummer |
| 1993 | Development of a Fail-Safe Data Transmission System for use in Life-Critical Applications. M. B. Schrönen, Michael R. Inggs |
| 1993 | Exception Handling and Predictability in Hard Real-Time Systems. Matjaz Colnaric, Wolfgang A. Halang |
| 1993 | Hazard Analysis Using HAZOP: A Case Study. Morris F. Chudleigh |
| 1993 | How Far Can You Trust A Computer? Carl E. Landwehr |
| 1993 | Human Medium in Technology Transfer. Wojciech Cellary |
| 1993 | Issues Affecting Technology Transfer and Experience with a Community Club. Felix Redmill |
| 1993 | MRSA - a new public key encryption method. Reinhard Posch |
| 1993 | Oreste : a Reliable Reactive Real-Time Language. Pierre Molinaro, Olivier H. Roux |
| 1993 | PLC-Implementation of Emergency Shut-Down Systems. Wolfgang A. Halang, Johan Scheepstra |
| 1993 | Programmable Electronic System Analysis Technique in Safety Critical Applications. Meine Jochum Peter van der Meulen, Tor Stålhane, B. Cole |
| 1993 | Real-Time Detection of Failures of Reactive Systems. Rudolph E. Seviora |
| 1993 | Reliability and Safety Analysis of Hierarchical Voting Schemes. Henryk Krawczyk, Saleh Al-Karaawy |
| 1993 | Robust Requirements Specifications for Safety - Critical Systems. Amer Saeed, Rogério de Lemos, Tom Anderson |
| 1993 | Safety - status and perspectives. Tom Anderson |
| 1993 | Safety Analysis of Clinical Laboratory Systems. S. S. Dhanjal, R. Fink |
| 1993 | Safety Assessment - The Critical System Suppliers View. C. J. Goring |
| 1993 | Security Audit Trail Analysis Using Genetic Algorithms. Ludovic Mé |
| 1993 | Software Failure Data Analysis of two Successive Generations of a Switching System. Mohamed Kaâniche, Karama Kanoun |
| 1993 | Software validation with CASE-TOOLS. Johannes Rainer |
| 1993 | Subsidiaries and start-up Spin-off companies of Inria. Jean-Pierre Banâtre |
| 1993 | Technology Transfer - from Purpose to Practice. Bob Malcolm |
| 1993 | The 12th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1993, Poznań-Kiekrz, Poland, October 27-29, 1993 Janusz Górski |
| 1993 | The Application of Formal Methods for the Redevelopment of a Laboratory Information Management System. Paul O. Collinson, Susan Oppert, Steven Hughes |
| 1993 | The Benefits of SUSI: Safety Analysis of User System Interaction. Morris F. Chudleigh, J. N. Clare |
| 1993 | The Fast Cost Effective Design and Concurrent Certification of the Safe Computer for a Real Time Train Control Application. Gioacchino A. Mutone, Martin Rothfelder |
| 1993 | The Rigorous Retrospective Static Analysis of the Sizewell 'B' Primary Protection System Software. N. J. Ward |
| 1993 | Validating Safety Models with Fault Trees. Glenn Bruns, Stuart Anderson |