Julie Vachon

According to our database, Julie Vachon authored at least 15 papers between 2000 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Introspection mechanisms for runtime verification in a system-level design environment.

Michel Metzger, Amine Anane, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid

Microelectron. J., 2009

An adaptive multi-strategy approach for semantic mapping.

Youssef Bououlid Idrissi, Julie Vachon

Proceedings of the Canadian Conference on Computer Science & Software Engineering, 2009

2008

Modeling and simulation of complex heterogeneous systems.

Amine Anane, El Mostapha Aboulhamid, Julie Vachon, Yvon Savaria

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2008), 2008

2007

Design-Level Detection of Interactions in Aspect-UML Models Using Alloy.

Farida Mostefaoui, Julie Vachon

J. Object Technol., 2007

A Context-Based Approach for Linguistic Matching.

Youssef Bououlid Idrissi, Julie Vachon

Proceedings of the ICSOFT 2007, 2007

A Context-Based Approach for the Discovery of Complex Matches Between Database Sources.

Youssef Bououlid Idrissi, Julie Vachon

Proceedings of the Database and Expert Systems Applications, 18th International Conference, 2007

A Context-based Approach for Complex Semantic Matching.

Youssef Bououlid Idrissi, Julie Vachon

Proceedings of the CAiSE'07 Forum, 2007

Verification of Aspect-UML models using alloy.

Farida Mostefaoui, Julie Vachon

Proceedings of the 10th International Workshop on Aspect-Oriented Modeling, 2007

2006

Approche basée sur les réseaux de Petri pour la vérification de la composition dans les systèmes par aspects.

Farida Mostefaoui, Julie Vachon

Obj. Logiciel Base données Réseaux, 2006

Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment.

Michel Metzger, Frédéric Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid

Proceedings of the 17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 2006

A Verification Tool Implementation using Introspection Mechanism.

Michel Metzger, Frédéric Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid

Proceedings of the Forum on specification and Design Languages, 2006

2005

Context Analysis for Semantic Mapping of Data Sources Using a Multi-Strategy Machine Learning Approach.

Youssef Bououlid Idrissi, Julie Vachon

Proceedings of the ICEIS 2005, 2005

2004

Vérification par model-checking de systèmes hybrides objets-règles.

Julie Vachon, Houari A. Sahraoui, Mustapha Essalih, Hafedh Mili

Obj. Logiciel Base données Réseaux, 2004

Achieving Supplementary Requirements Using Aspect-Oriented Development.

Julie Vachon, Farida Mostefaoui

Proceedings of the ICEIS 2004, 2004

2000

Using COALA to Develop a Distributed Object-Based Application.

Julie Vachon, Nicolas Guelfi, Alexander B. Romanovsky

Proceedings of the International Symposium on Distributed Objects and Applications, 2000