
Julie Vachon
Professeure agrégée
Ift6222-- Spécification et vérification formelle
Le premier cours aura lieu lundi 10 janvier 2011
de 13h30 à 15h30, local Z-260 (Pav. C.McNicoll).
Coordonnées
Département d'informatique et de recherche opérationnelle
Faculté des arts et sciences
Université de Montréal
C.P. 6128, Succursale Centre-Ville
Montréal, Québec
H3C 3J7, CanadaTéléphone: (+1) (514) 343.61.59
Fax: (+1) (514) 343.58.34Courriel: vachon[A T]iro.umontreal.ca
Intérêts de recherche
Méthodes formelles
Analyse et conception de systèmes orientés aspects
détection d'interférences entre aspects
modélisation et vérification formelle
Spécification et vérification formelle
model-checking
analyse statique, preuve de théorème
modélisation logique et analyse de modèle (Alloy)
Spécifications et modélisation de système concurrents:
Réseaux de Petri, spécifications algébriques, automates temporisés
UML et OCL
Analyse des interactions entre composants.
Enseignement
IFT3911 - Analyse et conception de logiciels (Au2007, Au2008, Au2010, Au2011)
IFT2255 Introduction au génie logiciel (Au-01-02-03-04-08, Hi-06-07-08, E-06-07)
IFT6222 - Spécification et vérification formelle (Hi2005, Hi2006, Hi2007, Hi2009, Hi2011)
Plan de
cours IFT6222 -- hiver 2011
IFT6803 - Génie logiciel du commerce électronique (Hi2002, Hi2003)
Publications
Chapitre de livres
M. Metzger, F. Bastien, F. Rousseau, J.
Vachon and E. M. Aboulhamid.
« Observer-based verification using
introspection: A system level verification
implementation », Advances in design and
specification languages for embedded systems (Selected
contributions for FDL’06), Sorin A. Huss (editor),
Kluwer Academic Publishers, 2006, chapter 12, pp.
195-211.
Journaux et revues
Farida Mostefaoui et Julie Vachon. « Formalization and Verification of Aspect-UML models with Alloy ». Journal of Object Technology, special issue on aspect-oriented modeling, 2007, p.137-165.
Michel Metzger; Amine Anane; Frédéric Rousseau; Julie Vachon; El Mostapha Aboulhamid. « Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment », Elsevier Editorial System for Microelectronics, Journal Special Issue: RSP 06, 2007. Article en révision.
Farida Mostefaoui et Julie Vachon. « Approche basée sur les réseaux de Petri pour la vérification formelle de la composition dans les systèmes par aspects ». Numéro spécial de la revue L’Objet « Développement par Aspects », éditions Hermès, Vol.12, 2006, pp.157-182.
Dirk Neumann, Morad
Benyoucef, Sarita Bassil and Julie Vachon. « Applying
the Montreal Taxonomy to State of the Art E-Negotiation
Systems ». Group Decision and Negotiation Journal,
vol.12, no.4, juillet 2003, p.287-310.
Actes de conférences et workshops
Amine Anane, El Mostapha Aboulhamid, Julie Vachon, Yvon Savaria. « Modeling and Simulation of Complex Heterogeneous Systems». IEEE International Symposium on Circuits and Systems (ISCAS’08), 2008.
Youssef Bououlid Idrissi et Julie Vachon. « Contextualized Linguistic Matching for Heterogeneous Data Sources Integration ». Montreal Conference on e-Technologies (MCETECH 08), Montréal, Canada, 2008.
Youssef Bououlid Idrissi et Julie Vachon. « A Context-Based Approach for Linguistic Matching », In Proceedings of the Int. Conference on Software and Data Technologies (ICSOFT’07), Barcelonne, Espagne, 2007, 6 pages.
Youssef Bououlid Idrissi et Julie Vachon. « A Context-based Approach for the Discovery of Complex Matches between Database Sources », In Proceedings. of the 18th Conf. on Database and Expert Systems Applications (DEXA'07), Regensburg, Allemagne, R. Wagner, N. Revell, and G. Pernul (Eds.), LNCS 4653, 2007, p.864–873, 2007. Acceptance ratio: 32%
Youssef Bououlid Idrissi et Julie Vachon. « A Context-based Approach for Complex Semantic Matching ». In Proceedings of CAISE-Forum, Trondheim, Germany, 2007, p.25-28. Acceptance ratio: 26%
Farida Mostefaoui et Julie Vachon. « Verification of Aspect-UML Models Using Alloy », In Proceedings of 10th International Workshop on Aspect-Oriented Modeling, Vancouver, Canada, 2007, p.41-48.
Farida Mostefaoui et Julie Vachon. « Formalization of an Aspect-Oriented Modeling Approach ». Formal Methods 2006, McMaster University Hamilton, Ontario, Canada, 2006, 5 pages. Publication en ligne.
Michel Metzger, Frédéric Bastien, Frédéric Rousseau, Julie Vachon, and El Mostapha Aboulhamid, « Semi-Formal Verification Tool Implementation using Introspection Mechanisms in a System-Level Design Environment », In Proceedings of Forum on specification & Design Languages (FDL’06), Darmstadt, Germany, 2006, p.265-271.
Michel Metzger, Frédéric Bastien, Frédéric Rousseau, Julie Vachon, and El Mostapha Aboulhamid, « Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment », In Proceedings of the 17th IEEE Symposium on Rapid System Prototyping (RSP2006), Chania, Crete, Greece, 2006, p.91-97.
Farida Mostefaoui et Julie Vachon. « Modélisation et vérification formelle de la composition des aspects », In Actes de la Journée Francophone sur le développement de logiciels par aspects (JFDLPA'05), Lille, France, 2005, p.35-50.
Youssef Bououlid Idrissi et Julie Vachon. « Context Analysis for Semantic Mapping of Data Sources Using a Multi-Strategy Machine Learning Approach », In Proceedings of the International Conference on Enterprise Information Systems (ICEIS05, Miami, USA, 2005, p.445-448.
Youssef Bououlid Idrissi et Julie Vachon. « Une approche d'apprentissage multi-stratégique intégrant le contexte pour le mapping sémantique de sources de données », Annual Meeting of the Canadian Semantic Web Interest Group (SWIG’04), 2004.
Julie Vachon, Houari A. Sahraoui, Mustapha Essalih et Hafedh Mili. « Vérification par model-checking de systèmes hybrides objets - règles », In Actes de la conférence Langages et Modèles à Objets (LMO'04), Revue L'Objet, éditions Hermès, Vol.10, 2004, p.259-275.
Julie Vachon et Farida Mostefaoui. « Achieving supplementary requirements using aspect-oriented development ». In Proceedings of the International Conference on Enterprise Information Systems (ICEIS04), Porto, Portugal, 2004, p.584-587.
Julie Vachon et Farida Mostefaoui. « An Aspect-Oriented Development Method based on MDA ». In Proceedings of the Software Architecture Description & UML Workshop held during the Seventh International Conference on UML Modeling Languages and Applications, Lisbonne, Portugal, 2004, p.71-85.
Julie Vachon, Nicolas Guelfi and Alexander Romanovsky. « Using COALA to develop a distributed object-based application ». In P.Drew, R. Meersman, Z. Tari et R. Zicari, éditeurs, Proceedings of the International Symposium on Distributed Objects and Applications (DOA'00), IEEE Computer Society, pages 195-208, Antwerp, Belgium, septembre 2000.
Julie Vachon and Nicolas Guelfi. « COALA: a Design Language for Reliable Distributed System Engineering ». In Proceedings of the Workshop on Software Engineering and Petri Nets, within the 21rst Int. Conference on Application and Theory of Petri Nets, DAIMI Publication 548, pages 135-154. Dep. Of Computer Science, University of Aarhus, Denmark, juin 2000.
Julie Vachon and Didier Buchs. «Subtyping as a
Support for Incremental Development». In Jan Bosch et Stuart Mitchell,
éditeurs, Object-Oriented Technology - ECOOP'97 Workshop Reader, numéro
Julie Vachon. « Analyse temporelle d'un algorithme de consensus dans un système asynchrone. » In Richard Casternet et Jean Roman, éditeurs, 8e Rencontres sur le Parallélisme (RenPar'8), Bordeaux, France, mai 1996.
Julie Vachon. « Une analyse statique pour le contrôle des effets de bord en Caml-Flight. » In Pierre Weis, éditeur, Journées Francophones des Languages Applicatifs (JFLA'95), janvier 1995.
Christian Foisy, Julie Vachon and Gaétan Hains.
« DPML: de la
sémantique à l'implémentation ». In Pierre Cointe et Christian Queinnec,
éditeurs, Journées Francophones des Langages Applicatifs (JFLA'94), numéro
Mémoire et thèse
Julie Vachon. « COALA: a Design Language for Reliable Distributed Systems ». Ph.D Thesis, Ecole Polytechnique Fédérale de Lausanne, CH-1015 Lausanne, Suisse, décembre 2000.
Julie Vachon. Une analyse statique pour la détection
de parallélisme emboîté en DPML. Master's Thesis, Université de
Montréal, Montréal (Quebec), Canada, 1995.
Rapports techniques
Julie Vachon and Didier Buchs. « The Semantics of
COALA in CO-OPN/2 », Technical Report EPFL-DI No
98/300, Ecole Polytechnique Fédérale de Lausanne, CH-1015,
Julie Vachon and Didier Buchs.
« Towards a Complete Semantics
with Negation Rules for CO-OPN/2 »,
Technical Report 98/297, Ecole Polytechnique Fédérale de Lausanne, Suisse,
1999.
Julie Vachon, Didier Buchs, Mathieu Buffo, Giovanna Di
Marzo Serugendo, Brian Randell, Sascha Romanovsky,
Robert Stroud and J. Xu. « COALA - A Formal Language for Coordinated Atomic
Actions », DeVa Third
Year Report, Deliverables: Part 2 (Papers), December 1998.
Julie Vachon and André Schiper.
« A Time cost Analysis for
Chandra & Toueg’s Consensus », Technical
Report EPFL-DI No 96/207, Département d’Informatique, Ecole Polytechnique
Fédérale de Lausanne, Suisse,
August 1996.
Conférences
Comités de lecture
AOM 2009, AOM 2010
LMO 2007 (Toulouse, France)
FIDJI'02, FIDJI'03, FIDJI'04
CARI'06
Comité d'organisation