Skip to contents Brinksma, Ed CONCUR 2000 — Concurrency Theory: Verification Is Experimentation! Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2000 Published in: CONCUR 2000 — Concurrency Theory (2000), Seite 17-24 Brinksma, Ed Computer Aided Verification: From data structure to process structure Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1992 Published in: Computer Aided Verification (1992), Seite 244-254 Brinksma, Ed Lecture Notes in Computer Science: Constraint-oriented specification in a constructive formal description technique Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1990 Published in: Lecture Notes in Computer Science (1990), Seite 130-152 Brinksma, Ed; Mader, Angelika Prozessalgebra, Teil 1 (Process Algebra, Part 1) Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Walter de Gruyter GmbH, 2003 Published in: at - Automatisierungstechnik, 51 (2003) 8, Seite 385-385 Brinksma, Ed; Mader, Angelika Prozessalgebra, Teil 1 (Process Algebra, Part 1) Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Walter de Gruyter GmbH, 2003 Published in: at - Automatisierungstechnik, 51 (2003) 8, Seite A13-A16 Brinksma, Ed; Mader, Angelika Prozessalgebra, Teil 2 (Process Algebra, Part 2) Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Walter de Gruyter GmbH, 2003 Published in: at - Automatisierungstechnik, 51 (2003) 9, Seite 433-433 Brinksma, Ed; Mader, Angelika Prozessalgebra, Teil 2 (Process Algebra, Part 2) Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Walter de Gruyter GmbH, 2003 Published in: at - Automatisierungstechnik, 51 (2003) 9, Seite A17-A20 Brinksma, Ed; Hermanns, Holger Lecture Notes in Computer Science: Process Algebra and Markov Chains Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2001 Published in: Lecture Notes in Computer Science (2001), Seite 183-231 Brinksma, Ed; Tretmans, Jan Modeling and Verification of Parallel Processes: Testing Transition Systems: An Annotated Bibliography Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2001 Published in: Modeling and Verification of Parallel Processes (2001), Seite 187-195 Langerak, Rom; Brinksma, Ed Computer Aided Verification: A Complete Finite Prefix for Process Algebra Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1999 Published in: Computer Aided Verification (1999), Seite 184-195 Brinksma, Ed; Mader, Angelika SPIN Model Checking and Software Verification: Verification and Optimization of a PLC Control Schedule Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2000 Published in: SPIN Model Checking and Software Verification (2000), Seite 73-92 Briones, Laura Brandán; Brinksma, Ed Formal Approaches to Software Testing: A Test Generation Framework for quiescent Real-Time Systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2005 Published in: Formal Approaches to Software Testing (2005), Seite 64-78 Briones, Laura Brandán; Brinksma, Ed Formal Methods and Software Engineering: Testing Real-Time Multi Input-Output Systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2005 Published in: Formal Methods and Software Engineering (2005), Seite 264-279 Ruys, Theo C.; Brinksma, Ed Managing the verification trajectory Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2003 Published in: International Journal on Software Tools for Technology Transfer (STTT), 4 (2003) 2, Seite 246-259 Ruys, Theo C.; Brinksma, Ed Tools and Algorithms for the Construction and Analysis of Systems: Experience with literate programming in the modelling and validation of systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1998 Published in: Tools and Algorithms for the Construction and Analysis of Systems (1998), Seite 393-408 Bouyer, Patricia; Brinksma, Ed; Larsen, Kim G. Optimal infinite scheduling for multi-priced timed automata Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2008 Published in: Formal Methods in System Design, 32 (2008) 1, Seite 3-23 Briones, Laura Brandán; Brinksma, Ed; Stoelinga, Mariëlle Automated Technology for Verification and Analysis: A Semantic Framework for Test Coverage Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2006 Published in: Automated Technology for Verification and Analysis (2006), Seite 399-414 Brinksma, Ed; Krilaviĉius, Tomas; Usenko, Yaroslav S. PROCESS ALGEBRAIC APPROACH TO HYBRID SYSTEMS Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2005 Published in: IFAC Proceedings Volumes, 38 (2005) 1, Seite 325-330 Bouyer, Patricia; Brinksma, Ed; Larsen, Kim G. Hybrid Systems: Computation and Control: Staying Alive as Cheaply as Possible Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2004 Published in: Hybrid Systems: Computation and Control (2004), Seite 203-218 Langerak, Rom; Brinksma, Ed; Katoen, Joost-Pieter CONCUR '97: Concurrency Theory: Causal ambiguity and partial orders in event structures Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1997 Published in: CONCUR '97: Concurrency Theory (1997), Seite 317-331
Brinksma, Ed CONCUR 2000 — Concurrency Theory: Verification Is Experimentation! Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2000 Published in: CONCUR 2000 — Concurrency Theory (2000), Seite 17-24
Brinksma, Ed Computer Aided Verification: From data structure to process structure Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1992 Published in: Computer Aided Verification (1992), Seite 244-254
Brinksma, Ed Lecture Notes in Computer Science: Constraint-oriented specification in a constructive formal description technique Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1990 Published in: Lecture Notes in Computer Science (1990), Seite 130-152
Brinksma, Ed; Mader, Angelika Prozessalgebra, Teil 1 (Process Algebra, Part 1) Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Walter de Gruyter GmbH, 2003 Published in: at - Automatisierungstechnik, 51 (2003) 8, Seite 385-385
Brinksma, Ed; Mader, Angelika Prozessalgebra, Teil 1 (Process Algebra, Part 1) Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Walter de Gruyter GmbH, 2003 Published in: at - Automatisierungstechnik, 51 (2003) 8, Seite A13-A16
Brinksma, Ed; Mader, Angelika Prozessalgebra, Teil 2 (Process Algebra, Part 2) Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Walter de Gruyter GmbH, 2003 Published in: at - Automatisierungstechnik, 51 (2003) 9, Seite 433-433
Brinksma, Ed; Mader, Angelika Prozessalgebra, Teil 2 (Process Algebra, Part 2) Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Walter de Gruyter GmbH, 2003 Published in: at - Automatisierungstechnik, 51 (2003) 9, Seite A17-A20
Brinksma, Ed; Hermanns, Holger Lecture Notes in Computer Science: Process Algebra and Markov Chains Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2001 Published in: Lecture Notes in Computer Science (2001), Seite 183-231
Brinksma, Ed; Tretmans, Jan Modeling and Verification of Parallel Processes: Testing Transition Systems: An Annotated Bibliography Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2001 Published in: Modeling and Verification of Parallel Processes (2001), Seite 187-195
Langerak, Rom; Brinksma, Ed Computer Aided Verification: A Complete Finite Prefix for Process Algebra Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1999 Published in: Computer Aided Verification (1999), Seite 184-195
Brinksma, Ed; Mader, Angelika SPIN Model Checking and Software Verification: Verification and Optimization of a PLC Control Schedule Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2000 Published in: SPIN Model Checking and Software Verification (2000), Seite 73-92
Briones, Laura Brandán; Brinksma, Ed Formal Approaches to Software Testing: A Test Generation Framework for quiescent Real-Time Systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2005 Published in: Formal Approaches to Software Testing (2005), Seite 64-78
Briones, Laura Brandán; Brinksma, Ed Formal Methods and Software Engineering: Testing Real-Time Multi Input-Output Systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2005 Published in: Formal Methods and Software Engineering (2005), Seite 264-279
Ruys, Theo C.; Brinksma, Ed Managing the verification trajectory Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2003 Published in: International Journal on Software Tools for Technology Transfer (STTT), 4 (2003) 2, Seite 246-259
Ruys, Theo C.; Brinksma, Ed Tools and Algorithms for the Construction and Analysis of Systems: Experience with literate programming in the modelling and validation of systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1998 Published in: Tools and Algorithms for the Construction and Analysis of Systems (1998), Seite 393-408
Bouyer, Patricia; Brinksma, Ed; Larsen, Kim G. Optimal infinite scheduling for multi-priced timed automata Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2008 Published in: Formal Methods in System Design, 32 (2008) 1, Seite 3-23
Briones, Laura Brandán; Brinksma, Ed; Stoelinga, Mariëlle Automated Technology for Verification and Analysis: A Semantic Framework for Test Coverage Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2006 Published in: Automated Technology for Verification and Analysis (2006), Seite 399-414
Brinksma, Ed; Krilaviĉius, Tomas; Usenko, Yaroslav S. PROCESS ALGEBRAIC APPROACH TO HYBRID SYSTEMS Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2005 Published in: IFAC Proceedings Volumes, 38 (2005) 1, Seite 325-330
Bouyer, Patricia; Brinksma, Ed; Larsen, Kim G. Hybrid Systems: Computation and Control: Staying Alive as Cheaply as Possible Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2004 Published in: Hybrid Systems: Computation and Control (2004), Seite 203-218
Langerak, Rom; Brinksma, Ed; Katoen, Joost-Pieter CONCUR '97: Concurrency Theory: Causal ambiguity and partial orders in event structures Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1997 Published in: CONCUR '97: Concurrency Theory (1997), Seite 317-331
> Media type Skip to next facet Articles (40) Wert ausschließen Books (10) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (5) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (8) Wert ausschließen Without Specification (37) Wert ausschließen Show more show less
> Language Skip to next facet Not determined (26) Wert ausschließen English (24) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (24) Wert ausschließen Mathmatics (9) Wert ausschließen Technology (6) Wert ausschließen Physics (4) Wert ausschließen Show more show less
> Creator Skip to next facet Brinksma, Ed (50) Wert ausschließen Mader, Angelika (8) Wert ausschließen Langerak, Rom (4) Wert ausschließen Briones, Laura Brandán (3) Wert ausschließen Larsen, Kim G. (3) Wert ausschließen Tretmans, Jan (3) Wert ausschließen Behrmann, Gerd (2) Wert ausschließen Bouyer, Patricia (2) Wert ausschließen Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa (2) Wert ausschließen Ed Brinksma and Wolfgang Grieskamp and Jan Tretmans (2) Wert ausschließen Grieskamp, Wolfgang (2) Wert ausschließen Harel, David (2) Wert ausschließen Hermanns, Holger (2) Wert ausschließen Katoen, Joost-Pieter (2) Wert ausschließen Larsen, Kim Guldstrand (2) Wert ausschließen Margaria-Steffen, Tiziana (2) Wert ausschließen Ruys, Theo C. (2) Wert ausschließen Scollo, Giuseppe (2) Wert ausschließen Steffen, Bernhard (2) Wert ausschließen Stevens, Perdita (2) Wert ausschließen TACAS 1 1995 Århus (2) Wert ausschließen Wieringa, Roel (2) Wert ausschließen Broekroelofs, Peter (1) Wert ausschließen CAV 14 2002 Kopenhagen (1) Wert ausschließen Cleaveland, W. Rance (1) Wert ausschließen Cleaveland, Walter R. (1) Wert ausschließen D'Argenio, Pedro R. (1) Wert ausschließen Ed Brinksma and Jan Peleska and Michael Siegel (1) Wert ausschließen European Educational Forum (1) Wert ausschließen Fehnker, Ansgar (1) Wert ausschließen Hendriks, Martijn (1) Wert ausschließen Hune, Thomas (1) Wert ausschließen International Federation for Information Processing Working Group on International Packet Switching for Computer Sharing (1) Wert ausschließen International Symposium on Protocol Specification, Testing, and Verification 9 1989 Enschede (1) Wert ausschließen Jonsson, Bengt (1) Wert ausschließen Katoen, Joost -Pieter (1) Wert ausschließen Krilaviĉius, Tomas (1) Wert ausschließen Larsen, Kim (1) Wert ausschließen Latella, Diego (1) Wert ausschließen Orava, Fredrik (1) Wert ausschließen Peleska, Jan (1) Wert ausschließen Pettersson, Paul (1) Wert ausschließen Rensink, Arend (1) Wert ausschließen Romijn, Judi (1) Wert ausschließen Siegel, Michael (1) Wert ausschließen Sinderen, Marten (1) Wert ausschließen Stoelinga, Mariëlle (1) Wert ausschließen Stoelinga, Mariëlle I. A. (1) Wert ausschließen Summerschool on Formal Methods and Performance Analysis 2000 Berg en Dal (1) Wert ausschließen TACAS 3 1997 Enschede (1) Wert ausschließen Timmer, Mark (1) Wert ausschließen Usenko, Yaroslav S. (1) Wert ausschließen Vissers, Chris A. (1) Wert ausschließen Vissers, Ohris A. (1) Wert ausschließen Vogler, Walter (1) Wert ausschließen van Sinderen, Marten (1) Wert ausschließen Show more show less
> Collection Skip to next facet Springer Berlin Heidelberg (CrossRef) (23) Wert ausschließen Verbunddaten SWB (10) Wert ausschließen BASE - Bielefeld Academic Search Engine (5) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (5) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (4) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (4) Wert ausschließen Elsevier BV (CrossRef) (3) Wert ausschließen Springer International Publishing (CrossRef) (1) Wert ausschließen Show more show less