Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Christophe Joubert" ( http://dblp.L3S.de/Authors/Christophe_Joubert )

  Author page on DBLP  Author page in RDF  Community of Christophe Joubert in ASPL-2

Publication years (Num. hits)
2003-2009 (17) 2010-2012 (4)
Publication types (Num. hits)
article(9) inproceedings(11) proceedings(1)
Venues (Conferences, Journals, ...)
Electr. Notes Theor. Comput. S...(4) TACAS(3) ERCIM News(2) FMICS(2) SPIN(2) CoRR(1) Datalog(1) ECEASST(1) ICECCS(1) ISoLA(1) LOPSTR(1) PDP(1) Sci. Comput. Program.(1)
Authors
Christophe Joubert(21) Pedro Merino(7) María-del-Mar Gallardo(6) María Alpuente(5) Radu Mateescu(5) Alicia Villanueva(4) David Sanán(4) Marco A. Feliú(4) Damien Bergamini(2) Nicolas Descoubes(2) Adrian Curic(1) Byron Cook(1) Fernando Tarin(1) Gilles Stragier(1) Holger Hermanns(1) Hubert Garavel(1) More (+10 of total 22)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords
Results
Found 21 publication records. Showing 21 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1M. Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán A model-extraction approach to verifying concurrent C programs with CADP. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Javier Cano, Christophe Joubert, Miguel Llácer, Miguel Montesinos Open-Source Formative Evaluation Process in Remote Software Maintenance. Search on Bibsonomy ERCIM News The full citation details ... 2012 DBLP  BibTeX  RDF
1Marco A. Feliú, Christophe Joubert, Fernando Tarin Evaluation Strategies for Datalog-based Points-To Analysis. Search on Bibsonomy ECEASST The full citation details ... 2010 DBLP  BibTeX  RDF
1María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva Datalog-Based Program Analysis with BES and RWL. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1María Alpuente, Byron Cook, Christophe Joubert (eds.) Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings Search on Bibsonomy FMICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva Defining Datalog in Rewriting Logic. Search on Bibsonomy LOPSTR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán Web Services for Accessing Explicit State Space Verification Tools. Search on Bibsonomy ERCIM News The full citation details ... 2008 DBLP  BibTeX  RDF
1María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva Using Datalog and Boolean Equation Systems for Program Analysis. Search on Bibsonomy FMICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF boolean equation system, demand-driven evaluation, program analysis, Datalog
1María-del-Mar Gallardo, Christophe Joubert, Pedro Merino On-the-Fly Data Flow Analysis Based on Verification Technology. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs. Search on Bibsonomy SPIN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1María-del-Mar Gallardo, Pedro Merino, Christophe Joubert, David Sanán On-the-fly model checking for C programs with extended CADP in FMICS-jETI. Search on Bibsonomy ICECCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1María-del-Mar Gallardo, Christophe Joubert, Pedro Merino Static Analysis using Parameterised Boolean Equation Systems Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Hubert Garavel, Radu Mateescu, Damien Bergamini, Adrian Curic, Nicolas Descoubes, Christophe Joubert, Irina Smarandache-Sturm, Gilles Stragier DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation. Search on Bibsonomy TACAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Christophe Joubert, Radu Mateescu Distributed On-the-Fly Model Checking and Test Case Generation. Search on Bibsonomy SPIN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1María-del-Mar Gallardo, Christophe Joubert, Pedro Merino Implementing Influence Analysis Using Parameterised Boolean Equation Systems. Search on Bibsonomy ISoLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Christophe Joubert, Radu Mateescu Distributed On-the-Fly Equivalence Checking. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking. Search on Bibsonomy TACAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Christophe Joubert, Radu Mateescu Distributed Local Resolution of Boolean Equation Systems. Search on Bibsonomy PDP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Christophe Joubert Distributed Model Checking: From Abstract Algorithms to Concrete Implementations. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Holger Hermanns, Christophe Joubert A Set of Performance and Dependability Analysis Components for CADP. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #21 of 21 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.