Ed Brinksma
Ed Brinksma
Hoogleraar informatica, Universiteit Twente
Geverifieerd e-mailadres voor utwente.nl
Geciteerd door
Geciteerd door
Introduction to the ISO specification language LOTOS
T Bolognesi, E Brinksma
Computer Networks and ISDN systems 14 (1), 25-59, 1987
A theory for the derivation of tests
E Brinksma
Proc. 8th Int. Conf. Protocol Specification, Testing and Verification, 63-74, 1988
Torx: Automated model-based testing
GJ Tretmans, H Brinksma
First European Conference on Model-Driven Software Engineering, 31-43, 2003
LOTOS specifications, their implementations and their tests
E Brinksma
Protocol Specification, Testing, and Verification, 349-360, 1987
Testing transition systems: An annotated bibliography
E Brinksma, J Tretmans
Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP …, 2001
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
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
A tutorial on LOTOS
E Brinksma
Protocol Specification, Testing, and Verification, 171-194, 1986
A Test Generation Framework for quiescent Real-Time Systems
LB Briones, E Brinksma
Formal Approaches to Software Testing: 4th International Workshop, FATES …, 2005
Fair testing
E Brinksma, A Rensink, W Vogler
CONCUR'95: Concurrency Theory: 6th International Conference Philadelphia, PA …, 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
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
A stochastic causality-based process algebra
E Brinksma, JP Katoen, R Langerak, D Latella
The Computer Journal 38 (7), 552-565, 1995
Process algebra and Markov chains
E Brinksma, H Hermanns
Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer …, 2001
Optimal infinite scheduling for multi-priced timed automata
P Bouyer, E Brinksma, KG Larsen
Formal Methods in System Design 32, 3-23, 2008
Formal approach to conformance testing
E Brinksma
Proc. Int. Workshop on Protocol Test Systems, 311-325, 1989
Formal notions of implementation and conformance in LOTOS
H Brinksma, G Scollo
Twente University of Technology, Department of Computer Science, 1986
Staying alive as cheaply as possible
P Bouyer, E Brinksma, KG Larsen
Hybrid Systems: Computation and Control: 7th International Workshop, HSCC …, 2004
Verification and optimization of a PLC control schedule
E Brinksma, A Mader
SPIN 1885, 73-92, 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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20