| 2008 | DATE | Dependability for high-tech systems: an industry-as-laboratory approach. | Ed Brinksma, Jozef Hooman |
| 2006 | ATVA | A Semantic Framework for Test Coverage. | Laura Brandn Briones, Ed Brinksma, Marille Stoelinga |
| 2005 | EDOC | Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise.. | Val Jones, Arend Rensink, Ed Brinksma |
| 2005 | ICFEM | Testing Real-Time Multi Input-Output Systems. | Laura Brandn Briones, Ed Brinksma |
| 2001 | CAV | As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. | Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn |
| 2000 | CONCUR | Verification Is Experimentation! | Ed Brinksma |
| 1999 | CAV | Formal Methods for Conformance Testing: Theory Can Be Practical. | Ed Brinksma |
| 1999 | CAV | A Complete Finite Prefix for Process Algebra. | Rom Langerak, Ed Brinksma |
| 1999 | RTSS | Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. | Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma |
| 1998 | TACAS | Experience with Literate Programming in the Modelling and Validation of Systems. | Theo C. Ruys, Ed Brinksma |
| 1997 | CONCUR | Causal Ambiguity and Partial Orders in Event Structures. | Rom Langerak, Ed Brinksma, Joost-Pieter Katoen |
| 1996 | FORTE | Using Formal Methods: if you're so smart how come you ain't rich? | Ed Brinksma |
| 1996 | FORTE | Applications of Fair Testing. | Ed Brinksma, Arend Rensink, Walter Vogler |
| 1995 | CONCUR | Fair Testing. | Ed Brinksma, Arend Rensink, Walter Vogler |
| 1993 | CAV | Functionality Decomposition by Compositional Correstness Preserving Transformation. | Ed Brinksma, Rom Langerak, Peter Broekroelofs |
| 1992 | CONCUR | On the Uniqueness of Fixpoints Modulo Observation Congruence. | Ed Brinksma |
| 1991 | CAV | From Data Structure to Process Structure. | Ed Brinksma |
| 1991 | FORTE | What is the Method in Formal Methods? | Ed Brinksma |
| 1989 | FORTE | Specification Modules in LOTOS. | Ed Brinksma |
| 1986 | ICCC | On the Formal Specification of OSI Services and Protocols. | Ed Brinksma |