2006 |
16 | EE | Ahmed Bouajjani,
Agathe Merceron:
Parametric Verification of a Group Membership Algorithm.
TPLP 6(3): 321-353 (2006) |
2005 |
15 | | Agathe Merceron,
Kalina Yacef:
Educational Data Mining: a Case Study.
AIED 2005: 467-474 |
14 | EE | Ahmed Bouajjani,
Agathe Merceron:
Parametric Verification of a Group Membership Algorithm
CoRR abs/cs/0505033: (2005) |
2002 |
13 | EE | Ahmed Bouajjani,
Agathe Merceron:
Parametric Verification of a Group Membership Algorithm.
FTRTFT 2002: 311-330 |
2001 |
12 | EE | Agathe Merceron:
Proving "no Cliques" in a Protocol.
ACSC 2001: 134-139 |
11 | EE | David Abraham,
Liz Crawford,
Leanna Lesta,
Agathe Merceron,
Kalina Yacef:
The logic tutor.
ITiCSE 2001: 184 |
10 | EE | Agathe Merceron,
Monika Müllerburg,
G. Michele Pinna:
Specifying and verifying reactive systems in a multi-language environment.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
9 | | Agathe Merceron,
G. Michele Pinna:
Component-based Verification in a Synchronous Setting.
International Journal of Software Engineering and Knowledge Engineering 11(2): 181-203 (2001) |
2000 |
8 | EE | Agathe Merceron,
G. Michele Pinna:
Refinement and Modular Verification with Observers.
APAQS 2000: 216-225 |
1998 |
7 | EE | Agathe Merceron,
Monika Müllerburg,
G. Michele Pinna:
Verifying a Time-Triggered Protocol in a Multi-language Environment.
SAFECOMP 1998: 185-195 |
1989 |
6 | | Jörg Desel,
Agathe Merceron:
Vicinity respecting net morphisms.
Applications and Theory of Petri Nets 1989: 165-185 |
1988 |
5 | | Jörg Desel,
Agathe Merceron:
P/T-systems as abstractions of C/E-systems.
European Workshop on Applications and Theory in Petri Nets 1988: 105-127 |
1986 |
4 | | Agathe Merceron:
Fan processes.
European Workshop on Applications and Theory of Petri Nets 1986: 181-195 |
1984 |
3 | | Eike Best,
Agathe Merceron:
Concurrency axioms and D-continuous posets.
European Workshop on Applications and Theory in Petri Nets 1984: 32-47 |
2 | | Eike Best,
Agathe Merceron:
Frozen tokens and D-continuity: A study in relating system properties to process properties.
European Workshop on Applications and Theory in Petri Nets 1984: 48-61 |
1983 |
1 | | Eike Best,
Agathe Merceron:
Discreteness, k-density and d-continuity of occurrence nets.
Theoretical Computer Science 1983: 73-83 |