Frits W. Vaandrager

	2012
81		Fred Houben, Georgeta Igna, Frits W. Vaandrager: Modeling Task Systems Using Parameterized Partial Orders. IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 317-327
80		Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager: Analysis of a clock synchronization protocol for wireless sensor networks. Theor. Comput. Sci. 413(1): 87-105 (2012)
	2011
79		Jasper Berendsen, Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang: Formal specification and analysis of zeroconf using uppaalS. ACM Trans. Embedded Comput. Syst. 10(3): 34 (2011)
	2010
78		Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager: The Theory of Timed I/O Automata, Second Edition Morgan & Claypool Publishers 2010
77		Fides Aarts, Frits W. Vaandrager: Learning I/O Automata. CONCUR 2010: 71-85
76		Fides Aarts, Julien Schmaltz, Frits W. Vaandrager: Inference and Abstraction of the Biometric Passport. ISoLA (1) 2010: 673-686
75		Georgeta Igna, Frits W. Vaandrager: Verification of Printer Datapaths Using Timed Automata. ISoLA (2) 2010: 412-423
74		Jasper Berendsen, David N. Jansen, Frits W. Vaandrager: Fortuna: Model Checking Priced Probabilistic Timed Automata. QEST 2010: 273-281
73		Jasper Berendsen, David N. Jansen, Julien Schmaltz, Frits W. Vaandrager: The axiomatization of override and update. J. Applied Logic 8(1): 141-150 (2010)
	2009
72		Joël Ouaknine, Frits W. Vaandrager: Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings Springer 2009
71		Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager: Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks. FM 2009: 516-531
70		Israa AlAttili, Fred Houben, Georgeta Igna, Steffen Michels, Feng Zhu, Frits W. Vaandrager: Adaptive Scheduling of Data Paths using Uppaal Tiga QFM 2009: 1-11
69		Mathijs Schuts, Feng Zhu, Faranak Heidarian, Frits W. Vaandrager: Modelling Clock Synchronization in the Chess gMAC WSN Protocol QFM 2009: 41-54
	2008
68		Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Frits W. Vaandrager, Marc Voorhoeve, Sebastian de Smet, Lou J. Somers: Formal Modeling and Scheduling of Datapaths of Digital Document Printers. FORMATS 2008: 170-187
67		Jasper Berendsen, Frits W. Vaandrager: Compositional Abstraction in Real-Time Model Checking. FORMATS 2008: 233-249
66		Roelof Hamberg, Frits W. Vaandrager: Using model checkers in an introductory course on operating systems. Operating Systems Review 42(6): 101-111 (2008)
	2007
65		Ling Cheung, Mariëlle Stoelinga, Frits W. Vaandrager: A testing scenario for probabilistic processes. J. ACM 54(6): (2007)
64		Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager: Observing Branching Structure through Probabilistic Contexts. SIAM J. Comput. 37(4): 977-1013 (2007)
	2006
63		Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager: The Theory of Timed I/O Automata Morgan & Claypool Publishers 2006
62		Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang: Analysis of the zeroconf protocol using UPPAAL. EMSOFT 2006: 242-251
61		Frits W. Vaandrager, Adriaan de Groot: Analysis of a biphase mark protocol with Uppaaland PVS. Formal Asp. Comput. 18(4): 433-458 (2006)
60		Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager: Model checker aided design of a controller for a wafer scanner. STTT 8(6): 633-647 (2006)
59		Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager: Switched PIOA: Parallel composition via distributed scheduling. Theor. Comput. Sci. 365(1-2): 83-108 (2006)
	2005
58		Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang, Kees Goossens, Edwin Rijpkema, Andrei Radulescu: Deadlock Prevention in the Æthereal Protocol. CHARME 2005: 345-348
57		Biniam Gebremichael, Frits W. Vaandrager: Specifying Urgency in Timed I/O Automata. SEFM 2005: 64-74
	2004
56		Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager: Switched Probabilistic I/O Automata. ICTAC 2004: 494-510
55		Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager: Model Checker Aided Design of a Controller for a Wafer Scanner. ISoLA (Preliminary proceedings) 2004: 201-208
54		W. O. David Griffioen, Frits W. Vaandrager: A theory of normed simulations. ACM Trans. Comput. Log. 5(4): 577-610 (2004)
	2003
53		Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager: Compositionality for Probabilistic Automata. CONCUR 2003: 204-222
52		Rob J. van Glabbeek, Frits W. Vaandrager: Bundle Event Structures and CCSP. CONCUR 2003: 57-71
51		Henrik C. Bohnenkamp, Peter van der Stok, Holger Hermanns, Frits W. Vaandrager: Cost-Optimization of the IPv4 Zeroconf Protocol. DSN 2003: 531-540
50		Biniam Gebremichael, Frits W. Vaandrager: Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking. FORMATS 2003: 189-203
49		Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager: Adding Symmetry Reduction to Uppaal. FORMATS 2003: 46-59
48		Mariëlle Stoelinga, Frits W. Vaandrager: A Testing Scenario for Probabilistic Automata. ICALP 2003: 464-477
47		Ansgar Fehnker, Frits W. Vaandrager, Miaomiao Zhang: Modeling and Verifying a Lego Car Using Hybrid I/O Automata. QSIC 2003: 280-289
46		Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager: Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems. RTSS 2003: 166-177
45		Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager: Hybrid I/O automata. Inf. Comput. 185(1): 105-157 (2003)
	2002
44		Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager: Linear parametric model checking of timed automata. J. Log. Algebr. Program. 52-53: 183-220 (2002)
	2001
43		Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager: Minimum-Cost Reachability for Priced Timed Automata. HSCC 2001: 147-161
42		Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager: Hybrid I/O Automata Revisited. HSCC 2001: 403-417
41		Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager: Linear Parametric Model Checking of Timed Automata. TACAS 2001: 189-203
40		Jan Springintveld, Frits W. Vaandrager, Pedro R. D'Argenio: Testing timed automata. Theor. Comput. Sci. 254(1-2): 225-257 (2001)
	2000
39		Gerd Behrmann, Thomas Hune, Frits W. Vaandrager: Distributing Timed Model Checking - How the Search Order Matters. CAV 2000: 216-231
38		W. O. David Griffioen, Frits W. Vaandrager: A theory of normed simulations CoRR cs.LO/0007030: (2000)
37		Marco Devillers, W. O. David Griffioen, Judi Romijn, Frits W. Vaandrager: Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394. Formal Methods in System Design 16(3): 307-320 (2000)
	1999
36		Frits W. Vaandrager, Jan H. van Schuppen: Hybrid Systems: Computation and Control, Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999, Proceedings Springer 1999
35		Frits W. Vaandrager: Verification of Hybrid Systems (abstract). ARTS 1999: 151
34		Mariëlle Stoelinga, Frits W. Vaandrager: Root Contention in IEEE 1394. ARTS 1999: 53-74
	1998
33		Grzegorz Rozenberg, Frits W. Vaandrager: Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 Springer 1998
32		W. O. David Griffioen, Frits W. Vaandrager: Normed Simulations. CAV 1998: 332-344
31		Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager: Operational and Logical Semantics for Polling Real-Time Systems. FTRTFT 1998: 29-40
	1997
30		Frits W. Vaandrager: A Theory of Testing for Timed Automata (Abstract). TAPSOFT 1997: 39
29		Rob J. van Glabbeek, Frits W. Vaandrager: The Difference between Splitting in n and n+1. Inf. Comput. 136(2): 109-142 (1997)
	1996
28		Frits W. Vaandrager: Introduction. European Educational Forum: School on Embedded Systems 1996: 1-3
27		Jan Springintveld, Frits W. Vaandrager: Minimizable Timed Automata. FTRTFT 1996: 130-147
26		Nancy A. Lynch, Frits W. Vaandrager: Action Transducers and Timed Automata. Formal Asp. Comput. 8(5): 499-538 (1996)
25		Nancy A. Lynch, Frits W. Vaandrager: Forward and Backward Simulations, II: Timing-Based Systems. Inf. Comput. 128(1): 1-25 (1996)
24		Judi Romijn, Frits W. Vaandrager: A Note on Fairness in I/O Automata. Inf. Process. Lett. 59(5): 245-250 (1996)
	1995
23		Frits W. Vaandrager: Verification of a Distributed Summation Algorithm. CONCUR 1995: 190-203
22		Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager, Henri B. Weinberg: Hybrid I/O Automata. Hybrid Systems 1995: 496-510
21		Nancy A. Lynch, Frits W. Vaandrager: Forward and Backward Simulations: I. Untimed Systems Inf. Comput. 121(2): 214-233 (1995)
20		Rocco De Nicola, Frits W. Vaandrager: Three Logics for Branching Bisimulation. J. ACM 42(2): 458-487 (1995)
	1994
19		Doeko Bosscher, Indra Polak, Frits W. Vaandrager: Verification of an Audio Control Protocol. FTRTFT 1994: 170-192
18		Luca Aceto, Bard Bloom, Frits W. Vaandrager: Turning SOS Rules into Equations Inf. Comput. 111(1): 1-52 (1994)
	1993
17		Leen Helmink, M. P. A. Sellink, Frits W. Vaandrager: Proof-Checking a Data Link Protocol. TYPES 1993: 127-165
16		Rob J. van Glabbeek, Frits W. Vaandrager: Modular Specification of Process Algebras. Theor. Comput. Sci. 113(2): 293-348 (1993)
	1992
15		Frits W. Vaandrager, Nancy A. Lynch: Action Transducers and Timed Automata. CONCUR 1992: 436-455
14		Luca Aceto, Bard Bloom, Frits W. Vaandrager: Turning SOS Rules into Equations LICS 1992: 113-124
13		Frits W. Vaandrager: Expressive Results for Process Algebras. REX Workshop 1992: 609-638
12		Jos C. M. Baeten, Frits W. Vaandrager: An Algebra for Process Creation. Acta Inf. 29(4): 303-334 (1992)
11		Jan Friso Groote, Frits W. Vaandrager: Structured Operational Semantics and Bisimulation as a Congruence Inf. Comput. 100(2): 202-260 (1992)
	1991
10		Frits W. Vaandrager: On the Relationship Between Process Algebra and Input/Output Automata LICS 1991: 387-398
9		Nancy A. Lynch, Frits W. Vaandrager: Forward and Backward Simulations for Timing-Based Systems. REX Workshop 1991: 397-446
8		Frits W. Vaandrager: Determinism - (Event Structure Isomorphism = Step Sequence Equivalence). Theor. Comput. Sci. 79(2): 275-294 (1991)
	1990
7		Rocco De Nicola, Ugo Montanari, Frits W. Vaandrager: Back and Forth Bisimulations. CONCUR 1990: 152-165
6		Jan Friso Groote, Frits W. Vaandrager: An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence. ICALP 1990: 626-638
5		Rocco De Nicola, Frits W. Vaandrager: Three Logics for Branching Bisimulation (Extended Abstract) LICS 1990: 118-129
4		Rocco De Nicola, Frits W. Vaandrager: Action versus State based Logics for Transition Systems. Semantics of Systems of Concurrent Processes 1990: 407-419
	1989
3		Jan Friso Groote, Frits W. Vaandrager: Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract). ICALP 1989: 423-438
	1987
2		Rob J. van Glabbeek, Frits W. Vaandrager: Modular Specifications in Process Algebra with Curious Queues. Algebraic Methods 1987: 465-506
1		Rob J. van Glabbeek, Frits W. Vaandrager: Petri Net Models for Algebraic Theories of Concurrency. PARLE (2) 1987: 224-242

Coauthor Index

1	Fides Aarts	[76] [77]
2	Luca Aceto	[14] [18]
3	Israa AlAttili	[70]
4	Jos C. M. Baeten	[12]
5	Twan Basten	[68]
6	Gerd Behrmann	[39] [43] [49]
7	Jasper Berendsen	[67] [73] [74] [79]
8	Bard Bloom	[14] [18]
9	Henrik C. Bohnenkamp	[51]
10	Doeko Bosscher	[19]
11	Ling Cheung	[56] [59] [65]
12	Pedro R. D'Argenio	[40]
13	Marco Devillers	[37]
14	Henning Dierks	[31]
15	Ansgar Fehnker	[31] [43] [47]
16	Biniam Gebremichael	[50] [57] [58] [62] [79]
17	Marc Geilen (Marc C. W. Geilen)	[68]
18	Rob J. van Glabbeek	[1] [2] [16] [29] [52]
19	Kees G. W. Goossens (Kees Goossens)	[58]
20	W. O. David Griffioen	[32] [37] [38] [54]
21	Adriaan de Groot	[61]
22	Jan Friso Groote	[3] [6] [11]
23	Roelof Hamberg	[66]
24	Faranak Heidarian	[69] [71] [80]
25	Leen Helmink	[17]
26	Martijn Hendriks	[49] [55] [60]
27	Holger Hermanns	[51]
28	Fred Houben	[70] [81]
29	Thomas Hune	[39] [41] [43] [44]
30	Georgeta Igna	[68] [70] [75] [81]
31	David N. Jansen	[73] [74]
32	Venkatesh Kannan	[68]
33	Dilsun Kirli Kaynar	[46] [63] [78]
34	Kim Guldstrand Larsen (Kim G. Larsen)	[43] [49]
35	Nancy A. Lynch	[9] [15] [21] [22] [25] [26] [42] [45] [46] [53] [56] [59] [63] [64] [78]
36	Angelika Mader	[31]
37	Steffen Michels	[70]
38	Ugo Montanari	[7]
39	Rocco De Nicola	[4] [5] [7] [20]
40	Peter Niebert	[49]
41	Barend van den Nieuwelaar	[55] [60]
42	Joël Ouaknine	[72]
43	Paul Pettersson	[43]
44	Indra Polak	[19]
45	Andrei Radulescu	[58]
46	Edwin Rijpkema	[58]
47	Judi Romijn	[24] [37] [41] [43] [44]
48	Grzegorz Rozenberg	[33]
49	Julien Schmaltz	[71] [73] [76] [80]
50	Jan H. van Schuppen	[36]
51	Mathijs Schuts	[69]
52	Roberto Segala	[22] [42] [45] [46] [53] [56] [59] [63] [64] [78]
53	Alex Sellink (M. P. A. Sellink)	[17]
54	Sebastian de Smet	[68]
55	Lou J. Somers	[68]
56	Jan Springintveld	[27] [40]
57	Mariëlle Stoelinga	[34] [41] [44] [48] [65]
58	Peter van der Stok (P. D. V. van der Stok)	[51]
59	Marc Voorhoeve	[68]
60	Henri B. Weinberg	[22]
61	Yang Yang	[68]
62	Miaomiao Zhang	[47] [58] [62] [79]
63	Feng Zhu	[69] [70]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page