Ed Brinksma
Ed Brinksma
Hoogleraar informatica, Universiteit Twente
Bestätigte E-Mail-Adresse bei utwente.nl
Titel
Zitiert von
Zitiert von
Jahr
Introduction to the ISO specification language LOTOS
T Bolognesi, E Brinksma
Computer Networks and ISDN systems 14 (1), 25-59, 1987
22361987
A theory for the derivation of tests
E Brinksma
Proc. 8th Int. Conf. Protocol Specification, Testing and Verification, 63-74, 1988
4641988
Torx: Automated model-based testing
GJ Tretmans, H Brinksma
First European Conference on Model-Driven Software Engineering, 31-43, 2003
344*2003
LOTOS specifications, their implementations and their tests
E Brinksma, G Scollo, C Steenbergen
Conformance testing methodologies and architectures for OSI protocols, 468-479, 1995
2621995
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
2211991
Testing transition systems: An annotated bibliography
E Brinksma, J Tretmans
Summer School on Modeling and Verification of Parallel Processes, 187-195, 2000
2192000
As cheap as possible: effcient cost-optimal reachability for priced timed automata
K Larsen, G Behrmann, E Brinksma, A Fehnker, T Hune, P Pettersson, ...
International Conference on Computer Aided Verification, 493-505, 2001
1642001
A tutorial on LOTOS
E Brinksma
Proceedings of the IFIP WG6. 1 Fifth International Conference on Protocol …, 1985
1441985
A test generation framework for quiescent real-time systems
LB Briones, E Brinksma
International Workshop on Formal Approaches to Software Testing, 64-78, 2004
1362004
On the design of Extended LOTOS: A specification language for open distributed systems.
H Brinksma
1231990
Fair testing
E Brinksma, A Rensink, W Vogler
International Conference on Concurrency theory, 313-327, 1995
1191995
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
1021988
An algebraic approach to the specification of stochastic systems
PR D’Argenio, JP Katoen, E Brinksma
Programming Concepts and Methods PROCOMET’98, 126-147, 1998
1001998
A stochastic causality-based process algebra
E Brinksma, JP Katoen, R Langerak, D Latella
The Computer Journal 38 (7), 552-565, 1995
981995
Formal approach to conformance testing
E Brinksma
Proc. Int. Workshop on Protocol Test Systems, 311-325, 1989
961989
Process algebra and Markov chains
E Brinksma, H Hermanns
School organized by the European Educational Forum, 183-231, 2000
952000
Optimal infinite scheduling for multi-priced timed automata
P Bouyer, E Brinksma, KG Larsen
Formal Methods in System Design 32 (1), 3-23, 2008
912008
Formal notions of implementation and conformance in LOTOS
H Brinksma, G Scollo
Twente University of Technology, Department of Computer Science, 1986
861986
Staying alive as cheaply as possible
P Bouyer, E Brinksma, KG Larsen
International Workshop on Hybrid Systems: Computation and Control, 203-218, 2004
772004
Verification and optimization of a PLC control schedule
E Brinksma, A Mader
International SPIN Workshop on Model Checking of Software, 73-92, 2000
572000
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20