| XML schema, tree logic and sheaves automata S Dal Zilio, D Lugiez International Conference on Rewriting Techniques and Applications, 246-263, 2003 | 122 | 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 | 85 | 2004 |
| 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 | 80 | 2009 |
| Resource control for synchronous cooperative threads RM Amadio, S Dal Zilio International Conference on Concurrency Theory, 68-82, 2004 | 54 | 2004 |
| A functional scenario for bytecode verification of resource bounds RM Amadio, S Coupet-Grimal, S Dal Zilio, L Jakubiec International Workshop on Computer Science Logic, 265-279, 2004 | 43 | 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 | 41 | 2010 |
| Model checking mobile ambients W Charatonik, S Dal Zilio, AD Gordon, S Mukhopadhyay, JM Talbot Theoretical Computer Science 308 (1-3), 277-331, 2003 | 41 | 2003 |
| Mobile processes: a commented bibliography S Dal Zilio Summer School on Modeling and Verification of Parallel Processes, 206-222, 2000 | 41 | 2000 |
| Region analysis and a π-calculus with groups S Dal Zilio, AD Gordon International Symposium on Mathematical Foundations of Computer Science, 1-20, 2000 | 40 | 2000 |
| The complexity of model checking mobile ambients W Charatonik, S Dal 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, D Le Botlan International Workshop on Formal Methods for Industrial Critical Systems, 1-15, 2012 | 37 | 2012 |
| 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 | 35 | 2016 |
| 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, S Dal Zilio, PE Hladik, F Ingrand, A Mallet 2018 IEEE/ACM 6th international FME workshop on formal methods in software …, 2018 | 25 | 2018 |
| Presentation of the 9th edition of the model checking contest EG Amparore, B Bernard, C Gianfranco, D Silvano, G Francesco, ... TACAS Tools and Algorithms for the Construction and Analysis of Systems-25 …, 2019 | 21 | 2019 |
| Multitrees automata, Presburger’s constraints and tree logics D Lugiez, S Dal Zilio Laboratoire d’Informatique Fondamentale, CNRS and Université de Provence, 2002 | 21 | 2002 |
| Multitrees automata, Presburger’s constraints and tree logics D Lugiez, S Dal Zilio Laboratoire d’Informatique Fondamentale, CNRS and Université de Provence, 2002 | 21 | 2002 |
| 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 |
| Towards timed requirement verification for service choreographies N Guermouche, S Dal Zilio 8th International Conference on Collaborative Computing: Networking …, 2012 | 19 | 2012 |
| Spatial congruence for ambients is decidable S Dal Zilio Annual Asian Computing Science Conference, 88-103, 2000 | 19 | 2000 |
Bernard BerthomieuLAAS-CNRSVerified email at laas.fr
