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.