| XML schema, tree logic and sheaves automata SD Zilio, D Lugiez International Conference on Rewriting Techniques and Applications, 246-263, 2003 | 124 | 2003 |
| 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 | 86 | 2004 |
| Formal verification of AADL specifications in the Topcased environment B Berthomieu, JP Bodeveix, C Chaudet, SD Zilio, M Filali, F Vernadat International Conference on Reliable Software Technologies, 207-221, 2009 | 84 | 2009 |
| Resource control for synchronous cooperative threads RM Amadio, SD Zilio International Conference on Concurrency Theory, 68-82, 2004 | 55 | 2004 |
| A functional scenario for bytecode verification of resource bounds RM Amadio, S Coupet-Grimal, SD Zilio, L Jakubiec International Workshop on Computer Science Logic, 265-279, 2004 | 45 | 2004 |
| 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 | 42 | 2010 |
| Mobile processes: a commented bibliography SD Zilio Summer School on Modeling and Verification of Parallel Processes, 206-222, 2000 | 42 | 2000 |
| Model checking mobile ambients W Charatonik, S Dal Zilio, AD Gordon, S Mukhopadhyay, JM Talbot Theoretical Computer Science 308 (1-3), 277-331, 2003 | 40 | 2003 |
| The complexity of model checking mobile ambients W Charatonik, SD Zilio, AD Gordon, S Mukhopadhyay, JM Talbot International Conference on Foundations of Software Science and Computation …, 2001 | 39 | 2001 |
| Real-time specification patterns and tools N Abid, S Dal Zilio, DL Botlan International Workshop on Formal Methods for Industrial Critical Systems, 1-15, 2012 | 38 | 2012 |
| Region analysis and a π-calculus with groups SD Zilio, AD Gordon International Symposium on Mathematical Foundations of Computer Science, 1-20, 2000 | 38 | 2000 |
| Model checking real-time properties on the functional layer of autonomous robots M Foughali, B Berthomieu, S Dal Zilio, F Ingrand, A Mallet International Conference on Formal Engineering Methods, 383-399, 2016 | 37 | 2016 |
| On the dynamics of PB systems: a Petri net view SD Zilio, E Formenti International Workshop on Membrane Computing, 153-167, 2003 | 33 | 2003 |
| Formal verification of complex robotic systems on resource-constrained platforms M Foughali, B Berthomieu, S Dal Zilio, PE Hladik, F Ingrand, A Mallet 2018 IEEE/ACM 6th international FME workshop on formal methods in software …, 2018 | 29 | 2018 |
| Presentation of the 9th edition of the model checking contest E Amparore, B Berthomieu, G Ciardo, S Dal Zilio, F Gallà, LM Hillah, ... International Conference on Tools and Algorithms for the Construction and …, 2019 | 28 | 2019 |
| Spatial congruence for ambients is decidable SD Zilio Annual Asian Computing Science Conference, 88-103, 2000 | 22 | 2000 |
| 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 | 21 | 2011 |
| Multitrees automata, Presburger’s constraints and tree logics D Lugiez, S Dal Zilio Laboratoire d’Informatique Fondamentale, CNRS and Université de Provence, 2002 | 20 | 2002 |
| Multitrees automata, Presburger’s constraints and tree logics D Lugiez, S Dal Zilio Laboratoire d’Informatique Fondamentale, CNRS and Université de Provence, 2002 | 20 | 2002 |
| Petri net reductions for counting markings B Berthomieu, DL Botlan, SD Zilio International Symposium on Model Checking Software, 65-84, 2018 | 19 | 2018 |
Bernard BerthomieuLAAS-CNRSVerified email at laas.fr
