Ed Brinksma

According to our database, Ed Brinksma authored at least 63 papers between 1984 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Testing Divergent Transition Systems.

Ed Brinksma, Mariëlle I. A. Stoelinga, Mark Timmer

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2011

Model-Based Testing.

Mark Timmer, Ed Brinksma, Mariëlle Stoelinga

Proceedings of the Software and Systems Safety - Specification and Verification, 2011

2008

Optimal infinite scheduling for multi-priced timed automata.

Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen

Formal Methods Syst. Des., 2008

Dependability for high-tech systems: an industry-as-laboratory approach.

Ed Brinksma, Jozef Hooman

Proceedings of the Design, Automation and Test in Europe, 2008

2007

The Challenges of Embedded Systems Engineering.

Ed Brinksma

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

2006

06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS).

Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa

Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006

06351 Summary -- Methods for Modelling Software Systems (MMOSS).

Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa

Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006

A Semantic Framework for Test Coverage.

Laura Brandán Briones, Ed Brinksma, Mariëlle Stoelinga

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

Production Scheduling by Reachability Analysis - A Case Study.

Gerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Testing Real-Time Multi Input-Output Systems.

Laura Brandán Briones, Ed Brinksma

Proceedings of the Formal Methods and Software Engineering, 2005

Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise..

Val Jones, Arend Rensink, Ed Brinksma

Proceedings of the Ninth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2005), 2005

2004

Staying Alive as Cheaply as Possible.

Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

A Test Generation Framework for <i>quiescent</i> Real-Time Systems.

Laura Brandán Briones, Ed Brinksma

Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

04371 Abstracts Collection - Perspectives of Model-Based Testing.

Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans

Proceedings of the Perspectives of Model-Based Testing, 5.-10. September 2004, 2004

04371 Summary - Perspectives of Model-Based Testing.

Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans

Proceedings of the Perspectives of Model-Based Testing, 5.-10. September 2004, 2004

Testing Times: On Model-Driven Test Generation for Non-Deterministic Real-Time Systems.

Ed Brinksma

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2003

Managing the verification trajectory.

Theo C. Ruys, Ed Brinksma

Int. J. Softw. Tools Technol. Transf., 2003

Compositional Theories of Qualitative and Quantitative Behaviour.

Ed Brinksma

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002

Verification and optimization of a PLC control schedule.

Ed Brinksma, Angelika Mader, Ansgar Fehnker

Int. J. Softw. Tools Technol. Transf., 2002

2001

Verification is experimentation!

Ed Brinksma

Int. J. Softw. Tools Technol. Transf., 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

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

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

Guest Editors' Introduction: Formal Methods for Object Oriented Distributed Systems.

Howard Bowman, John Derrick, Ed Brinksma

IEEE Trans. Software Eng., 2000

Verification and Optimization of a PLC Control Schedule.

Ed Brinksma, Angelika Mader

Proceedings of the SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30, 2000

Testing Transition Systems: An Annotated Bibliography.

Ed Brinksma, Jan Tretmans

Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

Process Algebra and Markov Chains.

Ed Brinksma, Holger Hermanns

Proceedings of the Lectures on Formal Methods and Performance Analysis, 2000

1999

Cache Consistency by Design.

Ed Brinksma

Distributed Comput., 1999

Specification and Analysis of Soft Real-Time Systems: Quantity and Quality.

Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma

Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999

A Complete Finite Prefix for Process Algebra.

Rom Langerak, Ed Brinksma

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

Formal Methods for Conformance Testing: Theory Can Be Practical.

Ed Brinksma

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

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

Partial Order Models for Quantitative Extensions of LOTOS.

Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella

Comput. Networks, 1998

Experience with Literate Programming in the Modelling and Validation of Systems.

Theo C. Ruys, Ed Brinksma

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

Factorized Test Generation for Multi-Input/Output Transition Systems.

Ed Brinksma, Lex Heerink, Jan Tretmans

Proceedings of the Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31, 1998

An algebraic approach to the specification of stochastic systems.

Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma

Proceedings of the Programming Concepts and Methods, 1998

1997

Causal Ambiguity and Partial Orders in Event Structures.

Rom Langerak, Ed Brinksma, Joost-Pieter Katoen

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996

On Specifying Real-Time Systems in a Causality-Based Setting.

Joost-Pieter Katoen, Rom Langerak, Diego Latella, Ed Brinksma

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

A Calculus for Timed Automata.

Pedro R. D'Argenio, Ed Brinksma

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

Applications of Fair Testing.

Ed Brinksma, Arend Rensink, Walter Vogler

Proceedings of the Formal Description Techniques IX: Theory, 1996

Using Formal Methods: if you're so smart how come you ain't rich?

Ed Brinksma

Proceedings of the Formal Description Techniques IX: Theory, 1996

1995

A Stochastic Causality-Based Process Algebra.

Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella

Comput. J., 1995

Validation in context.

Lex Heerink, Ed Brinksma

Proceedings of the Protocol Specification, 1995

Performance and formal design: a process algebraic perspective.

Ed Brinksma

Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995

Fair Testing.

Ed Brinksma, Arend Rensink, Walter Vogler

Proceedings of the CONCUR '95: Concurrency Theory, 1995

1993

Goal-Driven LOTOS Execution.

Ed Brinksma, Henk Eertink

Proceedings of the Protocol Specification, 1993

Functionality Decomposition by Compositional Correstness Preserving Transformation.

Ed Brinksma, Rom Langerak, Peter Broekroelofs

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

On the Coverage of Partial Validations.

Ed Brinksma

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

On Asynchronous Testing.

Louis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma

Proceedings of the Protocol Test Systems, V, 1992

On the Uniqueness of Fixpoints Modulo Observation Congruence.

Ed Brinksma

Proceedings of the CONCUR '92, 1992

1991

Specification Styles in Distributed Systems Design and Verification.

Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma

Theor. Comput. Sci., 1991

Introduction to the PSTV-IX.

Ed Brinksma, Giuseppe Scollo, Chris A. Vissers

Comput. Networks ISDN Syst., 1991

Refining Interfaces of Communicating Systems.

Ed Brinksma, Bengt Jonsson, Fredrik Orava

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Protocol Conformance Testing: A Formal Perspective on ISO IS-9646.

Jan Tretmans, Pim Kars, Ed Brinksma

Proceedings of the Protocol Test Systems, IV, 1991

A Framework for Test Selection.

Ed Brinksma, Jan Tretmans, Louis Verhaard

Proceedings of the Protocol Specification, 1991

What is the Method in Formal Methods?

Ed Brinksma

Proceedings of the Formal Description Techniques, 1991

From Data Structure to Process Structure.

Ed Brinksma

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1989

On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract).

Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

Constraint-Oriented Specification in a Constructive Formal Description Technique.

Ed Brinksma

Proceedings of the Stepwise Refinement of Distributed Systems, 1989

Specification Modules in LOTOS.

Ed Brinksma

Proceedings of the Formal Description Techniques, 1989

1987

Introduction to the ISO Specification Language LOTOS.

Tommaso Bolognesi, Ed Brinksma

Comput. Networks, 1987

1986

On the Formal Specification of OSI Services and Protocols.

Ed Brinksma

Proceedings of the New Communication Services: A Challenge to Computer Technology, 1986

1985

A tutorial on LOTOS.

Ed Brinksma

Proceedings of the Protocol Specification, 1985

1984

A Specification of the OSI Transport Service in LOTOS.

Ed Brinksma, Günter Karjoth

Proceedings of the Protocol Specification, 1984