Research Interests

TURN program, the research network of TTTech.

• Simulation of a Time Triggered Protocol (pdf format) by David Bradbury
  Honour Thesis, Basser Department of Computer Science, Sydney University (2000)

Current Teaching

Book

Recent Publications

• Bouajjani A., Merceron A. :

Parametric Verification of a Group Membership Algorithm
in Proc. 7th Intern. Symp. on Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT'02) , LNCS 2469, Oldenburg (Germany), September 2002, pp. 311--330.
• Abraham D., Crawford L., Lesta L., Merceron A., Yacef K. :

The Logic Tutor: A Multimedia Presentation
Interactive Multimedia Electronic Journal of Computer-Enhanced learning
Volume 3, Number 2, October 2001
• Abraham D., Crawford L., Lesta L., Merceron A., Yacef K. :

A Tool for Practicing Formal Proofs
Proceedings of the World Conference on Educational Multimedia, Hyopermedia and Telecommunications (ED-Media 2001)
Tampere, Finland (2001)
• Merceron A., Pinna M. :

Component-Based Verification in a Synchronous Setting
International Journal of Software Engineering & Knowledge Engineering
Vol. 11, No 2, 181-203 (2001)
• Merceron A., Pinna M. :

Refinment and Modular Verification with Observers
First Asia-Pacific Conference on Quality Software (APAQS2000)
IEEE Computer Society (2000)
• Merceron A., Pinna M. :

Modular Verification of Argos Programs"
6th Australasian Conference on Parallel and Real-Time Systems (Part'99)
Springer Verlag (1999)
• Merceron A., Muellerburg M. and Pinna M. :

""No Collisions" in a Protocol with n Stations: a Comparative Study of Formal Proofs"
5th International Workshop on Formal Methods for Industrial Critical Systems, Trento, Italy (1999)
• Merceron A., Muellerburg M. and Pinna M. :

"Verifying a Time-Triggered Protocol in a Multi-Language Environment "
Safecomp'98, W. Ehrenberger (Ed.)
Lecture Notes in Computer Science, Vol 1516, Springer Verlag, (1998)
Abstract | Full Paper in Postscript | Full Paper in PDF
• Budde R. and Merceron A. :

"A Generator of Boolean Acceptors for Safety Properties"
Part'98, K.A. Hawick and H.A. James (Eds.)
Springer Verlag, pp.45-56 (1998)
• Merceron A. and Pinna M. :

"Refinement and Modular verification"
Cotic'97, Proceedings of the first International Workshop on Constraint Programming for Time Critical Applications, Schloss Hagenberg, Austria (1997)
• Budde R., Merceron A. and Sylla K-H. :

"Formal verification as a Design Tool - the Transponder Lock Example-"
Safecomp'96, E. Schoitsch (Ed.)
Springer Verlag, 73-82 (1996)
• Desel, J. and Merceron, A. :

"Vicinity Respecting Homomorphisms for Abstracting Systems Requirements"
Bericht 337. H. Schmeck, D. Seese, W. Stucky and R. Studer (Eds.)
Institut AIFB, Universit\"at Karlsruhe, D-76128 Karlsruhe (1996)
• Muellerburg, M., Holenderski, L., Maffeis, O., Merceron, A. and Morley, M. :

"Systematic testing and Formal verification to Validate Reactive Systems"
Software Quality Journal, 4 (4), 287-307 (1995)
• Merceron, A. :

"Concurrent Behaviour of Petri nets"
Petri Nets. Fern\`andez, C., Merceron, A., Parada, V., Rozenberg, G. and Solar, M. (Eds)
Editorial de la Universidad de Santiago, Avda. Ecuador 3659, Santiago, Chile (1996)

More Publications

 More publications are in the results of the Institute for System Design Technology (SET) at GMD , Germany, or in the bibliographies related to Petri Nets.