×

zbMATH — the first resource for mathematics

Vaandrager, Frits W.

Compute Distance To:
Author ID: vaandrager.frits-w Recent zbMATH articles by "Vaandrager, Frits W."
Published as: Vaandrager, F.; Vaandrager, F. W.; Vaandrager, Frits; Vaandrager, Frits W.
Documents Indexed: 49 Publications since 1987, including 4 Books

Publications by Year

Citations contained in zbMATH

40 Publications have been cited 627 times in 503 Documents Cited by Year
Structured operational semantics and bisimulation as a congruence. Zbl 0752.68053
Groote, Jan Friso; Vaandrager, Frits
80
1992
Forward and backward simulations. I. Untimed Systems. Zbl 0834.68123
Lynch, Nancy; Vaandrager, Frits
70
1995
Three logics for branching bisimulation. Zbl 0886.68064
de Nicola, Rocco; Vaandrager, Frits
56
1995
Petri net models for algebraic theories of concurrency. Zbl 0633.68054
van Glabbeek, Rob; Vaandrager, Frits
45
1987
An efficient algorithm for branching bisimulation and stuttering equivalence. Zbl 0765.68125
Groote, Jan Friso; Vaandrager, Frits
43
1990
Hybrid I/O automata. Zbl 1069.68067
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
39
2003
Turning SOS rules into equations. Zbl 0822.68059
Aceto, Luca; Bloom, Bard; Vaandrager, Frits
38
1994
The theory of timed I/O automata. 2nd ed. Zbl 1226.68004
Kaynar, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
22
2011
Linear parametric model checking of timed automata. Zbl 1008.68069
Hune, Thomas; Romijn, Judi; Stoelinga, Mariëlle; Vaandrager, Frits
22
2002
Forward and backward simulations. II: Timing-based systems. Zbl 0856.68103
Lynch, Nancy; Vaandrager, Frits
16
1996
Testing timed automata. Zbl 0972.68104
Springintveld, J.; Vaandrager, F.; D’Argenio, P. R.
15
2001
Observing branching structure through probabilistic contexts. Zbl 1156.68020
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
14
2007
Linear parametric model checking of timed automata. Zbl 0978.68094
Hune, Thomas; Romijn, Judi; Stoelinga, Mariëlle; Vaandrager, Frits
14
2001
A testing scenario for probabilistic processes. Zbl 1326.68138
Cheung, Ling; Stoelinga, Mariëlle; Vaandrager, Frits W.
13
2007
The difference between splitting in \(n\) and \(n+1\). Zbl 0889.68055
van Glabbeek, Rob; Vaandrager, Frits
13
1997
Switched PIOA: parallel composition via distributed scheduling. Zbl 1118.68038
Cheung, Ling; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
10
2006
Modular specification of process algebras. Zbl 0770.68092
van Glabbeek, Rob; Vaandrager, Frits
9
1993
Learning I/O automata. Zbl 1287.68087
Aarts, Fides; Vaandrager, Frits
8
2010
Distributing timed model checking – how the search order matters. Zbl 0974.68518
Behrmann, Gerd; Hune, Thomas; Vaandrager, Frits
8
2000
Hybrid systems: computation and control. 2nd international workshop, HSCC ’99. Berg en Dal, the Netherlands, March 29–31, 1999. Proceedings. Zbl 0911.00057
Vaandrager, Frits W. (ed.); Van Schuppen, Jan H. (ed.)
8
1999
The axiomatization of override and update. Zbl 1194.03020
Berendsen, Jasper; Jansen, David N.; Schmaltz, Julien; Vaandrager, Frits W.
7
2010
Compositionality for probabilistic automata. Zbl 1274.68161
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
7
2003
The theory of timed I/O automata. Zbl 1250.68005
Kaynar, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
6
2010
Bundle event structures and CCSP. Zbl 1274.68262
van Glabbeek, Rob; Vaandrager, Frits
6
2003
A testing scenario for probabilistic automata. Zbl 1039.68071
Stoelinga, Mariëlle; Vaandrager, Frits
6
2003
Adding symmetry reduction to Uppaal. Zbl 1099.68657
Hendriks, Martijn; Behrmann, Gerd; Larsen, Kim; Niebert, Peter; Vaandrager, Frits
5
2004
Action transducers and timed automata. Zbl 0860.68072
Lynch, Nancy; Vaandrager, Frits
5
1996
Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence). Zbl 0717.68029
Vaandrager, Frits W.
5
1991
Generating models of infinite-state communication protocols using regular inference with abstraction. Zbl 1322.68131
Aarts, Fides; Jonsson, Bengt; Uijen, Johan; Vaandrager, Frits
4
2015
Automata learning through counterexample guided abstraction refinement. Zbl 1372.68153
Aarts, Fides; Heidarian, Faranak; Kuppens, Harco; Olsen, Petur; Vaandrager, Frits
4
2012
Compositional abstraction in real-time model checking. Zbl 1171.68545
Berendsen, Jasper; Vaandrager, Frits
4
2008
Analysis of a biphase mark protocol with Uppaal and PVS. Zbl 1102.68505
Vaandrager, F. W.; de Groot, A. L.
4
2006
A theory of history dependent abstractions for learning interface automata. Zbl 1365.68339
Aarts, Fides; Heidarian, Faranak; Vaandrager, Frits
3
2012
Analysis of a clock synchronization protocol for wireless sensor networks. Zbl 1307.68009
Heidarian, Faranak; Schmaltz, Julien; Vaandrager, Frits
3
2012
A theory of normed simulations. Zbl 1367.68192
Griffioen, David; Vaandrager, Frits
3
2004
Hybrid I/O automata revisited. Zbl 0991.93006
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
3
2002
An algebra for process creation. Zbl 0760.68045
Baeten, Jos C. M.; Vaandrager, Frits W.
3
1992
Deadlock prevention in the Æthereal protocol. Zbl 1159.68320
Gebremichael, Biniam; Vaandrager, Frits; Zhang, Miaomiao; Goossens, Kees; Rijpkema, Edwin; Rădulescu, Andrei
2
2005
Switched probabilistic I/O automata. Zbl 1109.68053
Cheung, Ling; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
2
2005
A note on fairness in I/O automata. Zbl 0875.68651
Romijn, Judi; Vaandrager, Frits
2
1996
Generating models of infinite-state communication protocols using regular inference with abstraction. Zbl 1322.68131
Aarts, Fides; Jonsson, Bengt; Uijen, Johan; Vaandrager, Frits
4
2015
Automata learning through counterexample guided abstraction refinement. Zbl 1372.68153
Aarts, Fides; Heidarian, Faranak; Kuppens, Harco; Olsen, Petur; Vaandrager, Frits
4
2012
A theory of history dependent abstractions for learning interface automata. Zbl 1365.68339
Aarts, Fides; Heidarian, Faranak; Vaandrager, Frits
3
2012
Analysis of a clock synchronization protocol for wireless sensor networks. Zbl 1307.68009
Heidarian, Faranak; Schmaltz, Julien; Vaandrager, Frits
3
2012
The theory of timed I/O automata. 2nd ed. Zbl 1226.68004
Kaynar, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
22
2011
Learning I/O automata. Zbl 1287.68087
Aarts, Fides; Vaandrager, Frits
8
2010
The axiomatization of override and update. Zbl 1194.03020
Berendsen, Jasper; Jansen, David N.; Schmaltz, Julien; Vaandrager, Frits W.
7
2010
The theory of timed I/O automata. Zbl 1250.68005
Kaynar, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
6
2010
Compositional abstraction in real-time model checking. Zbl 1171.68545
Berendsen, Jasper; Vaandrager, Frits
4
2008
Observing branching structure through probabilistic contexts. Zbl 1156.68020
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
14
2007
A testing scenario for probabilistic processes. Zbl 1326.68138
Cheung, Ling; Stoelinga, Mariëlle; Vaandrager, Frits W.
13
2007
Switched PIOA: parallel composition via distributed scheduling. Zbl 1118.68038
Cheung, Ling; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
10
2006
Analysis of a biphase mark protocol with Uppaal and PVS. Zbl 1102.68505
Vaandrager, F. W.; de Groot, A. L.
4
2006
Deadlock prevention in the Æthereal protocol. Zbl 1159.68320
Gebremichael, Biniam; Vaandrager, Frits; Zhang, Miaomiao; Goossens, Kees; Rijpkema, Edwin; Rădulescu, Andrei
2
2005
Switched probabilistic I/O automata. Zbl 1109.68053
Cheung, Ling; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
2
2005
Adding symmetry reduction to Uppaal. Zbl 1099.68657
Hendriks, Martijn; Behrmann, Gerd; Larsen, Kim; Niebert, Peter; Vaandrager, Frits
5
2004
A theory of normed simulations. Zbl 1367.68192
Griffioen, David; Vaandrager, Frits
3
2004
Hybrid I/O automata. Zbl 1069.68067
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
39
2003
Compositionality for probabilistic automata. Zbl 1274.68161
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
7
2003
Bundle event structures and CCSP. Zbl 1274.68262
van Glabbeek, Rob; Vaandrager, Frits
6
2003
A testing scenario for probabilistic automata. Zbl 1039.68071
Stoelinga, Mariëlle; Vaandrager, Frits
6
2003
Linear parametric model checking of timed automata. Zbl 1008.68069
Hune, Thomas; Romijn, Judi; Stoelinga, Mariëlle; Vaandrager, Frits
22
2002
Hybrid I/O automata revisited. Zbl 0991.93006
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
3
2002
Testing timed automata. Zbl 0972.68104
Springintveld, J.; Vaandrager, F.; D’Argenio, P. R.
15
2001
Linear parametric model checking of timed automata. Zbl 0978.68094
Hune, Thomas; Romijn, Judi; Stoelinga, Mariëlle; Vaandrager, Frits
14
2001
Distributing timed model checking – how the search order matters. Zbl 0974.68518
Behrmann, Gerd; Hune, Thomas; Vaandrager, Frits
8
2000
Hybrid systems: computation and control. 2nd international workshop, HSCC ’99. Berg en Dal, the Netherlands, March 29–31, 1999. Proceedings. Zbl 0911.00057
Vaandrager, Frits W. (ed.); Van Schuppen, Jan H. (ed.)
8
1999
The difference between splitting in \(n\) and \(n+1\). Zbl 0889.68055
van Glabbeek, Rob; Vaandrager, Frits
13
1997
Forward and backward simulations. II: Timing-based systems. Zbl 0856.68103
Lynch, Nancy; Vaandrager, Frits
16
1996
Action transducers and timed automata. Zbl 0860.68072
Lynch, Nancy; Vaandrager, Frits
5
1996
A note on fairness in I/O automata. Zbl 0875.68651
Romijn, Judi; Vaandrager, Frits
2
1996
Forward and backward simulations. I. Untimed Systems. Zbl 0834.68123
Lynch, Nancy; Vaandrager, Frits
70
1995
Three logics for branching bisimulation. Zbl 0886.68064
de Nicola, Rocco; Vaandrager, Frits
56
1995
Turning SOS rules into equations. Zbl 0822.68059
Aceto, Luca; Bloom, Bard; Vaandrager, Frits
38
1994
Modular specification of process algebras. Zbl 0770.68092
van Glabbeek, Rob; Vaandrager, Frits
9
1993
Structured operational semantics and bisimulation as a congruence. Zbl 0752.68053
Groote, Jan Friso; Vaandrager, Frits
80
1992
An algebra for process creation. Zbl 0760.68045
Baeten, Jos C. M.; Vaandrager, Frits W.
3
1992
Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence). Zbl 0717.68029
Vaandrager, Frits W.
5
1991
An efficient algorithm for branching bisimulation and stuttering equivalence. Zbl 0765.68125
Groote, Jan Friso; Vaandrager, Frits
43
1990
Petri net models for algebraic theories of concurrency. Zbl 0633.68054
van Glabbeek, Rob; Vaandrager, Frits
45
1987
all top 5

Cited by 739 Authors

17 Lynch, Nancy Ann
16 Aceto, Luca
15 Reniers, Michel Adriaan
15 van Glabbeek, Robert Jan
14 Legay, Axel
13 Ingólfsdóttir, Anna
13 Larsen, Kim Guldstrand
12 Vaandrager, Frits W.
11 Montanari, Ugo G.
11 Tini, Simone
10 Fokkink, Wan
10 Groote, Jan Friso
9 Ulidowski, Irek
8 André, Étienne
8 D’Argenio, Pedro Rubén
8 Fahrenberg, Uli
8 Hesselink, Wim H.
8 Katoen, Joost-Pieter
8 Segala, Roberto
7 Bergstra, Jan A.
7 Nunez, Manuel A.
7 Vogler, Walter
6 Ćirić, Miroslav D.
6 Derrick, John
6 Hermanns, Holger
6 Ignjatović, Jelena
6 Middelburg, Cornelis A.
6 Mousavi, Mohammadreza
6 Phillips, Iain W.
6 Rodríguez, Ismael
5 Andova, Suzana
5 Baeten, Jos C. M.
5 de Frutos-Escrig, David
5 De Nicola, Rocco
5 Delahaye, Benoît
5 Grosu, Radu
5 Luttik, Bas
5 Maggiolo-Schettini, Andrea
5 Markey, Nicolas
5 Sangiorgi, Davide
5 Schellhorn, Gerhard
5 Smolka, Scott A.
5 Willemse, Tim A. C.
4 Corradini, Flavio
4 Cuijpers, Pieter J. L.
4 Degano, Pierpaolo
4 Fábregas, Ignacio
4 Fokkink, Wan J.
4 Gorrieri, Roberto
4 Gregorio-Rodríguez, Carlos
4 Hasuo, Ichiro
4 Hennessy, Matthew C. B.
4 Jonsson, Bengt
4 Kwiatkowska, Marta Z.
4 Mitra, Sayan
4 Mousavi, Mohammad Reza
4 Peled, Doron A.
4 Ranzato, Francesco
4 ter Beek, Maurice H.
4 Wąsowski, Andrzej
3 Ahmad, Bashir
3 Baier, Christel
3 Basten, Twan
3 Beneš, Nikola
3 Best, Eike
3 Bezděk, Peter
3 Bloom, Bard
3 Boiten, Eerke A.
3 Bouyer, Patricia
3 Bravetti, Mario
3 Bruni, Roberto
3 Castiglioni, Valentina
3 Cheung, Ling
3 de Vink, Erik P.
3 Deng, Yuxin
3 Doyen, Laurent
3 Ferrari, Gian Luigi
3 Fiadeiro, José Luiz
3 Gebler, Daniel E.
3 Georgievska, Sonja
3 Gnesi, Stefania
3 Gomez, Rodolfo
3 Hierons, Robert Mark
3 Jančić, Ivana
3 Janicki, Ryszard
3 Johansen, Christian
3 Kaynar, Dilsun Kırlı
3 Keiren, Jeroen J. A.
3 Koutny, Maciej
3 Lanotte, Ruggero
3 Lime, Didier
3 Lopes, Antónia
3 Luchangco, Victor
3 Lüttgen, Gerald
3 Majster-Cederbaum, Mila E.
3 Mazzanti, Franco
3 Merayo, Mercedes G.
3 Meseguer Guaita, José
3 Meyer, Albert Ronald
3 Nestmann, Uwe
...and 639 more Authors
all top 5

Cited in 59 Serials

111 Theoretical Computer Science
52 Information and Computation
32 Formal Aspects of Computing
26 The Journal of Logic and Algebraic Programming
25 Acta Informatica
13 Formal Methods in System Design
12 Journal of Logical and Algebraic Methods in Programming
11 Distributed Computing
9 Information Processing Letters
8 Science of Computer Programming
7 Journal of Computer and System Sciences
7 MSCS. Mathematical Structures in Computer Science
7 Logical Methods in Computer Science
7 Nonlinear Analysis. Hybrid Systems
5 Fuzzy Sets and Systems
4 Machine Learning
3 International Journal of Control
3 Automatica
3 Information Sciences
3 Programming and Computer Software
3 International Journal of Approximate Reasoning
3 Theory of Computing Systems
3 ACM Transactions on Computational Logic
3 Journal of Applied Logic
2 Journal of Pure and Applied Algebra
2 Real-Time Systems
2 Discrete Event Dynamic Systems
2 Cybernetics and Systems Analysis
2 European Journal of Control
1 ACM Computing Surveys
1 Artificial Intelligence
1 International Journal of General Systems
1 Journal of Computational Physics
1 Journal of the Franklin Institute
1 Computing
1 Mathematics and Computers in Simulation
1 Semigroup Forum
1 Topology and its Applications
1 Journal of Symbolic Computation
1 Journal of Automated Reasoning
1 Journal of Parallel and Distributed Computing
1 International Journal of Computer Mathematics
1 RAIRO. Informatique Théorique et Applications
1 International Journal of Robust and Nonlinear Control
1 Applied Categorical Structures
1 Annals of Mathematics and Artificial Intelligence
1 Mathematical Problems in Engineering
1 Abstract and Applied Analysis
1 Journal of Combinatorial Optimization
1 RAIRO. Theoretical Informatics and Applications
1 Theory and Practice of Logic Programming
1 Sādhanā
1 Advances in Difference Equations
1 Science in China. Series F
1 Mathematics in Computer Science
1 RAIRO. Theoretical Informatics and Applications
1 Frontiers of Computer Science
1 Computer Science Review
1 The Art of Discrete and Applied Mathematics

Citations by Year