Ed Brinksma - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Ed Brinksma' as author, editor, or advisor:

Dependability for high-tech systems: an industry-as-laboratory approachEd Brinksma, Jozef Hooman. date 2008: 1226-1231 [doi]
Experience with Literate Programming in the Modelling and Validation of SystemsTheo C. Ruys, Ed Brinksma. TACAS 1998: 393-408 [doi]
Causal Ambiguity and Partial Orders in Event StructuresRom Langerak, Ed Brinksma, Joost-Pieter Katoen. concur 1997: 317-331
Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991Jan Kroon, Rudolf Jan Heijink, Ed Brinksma, editors, Volume C-3 of IFIP Transactions, North-Holland, 1992.
On the Uniqueness of Fixpoints Modulo Observation CongruenceEd Brinksma. concur 1992: 47-61
04371 Abstracts Collection - Perspectives of Model-Based TestingEd Brinksma, Wolfgang Grieskamp, Jan Tretmans. Dagstuhl 2005: [doi]
A Test Generation Framework for ::::quiescent:::: Real-Time SystemsLaura Brandán Briones, Ed Brinksma. fates 2005: 64-78 [doi]
A Complete Finite Prefix for Process AlgebraRom Langerak, Ed Brinksma. cav 1999: 184-195 [doi]
The Challenges of Embedded Systems EngineeringEd Brinksma. hybrid 2007: 3 [doi]
Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS 97, Enschede, The Netherlands, April 2-4, 1997, ProceedingsEd Brinksma, editor, Volume 1217 of Lecture Notes in Computer Science, Springer, 1997.
Perspectives of Model-Based Testing, 5.-10. September 2004Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans, editors, Volume 04371 of Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, 2005.
Fair TestingEd Brinksma, Arend Rensink, Walter Vogler. concur 1995: 313-327
Verification and Optimization of a PLC Control ScheduleEd Brinksma, Angelika Mader. spin 2000: 73-92
Goal-Driven LOTOS ExecutionEd Brinksma, Henk Eertink. pstv 1993: 45-60
A Specification of the OSI Transport Service in LOTOSEd Brinksma, Günter Karjoth. pstv 1985: 227-251
Performance and formal design: a process algebraic perspectiveEd Brinksma. pnpm 1995: 124-125 [doi]
On the Formal Specification of OSI Services and ProtocolsEd Brinksma. iccc 1986: 159-164
Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995, ProceedingsEd Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen, editors, Volume 1019 of Lecture Notes in Computer Science, Springer, 1995.
Partial Order Models for Quantitative Extensions of LOTOSEd Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella. cn, 30(9-10):925-950, 1998. [doi]
04371 Summary - Perspectives of Model-Based TestingEd Brinksma, Wolfgang Grieskamp, Jan Tretmans. Dagstuhl 2005: [doi]
Applications of Fair TestingEd Brinksma, Arend Rensink, Walter Vogler. forte 1996: 145-160
Staying Alive as Cheaply as PossiblePatricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen. hybrid 2004: 203-218 [doi]
Optimal infinite scheduling for multi-priced timed automataPatricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen. fmsd, 32(1):3-23, 2008. [doi]
Constraint-Oriented Specification in a Constructive Formal Description TechniqueEd Brinksma. rex 1990: 130-152
Process Algebra and Markov ChainsEd Brinksma, Holger Hermanns. eef 2001: 183-231 [doi]
Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise.Val Jones, Arend Rensink, Ed Brinksma. edoc 2005: 58-69 [doi]
A Semantic Framework for Test CoverageLaura Brandán Briones, Ed Brinksma, Mariëlle Stoelinga. ATVA 2006: 399-414 [doi]
A tutorial on LOTOSEd Brinksma. pstv 1985: 171-194
Production Scheduling by Reachability Analysis - A Case StudyGerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader. ipps 2005: [doi]
A Framework for Test SelectionEd Brinksma, Jan Tretmans, Louis Verhaard. pstv 1991: 233-248
Specification and Analysis of Soft Real-Time Systems: Quantity and QualityPedro R. D Argenio, Joost-Pieter Katoen, Ed Brinksma. rtss 1999: 104-114 [doi]
As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed AutomataKim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn. cav 2001: 493-505 [doi]
Introduction to the ISO Specification Language LOTOSTommaso Bolognesi, Ed Brinksma. cn, 14:25-59, 1987.
Compositional Theories of Qualitative and Quantitative BehaviourEd Brinksma. apn 2003: 37-42 [doi]
Validation in contextLex Heerink, Ed Brinksma. pstv 1996: 221-236
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 LecturesEd Brinksma, Holger Hermanns, Joost-Pieter Katoen, editors, Volume 2090 of Lecture Notes in Computer Science, Springer, 2001.
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, 1989Ed Brinksma, Giuseppe Scollo, Chris A. Vissers, editors, North-Holland, 1990.
Testing Real-Time Multi Input-Output SystemsLaura Brandán Briones, Ed Brinksma. icfem 2005: 264-279 [doi]
Managing the verification trajectoryTheo C. Ruys, Ed Brinksma. STTT, 4(2):246-259, 2003. [doi]
Cache Consistency by DesignEd Brinksma. dc, 12(2-3):61-74, 1999. [doi]
Factorized Test Generation for Multi-Input/Output Transition SystemsEd Brinksma, Lex Heerink, Jan Tretmans. pts 1998: 67-82
Verification Is Experimentation!Ed Brinksma. concur 2000: 17-24 [doi]
Testing Transition Systems: An Annotated BibliographyEd Brinksma, Jan Tretmans. movep 2001: 187-195 [doi]
On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract)Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma. tapsoft 1989: 60
Specification Styles in Distributed Systems Design and VerificationChris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma. TCS, 89(1):179-206, 1991.
Verification and optimization of a PLC control scheduleEd Brinksma, Angelika Mader, Ansgar Fehnker. STTT, 4(1):21-33, 2002. [doi]
Refining Interfaces of Communicating SystemsEd Brinksma, Bengt Jonsson, Fredrik Orava. tapsoft 1991: 297-312
Model-Based TestingMark Timmer, Ed Brinksma, Mariëlle Stoelinga. In Manfred Broy, Christian Leuxner, Tony Hoare, editors, Software and Systems Safety - Specification and Verification. Volume 30 of NATO Science for Peace and Security Series - D: Information and Communication Security, pages 1-32, IOS Press, 2011. [doi]
A Consistent Causality-Based View on a Timed Process Algebra Including Urgent InteractionsJoost-Pieter Katoen, Rom Langerak, Ed Brinksma, Diego Latella, Tommaso Bolognesi. fmsd, 12(2):189-216, 1998.
An algebraic approach to the specification of stochastic systemsPedro R. D Argenio, Joost-Pieter Katoen, Ed Brinksma. procomet 1998: 126-147
Introduction to the PSTV-IXEd Brinksma, Giuseppe Scollo, Chris A. Vissers. cn, 22(1):1-6, 1991.
Using Formal Methods: if you re so smart how come you ain t rich?Ed Brinksma. forte 1996: 329
Protocol Conformance Testing: A Formal Perspective on ISO IS-9646Jan Tretmans, Pim Kars, Ed Brinksma. pts 1992: 131-142
From Data Structure to Process StructureEd Brinksma. cav 1992: 244-254
A Calculus for Timed AutomataPedro R. D Argenio, Ed Brinksma. ftrtft 1996: 110-129
Guest Editors Introduction: Formal Methods for Object Oriented Distributed SystemsHoward Bowman, John Derrick, Ed Brinksma. TSE, 26(7):577-578, 2000. [doi]
Design of a PLC Control Program for a Batch Plant VHS Case StudyAngelika Mader, Ed Brinksma, Hanno Wupper, Nanette Bauer. ejcon, 7(4):416-439, 2001. [doi]
Specification Modules in LOTOSEd Brinksma. forte 1990: 101-115
Formal Methods for Conformance Testing: Theory Can Be PracticalEd Brinksma. cav 1999: 44-45 [doi]
Cache consistency by designEd Brinksma. pstv 1995: 53-67
On Specifying Real-Time Systems in a Causality-Based SettingJoost-Pieter Katoen, Rom Langerak, Diego Latella, Ed Brinksma. ftrtft 1996: 385-404
What is the Method in Formal Methods?Ed Brinksma. forte 1992: 33-50
Functionality Decomposition by Compositional Correstness Preserving TransformationEd Brinksma, Rom Langerak, Peter Broekroelofs. cav 1993: 371-384
Testing Divergent Transition SystemsEd Brinksma, Mariëlle I. A. Stoelinga, Mark Timmer. BIRTHDAY 2017: 339-366 [doi]
Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, ProceedingsEd Brinksma, Kim Guldstrand Larsen, editors, Volume 2404 of Lecture Notes in Computer Science, Springer, 2002.
A Stochastic Causality-Based Process AlgebraEd Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella. cj, 38(7):552-565, 1995.
On Asynchronous TestingLouis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma. pts 1993: 55-66
On the Coverage of Partial ValidationsEd Brinksma. amast 1994: 245-252
Verification is experimentation!Ed Brinksma. STTT, 3(2):107-111, 2001. [doi]
Testing Times: On Model-Driven Test Generation for Non-Deterministic Real-Time SystemsEd Brinksma. acsd 2004: 3-6 [doi]

runs on WebDSL