research
∙
07/15/2022
Zone-based verification of timed automata: extrapolations, simulations and what next?
Timed automata have been introduced by Rajeev Alur and David Dill in the...
share
research
∙
05/28/2021
Fast zone-based algorithms for reachability in pushdown timed automata
Given the versatility of timed automata a huge body of work has evolved ...
research
∙
09/28/2020
Reachability for Updatable Timed Automata made faster and more effective
Updatable timed automata (UTA) are extensions of classic timed automata ...
research
∙
07/02/2019
Logics for Reversible Regular Languages and Semigroups with Involution
We present MSO and FO logics with predicates `between' and `neighbour' t...
research
∙
04/18/2019
Fast algorithms for handling diagonal constraints in timed automata
A popular method for solving reachability in timed automata proceeds by ...
research
∙
04/15/2019
Non-Sequential Theory of Distributed Systems
These lecture notes cover basic automata-theoretic concepts and logical ...
research
∙
03/09/2019
Timed Systems through the Lens of Logic
In this paper, we analyze timed systems with data structures, using a ri...
research
∙
02/21/2019
Aperiodic Weighted Automata and Weighted First-Order Logic
By fundamental results of Schützenberger, McNaughton and Papert from the...
research
∙
06/28/2018
Reachability in timed automata with diagonal constraints
We consider the reachability problem for timed automata having diagonal ...
research
∙
04/26/2018
It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before"
Message sequence charts (MSCs) naturally arise as executions of communic...
research
∙
02/23/2018
Gossiping in Message-Passing Systems
We study the gossip problem in a message-passing environment: When a pro...
research
∙
09/28/2017