Groupe de travail

Modélisation et Vérification de Processus. (ex Sémantique du parallélisme)

1994 - 1995

Le mardi de 14h à 15h30
Salle A, LaBRI, Troisième étage.

Réunions.

• 11 juillet 1995. K.L. McMillan (Cadence Design Systems). A compositional system for processor verification.
• 20 juin 1995. Marc-Michel Corsini (LaBRI). Interprétation abstraite et Vérification de processus.
• 6 juin 1995. Christophe Chevrier et Marie-Helene Skubiszewska (LaBRI). Entendu et Vu au CFIP'95.
• 30 mai 1995. Patrick Félix (LaBRI). Réduction et Co-Branching Simulation.
• 23 mai 1995. Sylvain Lajeunesse (DATA CEP Paris). Présentation de l'atelier FIABEX. FIABEX est un atelier logiciel de modélisation et d'analyse de la fiabilité de systèmes industriels, développé par DATA CEP, pour le club d'industriels FIABEX qui regroupe les plus grandes entreprises franÛaises.
• 9 mai 1995. Gérald Point et Cédric Delayre (LaBRI). Lady : Etat actuel, et évolutions dans un avenir proche.
• 2 mai 1995. Paul Crubille et Frédéric Goudal (LaBRI). Mec4 : Etat actuel, et évolutions dans un avenir proche.
• 11 avril 1995. Jean-Pierre Gallois (CEA Saclay). Validation/vérification au CEA, et génération de séquences de tests sur les systèmes de transitions.
• 28 mars 1995. Jean-Pierre Radoux (LaBRI). Utilisation des systèmes de transitions finis pour la conception et le développement d'un système embarqué.
• 21 mars 1995. David Janin (LaBRI). Comportements équitables et synchronisation.
• 28 février 1995. Antoine Rauzy (LaBRI). Réseaux de fiabilité.
• 14 février 1995. Marie-Helene Skubiszewska (LaBRI). Mec debugge l'Audiotel.
• 7 février 1995. Bertrand Le Saßc (LaBRI). Utilisation de la théorie des semigroupes pour la génération de séquences de test de protocoles.
• 31 janvier 1995. Benoit Sanscartier (LACIM Montréal). Animation, Validation et Vérification : les Statecharts Alternants Récursifs comme outil d'expression et de modélisation de systèmes réactifs complexes.
• 24 janvier 1995. Benoit Sanscartier (LACIM Montréal). Les Statecharts Alternants Récursifs : une sémantique opérationnelle asynchrone.
• 17 janvier 1995. Ryszard Janicki (). Trace Assertion Method and Semantics of (Parnas) Tabular Expressions (part II).
• 10 janvier 1995. Ryszard Janicki (). Trace Assertion Method and Semantics of (Parnas) Tabular Expressions (part I).
• 13 décembre 1994. Ryszard Janicki (). Modelling Concurency with Order Structures and Comtraces.
• 6 décembre 1994. Srecko Brlek (LACIM Montréal). Développement incrémental et ajout de services dans le POTS.
• 22 novembre 1994. Pierre Castéran (LaBRI). $\mu$CRL en Coq.
• 15 novembre 1994. Jean-FranÛois Husson (IRIT Toulouse). Modèles formels de systèmes d'évènements.
• 25 octobre 1994. David Janin (LaBRI). Vers un "Model-Checking" optimal ?.
• 18 octobre 1994. Réunion informelle.
  • Bilan des journées MOVE.
  • Préparation du rapport d'activité.
• 11 octobre 1994. Journées MOVE au LaBRI.
• 4 octobre 1994. Paul Crubillé (LaBRI). Les systèmes de transitions génériques.
• 27 septembre 1994. Alain Griffault (LaBRI). Sémantique (Modélisation et Vérification) de Rendez-Vous avec MEC.
• 20 septembre 1994. Réunion de rentrée.
  • Bilan de l'année écoulée.
  • Projets pour l'année.

Années suivantes

• MVTsi 1997-1998.
• MVTsi 1996-1997.
• MVTsi 1995-1996.

Années précédentes

• Sémantique du parallélisme 1993-1994.
• Sémantique du parallélisme 1992-1993.

Navigation