Frits W. Vaandrager

Available identifiers

zbMath Open vaandrager.frits-wMaRDI QIDQ975884

List of research outcomes

Publication	Date of Publication	Type
Learning Mealy machines with one timer	2024-02-02	Paper
Benchmarks for automata learning and conformance testing	2023-08-02	Paper
Automata Learning and Galois Connections (Invited Talk)	2022-07-21	Paper
A Myhill-Nerode theorem for register automata and symbolic trace languages	2022-04-01	Paper
Combining black-box and white-box techniques for learning register automata	2022-02-16	Paper
Learning Mealy machines with one timer	2021-10-04	Paper
A Myhill-Nerode theorem for register automata and symbolic trace languages	2021-07-08	Paper
Simulating parallel internal column contextual array grammars using two-dimensional parallel restarting automata with multiple windows	2021-07-01	Paper
Learning unions of \(k\)-testable languages	2019-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4967165	2019-07-03	Paper
Model learning as a satisfiability modulo theories problem	2018-06-26	Paper
A theory of normed simulations	2017-07-12	Paper
Enhancing Automata Learning by Log-Based Metrics	2016-06-17	Paper
Learning Register Automata with Fresh Value Generation	2016-02-25	Paper
Generating models of infinite-state communication protocols using regular inference with abstraction	2015-03-24	Paper
Improving active Mealy machine learning for protocol conformance testing	2014-12-05	Paper
Automata Learning through Counterexample Guided Abstraction Refinement	2012-11-08	Paper
A Theory of History Dependent Abstractions for Learning Interface Automata	2012-09-25	Paper
Analysis of a clock synchronization protocol for wireless sensor networks	2012-03-13	Paper
The Theory of Timed I/O Automata	2011-06-21	Paper
The Theory of Timed I/O Automata, Second Edition	2011-05-20	Paper
Learning I/O Automata	2010-08-31	Paper
The axiomatization of override and update	2010-06-11	Paper
CONCUR 2003 - Concurrency Theory	2010-03-30	Paper
CONCUR 2003 - Concurrency Theory	2010-03-30	Paper
A testing scenario for probabilistic processes	2008-12-21	Paper
Compositional Abstraction in Real-Time Model Checking	2008-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q3519383	2008-08-14	Paper
Analysis of a biphase mark protocol with Uppaal and PVS	2006-12-20	Paper
Switched PIOA: parallel composition via distributed scheduling	2006-12-07	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
Formal Modeling and Analysis of Timed Systems	2006-01-10	Paper
Formal Modeling and Analysis of Timed Systems	2006-01-10	Paper
Theoretical Aspects of Computing - ICTAC 2004	2005-11-30	Paper
Hybrid I/O automata.	2004-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q4449196	2004-02-08	Paper
Linear parametric model checking of timed automata	2003-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q4552483	2002-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q2769587	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2754085	2001-11-11	Paper
Testing timed automata	2001-08-20	Paper
Three logics for branching bisimulation	1998-02-02	Paper
The difference between splitting in \(n\) and \(n+1\)	1997-10-26	Paper
A note on fairness in I/O automata	1997-02-27	Paper
Action transducers and timed automata	1996-12-01	Paper
Forward and backward simulations. II: Timing-based systems	1996-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4865641	1996-03-27	Paper
Forward and backward simulations. I. Untimed Systems	1995-11-14	Paper
Turning SOS rules into equations	1994-06-19	Paper
Modular specification of process algebras	1993-08-08	Paper
https://portal.mardi4nfdi.de/entity/Q4038723	1993-05-18	Paper
An algebra for process creation	1993-02-22	Paper
Structured operational semantics and bisimulation as a congruence	1993-01-16	Paper
Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence)	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3771632	1987-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Frits W. Vaandrager