pith. sign in

Gilles Geeraerts

Identifiers

  • name variant Gilles Geeraerts 0.60 · backfill

Papers (15)

  1. A Backward Algorithm for the Multiprocessor Online Feasibility of Sporadic Tasks cs.GT · 2017 · author #1
  2. Admissibility in Concurrent Games cs.GT · 2017 · author #2
  3. Real-Time Synthesis is Hard! cs.LO · 2016 · author #3
  4. Simple Priced Timed Games Are Not That Simple cs.GT · 2015 · author #2
  5. Quantitative Games under Failures cs.GT · 2015 · author #2
  6. To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games cs.GT · 2014 · author #2
  7. On MITL and alternating timed automata over infinite words cs.LO · 2014 · author #3
  8. Synthesising Succinct Strategies in Safety Games cs.LO · 2014 · author #1
  9. On MITL and alternating timed automata cs.FL · 2013 · author #3
  10. {\omega}-Petri nets cs.LO · 2013 · author #1
  11. Time-bounded Reachability for Hybrid Automata: Complexity and Fixpoints cs.LO · 2012 · author #3
  12. Queue-Dispatch Asynchronous Systems cs.LO · 2012 · author #1
  13. Event-Clock Automata: From Theory to Practice cs.LO · 2011 · author #1
  14. A faster exact multiprocessor schedulability test for sporadic tasks cs.OS · 2011 · author #2
  15. On Reachability for Hybrid Automata over Bounded Time cs.LO · 2011 · author #3

Mentions

  • 1301.6572 #1 · backfill · confidence 0.70 Gilles Geeraerts
  • 1211.1276 #3 · backfill · confidence 0.70 Gilles Geeraerts
  • 1201.4871 #1 · backfill · confidence 0.70 Gilles Geeraerts
  • 1107.4138 #1 · backfill · confidence 0.70 Gilles Geeraerts
  • 1105.5055 #2 · backfill · confidence 0.70 Gilles Geeraerts
  • 1104.5335 #3 · backfill · confidence 0.70 Gilles Geeraerts

Frequent Coauthors