Christelle Chaudet

According to our database, Christelle Chaudet authored at least 3 papers between 2000 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2009

Formal Verification of AADL Specifications in the Topcased Environment.

Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal-Zilio, Mamoun Filali, François Vernadat

Proceedings of the Reliable Software Technologies, 2009

2000

Architecture-driven software engineering: Specifying, generating, and evolving component- based software systems.

Christelle Chaudet, Robert Mark Greenwood, Flávio Oquendo, Brian Warboys

IEE Proc. Softw., 2000

pi-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems.

Christelle Chaudet, Flávio Oquendo

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000