Ed Brinksma
University of Twente(NL)
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Model-Driven Software Engineering Techniques, Petri Nets in System Modeling, Logic, programming, and type systems
Most-Cited Works
- → Introduction to the ISO specification language LOTOS(1987)1,287 cited
- → Testing Transition Systems: An Annotated Bibliography(2001)152 cited
- → Specification styles in distributed systems design and verification(1991)143 cited
- → As Cheap as Possible: Effcient Cost-Optimal Reachability for Priced Timed Automata(2001)140 cited
- → Lectures on Formal Methods and PerformanceAnalysis(2001)104 cited
- → A Test Generation Framework for quiescent Real-Time Systems(2005)98 cited
- → Fair testing(1995)87 cited
- Lotos specifications, their implementations and their tests(1995)
- A tutorial on LOTOS(1985)
- → Optimal infinite scheduling for multi-priced timed automata(2007)66 cited