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