Date | Intervenant | Titre |
---|---|---|
26 septembre 2002 | Davy Rouillard | Application de techniques de preuve assistée, pour la spécification, la vérification et le test. |
3 octobre 2002 | Réunion de rentrée. | |
10 octobre 2002 | Catalin Dima | Problèmes théoriques de spécification et de vérification de systèmes temporisés. |
17 octobre 2002 | André Arnold | Synthèse de contrôleurs (suite et fin). |
24 octobre 2002 | Claire Pagetti (IRCCyN) | Une extension temporisée d'AltaRica. |
31 octobre 2002 | Relâche | |
7 novembre 2002 | Alain Griffault | Extension du langage AltaRica et compilation vers Lustre. |
14 novembre 2002 | Relâche (journée RTP SECC) | |
21 novembre 2002 | Anatol Slissenko (LACL) | Un cadre logique pour la vérification des systèmes temps réel. |
28 novembre 2002 | David J. Sherman | Yeast Pheremone Signalling Pathways : an example of protein-protein interactions in cascade. |
5 décembre 2002 | Fabrice Kordon (LIP6) | A préciser. |
12 décembre 2002 | David J. Sherman | Yeast Pheremone Signalling Pathways : an example of protein-protein interactions in cascade. |
19 décembre 2002 | Grégoire Sutre | Temporal-Safety Proofs for Systems Code. |
26 décembre 2002 | Vacances | |
2 janvier 2003 | Vacances | |
9 janvier 2003 | Alain Griffault | Extension du langage AltaRica et compilation vers Lustre. |
16 janvier 2003 | Relâche | |
23 janvier 2003 | Bernard Berthomieu | Espaces d'états abstraits pour les Réseaux de Petri Temporels. |
30 janvier 2003 | Frédéric Herbreteau | Hybrid Acceleration using Real Vector Automata. |
6 février 2003 | Grégoire Sutre | Temporal-Safety Proofs for Systems Code. |
13 février 2003 | Sabine Pérès | CTL et les réseaux de régulation génétique : un exemple avec multi-stationnarité. |
20 février 2003 | Vacances | |
27 février 2003 | Tayssir Touili | Reachability analysis of Process Rewrite Systems: Application to the verification of multithreaded recursive programs. |
6 mars 2003 | Pierre Courtieu | Jakarta: un environnement de spécification et de preuve pour la plate-forme JavaCard. |
13 mars 2003 | Franck Pommereau | Modèles composables et concurrents pour le temps-réel. |
20 mars 2003 | Mirabelle Nebut | Réactions synchrones, spécification et analyse. |
27 mars 2003 | Richard Castanet | Test de robustesse. |
3 avril 2003 | Relâche | |
10 avril 2003 | Catalin Dima | Discrétisation non archimédienne des langages temporisés. |
17 avril 2003 | Vacances | |
24 avril 2003 | Stéphane Riedweg | Logique temporelle et contrôle. |
1 mai 2003 | Férié | |
8 mai 2003 | Férié | |
15 mai 2003 | Relâche (rencontre avec le LSV) | |
22 mai 2003 | Relâche | |
29 mai 2003 | Férié | |
5 juin 2003 | Erich Grädel | Il était une fois dans l'ouest. Détermination, définissabilité et complexité de jeux à itinéraires. |
12 juin 2003 | Relâche | |
19 juin 2003 | Relâche | |
26 juin 2003 | Relâche |