Logo IBISC Logo UEVE

Hanna Klaudel

Dernières publications / Last publications

Revues internationales

·      C. Biane, F. Delaplace, H. Klaudel. Networks and Games for Precision Medicine. Biosystems vol. 150, Elsevier, 2016, pages 52-60.

·      F. Delaplace, C. Di Giusto J.-L. Giavitto, H. Klaudel, A. Spicher. Activity Networks with Delays. An application to toxicity analysis, Fundamneta Informaticae 2018, vol. 160(1-2), IOS Press, pages 119-142.

·       C. Bertrand, F. Peschanski, H. Klaudel, M. Latapy : Pattern Matching in Link Streams : Timed-Automata with Finite Memory. Sci. Ann. Comp. Sci. 28(2) : 161-198 (2018)

·      J. Arcile, R. Devillers, H. Klaudel : VerifCar : a framework for modeling and model checking communicating autonomous vehicles. J. of Auton. Agents Multi Agent Syst. 33(3) : pages 353-381 (2019)

·      H. Klaudel, M. Koutny, Z. Duan, B. C. Moszkowski : From Box Algebra to Interval Temporal Logic. Fundamneta Informaticae vol. 167(4) : IOS Press, pages 323-354 (2019)

·      J. Arcile, R. Devillers, H. Klaudel : Dynamic exploration of multi-agent systems with periodic timed tasks, Fundamneta Informaticae vol. 175(1-4), IOS Press, pages 59-95 (2020). 

Conférences internationales

·       J. Arcile, R. Devillers, J-Y. Didier, H. Klaudel and A. Rataj : Indefinite waitings in MIRELA systems. Proceedings 4th International Workshop on Engineering Safety and Security Systems, ESSS 2015, pages 5–18, EPTCS, vol. 184, 2015.

·       J. Arcile, T. Czachórski, R. Devillers, J-Y. Didier, H. Klaudel and A. Rataj : Modelling and Analysing Mixed Reality Applications. Man-Machine Interactions 4 - 4th International Conference on Man-Machine Interactions, ICMMI 2015, Advances in Intelligent Systems and Computing, vol. 391, pages 3–17, Springer, 2015. (invited lecture)

·       R. Devillers and H. Klaudel : Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata. Proceedings of 14th International conference Formal Modeling and Analysis of Timed Systems, FORMATS’2016, Volume 9884 of the series Lecture Notes in Computer Science, pages 140–156, Springer, 2016.

·       H. Klaudel, M. Koutny, B. C. Moszkowski : From Petri Nets with Shared Variables to ITL. 16th International Conference on Application of Concurrency to System Design, ACSD’2016 : pages 11-18, IEEE Computer Society, 2016.

·       J. Arcile, R. Devillers, H. Klaudel, W. Klaudel, B. Wozna-Szczesniak : Modeling and checking robustness of communicating autonomous vehicles. Proceedings of 14th International Conference on Distributed Computing and Artificial Intelligence, DCAI’2017, Volume 620 of the series Advances in Intelligent Systems and Computing, pages 173–180, Springer, 2017.

·       J. Arcile, J. Sobieraj, H. Klaudel, G. Hutzler : Combination of Simulation and Model-Checking for the Analysis of Autonomous Vehicles’ Behaviors : A Case Study. EUMAS/AT 2017 : 292-304. 

      C. Bertrand, H. Klaudel, M. Latapy, F. Peschanski : Pattern Matching in Link Streams : A Token-Based Approach. Petri Nets 2018 : pages 227–247.

·       C. Di Giusto, C. Gaucherel, H. Klaudel, F. Pommereau : Analysis of Discrete Models for Ecosystem Ecology. BIOSTEC (Selected Papers) 2019 : 242-264

·       J. Arcile, R. Devillers, H. Klaudel : Models for the dynamic exploration of the state spaces of autonomous vehicles. To appear in PNSE’20, International Workshop on Petri Nets and Software Engineering 2020.

·       J. Arcile, R. Devillers, H. Klaudel : VerifCar : A Framework for Modeling and Model checking Communicating Autonomous Vehicles. (extended abstract) Proc. of the 19th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020).

·       G. Hutzler, H. Klaudel, A. Sali : Filtering Distributed Information to Build a Plausible Scene for Autonomous and Connected Vehicles. Proceedings of 17th International Conference on Distributed Computing and Artificial Intelligence, DCAI’2020, Advances in Intelligent Systems and Computing, pages 89–101, Springer, 2020

 

Design by Caroline Klaudel