Author pages are created from data sourced from our academic publisher partnerships and public sources.

- Publications
- Influence

Hybrid I/O Automata

- N. Lynch, R. Segala, F. Vaandrager, H. B. Weinberg
- Computer Science, Physics
- Hybrid Systems
- 22 October 1995

We propose a new hybrid I/O automaton model that is capable of describing both continuous and discrete behavior. The model, which extends the timed I/O automaton model of [12, 7] and the phase… Expand

Structured Operational Semantics and Bisimulation as a Congruence

- J. Groote, F. Vaandrager
- Mathematics, Computer Science
- Inf. Comput.
- 1 October 1992

In this paper the question is considered in which cases a transition system specification in Plotkin style has ‘good’ properties and deserves the predicate ‘structured’. The discussion takes place in… Expand

Action versus State based Logics for Transition Systems

- R. Nicola, F. Vaandrager
- Mathematics, Computer Science
- Semantics of Systems of Concurrent Processes
- 1 November 1990

A temporal logic based on actions rather than on states is presented and interpreted over labelled transition systems. It is proved that it has essentially the same power as CTL*, a temporal logic… Expand

Three logics for branching bisimulation

- R. Nicola, F. Vaandrager
- Mathematics, Computer Science
- JACM
- 1 March 1995

Three temporal logics are introduced that induce on labeled transition systems the same identifications as branching bisimulation, a behavioral equivalence that aims at ignoring invisible transitions… Expand

Minimum-Cost Reachability for Priced Timed Automata

- G. Behrmann, A. Fehnker, +4 authors F. Vaandrager
- Mathematics, Computer Science
- HSCC
- 28 March 2001

This paper introduces the model of linearly priced timed automata as an extension of timed automata, with prices on both transitions and locations. For this model we consider the minimum-cost… Expand

The Theory of Timed I/O Automata

- D. Kaynar, N. Lynch, R. Segala, F. Vaandrager
- Computer Science
- The Theory of Timed I/O Automata
- 20 June 2006

This monograph presents the timed input/output automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed (computing) systems. Timed systems are… Expand

Forward and Backward Simulations: I. Untimed Systems

- N. Lynch, F. Vaandrager
- Computer Science
- Inf. Comput.
- 1 September 1995

A unified, comprehensive presentation of simulation techniques for verification of concurrent systems is given, in terms of a simple untimed automaton model. In particular, (1) refinements, (2)… Expand

Linear Parametric Model Checking of Timed Automata

- T. Hune, J. Romijn, M. Stoelinga, F. Vaandrager
- Mathematics
- 2001

We present an extension of the model checker Uppaal capable of synthesizing linear parameter constraints for the correctness of parametric timed automata. The symbolic representation of the… Expand

Linear Parametric Model Checking of Timed Automata

- T. Hune, J. Romijn, M. Stoelinga, F. Vaandrager
- Computer Science
- TACAS
- 2 April 2001

We present an extension of the model checker UPPAAL capable of synthesize linear parameter constraints for the correctness of parametric timed automata. The symbolic representation of the… Expand

UvA-DARE ( Digital Academic Repository ) Forward and Backward Simulations . Part I : Untimed Systems

- F. Vaandrager
- 1993

A uni ed, comprehensive presentation of simulation techniques for veri cation of concurrent systems is given, in terms of a simple untimed automaton model. In particular, (1) re nements, (2) forward… Expand

- 212
- 14
- PDF