Articles dans des revues avec comité de lecture (42)
  1. 1. Picard, S., Paolillo, A., Geeraerts, G., & Goossens, J. (2024). Exact schedulability test for sporadic mixed-criticality real-time systems using antichains and oracles. Proceedings of Real-Time and Network Systems. doi:https://doi.org/10.1145/3696355.3699702
  2. 2. Brihaye, T., Geeraerts, G., Haddad, A., Lefaucheux, E., & Monmege, B. (2022). ONE-CLOCK PRICED TIMED GAMES WITH NEGATIVE WEIGHTS. Logical methods in computer science, 18(3), 17:1-17:51. doi:10.46298/lmcs-18(3:17)2022
  3. 3. Geeraerts, G., Guha, S., & Raskin, J.-F. (2018). Safe and optimal scheduling for hard and soft tasks. Leibniz international proceedings in informatics, 122, 36. doi:10.4230/LIPIcs.FSTTCS.2018.36
  4. 4. Geeraerts, G., Goossens, J., Nguyen, T.-V.-A., & Stainer, A. (2018). Synthesising Succinct Strategies in Safety Games with an Application to Real-time Scheduling. Theoretical computer science, 735, 24-49. doi:10.1016/j.tcs.2017.06.004
  5. 5. Geeraerts, G., Guha, S., & Raskin, J.-F. (2018). Safe and optimal scheduling of hard and soft tasks. Leibniz international proceedings in informatics, 122, 36, 1-22.
  6. 6. Geeraerts, G., Goossens, J., & Nguyen, T.-V.-A. (2017). A backward algorithm for the multiprocessor online feasibility of sporadic tasks. Proceedings (International Conference on Application of Concurrency to System Design), 2017-June, 8104033, 116-125. doi:10.1109/ACSD.2017.9
  7. 7. Brihaye, T., Geeraerts, G., Ho, H. M., & Monmege, B. (2017). Timed-automata-based verification of MITL over signals. Leibniz international proceedings in informatics, 90, 7. doi:10.4230/LIPIcs.TIME.2017.7
  8. 8. Geeraerts, G., Levy, E., & Pluquet, F. (2017). Models and algorithms for chronology. Leibniz international proceedings in informatics, 90, 13. doi:10.4230/LIPIcs.TIME.2017.13
  9. 9. Brihaye, T., Geeraerts, G., Hallety, M., & Le Roux, S. (2017). Dynamics and coalitions in sequential games. Electronic proceedings in theoretical computer science, 256, 136-150. doi:10.4204/EPTCS.256.10
  10. 10. Basset, N., Geeraerts, G., Raskin, J.-F., & Sankur, O. (2017). Admissibility in concurrent games. Leibniz international proceedings in informatics, 80, 123. doi:10.4230/LIPIcs.ICALP.2017.123
  11. 11. Brihaye, T., Geeraerts, G., Haddad, A., & Monmege, B. (2017). Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games. Acta informatica, 54(1), 85--125. doi:10.1007/s00236-016-0276-z
  12. 12. Brihaye, T., Geeraerts, G., Ho, H. M., & Monmege, B. (2017). Mightyl: A compositional translation from MITL to timed automata. Lecture notes in computer science, 10426 LNCS, 421-440. doi:10.1007/978-3-319-63387-9_21
    13. << Précédent 1 2 3 4 5 6 7 Suivant >>