Publications

The obtained results have been published in the following international conferences and journals:

• Intern. Colloquium on Automata, Languages and Programming ICALP (Greece),
• Intern. Symposium on Logic in Computer Science LICS (USA),
• Intern. Conference on Computer Aided Verification CAV (France),
• Intern. Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS (Italy),
• Intern. Static Analysis Symposium SAS (France),
• Intern. Conference on Concurrency Theory CONCUR (Denmark),
• Intern. Conference on Mathematical Foundations of Computer Science MFCS,
• Intern. Conference on Foundations of Software Technology and Theoretical Computer Science FST&TCS (India),
• Intern. Conference on Application and Theory of Petri Nets ICATPN (UK),
• Intern. Joint Conference on Automated Reasoning IJCAR (Italy),
• Intern. Symposium on Theoretical Aspects of Computer Software TACS (Japan),
• Advanced Research Working Conference on Correct Hardware Design and Verification Methods CHARME (Scotland),
• Intern. Conference on Implementation and Applications of Automata CIAA (South Africa).
• Journal Theoretical Computer Science, Elsevier Science Pub.,
• Journal of Universal Computer Science, Springer Pub.,
• Journal Fundamenta Informaticae,
• Electronic Notes in Theoretical Computer Science, Elesevier Science Pub.

All the articles produced in our project can be found at:

http://verif.liafa.jussieu.fr/ $\widetilde{\;}$haberm/ADVANCE/main.html