| 1995 | A Compositional Trace-Based Semantics for Probabilistic Automata. | Roberto Segala |
| 1995 | A Complete Theory of Deterministic Event Structures. | Arend Rensink |
| 1995 | On Sharing and Determinacy in Concurrent Systems. | Anna Philippou, David Walker |
| 1995 | Acceptance Trees for Probabilistic Processes. | Manuel Nez, David de Frutos-Escrig, Luis Fernando Llana Daz |
| 1995 | Characterizing Behavioural Congruences for Petri Nets. | Mogens Nielsen, Lutz Priese, Vladimiro Sassone |
| 1995 | Checking Bisimilarity for Finitary pi-Calculus. | Ugo Montanari, Marco Pistore |
| 1995 | A Polymorphic Type System for the Polyadic pi-calculus. | Xinxin Liu, David Walker |
| 1995 | Unique Fixpoint Induction for Mobile Processes. | Huimin Lin |
| 1995 | Compositional Model Checking of Real Time Systems. | Franois Laroussinie, Kim Guldstrand Larsen |
| 1995 | On the Complexity of Branching Modular Model Checking (Extended Abstract). | Orna Kupferman, Moshe Y. Vardi |
| 1995 | Axiomatising Linear Time Mu-calculus. | Roope Kaivola |
| 1995 | Checking Regular Properties of Petri Nets. | Petr Jancar, Faron Moller |
| 1995 | Tutorial: Proving Properties of Concurrent System with SPIN. | Gerard J. Holzmann |
| 1995 | Fibrational Control Structures. | Claudio Hermida, John Power |
| 1995 | Bisimulations for a Calculus of Broadcasting Systems. | Matthew Hennessy, Julian Rathke |
| 1995 | Will I be Preety, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering. | David Harel |
| 1995 | Confluence for Process Verification. | Jan Friso Groote, M. P. A. Sellink |
| 1995 | The Weak Late pi-Calculus Semantics as Observation Equivalence. | Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia |
| 1995 | Efficient Automation of Temporal Reasoning. | E. Allen Emerson |
| 1995 | Delayed choice for process algebra with abstraction. | Pedro R. D'Argenio, Sjouke Mauw |
| 1995 | Compositional Proof Systems for Model Checking Infinite State Processes. | Mads Dam |
| 1995 | Formal Methods Technology Transfer: Impediments and Innovation (Abstract). | Dan Craigen |
| 1995 | Fully Abstract Models for Nondeterministic Regular Expressions. | Flavio Corradini, Rocco De Nicola, Anna Labella |
| 1995 | Veryfying Parameterized Networks using Abstraction and Regular Languages. | Edmund M. Clarke, Orna Grumberg, Somesh Jha |
| 1995 | CTR: A Calculus of Timed Refinement. | Karlis Cerans |