Ed Brinksma

Mark Timmer, Ed Brinksma, Mariëlle Stoelinga: Model-Based Testing. Software and Systems Safety - Specification and Verification 2011: 1-32

Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen: Optimal infinite scheduling for multi-priced timed automata. Formal Methods in System Design 32(1): 3-23 (2008)

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

Ed Brinksma: The Challenges of Embedded Systems Engineering. HSCC 2007: 3

Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa (Eds.): Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006. Dagstuhl Seminar Proceedings 06351, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007

Laura Brandán Briones, Ed Brinksma, Mariëlle Stoelinga: A Semantic Framework for Test Coverage. ATVA 2006: 399-414

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

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

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

Laura Brandán Briones, Ed Brinksma: Testing Real-Time Multi Input-Output Systems. ICFEM 2005: 264-279

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

Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans (Eds.): Perspectives of Model-Based Testing, 5.-10. September 2004. Dagstuhl Seminar Proceedings 04371, IBFI, Schloss Dagstuhl, Germany 2005

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

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

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

Laura Brandán Briones, Ed Brinksma: A Test Generation Framework for quiescent Real-Time Systems. FATES 2004: 64-78

Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen: Staying Alive as Cheaply as Possible. HSCC 2004: 203-218

Theo C. Ruys, Ed Brinksma: Managing the verification trajectory. STTT 4(2): 246-259 (2003)

Ed Brinksma: Compositional Theories of Qualitative and Quantitative Behaviour. ICATPN 2003: 37-42

Ed Brinksma, Angelika Mader, Ansgar Fehnker: Verification and optimization of a PLC control schedule. STTT 4(1): 21-33 (2002)

Ed Brinksma, Kim Guldstrand Larsen (Eds.): Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings. Lecture Notes in Computer Science 2404, Springer 2002, isbn 3-540-43997-8

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): 416-439 (2001)

Ed Brinksma: Verification is experimentation! STTT 3(2): 107-111 (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: 493-505

Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (Eds.): Lectures on Formal Methods and Performance Analysis, First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000, Revised Lectures. Lecture Notes in Computer Science 2090, Springer 2001, isbn 3-540-42479-2

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

Ed Brinksma: Verification Is Experimentation! CONCUR 2000: 17-24

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

Ed Brinksma, Jan Tretmans: Testing Transition Systems: An Annotated Bibliography. MOVEP 2000: 187-195

Ed Brinksma, Angelika Mader: Verification and Optimization of a PLC Control Schedule. SPIN 2000: 73-92

Ed Brinksma: Cache Consistency by Design. Distributed Computing 12(2-3): 61-74 (1999)

Ed Brinksma: Formal Methods for Conformance Testing: Theory Can Be Practical. CAV 1999: 44-45

Rom Langerak, Ed Brinksma: A Complete Finite Prefix for Process Algebra. CAV 1999: 184-195

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

Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella: Partial Order Models for Quantitative Extensions of LOTOS. Computer Networks 30(9-10): 925-950 (1998)

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 in System Design 12(2): 189-216 (1998)

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

Ed Brinksma, Lex Heerink, Jan Tretmans: Factorized Test Generation for Multi-Input/Output Transition Systems. IWTCS 1998: 67-82

Theo C. Ruys, Ed Brinksma: Experience with Literate Programming in the Modelling and Validation of Systems. TACAS 1998: 393-408

Rom Langerak, Ed Brinksma, Joost-Pieter Katoen: Causal Ambiguity and Partial Orders in Event Structures. CONCUR 1997: 317-331

Ed Brinksma (Ed.): Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997, Proceedings. Lecture Notes in Computer Science 1217, Springer 1997, isbn 3-540-62790-1

Ed Brinksma, Arend Rensink, Walter Vogler: Applications of Fair Testing. FORTE 1996: 145-160

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

Pedro R. D'Argenio, Ed Brinksma: A Calculus for Timed Automata. FTRTFT 1996: 110-129

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

Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella: A Stochastic Causality-Based Process Algebra. Comput. J. 38(7): 552-565 (1995)

Ed Brinksma, Arend Rensink, Walter Vogler: Fair Testing. CONCUR 1995: 313-327

Lex Heerink, Ed Brinksma: Validation in context. PSTV 1995: 221-236

Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen (Eds.): Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings. Lecture Notes in Computer Science 1019, Springer 1995, isbn 3-540-60630-0

Ed Brinksma: Cache consistency by design. PSTV 1994: 53-67

Ed Brinksma: On the Coverage of Partial Validations. AMAST 1993: 245-252

Ed Brinksma, Rom Langerak, Peter Broekroelofs: Functionality Decomposition by Compositional Correstness Preserving Transformation. CAV 1993: 371-384

Ed Brinksma, Henk Eertink: Goal-Driven LOTOS Execution. PSTV 1993: 45-60

Ed Brinksma: On the Uniqueness of Fixpoints Modulo Observation Congruence. CONCUR 1992: 47-61

Louis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma: On Asynchronous Testing. Protocol Test Systems 1992: 55-66

Jan Kroon, Rudolf Jan Heijink, Ed Brinksma (Eds.): Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991. IFIP Transactions C-3, North-Holland 1992, isbn 0-444-89517-5

Ed Brinksma, Giuseppe Scollo, Chris A. Vissers: Introduction to the PSTV-IX. Computer Networks and ISDN Systems 22(1): 1-6 (1991)

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

Ed Brinksma: From Data Structure to Process Structure. CAV 1991: 244-254

Ed Brinksma: What is the Method in Formal Methods? FORTE 1991: 33-50

Ed Brinksma, Jan Tretmans, Louis Verhaard: A Framework for Test Selection. PSTV 1991: 233-248

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

Ed Brinksma, Bengt Jonsson, Fredrik Orava: Refining Interfaces of Communicating Systems. TAPSOFT, Vol.2 1991: 297-312

Ed Brinksma, Giuseppe Scollo, Chris A. Vissers (Eds.): Protocol Specification, Testing and Verification IX, Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989. North-Holland 1990, isbn 0-444-88343-6

Ed Brinksma: Specification Modules in LOTOS. FORTE 1989: 101-115

Ed Brinksma: Constraint-Oriented Specification in a Constructive Formal Description Technique. REX Workshop 1989: 130-152

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: 60

Tommaso Bolognesi, Ed Brinksma: Introduction to the ISO Specification Language LOTOS. Computer Networks 14: 25-59 (1987)

Ed Brinksma: On the Formal Specification of OSI Services and Protocols. ICCC 1986: 159-164

Ed Brinksma: A tutorial on LOTOS. PSTV 1985: 171-194

Ed Brinksma, Günter Karjoth: A Specification of the OSI Transport Service in LOTOS. PSTV 1984: 227-251