Publications de l'équipe ESPRESSO

2012

Communications avec actes

Titre

Formal Verification of Compiler Transformations on Polychronous Equations

Auteurs

Van Chan Ngo; Loic Besnard; Thierry Gautier; Paul Le Guernic; Jean-Pierre Talpin

Détail

International Conference on Integrated Formal Methods, Jun 2012, Pisa, Italy.

Accès au texte intégral et bibtex

Rapports

Titre

Formal Verification of Transformations on Abstract Clocks in Synchronous Compilers

Auteurs

Van Chan Ngo; Jean-Pierre Talpin; Paul Le Guernic

Détail

[Research Report], 2012. RR-8064

Accès au texte intégral et bibtex

Titre

Formal Verification of Synchronous Data-flow Compilers

Auteurs

Van Chan Ngo ; Jean-Pierre Talpin; Thierry Gautier; Paul Le Guernic; Loic Besnard

Détail

[Research Report], 2012. RR-7921

Accès au texte intégral et bibtex

2011

Articles dans des revues avec comité de lecture

Titre

Modélisation compositionnelle d'architectures GALS dans un modèle de calcul polychrone

Auteurs

Yue Ma; Thierry Gautier; Jean-Pierre Talpin; Paul Le Guernic; Huafeng Yu

Détail

Journal Européen des Systèmes Automatisés, Lavoisier, 2011

Accès au texte intégral et bibtex

Communications avec actes

Titre

Polychronous Controller Synthesis from MARTE CCSL Timing Specifications

Auteurs

Huafeng Yu; Jean-Pierre Talpin; Loïc Besnard; Thierry Gautier; Hervé Marchand; Paul Le Guernic

Détail

ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign (MEMOCODE), Jul 2011, Cambridge, United Kingdom.

Accès au texte intégral et bibtex

Titre

System Synthesis from AADL using Polychrony

Auteurs

Yue Ma; Huafeng Yu; Thierry Gautier; Jean-Pierre Talpin; Loïc Besnard; Paul Le Guernic

Détail

Electronic System Level Synthesis Conference, Jun 2011, San Diego, California, United States.

Accès au texte intégral et bibtex

Titre

Predictable Binary Code Cache: A First Step Towards Reconciling Predictability and Just-In-Time Compilation

Auteurs

Adnan Bouakaz; Isabelle Puaut; Erven Rohou

Détail

The 17th IEEE Real-Time and Embedded Technology and Applications Symposium, Apr 2011, Chicago, United States.

Accès au texte intégral et bibtex

Titre

System-level Co-simulation of Integrated Avionics Using Polychrony

Auteurs

Huafeng Yu; Yue Ma; Yann Glouche; Jean-Pierre Talpin; Loïc Besnard; Thierry Gautier; Paul Le Guernic; Andres Toom; Odile Laurent

Détail

ACM Symposium On Applied Computing, Mar 2011, TaiChung, Taiwan, Province Of China. 6 p.

Accès au texte intégral et bibtex

Rapports

Titre

From concurrent multi-clock programs to concurrent multi-threaded implementations

Auteurs

Virginia Papailiopoulou; Dumitru Potop-Butucaru; Yves Sorel; Robert De Simone; Loic Besnard; Jean-Pierre Talpin

Détail

[Research Report], 2011, pp. 22. RR-7577

Accès au texte intégral et bibtex

2010

Articles dans des revues avec comité de lecture

Titre

Adaptivity in High-Performance Embedded Systems: a Reactive Control Model for Reliable and Flexible Design

Auteurs

Huafeng Yu; Abdoulaye Gamatié; Éric Rutten; Jean-Luc Dekeyser

Détail

Knowledge Engineering Review, Cambridge university press, 2010, 21 p.

Accès au texte intégral et bibtex

Titre

Targeting Reconfigurable FPGA based SoCs using the MARTE UML profile: from high abstraction levels to code generation

Auteurs

Imran Rafiq Quadri; Huafeng Yu; Abdoulaye Gamatié; Samy Meftali; Jean-Luc Dekeyser; Éric Rutten

Détail

International Journal of Embedded Systems, InderScience Publishers, 2010, 18 p

Accès au texte intégral et bibtex

Titre

The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded System

Auteurs

Abdoulaye Gamatié; Thierry Gautier

Détail

IEEE Transactions on Parallel and Distributed Systems, 2010, 21 (5), pp. 641-657

Accès au texte intégral et bibtex

Titre

Polychronous interpretation of synoptic, a domain specific modeling language for embedded flight-software

Auteurs

Loïc Besnard; Thierry Gautier; Julien Ouy; Jean-Pierre Talpin; Jean-Paul Bodeveix; Alexandre Cortier; Marc Pantel; Martin Strecker; Gérald Garcia; Ana-Elena Rugina; Jérémy Buisson; Fabien Dagnat

Détail

Formal methods for aerospace, 2010, 18, pp. 80-87

Accès au texte intégral et bibtex

Titre

The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems

Auteurs

Abdoulaye Gamatié; Thierry Gautier

Détail

IEEE Transactions on Parallel and Distributed Systems, IEEE Computer Society, 2010, 21 (5), pp. 641-657

Accès au bibtex

Communications avec actes

Titre

LTSs for Translation Validation of (multi-clocked) Signal specifications

Auteurs

Julio C. Peralta; Thierry Gautier; Loïc Besnard; Paul Le Guernic

Détail

8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE), Jul 2010, Grenoble, France. IEEE Computer Society, pp. 199-208

Accès au texte intégral et bibtex

Titre

A Higher-Order Extension for Imperative Synchronous Languages

Auteurs

Eric Vecchié; Jean-Pierre Talpin; Sébastien Boisgérault

Détail

SCOPES 2010, Jun 2010, France.

Accès au texte intégral et bibtex

Titre

Model-Driven Interoperability of Dependencies Visualizations

Auteurs

Vincent Mahé; Hugo Brunelière; Frédéric Jouault; Jean Bézivin; Jean-Pierre Talpin

Détail

3rd Workshop on Model-Driven Tool & Process Integration (co-located with ECMFA 2010), Jun 2010, France. pp. 128-140

Accès au texte intégral et bibtex

Titre

Interpretation of AADL Behavior Annex into synchronous formalism using SSA

Auteurs

Yue Ma; Jean-Pierre Talpin; Thierry Gautier

Détail

International Symposium on Advanced Topics on Embedded Systems and Applications (ESA2010), Jun 2010, Bradford, United Kingdom. IEEE Computer Society, pp. 2361-2366

Accès au texte intégral et bibtex

Titre

Polychronous Analysis of Timing Constraints in UML MARTE

Auteurs

Huafeng Yu; Jean-Pierre Talpin; Loïc Besnard; Thierry Gautier; Frédéric Mallet; Charles André; Robert De Simone

Détail

IEEE International Workshop on Model-Based Engineering for Real-Time Embedded Systems Design, May 2010, Parador of Carmona, Spain. 7 p.

Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre

A Module Language for Typing SIGNAL Programs by Contracts

Auteurs

Yann Glouche; Thierry Gautier; Paul Le Guernic; Jean-Pierre Talpin

Détail

Sandeep K. Shukla and Jean-Pierre Talpin. Synthesis of Embedded Software, Springer, pp. 147-171, 2010

Accès au texte intégral et bibtex

Titre

Compilation of Polychronous Data Flow Equations

Auteurs

Loïc Besnard; Thierry Gautier; Paul Le Guernic; Jean-Pierre Talpin

Détail

Sandeep K. Shukla and Jean-Pierre Talpin. Synthesis of Embedded Software, Springer, pp. 1-40, 2010, 978-1-4419-6399-4

Accès au texte intégral et bibtex

Rapports

Titre

A Synchronous Approach to Threaded Program Verification

Auteurs

Kenneth Johnson; Loïc Besnard; Thierry Gautier; Jean-Pierre Talpin

Détail

[Research Report], 2010. RR-7320

Accès au texte intégral et bibtex

Thèses

Titre

Modélisation compositionnelle d'architectures globalement asynchrones - localement synchrones (GALS) dans un modèle de calcul polychrone

Auteurs

Yue Ma

Détail

Université Rennes 1, Nov. 2010. English

Accès au texte intégral et bibtex

2009

Communications avec actes

Titre

Clock-Driven Distributed Real-Time Implementation of Endochronous Synchronous Programs

Auteurs

Dumitru Potop-Butucaru; Robert De Simone; Yves Sorel; Jean-Pierre Talpin

Détail

Samarjit Chakraborty and Nicolas Halbwachs. International conference on Embedded software - EMSOFT 2009, Oct 2009, Grenoble, France. ACM

Accès au bibtex

Titre

Présentation des résultats du projet OpenEmbeDD

Auteurs

Charles André; Mariano Belaunde; Bernard Berthomieu; Christian Brunette; Agusti Canals; Hubert Garavel; Susanne Graf; Frederic Lang; Vincent Mahé; Michel Nakhlé; Rémi Schnekenburger; Robert De Simone; Jean-Pierre Talpin; François Vernadat

Détail

Pierre Bazex and Agusti Canals and Thierry Millan. Neptune, May 2009, Paris, France. Revue Génie Logiciel - AFCET

Accès au texte intégral et bibtex

Rapports

Titre

Code generation strategies in the Polychrony environment

Auteurs

Loïc Besnard; Thierry Gautier; Jean-Pierre Talpin

Détail

[Research Report], 2009, pp. 34. RR-6894

Accès au texte intégral et bibtex

Titre

Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form

Auteurs

Loïc Besnard; Thierry Gautier; Matthieu Moy; Jean-Pierre Talpin; Kenneth Johnson; Florence Maraninchi

Détail

[Research Report], 2009, pp. 16. RR-6976

Accès au texte intégral et bibtex

Titre

Modular interpretation of heterogeneous modeling diagrams into synchronous equations using static single assignment

Auteurs

Jean-Pierre Talpin; Julien Ouy; Thierry Gautier; Loïc Besnard; Cortier Alexandre

Détail

[Research Report], 2009, pp. 22. RR-7036

Accès au texte intégral et bibtex

Thèses

Titre

Une méthodologie de spécification et de validation de systèmes hétérogènes fondée sur un modèle de contrats pour la conception des systèmes embarqués

Auteurs

Yann Glouche

Détail

informatique. Université Rennes 1, Dec. 2009. French

Accès au texte intégral et bibtex

2008

Autres publications

Titre

Polychronous Design of Real-Time Applications with Signal

Auteurs

Thierry Gautier; Paul Le Guernic; Jean-Pierre Talpin

Détail

2008. ARTIST Survey of Programming Languages, Alan Burns, Ed., http://www.artist-embedded.org/artist/ARTIST-Survey-of-Programming,1489.html

Accès au texte intégral et bibtex

Rapports

Titre

Virtual prototyping AADL architectures in a polychronous model of computation

Auteurs

Yue Ma; Jean-Pierre Talpin; Thierry Gautier

Détail

[Research Report], 2008, pp. 25. RR-6479

Accès au texte intégral et bibtex

Titre

A Boolean algebra of contracts for logical assume-guarantee reasoning

Auteurs

Yann Glouche; Paul Le Guernic; Jean-Pierre Talpin; Thierry Gautier

Détail

[Research Report], 2008, pp. 41. RR-6570

Accès au texte intégral et bibtex

2007

Articles dans des revues avec comité de lecture

Titre

Polychronous design of embedded real-time applications

Auteurs

Abdoulaye Gamatié; Thierry Gautier; Paul Le Guernic; Jean-Pierre Talpin

Détail

ACM Transaction Software Engineering and Methodology, ACM, 2007, 16 (2)

Accès au bibtex

Rapports

Titre

Compositional design of isochronous systems

Auteurs

Jean-Pierre Talpin; Julien Ouy; Loïc Besnard; Paul Le Guernic

Détail

[Research Report], 2007, pp. 24. RR-6227

Accès au texte intégral et bibtex

2006

Articles dans des revues avec comité de lecture

Titre

An algebraic theory for behavioral modeling and protocol synthesis in system design

Auteurs

Jean-Pierre Talpin; Paul Le Guernic

Détail

Formal Methods in System Design, 2006, 28 (2), pp. 131-151

Accès au texte intégral et bibtex

Titre

Synchronous design of avionic applications based on model refinements

Auteurs

Abdoulaye Gamatié; Thierry Gautier; Paul Le Guernic

Détail

Journal of Embedded Computing (IOS Press), 2006, 2 (3-4), pp. 273-289

Accès au texte intégral et bibtex

Titre

Qualitative analysis of the relation between DNA microarray data and behavioral models of regulation networks

Auteurs

Anne Siegel; Ovidiu Radulescu; Michel Le Borgne; Philippe Veber; Julien Ouy; Sandrine Lagarrigue

Détail

Biosystems, ELSEVIER, 2006, 84, pp. 153-174

Accès au texte intégral et bibtex

Communications avec actes

Titre

Toward Static Analysis of SIGNAL Programs using Interval Techniques

Auteurs

Abdoulaye Gamatié; Thierry Gautier; Paul Le Guernic

Détail

Synchronous Languages, Applications, and Programming (SLAP 2006), Mar 2006, Vienna, Austria. SLAP 2006

Accès au texte intégral et bibtex

Titre

Automated Translation of C/C++ Models into a Synchronous Formalism

Auteurs

Hamoudi Kalla; Jean-Pierre Talpin; David Berner; Loïc Besnard

Détail

13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, ECBS '06, Mar 2006, Potsdam, Germany. IEEE Computer Society, pp. 426-436

Accès au texte intégral et bibtex

Titre

Modeling multi-clocked data-flow programs using the Generic Modeling Environment

Auteurs

Christian Brunette; Jean-Pierre Talpin; Loïc Besnard; Thierry Gautier

Détail

Synchronous Languages, Applications, and Programming, Mar 2006, Vienna, Austria. SLAP 2006

Accès au texte intégral et bibtex

Titre

Polychronous mode automata

Auteurs

Jean-Pierre Talpin; Christian Brunette; Thierry Gautier; Abdoulaye Gamatié

Détail

EMSOFT '06, Oct 2006, Seoul, Korea, Republic Of. ACM Press, pp. 83-92

Accès au texte intégral et bibtex

Rapports

Titre

Modeling with logical time in UML for real-time embedded system design

Auteurs

Charles André; Arnaud Cuccuru; Robert De Simone; Jean-Pierre Talpin

Détail

[Research Report], 2006. RR-5895

Accès au texte intégral et bibtex

2005

Articles dans des revues avec comité de lecture

Titre

A compositional behavioral modeling framework for embedded system design and conformance checking

Auteurs

Jean-Pierre Talpin; Paul Le Guernic; Sandeep Shukla; R.K. Gupta

Détail

International Journal of Parallel Programming, 2005, 33 (6), pp. 613-643

Accès au texte intégral et bibtex

Titre

Encapsulation and Behavioral Inheritance in a Synchronous Model of Computation for Embedded System Services Adaptation

Auteurs

Mickael Kerboeuf; Jean-Pierre Talpin

Détail

The Journal of Logic and Algebraic Programming, 2005, 63 (2), pp. 241-269

Accès au texte intégral et bibtex

Rapports

Titre

Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications

Auteurs

Jean-Pierre Talpin; Dumitru Potop-Butucaru; Julien Ouy; Benoit Caillaud

Détail

[Research Report], 2005, pp. 22. PI 1730

Accès au texte intégral et bibtex

Titre

A Modeling Paradigm for Integrated Modular Avionics Design

Auteurs

Christian Brunette; Romain Delamare; Abdoulaye Gamatié; Thierry Gautier; Jean-Pierre Talpin

Détail

[Research Report], 2005, pp. 39. PI 1748

Accès au texte intégral et bibtex

Titre

Modeling multi-clocked data-flow programs in the Generic Modeling Environment

Auteurs

Loïc Besnard; Christian Brunette; Thierry Gautier; Jean-Pierre Talpin

Détail

[Research Report], 2005, pp. 40. PI 1771

Accès au texte intégral et bibtex

Titre

Modeling multi-clocked data-flow programs in the Generic Modeling Environment

Auteurs

Loïc Besnard; Christian Brunette; Thierry Gautier; Jean-Pierre Talpin

Détail

[Research Report], 2005, pp. 39. RR-5775

Accès au texte intégral et bibtex

Titre

Compositional modeling and transformation of multi-clocked mode automata

Auteurs

Christian Brunette; Jean-Pierre Talpin

Détail

[Research Report], 2005, pp. 20. RR-5728

Accès au texte intégral et bibtex

Titre

A Modeling Paradigm for Integrated Modular Avionics Design

Auteurs

Christian Brunette; Romain Delamare; Abdoulaye Gamatié; Thierry Gautier; Jean-Pierre Talpin

Détail

[Research Report], 2005, pp. 38. RR-5715

Accès au texte intégral et bibtex

Titre

Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications

Auteurs

Jean-Pierre Talpin; Dumitru Potop-Butucaru; Julien Ouy; Benoit Caillaud

Détail

[Research Report], 2005, pp. 22. RR-5610

Accès au texte intégral et bibtex

Titre

Polychronous Design of Embedded Real-Time Systems

Auteurs

Abdoulaye Gamatié; Thierry Gautier; Paul Le Guernic; Jean-Pierre Talpin

Détail

[Research Report], 2005. RR-5509

Accès au texte intégral et bibtex

2004

Articles dans des revues avec comité de lecture

Titre

Formal Refinement Checking in a System-level Design Methodology

Auteurs

Jean-Pierre Talpin; Paul Le Guernic; Sandeep Shukla; Frédéric Doucet; R.K. Gupta

Détail

Fundamenta Informaticae, 2004, 62 (2), pp. 243-273

Accès au texte intégral et bibtex

Communications avec actes

Titre

Modular Design Through Component Abstraction

Auteurs

David Berner; Jean-Pierre Talpin; Paul Le Guernic; Sandeep Shukla

Détail

International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES 2004), Sep 2004, Washington, DC, United States. ACM Press, pp. 202-211

Accès au texte intégral et bibtex

Titre

An Example of Synchronous Design of Embedded Real-Time Systems based on IMA

Auteurs

Abdoulaye Gamatié; Thierry Gautier; Paul Le Guernic

Détail

10th International Conference on Real-time and Embedded Computing Systems and Applications (RTCSA 2004), Aug 2004, Gothenburg, Sweden. pp. RTCSA 2004

Accès au texte intégral et bibtex

Titre

A Behavioral Type Inference System for Compositional System-on-Chip Design

Auteurs

Jean-Pierre Talpin; David Berner; Sandeep Shukla; Paul Le Guernic; Abdoulaye Gamatié; R.K. Gupta

Détail

Fourth International Conference on Application of Concurrency to System Design (ACSD'04), Jun 2004, Hamilton, Ontario, Canada. pp. 47-56

Accès au texte intégral et bibtex

Rapports

Titre

Behavioral type inference for compositional system design

Auteurs

Jean-Pierre Talpin; David Berner; Paul Le Guernic; Abdoulaye Gamatié; Rajesh Gupta; Sandeep Shukla

Détail

[Research Report], 2004. RR-5141

Accès au texte intégral et bibtex

2003

Communications avec actes

Titre

Polychrony for Formal Refinement-Checking in a System-Level Design Methodology

Auteurs

Jean-Pierre Talpin; Paul Le Guernic; Sandeep Shukla; R.K. Gupta; Frédéric Doucet

Détail

Third International Conference on Application of Concurrency to System Design (ACSD '03), Jun 2003, Guimarães, Portugal. IEEE Computer Society, pp. 9-19

Accès au texte intégral et bibtex

Titre

Synchronous modeling of avionics applications using the SIGNAL language

Auteurs

Abdoulaye Gamatié; Thierry Gautier

Détail

9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), May 2003, Toronto, Canada. pp. 144-151

Accès au texte intégral et bibtex

Titre

The SIGNAL Approach to the Design of System Architectures

Auteurs

Abdoulaye Gamatié; Thierry Gautier

Détail

10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'03), Apr 2003, Huntsville, Alabama, United States. IEEE Computer Society, pp. 80-88

Accès au texte intégral et bibtex

Titre

Polychrony for refinement-based design

Auteurs

Jean-Pierre Talpin; Paul Le Guernic; Sandeep Shukla; R.K. Gupta; Frédéric Doucet

Détail

Design, Automation and Test in Europe Conference and Exposition (DATE 2003), Mar 2003, Munich, Germany. pp. 11172-11173

Accès au texte intégral et bibtex

Titre

Formal proof of a polychronous protocol for loosely time-triggered architectures

Auteurs

Mickael Kerboeuf; David Nowak; Jean-Pierre Talpin

Détail

5th International Conference on Formal Engineering Methods (ICFEM 2003), Nov 2003, Singapore, Singapore. Springer, pp. 359-374, LNCS vol. 2885

Accès au texte intégral et bibtex

Rapports

Titre

Hard real-time implementation of embedded software in JAVA

Auteurs

Jean-Pierre Talpin; Abdoulaye Gamatié; David Berner; Bruno Le Dez; Paul Le Guernic

Détail

[Research Report], 2003. RR-5020

Accès au texte intégral et bibtex

Titre

Modeling and Validation of Globally Asynchronous Design in Synchronous Frameworks

Auteurs

Mohammad Reza Mousavi; Paul Le Guernic; Jean-Pierre Talpin; Sandeep Kumar Shukla; Twan Basten

Détail

[Research Report], 2003. RR-4935

Accès au texte intégral et bibtex

Titre

Component-based engineering of real-time JAVA : applications on a polychronous design platform

Auteurs

Jean-Pierre Talpin; Bruno Le Dez; Abdoulaye Gamatié; Paul Le Guernic; David Berner

Détail

[Research Report], 2003. RR-4744

Accès au texte intégral et bibtex

Titre

Polychrony for system design

Auteurs

Paul Le Guernic; Jean-Pierre Talpin; Jean-Christophe Le Lann

Détail

[Research Report], 2003. RR-4715

Accès au texte intégral et bibtex

2002

Articles dans des revues avec comité de lecture

Titre

Polychrony for system design

Auteurs

Paul Le Guernic; Jean-Pierre Talpin; Jean-Christophe Le Lann

Détail

Journal of system architecture, 2002, 12, pp. 261-304

Accès au bibtex

Communications avec actes

Titre

A Protocol for Loosely Time-Triggered Architectures

Auteurs

Albert Benveniste; Paul Caspi; Paul Le Guernic; Hervé Marchand; Jean-Pierre Talpin; Stavros Tripakis

Détail

Embedded Software Conference (EMSOFT '02), Oct 2002, Grenoble, France. Springer, 2491, pp. 252-265, Lecture notes in computer science

Accès au bibtex

Rapports

Titre

Synchronous Modeling of Modular Avionics Architectures using the SIGNAL Language

Auteurs

Abdoulaye Gamatié; Thierry Gautier

Détail

[Research Report], 2002. RR-4678

Accès au texte intégral et bibtex