Notice: Unexpected clearActionName after getActionName already called in /var/www/html/w/includes/context/RequestContext.php on line 333
Frits W. Vaandrager - MaRDI portal

Frits W. Vaandrager

From MaRDI portal
(Redirected from Person:479470)
Person:975884

Available identifiers

zbMath Open vaandrager.frits-wMaRDI QIDQ975884

List of research outcomes





PublicationDate of PublicationType
Action codes2024-11-14Paper
Automata with timers2024-05-03Paper
Relating alternating relations for conformance and refinement2024-04-19Paper
Learning Mealy machines with one timer2024-02-02Paper
A new approach for active automata learning based on apartness2024-01-23Paper
Benchmarks for automata learning and conformance testing2023-08-02Paper
Grey-Box Learning of Register Automata2023-03-21Paper
Automata Learning and Galois Connections (Invited Talk)2022-07-21Paper
A Myhill-Nerode theorem for register automata and symbolic trace languages2022-04-01Paper
Combining black-box and white-box techniques for learning register automata2022-02-16Paper
Learning Mealy machines with one timer2021-10-04Paper
A Myhill-Nerode theorem for register automata and symbolic trace languages2021-07-08Paper
Simulating parallel internal column contextual array grammars using two-dimensional parallel restarting automata with multiple windows2021-07-01Paper
Learning unions of \(k\)-testable languages2019-12-04Paper
https://portal.mardi4nfdi.de/entity/Q49671652019-07-03Paper
Model learning as a satisfiability modulo theories problem2018-06-26Paper
A theory of normed simulations2017-07-12Paper
Enhancing Automata Learning by Log-Based Metrics2016-06-17Paper
Learning Register Automata with Fresh Value Generation2016-02-25Paper
Generating models of infinite-state communication protocols using regular inference with abstraction2015-03-24Paper
Improving active Mealy machine learning for protocol conformance testing2014-12-05Paper
Automata Learning through Counterexample Guided Abstraction Refinement2012-11-08Paper
A Theory of History Dependent Abstractions for Learning Interface Automata2012-09-25Paper
Analysis of a clock synchronization protocol for wireless sensor networks2012-03-13Paper
The Theory of Timed I/O Automata2011-06-21Paper
The Theory of Timed I/O Automata, Second Edition2011-05-20Paper
Learning I/O Automata2010-08-31Paper
The axiomatization of override and update2010-06-11Paper
CONCUR 2003 - Concurrency Theory2010-03-30Paper
CONCUR 2003 - Concurrency Theory2010-03-30Paper
A testing scenario for probabilistic processes2008-12-21Paper
Compositional Abstraction in Real-Time Model Checking2008-12-02Paper
https://portal.mardi4nfdi.de/entity/Q35193832008-08-14Paper
Analysis of a biphase mark protocol with Uppaal and PVS2006-12-20Paper
Switched PIOA: parallel composition via distributed scheduling2006-12-07Paper
Correct Hardware Design and Verification Methods2006-10-20Paper
Formal Modeling and Analysis of Timed Systems2006-01-10Paper
Formal Modeling and Analysis of Timed Systems2006-01-10Paper
Theoretical Aspects of Computing - ICTAC 20042005-11-30Paper
Hybrid I/O automata.2004-03-14Paper
https://portal.mardi4nfdi.de/entity/Q44491962004-02-08Paper
Linear parametric model checking of timed automata2003-02-13Paper
https://portal.mardi4nfdi.de/entity/Q45524832002-09-03Paper
https://portal.mardi4nfdi.de/entity/Q27695872002-02-05Paper
https://portal.mardi4nfdi.de/entity/Q27540852001-11-11Paper
Testing timed automata2001-08-20Paper
Three logics for branching bisimulation1998-02-02Paper
The difference between splitting in \(n\) and \(n+1\)1997-10-26Paper
A note on fairness in I/O automata1997-02-27Paper
Action transducers and timed automata1996-12-01Paper
Forward and backward simulations. II: Timing-based systems1996-10-01Paper
https://portal.mardi4nfdi.de/entity/Q48656411996-03-27Paper
Forward and backward simulations. I. Untimed Systems1995-11-14Paper
Turning SOS rules into equations1994-06-19Paper
Modular specification of process algebras1993-08-08Paper
https://portal.mardi4nfdi.de/entity/Q40387231993-05-18Paper
An algebra for process creation1993-02-22Paper
Structured operational semantics and bisimulation as a congruence1993-01-16Paper
Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence)1991-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37716321987-01-01Paper

Research outcomes over time

This page was built for person: Frits W. Vaandrager