Ed Brinksma Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Jozef Hooman: Dependability for high-tech systems: an industry-as-laboratory approach. DATE 2008: 1226-1231
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen: Optimal infinite scheduling for multi-priced timed automata. Formal Methods in System Design 32(1): 3-23 (2008)
2007
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma: The Challenges of Embedded Systems Engineering. HSCC 2007: 3
2006
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Brandán Briones, Ed Brinksma, Mariëlle Stoelinga: A Semantic Framework for Test Coverage. ATVA 2006: 399-414
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Summary -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006
2005
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Wolfgang Grieskamp, Jan Tretmans: Perspectives of Model-Based Testing, 5.-10. September 2004 IBFI, Schloss Dagstuhl, Germany 2005
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVal Jones, Arend Rensink, Ed Brinksma: Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise.. EDOC 2005: 58-69
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Brandán Briones, Ed Brinksma: Testing Real-Time Multi Input-Output Systems. ICFEM 2005: 264-279
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader: Production Scheduling by Reachability Analysis - A Case Study. IPDPS 2005
2004
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma: Testing Times: On Model-Driven Test Generation for Non-Deterministic Real-Time Systems. ACSD 2004: 3-6
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Brandán Briones, Ed Brinksma: A Test Generation Framework for quiescent Real-Time Systems. FATES 2004: 64-78
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen: Staying Alive as Cheaply as Possible. HSCC 2004: 203-218
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Wolfgang Grieskamp, Jan Tretmans: 04371 Abstracts Collection - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing 2004
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Wolfgang Grieskamp, Jan Tretmans: 04371 Summary - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing 2004
2003
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma: Compositional Theories of Qualitative and Quantitative Behaviour. ICATPN 2003: 37-42
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheo C. Ruys, Ed Brinksma: Managing the verification trajectory. STTT 4(2): 246-259 (2003)
2002
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Kim Guldstrand Larsen: Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings Springer 2002
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Angelika Mader, Ansgar Fehnker: Verification and optimization of a PLC control schedule. STTT 4(1): 21-33 (2002)
2001
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Holger Hermanns, Joost-Pieter Katoen: 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 Springer 2001
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim 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
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma: Verification is experimentation! STTT 3(2): 107-111 (2001)
2000
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma: Verification Is Experimentation! CONCUR 2000: 17-24
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Holger Hermanns: Process Algebra and Markov Chains. European Educational Forum: School on Formal Methods and Performance Analysis 2000: 183-231
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Jan Tretmans: Testing Transition Systems: An Annotated Bibliography. MOVEP 2000: 187-195
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Angelika Mader: Verification and Optimization of a PLC Control Schedule. SPIN 2000: 73-92
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoward Bowman, John Derrick, Ed Brinksma: Guest Editors' Introduction: Formal Methods for Object Oriented Distributed Systems. IEEE Trans. Software Eng. 26(7): 577-578 (2000)
1999
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRom Langerak, Ed Brinksma: A Complete Finite Prefix for Process Algebra. CAV 1999: 184-195
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma: Formal Methods for Conformance Testing: Theory Can Be Practical. CAV 1999: 44-45
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma: Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. IEEE Real-Time Systems Symposium 1999: 104-114
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma: Cache Consistency by Design. Distributed Computing 12(2-3): 61-74 (1999)
1998
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Lex Heerink, Jan Tretmans: Factorized Test Generation for Multi-Input/Output Transition Systems. IWTCS 1998: 67-82
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma: An algebraic approach to the specification of stochastic systems. PROCOMET 1998: 126-147
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheo C. Ruys, Ed Brinksma: Experience with Literate Programming in the Modelling and Validation of Systems. TACAS 1998: 393-408
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella: Partial Order Models for Quantitative Extensions of LOTOS. Computer Networks 30(9-10): 925-950 (1998)
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-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)
1997
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma: Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997, Proceedings Springer 1997
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRom Langerak, Ed Brinksma, Joost-Pieter Katoen: Causal Ambiguity and Partial Orders in Event Structures. CONCUR 1997: 317-331
1996
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Arend Rensink, Walter Vogler: Applications of Fair Testing. FORTE 1996: 145-160
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma: Using Formal Methods: if you're so smart how come you ain't rich? FORTE 1996: 329
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro R. D'Argenio, Ed Brinksma: A Calculus for Timed Automata. FTRTFT 1996: 110-129
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost-Pieter Katoen, Rom Langerak, Diego Latella, Ed Brinksma: On Specifying Real-Time Systems in a Causality-Based Setting. FTRTFT 1996: 385-404
1995
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen: Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings Springer 1995
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Arend Rensink, Walter Vogler: Fair Testing. CONCUR 1995: 313-327
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLex Heerink, Ed Brinksma: Validation in context. PSTV 1995: 221-236
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella: A Stochastic Causality-Based Process Algebra. Comput. J. 38(7): 552-565 (1995)
1994
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma: Cache consistency by design. PSTV 1994: 53-67
1993
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma: On the Coverage of Partial Validations. AMAST 1993: 245-252
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Rom Langerak, Peter Broekroelofs: Functionality Decomposition by Compositional Correstness Preserving Transformation. CAV 1993: 371-384
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Henk Eertink: Goal-Driven LOTOS Execution. PSTV 1993: 45-60
1992
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Kroon, Rudolf Jan Heijink, Ed Brinksma: 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 North-Holland 1992
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma: On the Uniqueness of Fixpoints Modulo Observation Congruence. CONCUR 1992: 47-61
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLouis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma: On Asynchronous Testing. Protocol Test Systems 1992: 55-66
1991
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma: From Data Structure to Process Structure. CAV 1991: 244-254
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma: What is the Method in Formal Methods? FORTE 1991: 33-50
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Jan Tretmans, Louis Verhaard: A Framework for Test Selection. PSTV 1991: 233-248
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Tretmans, Pim Kars, Ed Brinksma: Protocol Conformance Testing: A Formal Perspective on ISO IS-9646. Protocol Test Systems 1991: 131-142
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Bengt Jonsson, Fredrik Orava: Refining Interfaces of Communicating Systems. TAPSOFT, Vol.2 1991: 297-312
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Giuseppe Scollo, Chris A. Vissers: Introduction to the PSTV-IX. Computer Networks and ISDN Systems 22(1): 1-6 (1991)
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris 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)
1990
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Giuseppe Scollo, Chris A. Vissers: 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
1989
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma: Specification Modules in LOTOS. FORTE 1989: 101-115
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma: Constraint-Oriented Specification in a Constructive Formal Description Technique. REX Workshop 1989: 130-152
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris 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
1987
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTommaso Bolognesi, Ed Brinksma: Introduction to the ISO Specification Language LOTOS. Computer Networks 14: 25-59 (1987)
1986
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma: On the Formal Specification of OSI Services and Protocols. ICCC 1986: 159-164
1985
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma: A tutorial on LOTOS. PSTV 1985: 171-194
1984
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEd Brinksma, Günter Karjoth: A Specification of the OSI Transport Service in LOTOS. PSTV 1984: 227-251

Coauthor Index

1Gerd Behrmann [48] [59]
2Tommaso Bolognesi [4] [33]
3Patricia Bouyer [56] [68]
4Howard Bowman [42]
5Laura Brandán Briones [57] [60] [65]
6Peter Broekroelofs [20]
7Rance Cleaveland [26]
8Pedro R. D'Argenio [28] [36] [39]
9John Derrick [42]
10Henk Eertink [19]
11Ansgar Fehnker [48] [50]
12Wolfgang Grieskamp [54] [55] [62]
13David Harel [63] [64] [67]
14Lex Heerink [24] [37]
15Rudolf Jan Heijink [18]
16Martijn Hendriks [59]
17Holger Hermanns [45] [49]
18Jozef Hooman [69]
19Thomas Hune [48]
20Val Jones [61]
21Bengt Jonsson [11]
22Günter Karjoth [1]
23Pim Kars [12] [16]
24Joost-Pieter Katoen [23] [27] [31] [33] [34] [36] [39] [49]
25Jan Kroon [18]
26Rom Langerak [20] [23] [27] [31] [33] [34] [41]
27Kim Guldstrand Larsen (Kim G. Larsen) [26] [48] [51] [56] [68]
28Diego Latella [23] [27] [33] [34]
29Angelika Mader [43] [50] [59] [63] [64] [67]
30Tiziana Margaria (Tiziana Margaria-Steffen) [26]
31Fredrik Orava [11]
32Paul Pettersson [48]
33Arend Rensink [25] [30] [61]
34Judi Romijn [48]
35Theo C. Ruys [35] [52]
36Giuseppe Scollo [5] [8] [9] [10]
37Marten van Sinderen [5] [9]
38Bernhard Steffen [26]
39Perdita Stevens [63] [64] [67]
40Mariëlle Stoelinga [65]
41Jan Tretmans [12] [13] [16] [37] [44] [54] [55] [62]
42Louis Verhaard [13] [16]
43Chris A. Vissers [5] [8] [9] [10]
44Walter Vogler [25] [30]
45Roel Wieringa [63] [64] [67]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)