| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager |
Analysis of a clock synchronization protocol for wireless sensor networks.  |
Theor. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred Houben, Georgeta Igna, Frits W. Vaandrager |
Modeling Task Systems Using Parameterized Partial Orders. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasper Berendsen, Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang |
Formal specification and analysis of zeroconf using uppaalS. |
ACM Trans. Embedded Comput. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasper Berendsen, David N. Jansen, Julien Schmaltz, Frits W. Vaandrager |
The axiomatization of override and update. |
J. Applied Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
The Theory of Timed I/O Automata, Second Edition |
|
2010 |
DOI RDF |
|
| 1 | Fides Aarts, Frits W. Vaandrager |
Learning I/O Automata. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasper Berendsen, David N. Jansen, Frits W. Vaandrager |
Fortuna: Model Checking Priced Probabilistic Timed Automata. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fides Aarts, Julien Schmaltz, Frits W. Vaandrager |
Inference and Abstraction of the Biometric Passport. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgeta Igna, Frits W. Vaandrager |
Verification of Printer Datapaths Using Timed Automata. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Israa AlAttili, Fred Houben, Georgeta Igna, Steffen Michels, Feng Zhu 0002, Frits W. Vaandrager |
Adaptive Scheduling of Data Paths using Uppaal Tiga |
QFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathijs Schuts, Feng Zhu 0002, Faranak Heidarian, Frits W. Vaandrager |
Modelling Clock Synchronization in the Chess gMAC WSN Protocol |
QFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joël Ouaknine, Frits W. Vaandrager (eds.) |
Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager |
Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks. |
FM |
2009 |
DBLP DOI BibTeX RDF |
wireless sensor networks, model checking, theorem proving, timed automata, clock synchronization, industrial application |
| 1 | Roelof Hamberg, Frits W. Vaandrager |
Using model checkers in an introductory course on operating systems. |
Operating Systems Review |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasper Berendsen, Frits W. Vaandrager |
Compositional Abstraction in Real-Time Model Checking. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ling Cheung, Mariëlle Stoelinga, Frits W. Vaandrager |
A testing scenario for probabilistic processes. |
J. ACM |
2007 |
DBLP DOI BibTeX RDF |
CPO, approximation induction principle, button-pushing scenario, trace distributions, testing, metric spaces, probabilistic automata, observational equivalence, Concurrency theory |
| 1 | Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
Observing Branching Structure through Probabilistic Contexts. |
SIAM J. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Frits W. Vaandrager, Adriaan de Groot |
Analysis of a biphase mark protocol with Uppaaland PVS. |
Formal Asp. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Biphase mark protocol, Model checking, Formal methods, Timed automata, Theorem provers |
| 1 | Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
Switched PIOA: Parallel composition via distributed scheduling. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager |
Model checker aided design of a controller for a wafer scanner. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
Resource allocation systems, Deadlock avoidance policy, Finite and timed automata, Stuttering bisimulation, Model checking, Throughput optimization |
| 1 | Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
The Theory of Timed I/O Automata |
|
2006 |
DOI RDF |
|
| 1 | Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang |
Analysis of the zeroconf protocol using UPPAAL. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
zeroconf protocol, modelling, model checking, verification, formal methods, validation, timed automata |
| 1 | Biniam Gebremichael, Frits W. Vaandrager |
Specifying Urgency in Timed I/O Automata. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang, Kees Goossens, Edwin Rijpkema, Andrei Radulescu |
Deadlock Prevention in the Æthereal Protocol. |
CHARME |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | W. O. David Griffioen, Frits W. Vaandrager |
A theory of normed simulations. |
ACM Trans. Comput. Log. |
2004 |
DBLP DOI BibTeX RDF |
backward simulations, history variables, normed simulations, prophecy variables, Automata, computer-aided verification, refinement mappings, forward simulations |
| 1 | Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
Switched Probabilistic I/O Automata. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager |
Model Checker Aided Design of a Controller for a Wafer Scanner. |
ISoLA (Preliminary proceedings) |
2004 |
DBLP BibTeX RDF |
|
| 1 | Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
Hybrid I/O automata. |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
Compositionality for Probabilistic Automata. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob J. van Glabbeek, Frits W. Vaandrager |
Bundle Event Structures and CCSP. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariëlle Stoelinga, Frits W. Vaandrager |
A Testing Scenario for Probabilistic Automata. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik C. Bohnenkamp, Peter van der Stok, Holger Hermanns, Frits W. Vaandrager |
Cost-Optimization of the IPv4 Zeroconf Protocol. |
DSN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Biniam Gebremichael, Frits W. Vaandrager |
Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking. |
FORMATS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager |
Adding Symmetry Reduction to Uppaal. |
FORMATS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ansgar Fehnker, Frits W. Vaandrager, Miaomiao Zhang |
Modeling and Verifying a Lego Car Using Hybrid I/O Automata. |
QSIC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager |
Linear parametric model checking of timed automata. |
J. Log. Algebr. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Springintveld, Frits W. Vaandrager, Pedro R. D'Argenio |
Testing timed automata. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager |
Linear Parametric Model Checking of Timed Automata. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Optimization, Algorithms, Verification, Data Structures, Timed Automata |
| 1 | Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
Hybrid I/O Automata Revisited. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | W. O. David Griffioen, Frits W. Vaandrager |
A theory of normed simulations |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerd Behrmann, Thomas Hune, Frits W. Vaandrager |
Distributing Timed Model Checking - How the Search Order Matters. |
CAV |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Frits W. Vaandrager, Jan H. van Schuppen (eds.) |
Hybrid Systems: Computation and Control, Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999, Proceedings |
HSCC |
1999 |
DBLP BibTeX RDF |
|
| 1 | Frits W. Vaandrager |
Verification of Hybrid Systems (abstract). |
ARTS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariëlle Stoelinga, Frits W. Vaandrager |
Root Contention in IEEE 1394. |
ARTS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | W. O. David Griffioen, Frits W. Vaandrager |
Normed Simulations. |
CAV |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Grzegorz Rozenberg, Frits W. Vaandrager (eds.) |
Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 |
School on Embedded Systems |
1998 |
DBLP BibTeX RDF |
|
| 1 | Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager |
Operational and Logical Semantics for Polling Real-Time Systems. |
FTRTFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob J. van Glabbeek, Frits W. Vaandrager |
The Difference between Splitting in n and n+1. |
Inf. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Frits W. Vaandrager |
A Theory of Testing for Timed Automata (Abstract). |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy A. Lynch, Frits W. Vaandrager |
Action Transducers and Timed Automata. |
Formal Asp. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Judi Romijn, Frits W. Vaandrager |
A Note on Fairness in I/O Automata. |
Inf. Process. Lett. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy A. Lynch, Frits W. Vaandrager |
Forward and Backward Simulations, II: Timing-Based Systems. |
Inf. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Frits W. Vaandrager |
Introduction. |
European Educational Forum: School on Embedded Systems |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Springintveld, Frits W. Vaandrager |
Minimizable Timed Automata. |
FTRTFT |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy A. Lynch, Frits W. Vaandrager |
Forward and Backward Simulations: I. Untimed Systems |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Frits W. Vaandrager |
Three Logics for Branching Bisimulation. |
J. ACM |
1995 |
DBLP DOI BibTeX RDF |
Hennessy-Milner logic, backward modalities, branching bisimulation equivalence, doubly labeled transition systems, stuttering equivalence, until operations, semantics, concurrency, reactive systems, labeled transition systems, Kripke structures, CTL* |
| 1 | Frits W. Vaandrager |
Verification of a Distributed Summation Algorithm. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager, Henri B. Weinberg |
Hybrid I/O Automata. |
Hybrid Systems |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Bard Bloom, Frits W. Vaandrager |
Turning SOS Rules into Equations |
Inf. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Doeko Bosscher, Indra Polak, Frits W. Vaandrager |
Verification of an Audio Control Protocol. |
FTRTFT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob J. van Glabbeek, Frits W. Vaandrager |
Modular Specification of Process Algebras. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Leen Helmink, M. P. A. Sellink, Frits W. Vaandrager |
Proof-Checking a Data Link Protocol. |
TYPES |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Frits W. Vaandrager |
An Algebra for Process Creation. |
Acta Inf. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Frits W. Vaandrager |
Structured Operational Semantics and Bisimulation as a Congruence |
Inf. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Frits W. Vaandrager, Nancy A. Lynch |
Action Transducers and Timed Automata. |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Bard Bloom, Frits W. Vaandrager |
Turning SOS Rules into Equations |
LICS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Frits W. Vaandrager |
Expressive Results for Process Algebras. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
process graphs, effective process graphs, effective operational semantics, trace equivalence, action transducers, process algebra, expressiveness, labeled transition systems, PC, structural operational semantics, bisimulation equivalence |
| 1 | Frits W. Vaandrager |
Determinism - (Event Structure Isomorphism = Step Sequence Equivalence). |
Theor. Comput. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Frits W. Vaandrager |
On the Relationship Between Process Algebra and Input/Output Automata |
LICS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Nancy A. Lynch, Frits W. Vaandrager |
Forward and Backward Simulations for Timing-Based Systems. |
REX Workshop |
1991 |
DBLP DOI BibTeX RDF |
timing-based systems, backward simulations, forward-backward simulations, backward-forward simulations, history variables, prophecy variables, history relations, prophecy relations, Simulations, real-time, timed automata, refinement mappings, forward simulations |
| 1 | Rocco De Nicola, Ugo Montanari, Frits W. Vaandrager |
Back and Forth Bisimulations. |
CONCUR |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Frits W. Vaandrager |
An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence. |
ICALP |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Frits W. Vaandrager |
Action versus State based Logics for Transition Systems. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Frits W. Vaandrager |
Three Logics for Branching Bisimulation (Extended Abstract) |
LICS |
1990 |
RDF |
|
| 1 | Jan Friso Groote, Frits W. Vaandrager |
Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract). |
ICALP |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob J. van Glabbeek, Frits W. Vaandrager |
Petri Net Models for Algebraic Theories of Concurrency. |
PARLE |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob J. van Glabbeek, Frits W. Vaandrager |
Modular Specifications in Process Algebra with Curious Queues. |
Algebraic Methods |
1987 |
DBLP DOI BibTeX RDF |
1982 CR Categories C.2.2, D.1.3, D.2.1, D.2.2, F.1.1, F.1.2, F.3.2 |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")