The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Pierre-Alain Masson" ( http://dblp.L3S.de/Authors/Pierre-Alain_Masson )

  Author page on DBLP  Author page in RDF  Community of Pierre-Alain Masson in ASPL-2

Publication years (Num. hits)
1999-2011 (16) 2013-2018 (10)
Publication types (Num. hits)
article(8) incollection(1) inproceedings(16) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 9 keywords

Results
Found 27 publication records. Showing 26 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron Test Generation from Event System Abstractions to Cover Their States and Transitions. Search on Bibsonomy Programming and Computer Software The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron Under-Approximation Generation Driven by Relevance Predicates and Variants. Search on Bibsonomy TAP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron Approximating Event System Abstractions by Covering Their States and Transitions. Search on Bibsonomy Ershov Informatics Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort? Search on Bibsonomy TASE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hadrien Bride, Jacques Julliand, Pierre-Alain Masson Tri-modal under-approximation for test generation. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana Conformance Testing for Non-deterministic Timed Pushdown Automata with Deadlines. Search on Bibsonomy WETICE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hadrien Bride, Jacques Julliand, Pierre-Alain Masson Tri-modal under-approximation of event systems for test generation. Search on Bibsonomy SAC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana Test generation from timed pushdown automata with inputs and outputs. Search on Bibsonomy ICST Workshops The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation. Search on Bibsonomy WETICE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson B model slicing and predicate abstraction to generate tests. Search on Bibsonomy Software Quality Journal The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jacques Julliand, Pierre-Alain Masson, Régis Tissot, Pierre-Christophe Bué Generating tests from B specifications and dynamic selection criteria. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Frédéric Dadeau, Fabien Peureux, Bruno Legeard, Régis Tissot, Jacques Julliand, Pierre-Alain Masson, Fabrice Bouquet Test Generation Using Symbolic Animation of Models. Search on Bibsonomy Model-Based Testing for Embedded Systems The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson Association of Under-Approximation Techniques for Generating Tests from Models. Search on Bibsonomy TAP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson Syntactic Abstraction of B Models to Generate Tests Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests. Search on Bibsonomy ICST Workshops The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson B Model Abstraction Combining Syntactic and Semantic Methods. Search on Bibsonomy ASM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson Syntactic Abstraction of B Models to Generate Tests. Search on Bibsonomy TAP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jacques Julliand, Pierre-Alain Masson, Emilie Oudot Partitioned PLTL model-checking for refined transition systems. Search on Bibsonomy Inf. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jacques Julliand, Pierre-Alain Masson, Régis Tissot Generating Tests from B Specifications and Test Purposes. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF IAS Case Study, Model-Based Testing, Test Purpose
1Jacques Julliand, Pierre-Alain Masson, Régis Tissot Generating Security Tests in Addition to Functional Tests. Search on Bibsonomy AST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Pierre-Alain Masson, Jacques Julliand, Jean-Chritophe Plessis, Eddie Jaffuel, Georges Debois Automatic generation of model based tests for a class of security properties. Search on Bibsonomy A-MOST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF security policy, automatic test generation, security properties
1Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde PLTL-partitioned model checking for reactive systems under fairness assumptions. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF PLTL model checking, Refinement design, fairness assumptions, out-of-core model checking
1Pierre-Alain Masson Vérification par Model-Checking Modulaire de Propriétés Dynamiques PLTL exprimées dans le cadre de Spécifications B événementielles. (Verification by Modular Model-Checking of PLTL Dynamic Properties Expressed in the Context of B Event Systems). Search on Bibsonomy 2001   RDF
1Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand Modular Verification for a Class of PLTL Properties. Search on Bibsonomy IFM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Büchi automata, Propositional linear temporal logic PLTL, B specification, model-checking, Verification, Refinement, modularity
1Jacques Julliand, Pierre-Alain Masson, Hassan Mountassir Modular Verification of Dynamic Properties for Reactive Systems. Search on Bibsonomy IFM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #26 of 26 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license