Ed Brinksma - RankMe

74 papers A* 6A 6B 6C 6Journal 13Unranked 31

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Measured Causes: Adding Time and Probability to True Concurrency - Ten Papers with Pisa and Twente. Principles of Verification (3) Ed Brinksma, Rom Langerak, Diego Latella, Mieke Massink
2017	—	`conf`	Testing Divergent Transition Systems. Models, Algorithms, Logics and Tools Ed Brinksma, Mariëlle I. A. Stoelinga, Mark Timmer
2011	—	`ch.`	Model-Based Testing. Software and Systems Safety - Specification and Verification Mark Timmer, Ed Brinksma, Mariëlle Stoelinga
2008	A	`conf`	Dependability for high-tech systems: an industry-as-laboratory approach. DATE Ed Brinksma, Jozef Hooman
2008	J	`jnl`	Optimal infinite scheduling for multi-priced timed automata. Formal Methods Syst. Des. Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen
2007	—	`ed.`	Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006 MMOSS Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa
2007	—	`conf`	The Challenges of Embedded Systems Engineering. HSCC Ed Brinksma
2006	—	`conf`	06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). MMOSS Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa
2006	—	`conf`	06351 Summary -- Methods for Modelling Software Systems (MMOSS). MMOSS Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa
2006	B	`conf`	A Semantic Framework for Test Coverage. ATVA Laura Brandán Briones, Ed Brinksma, Mariëlle Stoelinga
2005	B	`conf`	Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise.. EDOC Val Jones, Arend Rensink, Ed Brinksma
2005	—	`ed.`	Perspectives of Model-Based Testing, 5.-10. September 2004 Perspectives of Model-Based Testing Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans
2005	A	`conf`	Production Scheduling by Reachability Analysis - A Case Study. IPDPS Gerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader
2005	C	`conf`	Testing Real-Time Multi Input-Output Systems. ICFEM Laura Brandán Briones, Ed Brinksma
2004	—	`conf`	04371 Abstracts Collection - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans
2004	—	`conf`	04371 Summary - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans
2004	—	`conf`	A Test Generation Framework for FATES Laura Brandán Briones, Ed Brinksma
2004	—	`conf`	Staying Alive as Cheaply as Possible. HSCC Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen
2004	—	`conf`	Testing Times: On Model-Driven Test Generation for Non-Deterministic Real-Time Systems. ACSD Ed Brinksma
2003	—	`conf`	Compositional Theories of Qualitative and Quantitative Behaviour. ICATPN Ed Brinksma
2003	J	`jnl`	Managing the verification trajectory. Int. J. Softw. Tools Technol. Transf. Theo C. Ruys, Ed Brinksma
2002	A*	`ed.`	Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings CAV Ed Brinksma, Kim Guldstrand Larsen
2002	J	`jnl`	Verification and optimization of a PLC control schedule. Int. J. Softw. Tools Technol. Transf. Ed Brinksma, Angelika Mader, Ansgar Fehnker
2001	A*	`conf`	As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. CAV Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn
2001	J	`jnl`	Design of a PLC Control Program for a Batch Plant VHS Case Study. Eur. J. Control Angelika Mader, Ed Brinksma, Hanno Wupper, Nanette Bauer
2001	—	`ed.`	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 Euro Summer School on Trends in Computer Science Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen
2001	J	`jnl`	Verification is experimentation! Int. J. Softw. Tools Technol. Transf. Ed Brinksma
2000	J	`jnl`	Guest Editors' Introduction: Formal Methods for Object Oriented Distributed Systems. IEEE Trans. Software Eng. Howard Bowman, John Derrick, Ed Brinksma
2000	—	`conf`	Process Algebra and Markov Chains. European Educational Forum: School on Formal Methods and Performance Analysis Ed Brinksma, Holger Hermanns
2000	—	`conf`	Testing Transition Systems: An Annotated Bibliography. MOVEP Ed Brinksma, Jan Tretmans
2000	B	`conf`	Verification Is Experimentation! CONCUR Ed Brinksma
2000	—	`conf`	Verification and Optimization of a PLC Control Schedule. SPIN Ed Brinksma, Angelika Mader
1999	A*	`conf`	A Complete Finite Prefix for Process Algebra. CAV Rom Langerak, Ed Brinksma
1999	J	`jnl`	Cache Consistency by Design. Distributed Comput. Ed Brinksma
1999	A*	`conf`	Formal Methods for Conformance Testing: Theory Can Be Practical. CAV Ed Brinksma
1999	A	`conf`	Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. RTSS Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma
1998	J	`jnl`	A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions. Formal Methods Syst. Des. Joost-Pieter Katoen, Rom Langerak, Ed Brinksma, Diego Latella, Tommaso Bolognesi
1998	—	`conf`	An algebraic approach to the specification of stochastic systems. PROCOMET Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma
1998	A	`conf`	Experience with Literate Programming in the Modelling and Validation of Systems. TACAS Theo C. Ruys, Ed Brinksma
1998	—	`conf`	Factorized Test Generation for Multi-Input/Output Transition Systems. IWTCS Ed Brinksma, Lex Heerink, Jan Tretmans
1998	J	`jnl`	Partial Order Models for Quantitative Extensions of LOTOS. Comput. Networks Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella
1997	B	`conf`	Causal Ambiguity and Partial Orders in Event Structures. CONCUR Rom Langerak, Ed Brinksma, Joost-Pieter Katoen
1997	A	`ed.`	Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997, Proceedings TACAS Ed Brinksma
1996	—	`conf`	A Calculus for Timed Automata. FTRTFT Pedro R. D'Argenio, Ed Brinksma
1996	C	`conf`	Applications of Fair Testing. FORTE Ed Brinksma, Arend Rensink, Walter Vogler
1996	—	`conf`	On Specifying Real-Time Systems in a Causality-Based Setting. FTRTFT Joost-Pieter Katoen, Rom Langerak, Diego Latella, Ed Brinksma
1996	C	`conf`	Using Formal Methods: if you're so smart how come you ain't rich? FORTE Ed Brinksma
1995	J	`jnl`	A Stochastic Causality-Based Process Algebra. Comput. J. Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella
1995	B	`conf`	Fair Testing. CONCUR Ed Brinksma, Arend Rensink, Walter Vogler
1995	—	`conf`	Performance and formal design: a process algebraic perspective. PNPM Ed Brinksma
1995	A	`ed.`	Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings TACAS Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen
1995	—	`conf`	Validation in context. PSTV Lex Heerink, Ed Brinksma
1994	—	`conf`	Cache consistency by design. PSTV Ed Brinksma
1993	A*	`conf`	Functionality Decomposition by Compositional Correstness Preserving Transformation. CAV Ed Brinksma, Rom Langerak, Peter Broekroelofs
1993	—	`conf`	Goal-Driven LOTOS Execution. PSTV Ed Brinksma, Henk Eertink
1993	—	`conf`	On the Coverage of Partial Validations. AMAST Ed Brinksma
1992	—	`conf`	On Asynchronous Testing. Protocol Test Systems Louis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma
1992	B	`conf`	On the Uniqueness of Fixpoints Modulo Observation Congruence. CONCUR Ed Brinksma
1992	—	`ed.`	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 Protocol Test Systems Jan Kroon, Rudolf Jan Heijink, Ed Brinksma
1991	—	`conf`	A Framework for Test Selection. PSTV Ed Brinksma, Jan Tretmans, Louis Verhaard
1991	A*	`conf`	From Data Structure to Process Structure. CAV Ed Brinksma
1991	J	`jnl`	Introduction to the PSTV-IX. Comput. Networks ISDN Syst. Ed Brinksma, Giuseppe Scollo, Chris A. Vissers
1991	—	`conf`	Protocol Conformance Testing: A Formal Perspective on ISO IS-9646. Protocol Test Systems Jan Tretmans, Pim Kars, Ed Brinksma
1991	—	`conf`	Refining Interfaces of Communicating Systems. TAPSOFT, Vol.2 Ed Brinksma, Bengt Jonsson, Fredrik Orava
1991	J	`jnl`	Specification Styles in Distributed Systems Design and Verification. Theor. Comput. Sci. Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma
1991	C	`conf`	What is the Method in Formal Methods? FORTE Ed Brinksma
1990	—	`ed.`	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 PSTV Ed Brinksma, Giuseppe Scollo, Chris A. Vissers
1989	—	`conf`	Constraint-Oriented Specification in a Constructive Formal Description Technique. REX Workshop Ed Brinksma
1989	—	`conf`	On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract). TAPSOFT, Vol.2 Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma
1989	C	`conf`	Specification Modules in LOTOS. FORTE Ed Brinksma
1987	J	`jnl`	Introduction to the ISO Specification Language LOTOS. Comput. Networks Tommaso Bolognesi, Ed Brinksma
1986	C	`conf`	On the Formal Specification of OSI Services and Protocols. ICCC Ed Brinksma
1985	—	`conf`	A tutorial on LOTOS. PSTV Ed Brinksma
1984	—	`conf`	A Specification of the OSI Transport Service in LOTOS. PSTV Ed Brinksma, Günter Karjoth