Julie Vachon

15 papers C 4Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2009 — conf
An adaptive multi-strategy approach for semantic mapping.
C3S2E
Youssef Bououlid Idrissi, Julie Vachon
2009 J jnl
Introspection mechanisms for runtime verification in a system-level design environment.
Microelectron. J.
Michel Metzger, Amine Anane, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid
2008 C conf
Modeling and simulation of complex heterogeneous systems.
ISCAS
Amine Anane, El Mostapha Aboulhamid, Julie Vachon, Yvon Savaria
2007 — conf
A Context-Based Approach for Linguistic Matching.
ICSOFT (ISDM/EHST/DC)
Youssef Bououlid Idrissi, Julie Vachon
2007 C conf
A Context-Based Approach for the Discovery of Complex Matches Between Database Sources.
DEXA
Youssef Bououlid Idrissi, Julie Vachon
2007 — conf
A Context-based Approach for Complex Semantic Matching.
CAiSE Forum
Youssef Bououlid Idrissi, Julie Vachon
2007 J jnl
Design-Level Detection of Interactions in Aspect-UML Models Using Alloy.
J. Object Technol.
Farida Mostefaoui, Julie Vachon
2007 — conf
Verification of Aspect-UML models using alloy.
AOM@AOSD
Farida Mostefaoui, Julie Vachon
2006 C conf
A Verification Tool Implementation using Introspection Mechanism.
FDL
Michel Metzger, Frédéric Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid
2006 J jnl
Approche basée sur les réseaux de Petri pour la vérification de la composition dans les systèmes par aspects.
Obj. Logiciel Base données Réseaux
Farida Mostefaoui, Julie Vachon
2006 C conf
Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment.
IEEE International Workshop on Rapid System Prototyping
Michel Metzger, Frédéric Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid
2005 — conf
Context Analysis for Semantic Mapping of Data Sources Using a Multi-Strategy Machine Learning Approach.
ICEIS (1)
Youssef Bououlid Idrissi, Julie Vachon
2004 — conf
Achieving Supplementary Requirements Using Aspect-Oriented Development.
ICEIS (3)
Julie Vachon, Farida Mostefaoui
2004 J jnl
Vérification par model-checking de systèmes hybrides objets-règles.
Obj. Logiciel Base données Réseaux
Julie Vachon, Houari A. Sahraoui, Mustapha Essalih, Hafedh Mili
2000 — conf
Using COALA to Develop a Distributed Object-Based Application.
DOA
Julie Vachon, Nicolas Guelfi, Alexander B. Romanovsky