| 1993 | Issues Affecting Technology Transfer and Experience with a Community Club. | Felix Redmill |
| 1993 | Software validation with CASE-TOOLS. | Johannes Rainer |
| 1993 | MRSA - a new public key encryption method. | Reinhard Posch |
| 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 | Oreste : a Reliable Reactive Real-Time Language. | Pierre Molinaro, Olivier H. Roux |
| 1993 | Programmable Electronic System Analysis Technique in Safety Critical Applications. | Meine Jochum Peter van der Meulen, Tor Stlhane, B. Cole |
| 1993 | Security Audit Trail Analysis Using Genetic Algorithms. | Ludovic M |
| 1993 | Technology Transfer - from Purpose to Practice. | Bob Malcolm |
| 1993 | Composition and Refinement of Probabilistic Real-Time Systems. | Zhiming Liu, Jens Nordahl, Erling Vagn Srensen |
| 1993 | Dependability: from Concepts to Limits. | Jean-Claude Laprie |
| 1993 | How Far Can You Trust A Computer? | Carl E. Landwehr |
| 1993 | Dependability of Scaleable, Distributed Systems: Communication Strategies for Redundant Processes. | Walter Kuhn, Erwin Schoitsch |
| 1993 | Reliability and Safety Analysis of Hierarchical Voting Schemes. | Henryk Krawczyk, Saleh Al-Karaawy |
| 1993 | Software Failure Data Analysis of two Successive Generations of a Switching System. | Mohamed Kaniche, Karama Kanoun |
| 1993 | PLC-Implementation of Emergency Shut-Down Systems. | Wolfgang A. Halang, Johan Scheepstra |
| 1993 | Safety Assessment - The Critical System Suppliers View. | C. J. Goring |
| 1993 | A Knowledge-Based Approach to Program Testing and Analysis. | Igor M. Galkin |
| 1993 | CIP - Communicating Interacting Processes A Formal Method for the Development of Reactive Systems. | Hugo Fierz, Hansruedi Mller, Spiros Netos |
| 1993 | Safety Analysis of Clinical Laboratory Systems. | S. S. Dhanjal, R. Fink |
| 1993 | Exception Handling and Predictability in Hard Real-Time Systems. | Matjaz Colnaric, Wolfgang A. Halang |
| 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 | Hazard Analysis Using HAZOP: A Case Study. | Morris F. Chudleigh |
| 1993 | Human Medium in Technology Transfer. | Wojciech Cellary |
| 1993 | Validating Safety Models with Fault Trees. | Glenn Bruns, Stuart Anderson |