![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Ed Brinksma
Person information
- affiliation: University of Twente, Enschede, Netherlands
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
- [c47]Ed Brinksma, Mariëlle I. A. Stoelinga
, Mark Timmer:
Testing Divergent Transition Systems. Models, Algorithms, Logics and Tools 2017: 339-366 - 2011
- [p1]Mark Timmer, Ed Brinksma, Mariëlle Stoelinga
:
Model-Based Testing. Software and Systems Safety - Specification and Verification 2011: 1-32
2000 – 2009
- 2008
- [j13]Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen
:
Optimal infinite scheduling for multi-priced timed automata. Formal Methods Syst. Des. 32(1): 3-23 (2008) - [c46]Ed Brinksma, Jozef Hooman:
Dependability for high-tech systems: an industry-as-laboratory approach. DATE 2008: 1226-1231 - 2007
- [c45]Ed Brinksma:
The Challenges of Embedded Systems Engineering. HSCC 2007: 3 - [e8]Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa:
Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006. Dagstuhl Seminar Proceedings 06351, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 2006
- [c44]Laura Brandán Briones, Ed Brinksma, Mariëlle Stoelinga
:
A Semantic Framework for Test Coverage. ATVA 2006: 399-414 - [i4]Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa:
06351 Summary -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006 - [i3]Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel J. Wieringa:
06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006 - 2005
- [c43]Val Jones, Arend Rensink, Ed Brinksma:
Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise.. EDOC 2005: 58-69 - [c42]Laura Brandán Briones, Ed Brinksma:
Testing Real-Time Multi Input-Output Systems. ICFEM 2005: 264-279 - [c41]Gerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader
:
Production Scheduling by Reachability Analysis - A Case Study. IPDPS 2005 - [e7]Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans:
Perspectives of Model-Based Testing, 5.-10. September 2004. Dagstuhl Seminar Proceedings 04371, IBFI, Schloss Dagstuhl, Germany 2005 [contents] - 2004
- [c40]Ed Brinksma:
Testing Times: On Model-Driven Test Generation for Non-Deterministic Real-Time Systems. ACSD 2004: 3-6 - [c39]Laura Brandán Briones, Ed Brinksma:
A Test Generation Framework for quiescent Real-Time Systems. FATES 2004: 64-78 - [c38]Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen:
Staying Alive as Cheaply as Possible. HSCC 2004: 203-218 - [i2]Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans:
04371 Summary - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing 2004 - [i1]Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans:
04371 Abstracts Collection - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing 2004 - 2003
- [j12]Theo C. Ruys, Ed Brinksma:
Managing the verification trajectory. Int. J. Softw. Tools Technol. Transf. 4(2): 246-259 (2003) - [c37]Ed Brinksma:
Compositional Theories of Qualitative and Quantitative Behaviour. ICATPN 2003: 37-42 - 2002
- [j11]Ed Brinksma, Angelika Mader
, Ansgar Fehnker
:
Verification and optimization of a PLC control schedule. Int. J. Softw. Tools Technol. Transf. 4(1): 21-33 (2002) - [e6]Ed Brinksma, Kim Guldstrand Larsen:
Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings. Lecture Notes in Computer Science 2404, Springer 2002, ISBN 3-540-43997-8 [contents] - 2001
- [j10]Angelika Mader
, Ed Brinksma, Hanno Wupper, Nanette Bauer:
Design of a PLC Control Program for a Batch Plant VHS Case Study. Eur. J. Control 7(4): 416-439 (2001) - [j9]Ed Brinksma:
Verification is experimentation! Int. J. Softw. Tools Technol. Transf. 3(2): 107-111 (2001) - [c36]Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker
, Thomas Hune, Paul Pettersson, Judi Romijn:
As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. CAV 2001: 493-505 - [e5]Ed Brinksma, Holger Hermanns
, Joost-Pieter Katoen:
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. Lecture Notes in Computer Science 2090, Springer 2001, ISBN 3-540-42479-2 [contents] - 2000
- [j8]Howard Bowman, John Derrick
, Ed Brinksma:
Guest Editors' Introduction: Formal Methods for Object Oriented Distributed Systems. IEEE Trans. Software Eng. 26(7): 577-578 (2000) - [c35]Ed Brinksma:
Verification Is Experimentation! CONCUR 2000: 17-24 - [c34]Ed Brinksma, Holger Hermanns:
Process Algebra and Markov Chains. European Educational Forum: School on Formal Methods and Performance Analysis 2000: 183-231 - [c33]Ed Brinksma, Jan Tretmans:
Testing Transition Systems: An Annotated Bibliography. MOVEP 2000: 187-195 - [c32]Ed Brinksma, Angelika Mader
:
Verification and Optimization of a PLC Control Schedule. SPIN 2000: 73-92
1990 – 1999
- 1999
- [j7]Ed Brinksma:
Cache Consistency by Design. Distributed Comput. 12(2-3): 61-74 (1999) - [c31]Ed Brinksma:
Formal Methods for Conformance Testing: Theory Can Be Practical. CAV 1999: 44-45 - [c30]Rom Langerak, Ed Brinksma:
A Complete Finite Prefix for Process Algebra. CAV 1999: 184-195 - [c29]Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma:
Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. RTSS 1999: 104-114 - 1998
- [j6]Ed Brinksma, Joost-Pieter Katoen, Rom Langerak
, Diego Latella
:
Partial Order Models for Quantitative Extensions of LOTOS. Comput. Networks 30(9-10): 925-950 (1998) - [j5]Joost-Pieter Katoen
, Rom Langerak
, Ed Brinksma, Diego Latella
, Tommaso Bolognesi:
A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions. Formal Methods Syst. Des. 12(2): 189-216 (1998) - [c28]Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma:
An algebraic approach to the specification of stochastic systems. PROCOMET 1998: 126-147 - [c27]Ed Brinksma, Lex Heerink, Jan Tretmans:
Factorized Test Generation for Multi-Input/Output Transition Systems. IWTCS 1998: 67-82 - [c26]Theo C. Ruys, Ed Brinksma:
Experience with Literate Programming in the Modelling and Validation of Systems. TACAS 1998: 393-408 - 1997
- [c25]Rom Langerak
, Ed Brinksma, Joost-Pieter Katoen
:
Causal Ambiguity and Partial Orders in Event Structures. CONCUR 1997: 317-331 - [e4]Ed Brinksma:
Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997, Proceedings. Lecture Notes in Computer Science 1217, Springer 1997, ISBN 3-540-62790-1 [contents] - 1996
- [c24]Ed Brinksma, Arend Rensink, Walter Vogler:
Applications of Fair Testing. FORTE 1996: 145-160 - [c23]Ed Brinksma:
Using Formal Methods: if you're so smart how come you ain't rich? FORTE 1996: 329 - [c22]Pedro R. D'Argenio, Ed Brinksma:
A Calculus for Timed Automata. FTRTFT 1996: 110-129 - [c21]Joost-Pieter Katoen, Rom Langerak
, Diego Latella
, Ed Brinksma:
On Specifying Real-Time Systems in a Causality-Based Setting. FTRTFT 1996: 385-404 - 1995
- [j4]Ed Brinksma, Joost-Pieter Katoen, Rom Langerak
, Diego Latella
:
A Stochastic Causality-Based Process Algebra. Comput. J. 38(7): 552-565 (1995) - [c20]Ed Brinksma, Arend Rensink, Walter Vogler:
Fair Testing. CONCUR 1995: 313-327 - [c19]Ed Brinksma:
Performance and formal design: a process algebraic perspective. PNPM 1995: 124-125 - [c18]Lex Heerink, Ed Brinksma:
Validation in context. PSTV 1995: 221-236 - [e3]Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen:
Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings. Lecture Notes in Computer Science 1019, Springer 1995, ISBN 3-540-60630-0 [contents] - 1994
- [c17]Ed Brinksma:
Cache consistency by design. PSTV 1994: 53-67 - 1993
- [c16]Ed Brinksma:
On the Coverage of Partial Validations. AMAST 1993: 245-252 - [c15]Ed Brinksma, Rom Langerak
, Peter Broekroelofs:
Functionality Decomposition by Compositional Correstness Preserving Transformation. CAV 1993: 371-384 - [c14]Ed Brinksma, Henk Eertink:
Goal-Driven LOTOS Execution. PSTV 1993: 45-60 - 1992
- [c13]Ed Brinksma:
On the Uniqueness of Fixpoints Modulo Observation Congruence. CONCUR 1992: 47-61 - [c12]Louis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma:
On Asynchronous Testing. Protocol Test Systems 1992: 55-66 - [e2]Jan Kroon, Rudolf Jan Heijink, Ed Brinksma:
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. IFIP Transactions C-3, North-Holland 1992, ISBN 0-444-89517-5 [contents] - 1991
- [j3]Ed Brinksma, Giuseppe Scollo
, Chris A. Vissers:
Introduction to the PSTV-IX. Comput. Networks ISDN Syst. 22(1): 1-6 (1991) - [j2]Chris A. Vissers, Giuseppe Scollo
, Marten van Sinderen, Ed Brinksma:
Specification Styles in Distributed Systems Design and Verification. Theor. Comput. Sci. 89(1): 179-206 (1991) - [c11]Ed Brinksma:
From Data Structure to Process Structure. CAV 1991: 244-254 - [c10]Ed Brinksma:
What is the Method in Formal Methods? FORTE 1991: 33-50 - [c9]Ed Brinksma, Jan Tretmans, Louis Verhaard:
A Framework for Test Selection. PSTV 1991: 233-248 - [c8]Jan Tretmans, Pim Kars, Ed Brinksma:
Protocol Conformance Testing: A Formal Perspective on ISO IS-9646. Protocol Test Systems 1991: 131-142 - [c7]Ed Brinksma, Bengt Jonsson, Fredrik Orava:
Refining Interfaces of Communicating Systems. TAPSOFT, Vol.2 1991: 297-312 - 1990
- [e1]Ed Brinksma, Giuseppe Scollo, Chris A. Vissers:
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. North-Holland 1990, ISBN 0-444-88343-6 [contents]
1980 – 1989
- 1989
- [c6]Ed Brinksma:
Specification Modules in LOTOS. FORTE 1989: 101-115 - [c5]Ed Brinksma:
Constraint-Oriented Specification in a Constructive Formal Description Technique. REX Workshop 1989: 130-152 - [c4]Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma:
On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract). TAPSOFT, Vol.2 1989: 60 - 1987
- [j1]Tommaso Bolognesi, Ed Brinksma:
Introduction to the ISO Specification Language LOTOS. Comput. Networks 14: 25-59 (1987) - 1986
- [c3]Ed Brinksma:
On the Formal Specification of OSI Services and Protocols. ICCC 1986: 159-164 - 1985
- [c2]Ed Brinksma:
A tutorial on LOTOS. PSTV 1985: 171-194 - 1984
- [c1]Ed Brinksma, Günter Karjoth:
A Specification of the OSI Transport Service in LOTOS. PSTV 1984: 227-251
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint