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
