The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Nicolas Stouls" ( http://dblp.L3S.de/Authors/Nicolas_Stouls )

  Author page on DBLP  Author page in RDF  Community of Nicolas Stouls in ASPL-2

Publication years (Num. hits)
2004-2015 (17) 2016 (5)
Publication types (Num. hits)
article(12) inproceedings(9) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 23 publication records. Showing 22 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Roya Golchay, Frédéric Le Mouël, Julien Ponge, Nicolas Stouls Spontaneous Proximity Clouds: Making Mobile Devices to Collaborate for Resource and Data Sharing. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Roya Golchay, Frédéric Le Mouël, Julien Ponge, Nicolas Stouls Automated Application Offloading through Ant-inspired Decision-Making. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Julien Ponge, Yannick Loiseau, Frédéric Le Mouël, Nicolas Stouls, Philippe Charrière, Daniel Petisme, Sylvain Desgrais, Franck Verrot Eclipse Golo. Search on Bibsonomy J. Open Source Software The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Roya Golchay, Frédéric Le Mouël, Julien Ponge, Nicolas Stouls Spontaneous Proximity Clouds: Making Mobile Devices to Collaborate for Resource and Data Sharing. Search on Bibsonomy CollaborateCom The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Roya Golchay, Frédéric Le Mouël, Julien Ponge, Nicolas Stouls Automated application offloading through ant-inspired decision-making. Search on Bibsonomy NOTERE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Julien Ponge, Frédéric Le Mouël, Nicolas Stouls, Yannick Loiseau Opportunities for a Truffle-based Golo Interpreter. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Baptiste Maingret, Frédéric Le Mouël, Julien Ponge, Nicolas Stouls, Jian Cao, Yannick Loiseau Towards a Decoupled Context-Oriented Programming Language for the Internet of Things. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Baptiste Maingret, Frédéric Le Mouël, Julien Ponge, Nicolas Stouls, Jian Cao, Yannick Loiseau Towards a Decoupled Context-Oriented Programming Language for the Internet of Things. Search on Bibsonomy COP@ECOOP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Akram Idani, Nicolas Stouls When a Formal Model Rhymes with a Graphical Notation. Search on Bibsonomy SEFM Workshops The full citation details ... 2014 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
1Julien Ponge, Frédéric Le Mouël, Nicolas Stouls Golo, a dynamic, light and efficient language for post-invokedynamic JVM. Search on Bibsonomy PPPJ The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Xavier Morselli, Marie-Laure Potet, Nicolas Stouls GénéSyst : Génération d'un système de transitions étiquetées à partir d'une spécification B événementiel Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Didier Bert, Marie-Laure Potet, Nicolas Stouls GeneSyst: a Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties. Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Nicolas Stouls, Marie-Laure Potet Security Policy Enforcement Through Refinement Process Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  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
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, 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
1Jean-François Couchot, Alain Giorgetti, Nicolas Stouls Graph Based Reduction of Program Verification Conditions Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Nicolas Stouls, Marie-Laure Potet Security Policy Enforcement Through Refinement Process. Search on Bibsonomy B The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Nicolas Stouls Systèmes de transitions symboliques et hiérarchiques pour la conception et la validation de modèles B raffinés. (Symbolic and labelled transitions systems for the design and the validation of refined B models). Search on Bibsonomy 2007   RDF
1Didier Bert, Marie-Laure Potet, Nicolas Stouls GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties. Search on Bibsonomy ZB The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Frédéric Badeau, Didier Bert, Sylvain Boulmé, Christophe Métayer, Marie-Laure Potet, Nicolas Stouls, Laurent Voisin Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM. Search on Bibsonomy Technique et Science Informatiques The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #22 of 22 (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