A Specification of the OSI Transport Service in LOTOS. - Ed Brinksma; Günter Karjoth (PSTV, 1984)

A tutorial on LOTOS. - Ed Brinksma (PSTV, 1985)

On the Formal Specification of OSI Services and Protocols. - Ed Brinksma (ICCC, 1986)

Introduction to the ISO Specification Language LOTOS. - Tommaso Bolognesi; Ed Brinksma (Comput. Networks, 1987)

Specification Modules in LOTOS. - Ed Brinksma (FORTE, 1989)

Constraint-Oriented Specification in a Constructive Formal Description Technique. - Ed Brinksma (REX Workshop, 1989)

On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract). - Chris A. Vissers; Giuseppe Scollo; Marten van Sinderen; Ed Brinksma (TAPSOFT, Vol.2, 1989)

From Data Structure to Process Structure. - Ed Brinksma (CAV, 1991)

What is the Method in Formal Methods? - Ed Brinksma (FORTE, 1991)

A Framework for Test Selection. - Ed Brinksma; Jan Tretmans; Louis Verhaard (PSTV, 1991)

Protocol Conformance Testing: A Formal Perspective on ISO IS-9646. - Jan Tretmans; Pim Kars; Ed Brinksma (Protocol Test Systems, 1991)

Refining Interfaces of Communicating Systems. - Ed Brinksma; Bengt Jonsson 001; Fredrik Orava (TAPSOFT, Vol.2, 1991)

Introduction to the PSTV-IX. - Ed Brinksma; Giuseppe Scollo; Chris A. Vissers (Comput. Networks ISDN Syst., 1991)

Specification Styles in Distributed Systems Design and Verification. - Chris A. Vissers; Giuseppe Scollo; Marten van Sinderen; Ed Brinksma (Theor. Comput. Sci., 1991)

On the Uniqueness of Fixpoints Modulo Observation Congruence. - Ed Brinksma (CONCUR, 1992)

On Asynchronous Testing. - Louis Verhaard; Jan Tretmans; Pim Kars; Ed Brinksma (Protocol Test Systems, 1992)

On the Coverage of Partial Validations. - Ed Brinksma (AMAST, 1993)

Functionality Decomposition by Compositional Correstness Preserving Transformation. - Ed Brinksma; Rom Langerak; Peter Broekroelofs (CAV, 1993)

Goal-Driven LOTOS Execution. - Ed Brinksma; Henk Eertink (PSTV, 1993)

Fair Testing. - Ed Brinksma; Arend Rensink; Walter Vogler (CONCUR, 1995)

Performance and formal design: a process algebraic perspective. - Ed Brinksma (PNPM, 1995)

Validation in context. - Lex Heerink; Ed Brinksma (PSTV, 1995)

A Stochastic Causality-Based Process Algebra. - Ed Brinksma; Joost-Pieter Katoen; Rom Langerak; Diego Latella (Comput. J., 1995)

Using Formal Methods: if you're so smart how come you ain't rich? - Ed Brinksma (FORTE, 1996)

Applications of Fair Testing. - Ed Brinksma; Arend Rensink; Walter Vogler (FORTE, 1996)

A Calculus for Timed Automata. - Pedro R. D'Argenio; Ed Brinksma (FTRTFT, 1996)

On Specifying Real-Time Systems in a Causality-Based Setting. - Joost-Pieter Katoen; Rom Langerak; Diego Latella; Ed Brinksma (FTRTFT, 1996)

Causal Ambiguity and Partial Orders in Event Structures. - Rom Langerak; Ed Brinksma; Joost-Pieter Katoen (CONCUR, 1997)

An algebraic approach to the specification of stochastic systems. - Pedro R. D'Argenio; Joost-Pieter Katoen; Ed Brinksma (PROCOMET, 1998)

Factorized Test Generation for Multi-Input/Output Transition Systems. - Ed Brinksma; Lex Heerink; Jan Tretmans (IWTCS, 1998)

Experience with Literate Programming in the Modelling and Validation of Systems. - Theo C. Ruys; Ed Brinksma (TACAS, 1998)

Partial Order Models for Quantitative Extensions of LOTOS. - Ed Brinksma; Joost-Pieter Katoen; Rom Langerak; Diego Latella (Comput. Networks, 1998)

A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions. - Joost-Pieter Katoen; Rom Langerak; Ed Brinksma; Diego Latella; Tommaso Bolognesi (Formal Methods Syst. Des., 1998)

Formal Methods for Conformance Testing: Theory Can Be Practical. - Ed Brinksma (CAV, 1999)

A Complete Finite Prefix for Process Algebra. - Rom Langerak; Ed Brinksma (CAV, 1999)

Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. - Pedro R. D'Argenio; Joost-Pieter Katoen; Ed Brinksma (RTSS, 1999)

Cache Consistency by Design. - Ed Brinksma (Distributed Comput., 1999)

Process Algebra and Markov Chains. - Ed Brinksma; Holger Hermanns (European Educational Forum: School on Formal Methods and Performance Analysis, 2000)

Testing Transition Systems: An Annotated Bibliography. - Ed Brinksma; Jan Tretmans (MOVEP, 2000)

Verification and Optimization of a PLC Control Schedule. - Ed Brinksma; Angelika Mader (SPIN, 2000)

Guest Editors' Introduction: Formal Methods for Object Oriented Distributed Systems. - Howard Bowman; John Derrick; Ed Brinksma (IEEE Trans. Software Eng., 2000)

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 (CAV, 2001)

Design of a PLC Control Program for a Batch Plant VHS Case Study. - Angelika Mader; Ed Brinksma; Hanno Wupper; Nanette Bauer (Eur. J. Control, 2001)

Verification is experimentation! - Ed Brinksma (Int. J. Softw. Tools Technol. Transf., 2001)

Verification and optimization of a PLC control schedule. - Ed Brinksma; Angelika Mader; Ansgar Fehnker (Int. J. Softw. Tools Technol. Transf., 2002)

Compositional Theories of Qualitative and Quantitative Behaviour. - Ed Brinksma (ICATPN, 2003)

Managing the verification trajectory. - Theo C. Ruys; Ed Brinksma (Int. J. Softw. Tools Technol. Transf., 2003)

Testing Times: On Model-Driven Test Generation for Non-Deterministic Real-Time Systems. - Ed Brinksma (ACSD, 2004)

04371 Summary - Perspectives of Model-Based Testing. - Ed Brinksma; Wolfgang Grieskamp; Jan Tretmans (Perspectives of Model-Based Testing, 2004)

04371 Abstracts Collection - Perspectives of Model-Based Testing. - Ed Brinksma; Wolfgang Grieskamp; Jan Tretmans (Perspectives of Model-Based Testing, 2004)

A Test Generation Framework for quiescent Real-Time Systems. - Laura Brandán Briones; Ed Brinksma (FATES, 2004)

Staying Alive as Cheaply as Possible. - Patricia Bouyer; Ed Brinksma; Kim Guldstrand Larsen (HSCC, 2004)

Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise.. - Val Jones 001; Arend Rensink; Ed Brinksma (EDOC, 2005)

Testing Real-Time Multi Input-Output Systems. - Laura Brandán Briones; Ed Brinksma (ICFEM, 2005)

Production Scheduling by Reachability Analysis - A Case Study. - Gerd Behrmann; Ed Brinksma; Martijn Hendriks; Angelika Mader (IPDPS, 2005)

A Semantic Framework for Test Coverage. - Laura Brandán Briones; Ed Brinksma; Mariëlle Stoelinga (ATVA, 2006)

06351 Summary – Methods for Modelling Software Systems (MMOSS). - Ed Brinksma; David Harel; Angelika Mader; Perdita Stevens; Roel J. Wieringa (MMOSS, 2006)

06351 Abstracts Collection – Methods for Modelling Software Systems (MMOSS). - Ed Brinksma; David Harel; Angelika Mader; Perdita Stevens; Roel J. Wieringa (MMOSS, 2006)

The Challenges of Embedded Systems Engineering. - Ed Brinksma (HSCC, 2007)

Dependability for high-tech systems: an industry-as-laboratory approach. - Ed Brinksma; Jozef Hooman (DATE, 2008)

Optimal infinite scheduling for multi-priced timed automata. - Patricia Bouyer; Ed Brinksma; Kim Guldstrand Larsen (Formal Methods Syst. Des., 2008)

Model-Based Testing. - Mark Timmer; Ed Brinksma; Mariëlle Stoelinga (Software and Systems Safety - Specification and Verification, 2011)

Testing Divergent Transition Systems. - Ed Brinksma; Mariëlle I. A. Stoelinga; Mark Timmer (Models, Algorithms, Logics and Tools, 2017)

Measured Causes: Adding Time and Probability to True Concurrency - Ten Papers with Pisa and Twente. - Ed Brinksma; Rom Langerak; Diego Latella; Mieke Massink (Principles of Verification (3), 2024)