| Publication | Date of Publication | Type |
|---|
| Decidability of one-clock weighted timed games with arbitrary weights | 2024-08-13 | Paper |
| A robust class of languages of 2-nested words | 2024-08-06 | Paper |
scientific article; zbMATH DE number 7830362 (Why is no real title available?)
(available as arXiv preprint) | 2024-04-10 | Paper |
Robust controller synthesis in timed Büchi automata: a symbolic approach
Computer Aided Verification | 2024-02-16 | Paper |
Optimal controller synthesis for timed systems
Logical Methods in Computer Science | 2023-08-26 | Paper |
| Synthesis of Data Word Transducers | 2023-02-03 | Paper |
scientific article; zbMATH DE number 7577573 (Why is no real title available?)
(available as arXiv preprint) | 2022-08-30 | Paper |
| scientific article; zbMATH DE number 7577573 (Why is no real title available?) | 2022-08-30 | Paper |
Sequentiality of string-to-context transducers
(available as arXiv preprint) | 2022-07-21 | Paper |
Symbolic Approximation of Weighted Timed Games
(available as arXiv preprint) | 2022-07-21 | Paper |
Reaching Your Goal Optimally by Playing at Random with No Memory
(available as arXiv preprint) | 2022-07-18 | Paper |
| Expressiveness of visibly pushdown transducers | 2021-06-17 | Paper |
Expressiveness of visibly pushdown transducers
(available as arXiv preprint) | 2021-06-17 | Paper |
Copyful streaming string transducers
Fundamenta Informaticae | 2021-05-21 | Paper |
| Optimal and robust controller synthesis. Using energy timed automata with uncertainty | 2021-05-04 | Paper |
From two-way transducers to regular function expressions
International Journal of Foundations of Computer Science | 2021-04-19 | Paper |
Synthesis of data word transducers
(available as arXiv preprint) | 2021-03-26 | Paper |
| Synthesis of data word transducers | 2021-03-26 | Paper |
Optimal and robust controller synthesis using energy timed automata with uncertainty
Formal Aspects of Computing | 2021-03-04 | Paper |
On computability of data word functions defined by transducers
(available as arXiv preprint) | 2020-09-23 | Paper |
| On the computation of the minimal coverability set of Petri nets | 2019-10-22 | Paper |
Streamability of nested word transductions
(available as arXiv preprint) | 2019-05-17 | Paper |
| From two-way transducers to regular function expressions | 2018-11-22 | Paper |
Aperiodic string transducers
International Journal of Foundations of Computer Science | 2018-09-20 | Paper |
Visibly pushdown transducers
Journal of Computer and System Sciences | 2018-09-07 | Paper |
Decision problems of tree transducers with origin
Information and Computation | 2018-06-14 | Paper |
A generalised twinning property for minimisation of cost register automata
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Two-way visibly pushdown automata and transducers
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| Copyful streaming string transducers | 2017-12-20 | Paper |
From two-way to one-way finite state transducers
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
Optimal reachability in divergent weighted timed games
Lecture Notes in Computer Science | 2017-05-19 | Paper |
Degree of sequentiality of weighted automata
Lecture Notes in Computer Science | 2017-05-19 | Paper |
Degree of sequentiality of weighted automata
Lecture Notes in Computer Science | 2017-05-19 | Paper |
Robustness of time Petri nets under guard enlargement
Fundamenta Informaticae | 2017-03-16 | Paper |
Aperiodic string transducers
Developments in Language Theory | 2016-08-30 | Paper |
Visibly pushdown transducers with well-nested outputs
International Journal of Foundations of Computer Science | 2016-06-23 | Paper |
Decision problems of tree transducers with origin
Automata, Languages, and Programming | 2015-11-04 | Paper |
Trimming visibly pushdown automata
Theoretical Computer Science | 2015-05-18 | Paper |
Visibly pushdown transducers with well-nested outputs
Developments in Language Theory | 2014-10-14 | Paper |
Probabilistic robust timed games
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
On characteristic formulae for event-recording automata
RAIRO. Theoretical Informatics and Applications | 2013-08-13 | Paper |
Robust Controller Synthesis in Timed Automata
CONCUR 2013 – Concurrency Theory | 2013-08-12 | Paper |
Trimming visibly pushdown automata
Implementation and Application of Automata | 2013-08-07 | Paper |
Minimal coverability set for Petri nets: Karp and Miller algorithm with pruning
Fundamenta Informaticae | 2013-04-18 | Paper |
Robustness of time Petri nets under guard enlargement
Lecture Notes in Computer Science | 2013-01-07 | Paper |
Controllers with minimal observation power (application to timed systems)
Automated Technology for Verification and Analysis | 2012-11-21 | Paper |
Visibly pushdown automata with multiplicities: finiteness and \(K\)-boundedness
Developments in Language Theory | 2012-11-02 | Paper |
| Streamability of nested word transductions | 2012-08-31 | Paper |
A Hierarchical Approach for the Synthesis of Stabilizing Controllers for Hybrid Systems
Automated Technology for Verification and Analysis | 2011-10-07 | Paper |
Minimal coverability set for Petri nets: Karp and Miller algorithm with pruning
Applications and Theory of Petri Nets | 2011-06-29 | Paper |
Quantitative robustness analysis of flat timed automata
Foundations of Software Science and Computational Structures | 2011-05-19 | Paper |
Properties of visibly pushdown transducers
Mathematical Foundations of Computer Science 2010 | 2010-09-03 | Paper |
Weak Time Petri Nets Strike Back!
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
Undecidability Results for Timed Automata with Silent Transitions
Fundamenta Informaticae | 2009-06-30 | Paper |
Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study
Hybrid Systems: Computation and Control | 2009-04-30 | Paper |
Robust Model-Checking of Linear-Time Properties in Timed Automata
LATIN 2006: Theoretical Informatics | 2008-09-18 | Paper |
Timed Unfoldings for Networks of Timed Automata
Automated Technology for Verification and Analysis | 2008-09-04 | Paper |
Robust Analysis of Timed Automata Via Channel Machines
Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
Timed Petri nets and timed automata: On the discriminating power of Zeno sequences
Information and Computation | 2008-03-11 | Paper |
Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences
Automata, Languages and Programming | 2007-09-11 | Paper |
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science | 2006-11-14 | Paper |
