Articles with public access mandates - Silvano Dal ZilioLearn more
Not available anywhere: 1
RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on μ-calculus
N Ge, S Dal Zilio, H Liu, L Zhang, L Zhang
Science of Computer Programming 206, 102624, 2021
Mandates: National Natural Science Foundation of China
Available somewhere: 5
Model checking real-time properties on the functional layer of autonomous robots
M Foughali, B Berthomieu, S Dal Zilio, F Ingrand, A Mallet
Formal Methods and Software Engineering: 18th International Conference on …, 2016
Mandates: European Commission
Formal verification of complex robotic systems on resource-constrained platforms
M Foughali, B Berthomieu, SD Zilio, PE Hladik, F Ingrand, A Mallet
Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2-9, 2018
Mandates: European Commission
A formal toolchain for offline and run-time verification of robotic systems
S Dal Zilio, PE Hladik, F Ingrand, A Mallet
Robotics and Autonomous Systems 159, 104301, 2023
Mandates: European Commission, Agence Nationale de la Recherche
Hippo: A formal-model execution engine to control and verify critical real-time systems
PE Hladik, F Ingrand, S Dal Zilio, R Tekin
Journal of Systems and Software 181, 111033, 2021
Mandates: European Commission, Agence Nationale de la Recherche
Polyhedral Reductions for Petri nets
N Amat, B Berthomieu, S Dal Zilio, D Le Botlan
Modélisation des Systèmes Réactifs (MSR'23), 2023
Mandates: Agence Nationale de la Recherche
Publication and funding information is determined automatically by a computer program