G. Geeraerts

Available identifiers

zbMath Open geeraerts.gillesMaRDI QIDQ487252

List of research outcomes

Publication	Date of Publication	Type
Dynamics on Games: Simulation-Based Techniques and Applications to Routing	2023-02-03	Paper
Timed-automata-based verification of MITL over signals	2023-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q5101350	2022-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q5090977	2022-07-21	Paper
\textsc{MightyL}: a compositional translation from MITL to timed automata	2022-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q3384168	2021-12-14	Paper
Admissiblity in Concurrent Games	2020-05-27	Paper
On the termination of dynamics in sequential games	2020-05-26	Paper
Synthesising succinct strategies in safety games with an application to real-time scheduling	2018-06-05	Paper
Real-Time Synthesis is Hard!	2018-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q5357711	2017-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q5275374	2017-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q5275375	2017-07-13	Paper
Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games	2017-04-03	Paper
\(\omega\)-Petri nets: algorithms and complexity	2016-05-11	Paper
Synthesising Succinct Strategies in Safety and Reachability Games	2015-10-28	Paper
On MITL and Alternating Timed Automata over Infinite Words	2015-08-06	Paper
On regions and zones for event-clock automata	2015-01-19	Paper
Adding Negative Prices to Priced Timed Games	2014-09-15	Paper
Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm	2014-07-14	Paper
Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points	2014-07-08	Paper
On the \(\omega\)-language expressive power of extended Petri nets	2013-09-25	Paper
On MITL and Alternating Timed Automata	2013-08-16	Paper
ω-Petri Nets	2013-06-28	Paper
Event Clock Automata: From Theory to Practice	2011-10-07	Paper
On Reachability for Hybrid Automata over Bounded Time	2011-07-07	Paper
Lattice-Valued Binary Decision Diagrams	2010-10-04	Paper
Safraless Procedures for Timed Specifications	2010-09-10	Paper
ON THE EFFICIENT COMPUTATION OF THE MINIMAL COVERABILITY SET OF PETRI NETS	2010-04-22	Paper
Realizability of real-time logics	2009-12-01	Paper
On the Efficient Computation of the Minimal Coverability Set for Petri Nets	2008-07-03	Paper
Well-structured languages	2007-08-17	Paper
Computer Aided Verification	2006-01-10	Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science	2005-08-12	Paper

Research outcomes over time

This page was built for person: G. Geeraerts