| Publication | Date of Publication | Type |
|---|
Mining of extended signal temporal logic specifications with ParetoLib 2.0
Formal Methods in System Design | 2024-06-28 | Paper |
| Max-entropy sampling for deterministic timed automata under linear duration constraints | 2024-05-29 | Paper |
Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Wordgen : a Timed word Generation Tool
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Specification and efficient monitoring beyond STL
Tools and Algorithms for the Construction and Analysis of Systems | 2023-11-24 | Paper |
scientific article; zbMATH DE number 7533335 (Why is no real title available?)
(available as arXiv preprint) | 2022-05-28 | Paper |
| Learning specifications for labelled patterns | 2021-03-02 | Paper |
| scientific article; zbMATH DE number 7204953 (Why is no real title available?) | 2020-05-27 | Paper |
Admissiblity in concurrent games
(available as arXiv preprint) | 2020-05-27 | Paper |
Admissible strategies in timed games
Lecture Notes in Computer Science | 2020-02-24 | Paper |
Strategy synthesis for stochastic games with multiple long-run objectives
Tools and Algorithms for the Construction and Analysis of Systems | 2019-09-17 | Paper |
| Distance on timed words and applications | 2018-12-06 | Paper |
Compositional strategy synthesis for stochastic games with multiple objectives
Information and Computation | 2018-06-14 | Paper |
| Uniform sampling for timed automata with application to language inclusion measurement | 2018-01-11 | Paper |
Counting and generating permutations in regular classes
Algorithmica | 2016-12-21 | Paper |
Timed symbolic dynamics
Lecture Notes in Computer Science | 2015-09-14 | Paper |
A maximal entropy stochastic process for a timed automaton
Information and Computation | 2015-06-09 | Paper |
Entropy of regular timed languages
Information and Computation | 2015-05-04 | Paper |
Compositional controller synthesis for stochastic games
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
Counting and Generating Permutations Using Timed Languages
LATIN 2014: Theoretical Informatics | 2014-03-31 | Paper |
Spectral gap in timed automata
Lecture Notes in Computer Science | 2013-08-16 | Paper |
A Maximal Entropy Stochastic Process for a Timed Automaton,
Automata, Languages, and Programming | 2013-08-07 | Paper |
Toward a timed theory of channel coding
Lecture Notes in Computer Science | 2012-11-21 | Paper |
Generating Functions of Timed Languages
Mathematical Foundations of Computer Science 2012 | 2012-09-25 | Paper |
Thin and thick timed regular languages
Lecture Notes in Computer Science | 2011-10-07 | Paper |
