Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Oudot, Emilie"'
Publikováno v:
In Electronic Notes in Theoretical Computer Science 8 August 2006 160:97-111
Autor:
Fondement, Frédéric, Muller, Pierre-Alain, Wittman, Brice, Ambert, Fabrice, Lasalle, Jonathan, Oudot, Emilie, Peureux, Fabien, Legeard, Bruno, Alter, Marc, Scherrer, Claude, Bouquet, Fabrice
Publikováno v:
Génie logiciel
Génie logiciel, C & S, 2010, pp.43--48
Génie logiciel, Génie industriel multimédia, 2010, pp.43-48
Génie logiciel, C & S, 2010, 93, pp.43-48
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2010, 93, pp.43-48
Génie logiciel, C & S, 2010, pp.43--48
Génie logiciel, Génie industriel multimédia, 2010, pp.43-48
Génie logiciel, C & S, 2010, 93, pp.43-48
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2010, 93, pp.43-48
Selected paper from the 7-th NEPTUNE Workshop; National audience; Il apparaît souvent que les processus d'ingénierie système sont en fait décomposés en phases discontinues où trop peu d'informations sont partagées entre les différentes équip
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3903321a3a98a11279391516e6010354
https://hal.inria.fr/inria-00533277
https://hal.inria.fr/inria-00533277
Autor:
Mateescu, Radu, Oudot, Emilie
Publikováno v:
[Research Report] RR-6777, INRIA. 2008, pp.31
A short version of this report was published at SPIN'2008.; Equivalence checking is a classical verification method for ensuring the compatibility of a finite-state concurrent system (protocol) with its desired external behaviour (service) by compari
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1ea6a4b8de879da3a749b6eebb8bc228
https://hal.inria.fr/inria-00347627/file/RR-6777.pdf
https://hal.inria.fr/inria-00347627/file/RR-6777.pdf
Publikováno v:
ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation
ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, 2007, France. pp.159--166
ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, 2007, France. pp.159--166
International audience; We are interested in the preservation of local properties of timed components during their integration in a timed system. Timed components are modeled as timed automata or timed automata with deadlines. Properties considered a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0918c150f36bd6ab6a549c5e53bdd66d
https://hal.archives-ouvertes.fr/hal-00561444/document
https://hal.archives-ouvertes.fr/hal-00561444/document
Publikováno v:
SAVCBS'06, Specification and Verification of Component-Based Systems
SAVCBS'06, Specification and Verification of Component-Based Systems, 2006, United States. pp.33--40
SAVCBS'06, Specification and Verification of Component-Based Systems, 2006, United States. pp.33--40
International audience; We present a verification framework exploiting tau-simulations as a way to preserve local linear properties checked on the components of real-time systems. Therefore, we consider a component-based modeling of real-time systems
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b722d4b4388e4f1f3acea44a3a0ecde5
https://hal.archives-ouvertes.fr/hal-00561443
https://hal.archives-ouvertes.fr/hal-00561443
Publikováno v:
ICSE: International Conference on Software Engineering; Nov2006, p33-40, 8p
Publikováno v:
Model Checking Software (9783540851134); 2008, p1-1, 1p
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The 17 revised full papers presented together with 1 tool paper and 4 invited