Searching for authors named "Christophe Joubert" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

Slicing Distributed Programs Using Model Checking Techniques ⋆ (Extended Abstract)
by Christophe Joubert
… Joubert Universidad Politécnica de Valencia, DSIC / ELP Camino de Vera s/n, 46022, Valencia, Spain joubert…
Add To MetaCart

Distributed on-the-fly model checking and test case generation
by Christophe Joubert, Radu Mateescu — 2006 — In Proc. of SPIN’06, LNCS
…Distributed On-the-Fly Model Checking and Test Case Generation Christophe Joubert and Radu…
Cited by 7 (5 self) – Add To MetaCart

A set of performance and dependability analysis components for CADP
by Holger Hermanns, Christophe Joubert — In Proceedings TACAS 2003, 2003. Available from World Wide Web: http://www.inrialpes.fr/vasy/Publications/Hermanns-Joubert-03.html
…,2 and Christophe Joubert 3 1 Department of Computer Science, University of Twente, P.O. Box 217, NL-7500 AE…
Cited by 4 (1 self) – Add To MetaCart

Distributed Local Resolution of Boolean Equation Systems
by Christophe Joubert, Radu Mateescu — 2005 — In Proc. of PDP’05. Ieee Computer
…Distributed Local Resolution of Boolean Equation Systems Christophe Joubert and Radu Mateescu…
Cited by 4 (2 self) – Add To MetaCart

BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking
by Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu — 2005 — In Proc. of TACAS’05, volume 3440 of LNCS
… Descoubes, Christophe Joubert, and Radu Mateescu Inria Rhône-Alpes/Vasy, 655, av. de l’Europe, 38330…
Cited by 6 (2 self) – Add To MetaCart

Distributed Model Checking: From Abstract Algorithms to Concrete Implementations Abstract
by Christophe Joubert, Inria Rhône-alpes Vasy
… Christophe Joubert 1 Inria Rhône-Alpes / Vasy 655, av. de l’Europe 38330 Montbonnot Saint-Martin, France…
Cited by 2 (1 self) – Add To MetaCart

Continuous Time Markov Chains (CTMCs)
by Hubert Garavel, Damien Bergamini, Moëz Cherif, Christophe Joubert (inria Vasy
… Bergamini, Moëz Cherif, Christophe Joubert (INRIA / VASY) 1 Motivations 2 Functional verification…
Add To MetaCart

On-the-fly data flow analysis based on verification technology
by María Del Mar Gallardo, Christophe Joubert, Pedro Merino — 2007 — Proceedings of the 6th International Workshop on Compiler Optimization meets Compiler Verification COCV’2007
…, Christophe Joubert 1 and Pedro Merino Abstract University of Málaga / Gisum Campus de Teatinos s/n 29071…
Cited by 4 (3 self) – Add To MetaCart

Implementing Influence Analysis using Parameterised Boolean Equation Systems
by María Del Mar Gallardo, Christophe Joubert, Pedro Merino — 2006 — In: Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ISOLA’06 (Paphos, Cyprus), IEEE Computer Society Press
… Gallardo, Christophe Joubert and Pedro Merino University of Málaga Campus de Teatinos s/n, 29071, Málaga…
Cited by 7 (5 self) – Add To MetaCart

DISTRIBUTOR and BCG MERGE: Tools for Distributed Explicit State Space Generation
by Hubert Garavel, Radu Mateescu, Damien Bergamini, Adrian Curic, Christophe Joubert, Irina Smar, Gilles Stragier
…, Radu Mateescu, Damien Bergamini, Adrian Curic, Nicolas Descoubes, Christophe Joubert, Irina Smarandache…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB