Skip to content

Home Search Authors Pakistan News Saved

SciRah

SciRah does not host or store research papers. Results come live from free, official scholarly APIs, and every paper links back to its original source.

Data sources

OpenAlex
Semantic Scholar
Crossref
CORE
arXiv
PubMed

Privacy policy Terms of service

Emilie Oudot · SciRah

Researcher profile · Semantic Scholar

Emilie Oudot

Share profile

Emilie Oudot — researcher profile on SciRah

h-index: 5
Works: 13
Citations: 72

Most-cited papers

Drug delivery systems in domestic animal species.
David J Brayden, Emilie Oudot, A. Baird
2010Handbook of Experimental Pharmacology24 citations
Semantic Scholar
Composability, compatibility, compositionality: automatic preservation of timed properties during incremental development
J. Julliand, H. Mountassir, Emilie Oudot
200710 citations
Semantic Scholar
Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems
R. Mateescu, Emilie Oudot
20082008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design9 citations Open access
Semantic Scholar
On the Contribution of a τ-simulation in the Incremental Modeling of Timed Systems
F. Bellegarde, J. Julliand, H. Mountassir, Emilie Oudot
20069 citations Open access
Semantic Scholar
Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems
R. Mateescu, Emilie Oudot
2008SPIN8 citations
Semantic Scholar
VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System
J. Julliand, H. Mountassir, Emilie Oudot
2007IEEE International Conference on Formal Engineering Methods5 citations
Semantic Scholar
Experiments in the use of τ-simulations for the components-verification of real-time systems
F. Bellegarde, J. Julliand, H. Mountassir, Emilie Oudot
2006SAVCBS '064 citations
Semantic Scholar
Incremental verification of component-based timed systems
J. Julliand, H. Mountassir, Emilie Oudot
2011International journal of computer application and technology2 citations Open access
Semantic Scholar
Partitioned PLTL model-checking for refined transition systems
J. Julliand, P. Masson, Emilie Oudot
2009Information and Computation1 citations Open access
Semantic Scholar
Experiments in the use of tau-simulations for the components-verification of real-time systems
F. Bellegarde, J. Julliand, H. Mountassir, Emilie Oudot
20180 citations
Semantic Scholar
Improved On-the-fly Equivalence Checking Using Boolean Equation Systems Improved On-the-fly Equivalence Checking Using Boolean Equation Systems Improved On-the-fly Equivalence Checking Using Bess
R. Mateescu, Emilie Oudot
20080 citations
Semantic Scholar
Preservation of timed properties during an incremental development by components
J. Julliand, H. Mountassir, Emilie Oudot
2007Leveraging Applications of Formal Methods0 citations
Semantic Scholar
On the Contribution of a tau
F. Bellegarde, J. Julliand, H. Mountassir, Emilie Oudot
2005International Workshop on Formal Aspects of Component Software0 citations Open access
Semantic Scholar

Frequent co-authors

Invite them to SciRah by sharing their profile.

J. Julliand×9
Invite
J. Julliand — researcher profile on SciRah
H. Mountassir×8
Invite
H. Mountassir — researcher profile on SciRah
F. Bellegarde×4
Invite
F. Bellegarde — researcher profile on SciRah
R. Mateescu×3
Invite
R. Mateescu — researcher profile on SciRah

David J Brayden

×1

Invite

David J Brayden — researcher profile on SciRah

Invite

A. Baird — researcher profile on SciRah

Invite

P. Masson — researcher profile on SciRah