| Références : |
| Pour chaque (enseignant-)chercheur participant,
liste de 3 à 5 publications, logiciels ou brevets les plus significatifs,
en relation avec la thématique du projet. |
| |
| P. Habermehl : |
| |
| A. Bouajjani and P. Habermehl. Symbolic Reachability Analysis of FIFO-Channel Systems with Nonregular Sets of Configurations. Theoretical Computer Science, 221(1/2), 1999. |
| |
| A. Bouajjani, P. Habermehl, and R. Mayr. Automatic verification of recursive procedures with one integer parameter. Theoretical Computer Science, 295(1/3), 2003. |
| |
| P. Abdulla, A. Annichini, S. Bensalem, A. Bouajjani, P. Habermehl, Y. Lakhnech. Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis. Computer Aided Verification'99, LNCS 1633, Springer-Verlag, 1999. |
| |
| |
| A. Bouajjani : |
| |
| A. Bouajjani, B. Jonsson, M. Nilsson, and T. Touili. Regular model checking. Proceedings of CAV'00, LNCS 1855, pages 403-418, July 2000. |
| |
| A. Annichini, A. Bouajjani, Y. Lakhnech, M. Sighireanu , Analyzing Fair Parametric Extended Automata, in Proc. 8th Intern. Static Analysis Symposium
(SAS'01), LNCS 2126, Paris (France), July 2001. |
| |
| A. Bouajjani, Languages, Rewriting systems, and Verification of Infinite-State Systems, invited paper, in Proc. 28th Intern. Coll. on Automata,
Languages and Programming (ICALP'01), LNCS 2076, Crete (Greece), July 2001. |
| |
| A. Bouajjani, J. Esparza, T. Touili, A Generic Approach to the Static Analysis of Concurrent Programs with Procedures, in Proc. 30th Intern. ACM
Symp. on Principles of Programming Languages (POPL'03), New Orleans (Louisiana, USA), January 2003. |
| |
| |
| A. Merceron : |
| |
| A. Merceron and M. Pinna. Component-Based Verification in a Synchronous Setting. International Journal of Software Engineering & Knowledge Engineering, Vol. 11, No 2, 181-203 (2001). |
| |
| A. Merceron and M. Pinna. Refinment and Modular Verification with Observers. First Asia-Pacific Conference on Quality Software (APAQS2000), IEEE Computer Society (2000). |
| |
| A. Bouajjani and A. Merceron. Parametric Verification of a Group Membership Algorithm. Proc. 7th Intern. Symp. on Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT'02), LNCS 2469, September 2002.
|
| |
| M. Sighireanu : |
| |
| A. Annichini, A. Bouajjani, and M. Sighireanu. Trex: A tool for reachability analysis of complex systems. Proceedings of CAV'01, LNCS 2102, pages 368-372. Springer Verlag, July 2001. |
| |
| M. Sighireanu and R. Mateescu. Verification of the link layer protocol of the IEEE-1394 serial bus (firewire): an experiment with e-lotos. Springer International Journal on Software Tools for Technology Transfer (STTT), 2(1):68-88, December 1998. |
| |
| K.J. Turner and M. Sighireanu. Software Specification Methods, chapter ELOTOS: (Enhanced) Language Of Temporal Ordering Specification, pages 165-190. Springer Verlag, 2001. |
| |
