| XML schema, tree logic and sheaves automata S Dal Zilio, D Lugiez International Conference on Rewriting Techniques and Applications, 246-263, 2003 | 125* | 2003 |
| Formal verification of AADL specifications in the Topcased environment B Berthomieu, JP Bodeveix, C Chaudet, S Dal Zilio, M Filali, F Vernadat International Conference on Reliable Software Technologies, 207-221, 2009 | 92 | 2009 |
| A logic you can count on S Dal Zilio, D Lugiez, C Meyssonnier Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004 | 84 | 2004 |
| Presentation of the 9th edition of the model checking contest E Amparore, B Berthomieu, G Ciardo, S Dal Zilio, F Gallà, LM Hillah, ... Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019 | 51 | 2019 |
| Formal Verification of AADL models with Fiacre and Tina B Berthomieu, JP Bodeveix, S Dal Zilio, P Dissaux, M Filali, P Gaufillet, ... ERTSS 2010-Embedded Real-Time Software and Systems, 1-9, 2010 | 51 | 2010 |
| Resource control for synchronous cooperative threads RM Amadio, S Dal Zilio International Conference on Concurrency Theory, 68-82, 2004 | 51 | 2004 |
| Model checking mobile ambients W Charatonik, S Dal Zilio, AD Gordon, S Mukhopadhyay, JM Talbot Theoretical Computer Science 308 (1-3), 277-331, 2003 | 44 | 2003 |
| The complexity of model checking mobile ambients W Charatonik, S Dal Zilio, AD Gordon, S Mukhopadhyay, JM Talbot Foundations of Software Science and Computation Structures: 4th …, 2001 | 44 | 2001 |
| Mobile processes: a commented bibliography S Dal Zilio Summer School on Modeling and Verification of Parallel Processes, 206-222, 2000 | 44 | 2000 |
| Real-time specification patterns and tools N Abid, S Dal Zilio, D Le Botlan International Workshop on Formal Methods for Industrial Critical Systems, 1-15, 2012 | 43 | 2012 |
| 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 | 42 | 2016 |
| A functional scenario for bytecode verification of resource bounds RM Amadio, S Coupet-Grimal, S Dal Zilio, L Jakubiec Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual …, 2004 | 42 | 2004 |
| Region analysis and a π-calculus with groups SD Zilio, AD Gordon International Symposium on Mathematical Foundations of Computer Science, 1-20, 2000 | 37 | 2000 |
| On the dynamics of PB systems: a Petri net view S Dal Zilio, E Formenti International Workshop on Membrane Computing, 153-167, 2003 | 34 | 2003 |
| 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 | 33 | 2018 |
| Petri net reductions for counting markings B Berthomieu, D Le Botlan, S Dal Zilio Model Checking Software: 25th International Symposium, SPIN 2018, Malaga …, 2018 | 30 | 2018 |
| Counting Petri net markings from reduction equations B Berthomieu, D Le Botlan, S Dal Zilio International Journal on Software Tools for Technology Transfer 22, 163-181, 2020 | 27 | 2020 |
| Multitrees automata, Presburger’s constraints and tree logics D Lugiez, S Dal Zilio Laboratoire d’Informatique Fondamentale, CNRS and Université de Provence, 2002 | 23 | 2002 |
| Model-checking real-time properties of an aircraft landing gear system using fiacre B Berthomieu, S Dal Zilio, Ł Fronc International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2014 | 20 | 2014 |
| Mixed shared-distributed hash tables approaches for parallel state space construction RT Saad, S Dal Zilio, B Berthomieu 2011 10th International Symposium on Parallel and Distributed Computing, 9-16, 2011 | 20 | 2011 |
Bernard BerthomieuLAAS-CNRSVerified email at laas.fr
