Articles with public access mandates - Bernard BerthomieuLearn more
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
Verifying parallel dataflow transformations with model checking and its application to FPGAs
R Stewart, B Berthomieu, P Garcia, I Ibrahim, G Michaelson, A Wallace
Journal of Systems Architecture 101, 101657, 2019
Mandates: UK Engineering and Physical Sciences Research Council
Graphical program transformations for embedded systems
R Stewart, B Berthomieu, P Garcia, I Ibrahim, G Michaelson, A Wallace
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 647-649, 2019
Mandates: UK Engineering and Physical Sciences Research Council
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