Gilles 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
ω-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 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gilles Geeraerts