Introduction to the ISO specification language LOTOS T Bolognesi, E Brinksma Computer Networks and ISDN systems 14 (1), 25-59, 1987 | 2323 | 1987 |
A theory for the derivation of tests E Brinksma Proc. 8th Int. Conf. Protocol Specification, Testing and Verification, 63-74, 1988 | 495 | 1988 |
Torx: Automated model-based testing GJ Tretmans, H Brinksma First European Conference on Model-Driven Software Engineering, 31-43, 2003 | 374* | 2003 |
LOTOS specifications, their implementations and their tests E Brinksma Proc. IFIP WG6. 1, 6th Int. Workshop on Protocol Specification, Testing and …, 1987 | 267 | 1987 |
Testing transition systems: An annotated bibliography E Brinksma, J Tretmans Summer School on Modeling and Verification of Parallel Processes, 187-195, 2000 | 234 | 2000 |
Specification styles in distributed systems design and verification CA Vissers, G Scollo, M van Sinderen, E Brinksma Theoretical Computer Science 89 (1), 179-206, 1991 | 220 | 1991 |
As cheap as possible: effcient cost-optimal reachability for priced timed automata K Larsen, G Behrmann, E Brinksma, A Fehnker, T Hune, P Pettersson, ... Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001 | 188 | 2001 |
A Test Generation Framework for quiescent Real-Time Systems LB Briones, E Brinksma International Workshop on Formal Approaches to Software Testing, 64-78, 2004 | 147 | 2004 |
A tutorial on LOTOS E Brinksma Protocol Specification, Testing, and Verification, 171-194, 1986 | 141 | 1986 |
Fair testing E Brinksma, A Rensink, W Vogler International Conference on Concurrency Theory, 313-327, 1995 | 127 | 1995 |
An algebraic approach to the specification of stochastic systems PR D’Argenio, JP Katoen, E Brinksma Programming Concepts and Methods PROCOMET’98: IFIP TC2/WG2. 2, 2.3 …, 1998 | 109 | 1998 |
Process algebra and Markov chains E Brinksma, H Hermanns School organized by the European Educational Forum, 183-231, 2000 | 104 | 2000 |
A stochastic causality-based process algebra E Brinksma, JP Katoen, R Langerak, D Latella The Computer Journal 38 (7), 552-565, 1995 | 103 | 1995 |
Information processing systems–open systems interconnection–lotos–a formal description technique based on the temporal ordering of observational behaviour E Brinksma International Standard, ISO 8807, 1988 | 103 | 1988 |
Optimal infinite scheduling for multi-priced timed automata P Bouyer, E Brinksma, KG Larsen Formal Methods in System Design 32, 3-23, 2008 | 101 | 2008 |
Formal approach to conformance testing E Brinksma Proc. Int. Workshop on Protocol Test Systems, 311-325, 1989 | 96 | 1989 |
Formal notions of implementation and conformance in LOTOS H Brinksma, G Scollo Twente University of Technology, Department of Computer Science, 1986 | 91 | 1986 |
Staying alive as cheaply as possible P Bouyer, E Brinksma, KG Larsen International Workshop on Hybrid Systems: Computation and Control, 203-218, 2004 | 83 | 2004 |
Verification and optimization of a PLC control schedule E Brinksma, A Mader International SPIN Workshop on Model Checking of Software, 73-92, 2000 | 63 | 2000 |
Verification and optimization of a PLC control schedule E Brinksma, A Mader, A Fehnker International Journal on Software Tools for Technology Transfer 4, 21-33, 2002 | 60 | 2002 |