|
|
ModoCop meetingSeptember 17, 2003INRIA Rennessalle Oléron, A008 |
| 10.00 - 10.30 | Eric Madelaine, Christophe Massol (Oasis) - Analyse statique et generation de modeles comportementaux pour Java distribué |
| 10.30 - 11.00 | Frédéric Lang (Vasy) - Compositional Verification using CADP of the ScalAgent Deployment Protocol for Software Components |
| 11.30 - 11.45 | pause |
| 11.45 - 12.15 | Fabrice Bouquet (Cassis) - Expériences avec le CEPS |
| 12.15 - 14.00 | lunch |
| 14.00 - 14.30 | Yassine Lakhnech (Verimag) - Decision procedures for security properties |
| 14.30 - 15.00 | Marius Bozga (Verimag) - On the verification of aliasing and dynamic structures |
| 15.00 - 15.15 | pause |
| 15.15 - 15.45 | Christoph Sprenger (Lemme) - Simulation Logic, Applets and Compositional Verification |
| 15.45 - 16.45 | discussion |
Back to the ModoCop homepage.