| 2005 |
|---|
| 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 |
