Publications 2022

Academic Journals

  1. L. Hélouet, N. Markey, R. Raha. Reachability games with relaxed energy constraints. Information and Computation, 285B, May 2022. details doi pdf
  2. L. Henry, T. Jéron, N. Markey. Control strategies for off-line testing of timed systems. Formal Methods in System Design, April 2022. details doi pdf
  3. M. L. Tessitore, M. Sama, A. D'Ariano, L. Hélouet, D. Pacciarelli. A Simulation-Optimization Framework for Traffic Disturbance Recovery in Metro Systems. Transportation research. Part C, Emerging technologies, 136:1-23, March 2022. details doi

International Conferences

  1. N. Bertrand, N. Markey, S. Sadhukhan, O. Sankur. Semilinear Representations for Series-Parallel Atomic Congestion Games. In 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2022), Chennai, France, December 2022. details doi
  2. T. Guyet, N. Markey. Logical forms of chronicles. In TIME 2022 - 29th International Symposium on Temporal Representation and Reasoning, online, Heard & McDonald Islands, November 2022. details pdf
  3. N. Bertrand, V. Gramoli, I. Konnov, M. Lazic, P. Tholoniat, J. Widder. Holistic Verification of Blockchain Consensus. In DISC 2022 - 36th International Symposium on Distributed Computing, Augusta, United States, October 2022. details doi pdf
  4. R. Noguchi, O. Sankur, T. Jéron, N. Markey, D. Mentré. Repairing Real-Time Requirements. In ATVA 2022 - The 20th International Symposium on Automated Technology for Verification and Analysis, Beijing, China, October 2022. details pdf
  5. P. Bouyer, P. Gastin, F Herbreteau, O. Sankur, B. Srivathsan. Zone-based verification of timed automata: extrapolations, simulations and what next?. In FORMATS'22, 20th International Conference on Formal Modeling and Analysis of Timed Systems, Invited contribution at FORMATS'22, Warsaw, Poland, September 2022. details
  6. E Fabre. Resilience in Discrete Event Systems. In WODES 2022, Prague, Czech Republic, September 2022. details pdf
  7. A. Goeminne, N. Markey, O. Sankur. Non-blind Strategies in Timed Network Congestion Games. In Formal Modeling and Analysis of Timed Systems. FORMATS 2022, Lecture Notes in Computer Science, Volume 13465, Pages 183-199, Warsaw, Poland, September 2022. details doi
  8. C K Sharpe, S L Ricker, Hervé Marchand. Mutual Opacity between Multiple Adversaries. In Wodes 2022 - 16th IFAC Workshop on Discrete Event Systems, Prague, Czech Republic, September 2022. details pdf
  9. N. Bertrand, V. Gramoli, I. Konnov, M. Lazic, P. Tholoniat, J. Widder. Brief Announcement: Holistic Verification of Blockchain Consensus. In PODC 2022 - The 41st ACM Symposium on Principles of Distributed Computing, Salerno, Italy, July 2022. details doi pdf
  10. N. Bertrand, N. Markey, O. Sankur, N. Waldburger. Parameterized safety verification of round-based shared-memory systems. In ICALP 2022, Paris, France, July 2022. details doi
  11. L. Hélouet, P. Agrawal. Waiting Nets. In PETRI NETS 2022 - 43rd International Conference on Application and Theory of Petri Nets and Concurrency, Lecture Notes in Computer Science, Volume 13288, Pages 67-89, Bergen, Norway, June 2022. details doi pdf
  12. S Akshay, H. Bazille, B. Genest, M. Vahanwala. On Robustness for the Skolem and Positivity Problems. In STACS 2022 - 39th International Symposium on Theoretical Aspects of Computer Science, Volume 219, Pages 1-20, Marseille, France, May 2022. details doi pdf

Research Reports

  1. E. Fabre, L. Hélouet, A. Thébault. Optimization of traffic management with learning machines. September 2022. details pdf
  2. L. Hélouet, P. Agrawal. Waiting Nets (Extended Version). Research Report INRIA ; ENS Paris Saclay, March 2022. details pdf

Thesis

  1. Abdul Majith Noordheen. Automated verification and synthesis of distributed systems : in particular applied to SDN-IoT platform. PhD Thesis Université Rennes 1, No 2022,June 2022. details pdf
  2. E. Clément. Robustness of timed automata : computing the maximally-permissive strategies. PhD Thesis Université Rennes 1, March 2022. details pdf

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic