Login / Signup
Julie Vachon
Publication Activity (10 Years)
Years Active: 2000-2009
Publications (10 Years): 0
</>
Publications
</>
Michel Metzger
,
Amine Anane
,
Frédéric Rousseau
,
Julie Vachon
,
El Mostapha Aboulhamid
Introspection mechanisms for runtime verification in a system-level design environment.
Microelectron. J.
40 (7) (2009)
Youssef Bououlid Idrissi
,
Julie Vachon
An adaptive multi-strategy approach for semantic mapping.
C3S2E
(2009)
Amine Anane
,
El Mostapha Aboulhamid
,
Julie Vachon
,
Yvon Savaria
Modeling and simulation of complex heterogeneous systems.
ISCAS
(2008)
Youssef Bououlid Idrissi
,
Julie Vachon
A Context-Based Approach for the Discovery of Complex Matches Between Database Sources.
DEXA
(2007)
Youssef Bououlid Idrissi
,
Julie Vachon
A Context-Based Approach for Linguistic Matching.
ICSOFT (ISDM/EHST/DC)
(2007)
Farida Mostefaoui
,
Julie Vachon
Design-Level Detection of Interactions in Aspect-UML Models Using Alloy.
J. Object Technol.
6 (7) (2007)
Farida Mostefaoui
,
Julie Vachon
Verification of Aspect-UML models using alloy.
AOM@AOSD
(2007)
Youssef Bououlid Idrissi
,
Julie Vachon
A Context-based Approach for Complex Semantic Matching.
CAiSE Forum
(2007)
Michel Metzger
,
Frederic Bastien
,
Frédéric Rousseau
,
Julie Vachon
,
El Mostapha Aboulhamid
Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment.
IEEE International Workshop on Rapid System Prototyping
(2006)
Farida Mostefaoui
,
Julie Vachon
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
12 (2-3) (2006)
Michel Metzger
,
Frederic Bastien
,
Frédéric Rousseau
,
Julie Vachon
,
El Mostapha Aboulhamid
A Verification Tool Implementation using Introspection Mechanism.
FDL
(2006)
Youssef Bououlid Idrissi
,
Julie Vachon
Context Analysis for Semantic Mapping of Data Sources Using a Multi-Strategy Machine Learning Approach.
ICEIS (1)
(2005)
Julie Vachon
,
Houari A. Sahraoui
,
Mustapha Essalih
,
Hafedh Mili
Vérification par model-checking de systèmes hybrides objets-règles.
Obj. Logiciel Base données Réseaux
10 (2-3) (2004)
Julie Vachon
,
Farida Mostefaoui
Achieving Supplementary Requirements Using Aspect-Oriented Development.
ICEIS (3)
(2004)
Julie Vachon
,
Nicolas Guelfi
,
Alexander B. Romanovsky
Using COALA to Develop a Distributed Object-Based Application.
DOA
(2000)