Ed Brinksma

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Testing Divergent Transition Systems.
Proceedings of the Models, Algorithms, Logics and Tools, 2017

2011
Model-Based Testing.
Proceedings of the Software and Systems Safety - Specification and Verification, 2011

2008
Optimal infinite scheduling for multi-priced timed automata.
Formal Methods in System Design, 2008

Dependability for high-tech systems: an industry-as-laboratory approach.
Proceedings of the Design, Automation and Test in Europe, 2008

2007
The Challenges of Embedded Systems Engineering.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

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

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

A Semantic Framework for Test Coverage.
Proceedings of the Automated Technology for Verification and Analysis, 2006

2005
Production Scheduling by Reachability Analysis - A Case Study.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Testing Real-Time Multi Input-Output Systems.
Proceedings of the Formal Methods and Software Engineering, 2005

Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise..
Proceedings of the Ninth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2005), 2005

2004
Staying Alive as Cheaply as Possible.
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

A Test Generation Framework for quiescent Real-Time Systems.
Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

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

04371 Summary - Perspectives of Model-Based Testing.
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.
Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2003
Managing the verification trajectory.
STTT, 2003

Compositional Theories of Qualitative and Quantitative Behaviour.
Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002
Verification and optimization of a PLC control schedule.
STTT, 2002

2001
Design of a PLC Control Program for a Batch Plant VHS Case Study.
Eur. J. Control, 2001

As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000
Guest Editors' Introduction: Formal Methods for Object Oriented Distributed Systems.
IEEE Trans. Software Eng., 2000

Verification and Optimization of a PLC Control Schedule.
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.
Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

Process Algebra and Markov Chains.
Proceedings of the Lectures on Formal Methods and Performance Analysis, 2000

Verification Is Experimentation!
Proceedings of the CONCUR 2000, 2000

1999
Specification and Analysis of Soft Real-Time Systems: Quantity and Quality.
Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999

A Complete Finite Prefix for Process Algebra.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999

Formal Methods for Conformance Testing: Theory Can Be Practical.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998
A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions.
Formal Methods in System Design, 1998

Partial Order Models for Quantitative Extensions of LOTOS.
Computer Networks, 1998

Experience with Literate Programming in the Modelling and Validation of Systems.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

Factorized Test Generation for Multi-Input/Output Transition Systems.
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.
Proceedings of the Programming Concepts and Methods, 1998

1997
Causal Ambiguity and Partial Orders in Event Structures.
Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996
On Specifying Real-Time Systems in a Causality-Based Setting.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

A Calculus for Timed Automata.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

Applications of Fair Testing.
Proceedings of the Formal Description Techniques IX: Theory, 1996

Using Formal Methods: if you're so smart how come you ain't rich?
Proceedings of the Formal Description Techniques IX: Theory, 1996

1995
A Stochastic Causality-Based Process Algebra.
Comput. J., 1995

Validation in context.
Proceedings of the Protocol Specification, 1995

Performance and formal design: a process algebraic perspective.
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995

Fair Testing.
Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994
Cache consistency by design.
Proceedings of the Protocol Specification, 1994

1993
Goal-Driven LOTOS Execution.
Proceedings of the Protocol Specification, 1993

Functionality Decomposition by Compositional Correstness Preserving Transformation.
Proceedings of the Computer Aided Verification, 5th International Conference, 1993

On the Coverage of Partial Validations.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992
On Asynchronous Testing.
Proceedings of the Protocol Test Systems, V, 1992

On the Uniqueness of Fixpoints Modulo Observation Congruence.
Proceedings of the CONCUR '92, 1992

1991
Specification Styles in Distributed Systems Design and Verification.
Theor. Comput. Sci., 1991

Introduction to the PSTV-IX.
Computer Networks and ISDN Systems, 1991

Refining Interfaces of Communicating Systems.
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.
Proceedings of the Protocol Test Systems, IV, 1991

A Framework for Test Selection.
Proceedings of the Protocol Specification, 1991

What is the Method in Formal Methods?
Proceedings of the Formal Description Techniques, 1991

From Data Structure to Process Structure.
Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1989
On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract).
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.
Proceedings of the Stepwise Refinement of Distributed Systems, 1989

Specification Modules in LOTOS.
Proceedings of the Formal Description Techniques, 1989

1987
Introduction to the ISO Specification Language LOTOS.
Computer Networks, 1987

1986
On the Formal Specification of OSI Services and Protocols.
Proceedings of the New Communication Services: A Challenge to Computer Technology, 1986

1985
A tutorial on LOTOS.
Proceedings of the Protocol Specification, 1985

1984
A Specification of the OSI Transport Service in LOTOS.
Proceedings of the Protocol Specification, 1984


  Loading...