Ed Brinksma

Publication Activity (10 Years)

Years Active: 1984-2017
Publications (10 Years): 1

Top Topics

Software Testing

Practical Reasoning

Transition Systems

Top Venues

Models, Algorithms, Logics and Tools

Publications

Ed Brinksma, Mariëlle I. A. Stoelinga, Mark Timmer
Testing Divergent Transition Systems. Models, Algorithms, Logics and Tools (2017)
Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen
Optimal infinite scheduling for multi-priced timed automata. Formal Methods Syst. Des. 32 (1) (2008)
Ed Brinksma, Jozef Hooman
Dependability for high-tech systems: an industry-as-laboratory approach. DATE (2008)
Ed Brinksma
The Challenges of Embedded Systems Engineering. HSCC (2007)
Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa
06351 Summary -- Methods for Modelling Software Systems (MMOSS). MMOSS (2006)
Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa
06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). MMOSS (2006)
Laura Brandán Briones, Ed Brinksma, Mariëlle Stoelinga
A Semantic Framework for Test Coverage. ATVA (2006)
Gerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader
Production Scheduling by Reachability Analysis - A Case Study. IPDPS (2005)
Val Jones, Arend Rensink, Ed Brinksma
Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise.. EDOC (2005)
Laura Brandán Briones, Ed Brinksma
Testing Real-Time Multi Input-Output Systems. ICFEM (2005)
Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen
Staying Alive as Cheaply as Possible. HSCC (2004)
Laura Brandán Briones, Ed Brinksma
Real-Time Systems. FATES (2004)
Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans
04371 Summary - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing (2004)
Ed Brinksma
Testing Times: On Model-Driven Test Generation for Non-Deterministic Real-Time Systems. ACSD (2004)
Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans
04371 Abstracts Collection - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing (2004)
Theo C. Ruys, Ed Brinksma
Managing the verification trajectory. Int. J. Softw. Tools Technol. Transf. 4 (2) (2003)
Ed Brinksma
Compositional Theories of Qualitative and Quantitative Behaviour. ICATPN (2003)
Ed Brinksma, Angelika Mader, Ansgar Fehnker
Verification and optimization of a PLC control schedule. Int. J. Softw. Tools Technol. Transf. 4 (1) (2002)
Ed Brinksma
Verification is experimentation! Int. J. Softw. Tools Technol. Transf. 3 (2) (2001)
Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn
As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. CAV (2001)
Angelika Mader, Ed Brinksma, Hanno Wupper, Nanette Bauer
Design of a PLC Control Program for a Batch Plant VHS Case Study. Eur. J. Control 7 (4) (2001)
Ed Brinksma, Angelika Mader
Verification and Optimization of a PLC Control Schedule. SPIN (2000)
Ed Brinksma
Verification Is Experimentation! CONCUR (2000)
Ed Brinksma, Holger Hermanns
Process Algebra and Markov Chains. European Educational Forum: School on Formal Methods and Performance Analysis (2000)
Ed Brinksma, Jan Tretmans
Testing Transition Systems: An Annotated Bibliography. MOVEP (2000)
Howard Bowman, John Derrick, Ed Brinksma
Guest Editors' Introduction: Formal Methods for Object Oriented Distributed Systems. IEEE Trans. Software Eng. 26 (7) (2000)
Rom Langerak, Ed Brinksma
A Complete Finite Prefix for Process Algebra. CAV (1999)
Ed Brinksma
Cache Consistency by Design. Distributed Comput. 12 (2-3) (1999)
Ed Brinksma
Formal Methods for Conformance Testing: Theory Can Be Practical. CAV (1999)
Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma
Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. RTSS (1999)
Joost-Pieter Katoen, Rom Langerak, Ed Brinksma, Diego Latella, Tommaso Bolognesi
A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions. Formal Methods Syst. Des. 12 (2) (1998)
Ed Brinksma, Lex Heerink, Jan Tretmans
Factorized Test Generation for Multi-Input/Output Transition Systems. IWTCS (1998)
Theo C. Ruys, Ed Brinksma
Experience with Literate Programming in the Modelling and Validation of Systems. TACAS (1998)
Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma
An algebraic approach to the specification of stochastic systems. PROCOMET (1998)
Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella
Partial Order Models for Quantitative Extensions of LOTOS. Comput. Networks 30 (9-10) (1998)
Rom Langerak, Ed Brinksma, Joost-Pieter Katoen
Causal Ambiguity and Partial Orders in Event Structures. CONCUR (1997)
Pedro R. D'Argenio, Ed Brinksma
A Calculus for Timed Automata. FTRTFT (1996)
Ed Brinksma
Using Formal Methods: if you're so smart how come you ain't rich? FORTE (1996)
Joost-Pieter Katoen, Rom Langerak, Diego Latella, Ed Brinksma
On Specifying Real-Time Systems in a Causality-Based Setting. FTRTFT (1996)
Ed Brinksma, Arend Rensink, Walter Vogler
Applications of Fair Testing. FORTE (1996)
Lex Heerink, Ed Brinksma
Validation in context. PSTV (1995)
Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella
A Stochastic Causality-Based Process Algebra. Comput. J. 38 (7) (1995)
Ed Brinksma, Arend Rensink, Walter Vogler
Fair Testing. CONCUR (1995)
Ed Brinksma
Performance and formal design: a process algebraic perspective. PNPM (1995)
Ed Brinksma
Cache consistency by design. PSTV (1994)
Ed Brinksma, Rom Langerak, Peter Broekroelofs
Functionality Decomposition by Compositional Correstness Preserving Transformation. CAV (1993)
Ed Brinksma
On the Coverage of Partial Validations. AMAST (1993)
Ed Brinksma, Henk Eertink
Goal-Driven LOTOS Execution. PSTV (1993)
Louis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma
On Asynchronous Testing. Protocol Test Systems (1992)
Ed Brinksma
On the Uniqueness of Fixpoints Modulo Observation Congruence. CONCUR (1992)
Ed Brinksma
What is the Method in Formal Methods? FORTE (1991)
Ed Brinksma, Bengt Jonsson, Fredrik Orava
Refining Interfaces of Communicating Systems. TAPSOFT, Vol.2 (1991)
Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma
Specification Styles in Distributed Systems Design and Verification. Theor. Comput. Sci. 89 (1) (1991)
Jan Tretmans, Pim Kars, Ed Brinksma
Protocol Conformance Testing: A Formal Perspective on ISO IS-9646. Protocol Test Systems (1991)
Ed Brinksma, Jan Tretmans, Louis Verhaard
A Framework for Test Selection. PSTV (1991)
Ed Brinksma, Giuseppe Scollo, Chris A. Vissers
Introduction to the PSTV-IX. Comput. Networks ISDN Syst. 22 (1) (1991)
Ed Brinksma
From Data Structure to Process Structure. CAV (1991)
Ed Brinksma
Specification Modules in LOTOS. FORTE (1989)
Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma
On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract). TAPSOFT, Vol.2 (1989)
Ed Brinksma
Constraint-Oriented Specification in a Constructive Formal Description Technique. REX Workshop (1989)
Tommaso Bolognesi, Ed Brinksma
Introduction to the ISO Specification Language LOTOS. Comput. Networks 14 (1987)
Ed Brinksma
On the Formal Specification of OSI Services and Protocols. ICCC (1986)
Ed Brinksma
A tutorial on LOTOS. PSTV (1985)
Ed Brinksma, Günter Karjoth
A Specification of the OSI Transport Service in LOTOS. PSTV (1984)