Výsledky vyhledávání - "Oudot, Emilie"

Akademický článek

On the Contribution of a τ-simulation in the Incremental Modeling of Timed Systems

Autor: Bellegarde, Françoise, Julliand, Jacques, Mountassir, Hassan, 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

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

Zobrazit plný text záznamu

Improved On-the-Fly Equivalence Checking using Boolean Equation Systems

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

Zobrazit plný text záznamu

Preservation of timed properties during an incremental development by components

Autor: Julliand, Jacques, Mountassir, Hassan, Oudot, Emilie

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

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

Zobrazit plný text záznamu

Experiments in the use of tau-simulations for the components-verification of real-time systems

Autor: Bellegarde, Françoise, Julliand, Jacques, Mountassir, Hassan, Oudot, Emilie

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

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

Zobrazit plný text záznamu

Conference

Experiments in the use of τ-simulations for the components-verification of real-time systems.

Autor: Bellegarde, Françoise, Julliand, Jacques, Mountassir, Hassan, Oudot, Emilie

Publikováno v: ICSE: International Conference on Software Engineering; Nov2006, p33-40, 8p

Zobrazit plný text záznamu

Akademický článek

Drug delivery systems in domestic animal species.

Autor: Brayden DJ; School of Agriculture, Food Science and Veterinary Medicine, University College Dublin (UCD) and UCD Conway Institute, Belfield, Dublin 4, Ireland. david.brayden@ucd.ie, Oudot EJ, Baird AW

Publikováno v: Handbook of experimental pharmacology [Handb Exp Pharmacol] 2010 (199), pp. 79-112.

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání