The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Marie-Laure Potet" ( http://dblp.L3S.de/Authors/Marie-Laure_Potet )

URL (Homepage):  https://orcid.org/0000-0002-7070-6290  Author page on DBLP  Author page in RDF  Community of Marie-Laure Potet in ASPL-2

Publication years (Num. hits)
1984-2007 (16) 2008-2014 (19) 2015-2019 (18)
Publication types (Num. hits)
article(15) book(1) inproceedings(36) phdthesis(1)
Venues (Conferences, Journals, ...)
CoRR(7) Technique et Science Informati...(4) B(3) FPS(2) ICST Workshops(2) SAFECOMP(2) SEFM(2) ZB(2) ABZ(1) AIMSA(1) ARES(1) ASE(1) CARDIS(1) CAV (2)(1) CoDIT(1) Commun. ACM(1) More (+10 of total 35)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 16 occurrences of 15 keywords

Results
Found 54 publication records. Showing 53 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Cristian Ene, Laurent Mounier, Marie-Laure Potet Output-sensitive Information flow analysis. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Laurent Mounier, Marie-Laure Potet Get rid of inline assembly through trustable verification-oriented lifting. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade 0001, Jean-Louis Roch Formally and practically verifying flow properties in industrial systems. Search on Bibsonomy Computers & Security The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mohamad Kaouk, Jean-Marie Flaus, Marie-Laure Potet, Roland Groz A Review of Intrusion Detection Systems for Industrial Control Systems. Search on Bibsonomy CoDIT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Cristian Ene, Laurent Mounier, Marie-Laure Potet Output-Sensitive Information Flow Analysis. Search on Bibsonomy FORTE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Benjamin Farinier, Sébastien Bardin, Richard Bonichon, Marie-Laure Potet Model Generation for Quantified Formulas: A Taint-Based Approach. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Benjamin Farinier, Sébastien Bardin, Richard Bonichon, Marie-Laure Potet Model Generation for Quantified Formulas: A Taint-Based Approach. Search on Bibsonomy CAV (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jonathan Salwan, Sébastien Bardin, Marie-Laure Potet Symbolic Deobfuscation: From Virtualized Code Back to the Original. Search on Bibsonomy DIMVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade 0001, Jean-Louis Roch Formally Verifying Flow Properties in Industrial Systems. Search on Bibsonomy SECRYPT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Maxime Puys, Marie-Laure Potet, Abdelaziz Khaled Generation of Applicative Attacks Scenarios Against Industrial Systems. Search on Bibsonomy FPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Maxime Puys, Marie-Laure Potet, Pascal Lafourcade 0001 Formal Analysis of Security Properties on the OPC-UA SCADA Protocol. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Louis Dureuil, Guillaume Petiot, Marie-Laure Potet, Thanh-Ha Le, Aude Crohen, Philippe de Choudens FISSC: A Fault Injection and Simulation Secure Collection. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Robin David, Sébastien Bardin, Thanh Dinh Ta, Laurent Mounier, Josselin Feist, Marie-Laure Potet, Jean-Yves Marion BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis. Search on Bibsonomy SANER The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Robin David, Sébastien Bardin, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta, Jean-Yves Marion Specification of concretization and symbolization policies in symbolic execution. Search on Bibsonomy ISSTA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Maxime Puys, Jean-Louis Roch, Marie-Laure Potet Domain Specific Stateful Filtering with Worst-Case Bandwidth. Search on Bibsonomy CRITIS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Josselin Feist, Laurent Mounier, Sébastien Bardin, Robin David, Marie-Laure Potet Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free. Search on Bibsonomy SSPREW@ACSAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Josselin Feist, Laurent Mounier, Marie-Laure Potet Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information. Search on Bibsonomy SEFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Louis Dureuil, Marie-Laure Potet, Philippe de Choudens, Cécile Dumas, Jessy Clédière From Code Review to Fault Injection Attacks: Filling the Gap Using Fault Model Inference. Search on Bibsonomy CARDIS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gregor Gößler, Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet, Lacramioara Astefanoaei Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel. Search on Bibsonomy Technique et Science Informatiques The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Josselin Feist, Laurent Mounier, Marie-Laure Potet Statically detecting use after free on binary code. Search on Bibsonomy J. Computer Virology and Hacking Techniques The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sanjay Rawat 0001, Laurent Mounier, Marie-Laure Potet LiSTT: An Investigation into Unsound-Incomplete Yet Practical Result Yielding Static Taintflow Analysis. Search on Bibsonomy ARES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marie-Laure Potet, Laurent Mounier, Maxime Puys, Louis Dureuil Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections. Search on Bibsonomy ICST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Lionel Rivière, Marie-Laure Potet, Thanh-Ha Le, Julien Bringer, Hervé Chabanne, Maxime Puys Combining High-Level and Low-Level Approaches to Evaluate Software Implementations Robustness Against Multiple Fault Injection Attacks. Search on Bibsonomy FPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sanjay Rawat 0001, Dumitru Ceara, Laurent Mounier, Marie-Laure Potet Combining Static and Dynamic Analysis for Vulnerability Detection Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Gustavo Grieco, Laurent Mounier, Marie-Laure Potet, Sanjay Rawat 0001 A Stack Model for Symbolic Buffer Overflow Exploitability Analysis. Search on Bibsonomy ICST Workshops The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marie-Laure Potet, Helen Treharne Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Daniel Le Métayer, Manuel Maarek, Eduardo Mazza, Marie-Laure Potet, Stéphane Frénot, Valérie Viet Triem Tong, Nicolas Craipeau, Ronan Hardouin Liability issues in software engineering: the use of formal methods to reduce legal uncertainties. Search on Bibsonomy Commun. ACM The full citation details ... 2011 DBLP  DOI  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
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
1Nicolas Stouls, Marie-Laure Potet Security Policy Enforcement Through Refinement Process Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Dumitru Ceara, Laurent Mounier, Marie-Laure Potet Taint Dependency Sequences: A Characterization of Insecure Execution Paths Based on Input-Sensitive Cause Sequences. Search on Bibsonomy ICST Workshops The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Eduardo Mazza, Marie-Laure Potet, Daniel Le Métayer A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence. Search on Bibsonomy SBMF The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Daniel Le Métayer, Manuel Maarek, Valérie Viet Triem Tong, Eduardo Mazza, Marie-Laure Potet, Nicolas Craipeau, Stéphane Frénot, Ronan Hardouin Liability in software engineering: overview of the LISE approach and illustration on a case study. Search on Bibsonomy ICSE (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF formal methods, specification, contract, defects, evidence, legal aspects, liability
1Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet Designing Log Architectures for Legal Evidence. Search on Bibsonomy SEFM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sylvain Boulmé, Marie-Laure Potet Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a laSpec#. Search on Bibsonomy Rigorous Methods for Software Construction and Analysis The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Frédéric Dadeau, Marie-Laure Potet, Régis Tissot A B Formal Framework for Security Developments in the Domain of Smart Card Applications. Search on Bibsonomy SEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Conformance Relation, Access Control, Traceability, Security Model, B Method, Common Criteria
1Frédéric Dadeau, Julien Lamboley, Thierry Moutet, Marie-Laure Potet A Verifiable Conformance Relationship between Smart Card Applets and B Security Models. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sylvain Boulmé, Marie-Laure Potet Interpreting Invariant Composition in the B Method Using the Spec# Ownership Relation: A Way to Explain and Relax B Restrictions. Search on Bibsonomy B The full citation details ... 2007 DBLP  DOI  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
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
1Pierre Bontron, Marie-Laure Potet Stratégie de couverture de test à un haut niveau d'abstraction. Search on Bibsonomy Technique et Science Informatiques The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marie-Laure Potet Spécifications et développements structurés dans la méthode B. Search on Bibsonomy Technique et Science Informatiques The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin Adaptable Translator of B Specifications to Embedded C Programs. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF embedded systems, Code generation, smart cards, B method
1Marie-Laure Potet Spécifications et développements formels : Etude des aspects compositionnels dans la méthode B. (Formal specifications and developments: a study of compositional aspects in the B-method). Search on Bibsonomy 2002   RDF
1Yves Ledru, Lydie du Bousquet, Pierre Bontron, Olivier Maury, Catherine Oriat, Marie-Laure Potet Test Purposes: Adapting the Notion of Specification to Testing. Search on Bibsonomy ASE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Pierre Bontron, Marie-Laure Potet Automatic Construction of Validated B Components from Structured Developments. Search on Bibsonomy ZB The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Marie-Laure Potet, Yann Rouzaud Composition and Refinement in the B-Method. Search on Bibsonomy B The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Yves Ledru, Marie-Laure Potet A VDM Specification of the Steam-Boiler Problem. Search on Bibsonomy Formal Methods for Industrial Applications The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Sadik Sebbar Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation. Search on Bibsonomy JTASPEFT/WSA The full citation details ... 1991 DBLP  BibTeX  RDF
1Marie-Laure Potet Preuves et stratégies pour la synthèse déductive de programmes. (Proofs and strategies for deductive program synthesis). Search on Bibsonomy 1988   RDF
1Paul Jacquet, Marie-Laure Potet Program Synthesis = Proof Method + Knowledge (Example about Recursive Function Synthesis). Search on Bibsonomy ECAI The full citation details ... 1986 DBLP  BibTeX  RDF
1Ramon Brena, Ricardo Caferra, Bertram Fronhöfer, Christian Gresse, Philippe Jacquet, Marie-Laure Potet Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization. Search on Bibsonomy AIMSA The full citation details ... 1984 DBLP  BibTeX  RDF
Displaying result #1 - #53 of 53 (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