Publications of the FIACRE project

1
I. Attali, T. Barros, and E. Madelaine.
Formalisation and proofs of the chilean electronic invoices system.
In in proc. of the XXIV International Conference of the Chilean Computer Science Society (SCCC'04), Arica, Chili, November 2004. IEEE.

2
T. Barros.
Formal specification and verification of distributed component systems.
PhD thesis, Université de Nice - INRIA Sophia Antipolis, November 2005.

3
T. Barros, R. Boulifa, and E. Madelaine.
Parameterized models for distributed java objects.
In Forte'04 conference, volume LNCS 3235, Madrid, September 2004. Spinger Verlag.

4
T. Barros, A. Cansado, and E.Madelaine.
Model-checking distributed components: The Vercors platform.
In submitted, 2006.

5
T. Barros, L. Henrio, and E. Madelaine.
Behavioural models for hierarchical components.
In Patrice Godefroid, editor, Model Checking Software, 12th International SPIN Workshop, volume LNCS 3639, pages 154-168, San Francisco, CA, USA, August 2005. Springer.

6
T. Barros, L. Henrio, and E. Madelaine.
Behavioural models for hierarchical components.
Technical Report RR-5591, INRIA, June 2005.

7
T. Barros, L. Henrio, and E. Madelaine.
Verification of distributed hierarchical components.
In International Workshop on Formal Aspects of Component Software (FACS'05), Macao, October 2005. Electronic Notes in Theoretical Computer Science (ENTCS).

8
Walid Belhkir.
Behavioural typing for proactice distributed components, June 2005.

9
D. Bergamini, N. Descoubes, C. Joubert, and R. Mateescu.
Bisimulator: A modular tool for on-the-fly equivalence checking.
In Nicolas Halbwachs and Lenore Zuck, editors, Proc. of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2005, Edinburg, April 2005. LNCS 3440, Springer Verlag.

10
J.P. Bodeveix, P. Dissaux, P. Farail, M. Filali, P. Gaufillet, and F. Vernadat.
Behavioural descriptions in architecture description languages: Application to AADL.
In European Congress : ERTS2006: Embedded Real Time Software, Toulouse, page (à paraitre). SIA, SEE, AAAF, January 2006.

11
A. Cansado, L. Henrio, and E. Madelaine.
Towards real case component model-checking.
In 5th Fractal Workshop, Nantes, France, July 2006.

12
C. Joubert and R. Mateescu.
Distributed local resolution of boolean equation systems.
In Francisco Tirado and Manuel Prieto, editors, Proc. of the 13th Euromicro Conference on Parallel, Distributed and Network-Based Processing PDP'2005, Lugano, February 2005. IEEE Computer Society.

13
C. Joubert and R. Mateescu.
Distributed on-the-fly model checking and test case generation.
In Proceedings of the 13th International Workshop on Model Checking of Software SPIN'2006 (Vienna, Austria), 2006.

14
F. Lang.
Exp.open 2.0: A flexible tool integrating partial order, compositional, and on-the-fly verification methods.
In Jaco van de Pol, Judi Romijn, and Graeme Smith, editors, Proceedings of the 5th International Conference on Integrated Formal Methods IFM'2005 (Eindhoven, The Netherlands). LNCS 3771, Springer Verlag, November 2005.

15
T. Sadani, P. De Saqui Sannes, and J.P. Courtiat.
Validation de spécifications rt-lotos. une interface vers l'outil tina.
In "Modélisation des Systèmes Réactifs", MSR'05, Grenoble, October 2005.