Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Gurvan Le
    Last name: Guernic
    DBLP: 09/3601
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 14  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Gurvan Le Guernic, Benoît Combemale, José A. Galindo.
    Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    David Méndez-Acuña, José A. Galindo, Benoît Combemale, Arnaud Blouin, Benoit Baudry, Gurvan Le Guernic.
    Reverse-Engineering Reusable Language Modules from Legacy Domain-Specific Languages.
    Software Reuse: Bridging with Social-Awareness - 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Gurvan Le Guernic.
    Modeling Requirements Should be Language Agnostic! - Example of a Formal Definition of Simple Behavioral Decomposition Models.
    MODELSWARD 2016 - Proceedings of the 4rd International Conference on Model-Driven Engineering and Software Development, Rome, Italy, 19-21 February, 2016. 2016 (0) 2016
    Journal article
    Gurvan Le Guernic.
    In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft.
    Proceedings Third International Workshop on Engineering Safety and Security Systems, ESSS 2014, Singapore, Singapore, 13 May 2014. 2014, Volume 150 (0) 2014
    Conference paper
    Musard Balliu, Mads Dam, Gurvan Le Guernic.
    ENCoVer: Symbolic Exploration for Information Flow Security.
    25th IEEE Computer Security Foundations Symposium, CSF 2012, Cambridge, MA, USA, June 25-27, 2012 2012 (0) 2012
    Conference paper
    Musard Balliu, Mads Dam, Gurvan Le Guernic.
    Epistemic Temporal Logic for Information Flow Security
    CoRR 2012, Volume 0 (0) 2012
    Conference paper
    Mads Dam, Gurvan Le Guernic, Andreas Lundblad.
    TreeDroid: a tree automaton based approach to enforcing data processing policies.
    the ACM Conference on Computer and Communications Security, CCS'12, Raleigh, NC, USA, October 16-18, 2012 2012 (0) 2012
    Conference paper
    Musard Balliu, Mads Dam, Gurvan Le Guernic.
    Epistemic temporal logic for information flow security.
    Proceedings of the 2011 Workshop on Programming Languages and Analysis for Security, PLAS 2011, San Jose, CA, USA, 5 June, 2011 2011 (0) 2011
    Conference paper
    Cédric Fournet, Gurvan Le Guernic, Tamara Rezk.
    A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms.
    Proceedings of the 2009 ACM Conference on Computer and Communications Security, CCS 2009, Chicago, Illinois, USA, November 9-13, 2009 2009 (0) 2009
    Conference paper
    Gurvan Le Guernic.
    Precise Dynamic Verification of Confidentiality.
    Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008 2008 (0) 2008
    Show item 1 to 10 of 14  

    Your query returned 14 matches in the database.