Publications
Search

Publications :: Search

Show author

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

    Author information
    First name: Paul Le
    Last name: Guernic
    DBLP: 24/2509
    Rating: (not rated yet)
    Bookmark:

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

    Show item 1 to 25 of 67  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Loïc Besnard, Thierry Gautier, Clément Guy, Paul Le Guernic, Jean-Pierre Talpin, Brian R. Larson, Etienne Borde.
    Formal semantics of behavior specifications in the architecture analysis and design language standard.
    IEEE International High Level Design Validation and Test Workshop, HLDVT 2016, Santa Cruz, CA, USA, October 7-8, 2016 2016 (0) 2016
    Conference paper
    Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic.
    Translation Validation for Clock Transformations in a Synchronous Compiler.
    Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings 2015 (0) 2015
    Journal article
    Loïc Besnard, Adnan Bouakaz, Thierry Gautier, Paul Le Guernic, Yue Ma, Jean-Pierre Talpin, Huafeng Yu.
    Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony.
    Sci. Comput. Program. 2015, Volume 106 (0) 2015
    Conference paper
    Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard, Paul Le Guernic.
    Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools.
    Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015, Sankt Goar, Germany, June 1-3, 2015 2015 (0) 2015
    Conference paper
    Paul Le Guernic, Thierry Gautier, Jean-Pierre Talpin, Loïc Besnard.
    Polychronous Automata.
    2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015 2015 (0) 2015
    Conference paper
    Yue Ma, Huafeng Yu, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin, Loïc Besnard, Maurice Heitz.
    Toward polychronous analysis and validation for timed software architectures in AADL.
    Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013 2013 (0) 2013
    Conference paper
    Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Jean-Pierre Talpin, Paul Le Guernic, Yves Sorel.
    Exploring system architectures in AADL via Polychrony and SynDEx.
    Frontiers of Computer Science 2013, Volume 7 (0) 2013
    Conference paper
    Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard.
    Formal verification of synchronous data-flow program transformations toward certified compilers.
    Frontiers of Computer Science 2013, Volume 7 (0) 2013
    Conference paper
    Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Paul Le Guernic, Jean-Pierre Talpin.
    Polychronous modeling, analysis, verification and simulation for timed software architectures.
    Journal of Systems Architecture - Embedded Systems Design 2013, Volume 59 (0) 2013
    Conference paper
    Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Paul Le Guernic.
    Compositional design of isochronous systems.
    Sci. Comput. Program. 2012, Volume 77 (0) 2012
    Conference paper
    Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard.
    Formal Verification of Compiler Transformations on Polychronous Equations.
    Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent.
    System-level co-simulation of integrated avionics using polychrony.
    Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011 2011 (0) 2011
    Conference paper
    Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic.
    Polychronous controller synthesis from MARTE CCSL timing specifications.
    9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011 2011 (0) 2011
    Journal article
    Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier.
    A Boolean Algebra of Contracts for Assume-guarantee Reasoning.
    Electr. Notes Theor. Comput. Sci. 2010, Volume 263 (0) 2010
    Conference paper
    Julio C. Peralta, Thierry Gautier, Loïc Besnard, Paul Le Guernic.
    LTSs for translation validation of (multi-clocked) SIGNAL specifications.
    8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010 2010 (0) 2010
    Conference paper
    Yann Glouche, Jean-Pierre Talpin, Paul Le Guernic, Thierry Gautier.
    A module language for typing by contracts.
    First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009. 2009 (0) 2009
    Conference paper
    Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic.
    Compositional design of isochronous systems.
    Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008 2008 (0) 2008
    Conference paper
    Hugo Metivier, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic.
    Analysis of Periodic Clock Relations in Polychronous Systems.
    Distributed Embedded Systems: Design, Middleware and Resources, IFIP 20th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), September 7-10, 2008, Milano, Italy 2008 (0) 2008
    Conference paper
    Julien Ouy, Jean-Pierre Talpin, Loïc Besnard, Paul Le Guernic.
    Separate Compilation of Polychronous Specifications.
    Electr. Notes Theor. Comput. Sci. 2008, Volume 200 (0) 2008
    Conference paper
    Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin.
    Polychronous design of embedded real-time applications.
    ACM Trans. Softw. Eng. Methodol. 2007, Volume 16 (0) 2007
    Conference paper
    Jean-Pierre Talpin, Paul Le Guernic.
    An algebraic theory for behavioral modeling and protocol synthesis in system design.
    Formal Methods in System Design 2006, Volume 28 (0) 2006
    Conference paper
    Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic.
    Synchronous design of avionic applications based on model refinement.
    J. Embedded Computing 2006, Volume 2 (0) 2006
    Conference paper
    Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla, Rajesh K. Gupta.
    A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking.
    International Journal of Parallel Programming 2005, Volume 33 (0) 2005
    Conference paper
    Jean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié, Rajesh K. Gupta.
    A Behavioral Type Inference System for Compositional System-on-Chip Design.
    4th International Conference on Application of Concurrency to System Design (ACSD 2004), 16-18 June 2004, Hamilton, Canada 2004 (0) 2004
    Conference paper
    David Berner, Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla.
    Modular design through component abstraction.
    Proceedings of the 2004 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2004, Washington DC, USA, September 22 - 25, 2004 2004 (0) 2004
    Show item 1 to 25 of 67  

    Your query returned 67 matches in the database.