Jean-Pierre Talpin

According to our database1, Jean-Pierre Talpin authored at least 116 papers between 1991 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Guest Editorial: Special Issue of ACM TECS on the ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017).
ACM Trans. Embedded Comput. Syst., 2019

Automated Generation of Synchronous Formal Models from SystemC Descriptions.
Journal of Circuits, Systems, and Computers, 2019

Polychronous automata and their use for formal validation of AADL models.
Frontiers Comput. Sci., 2019

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic.
CoRR, 2019

Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/Stateflow.
Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019

Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Towards verified programming of embedded devices.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018
Toward Efficient Many-core Scheduling of Partial Expansion Graphs.
Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, 2018

2017
An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols: Application to FTSP.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

ADFG: a scheduling synthesis tool for dataflow graphs in real-time systems.
Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

Compositional Proofs in Differential Dynamic Logic dL.
Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2016
Guest Editorial: Special Issue on Models and Methodologies for System Design.
ACM Trans. Embedded Comput. Syst., 2016

Architecture-Centric Modeling, Analysis, and Veri cation of Cyber-Physical Systems (NII Shonan Meeting 2016-5).
NII Shonan Meet. Rep., 2016

Formal semantics of behavior specifications in the architecture analysis and design language standard.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

2015
Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony.
Sci. Comput. Program., 2015

Polychronous Automata.
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

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, 2015

Mapping functional behavior onto architectural model in a model driven embedded system design.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Towards refinement types for time-dependent data-flow networks.
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

Translation Validation for Clock Transformations in a Synchronous Compiler.
Proceedings of the Fundamental Approaches to Software Engineering, 2015

The challenge of interoperability: model-based integration for automotive control software.
Proceedings of the 52nd Annual Design Automation Conference, 2015

2014
Constructive polychronous systems.
Sci. Comput. Program., 2014

From AADL to Timed Abstract State Machines: A verified model transformation.
Journal of Systems and Software, 2014

Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions.
Design Autom. for Emb. Sys., 2014

Earliest-deadline first scheduling of multiple independent dataflow graphs.
Proceedings of the 2014 IEEE Workshop on Signal Processing Systems, 2014

Towards an Architecture-Centric Approach Dedicated to Model-Based Virtual Integration for Embedded Software Systems.
Proceedings of the First International Workshop on Architecture Centric Virtual Integration co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

2013
Embedding Polychrony into Synchrony.
IEEE Trans. Software Eng., 2013

Polychronous modeling, analysis, verification and simulation for timed software architectures.
Journal of Systems Architecture - Embedded Systems Design, 2013

Exploring system architectures in AADL via Polychrony and SynDEx.
Frontiers Comput. Sci., 2013

Foreword to the special section on synchronous programming.
Frontiers Comput. Sci., 2013

Formal verification of synchronous data-flow program transformations toward certified compilers.
Frontiers Comput. Sci., 2013

Design of safety-critical Java level 1 applications using affine abstract clocks.
Proceedings of the International Workshop on Software and Compilers for Embedded Systems, 2013

Constructive Polychronous Systems.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013

Buffer minimization in earliest-deadline first scheduling of dataflow graphs.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2013

Toward polychronous analysis and validation for timed software architectures in AADL.
Proceedings of the Design, Automation and Test in Europe, 2013

2012
Compositional design of isochronous systems.
Sci. Comput. Program., 2012

Formal Verification of Compiler Transformations on Polychronous Equations.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications.
Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2011
Guest Editors' Introduction: Special Section on Science of Design for Safety Critical Systems.
IEEE Trans. Computers, 2011

From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations.
Fundam. Inform., 2011

System-level co-simulation of integrated avionics using polychrony.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Polychronous controller synthesis from MARTE CCSL timing specifications.
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

Two Formal Semantics of a Subset of the AADL.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Integrating system descriptions by clocked guarded actions.
Proceedings of the 2011 Forum on Specification & Design Languages, 2011

2010
A Boolean Algebra of Contracts for Assume-guarantee Reasoning.
Electr. Notes Theor. Comput. Sci., 2010

A higher-order extension for imperative synchronous languages.
Proceedings of the 13th International Workshop on Software and Compilers for Embedded Systems, 2010

Polychronous Analysis of Timing Constraints in UML MARTE.
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2010

Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment.
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA.
Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

A Module Language for Typing SIGNAL Programs by Contracts.
Proceedings of the Synthesis of Embedded Software, 2010

Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software.
Proceedings of the Synthesis of Embedded Software, 2010

Compilation of Polychronous Data Flow Equations.
Proceedings of the Synthesis of Embedded Software, 2010

2009
A metamodel for the design of polychronous systems.
J. Log. Algebr. Program., 2009

Preface.
Electr. Notes Theor. Comput. Sci., 2009

Generating Multi-Threaded code from Polychronous Specifications.
Electr. Notes Theor. Comput. Sci., 2009

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

Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

A module language for typing by contracts.
Proceedings of the First NASA Formal Methods Symposium, 2009

Distributed Simulation of AADL Specifications in a Polychronous Model of Computation.
Proceedings of the International Conference on Embedded Software and Systems, 2009

Clock-driven distributed real-time implementation of endochronous synchronous programs.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

Separate compilation and execution of imperative synchronous modules.
Proceedings of the Design, Automation and Test in Europe, 2009

From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations.
Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

Synchronous Hypothesis and Polychronous Languages.
Proceedings of the Embedded Systems Design and Verification, 2009

2008
Separate Compilation of Polychronous Specifications.
Electr. Notes Theor. Comput. Sci., 2008

Virtual prototyping AADL architectures in a polychronous model of computation.
Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008

On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications.
Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008

Analysis of Periodic Clock Relations in Polychronous Systems.
Proceedings of the Distributed Embedded Systems: Design, 2008

Compositional design of isochronous systems.
Proceedings of the Design, Automation and Test in Europe, 2008

2007
Polychronous design of embedded real-time applications.
ACM Trans. Softw. Eng. Methodol., 2007

Guest editorial.
Formal Methods in System Design, 2007

Synchronous Paradigm in Embedded Systems.
EURASIP J. Emb. Sys., 2007

2006
An algebraic theory for behavioral modeling and protocol synthesis in system design.
Formal Methods in System Design, 2006

A Functional Programming Framework for Latency Insensitive Protocol Validation.
Electr. Notes Theor. Comput. Sci., 2006

Preface.
Electr. Notes Theor. Comput. Sci., 2006

A Verification Approach for GALS Integration of Synchronous Components.
Electr. Notes Theor. Comput. Sci., 2006

Polychronous Methodology For System Design: A True Concurrency Approach.
Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006

A Modeling Paradigm for Integrated Modular Avionics Design.
Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29, 2006

Polychronous mode automata.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Automated Translation of C/C++ Models into a Synchronous Formalism.
Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006

2005
The Synchronous Hypothesis and Synchronous Languages.
Proceedings of the Embedded Systems Handbook., 2005

Guest editorial: Special issue on models and methodologies for co-design of embedded systems.
ACM Trans. Embedded Comput. Syst., 2005

Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation.
J. Log. Algebr. Program., 2005

A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking.
International Journal of Parallel Programming, 2005

Automated clock inference for stream function-based system level specifications.
Proceedings of the Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30, 2005

SystemCXML: An Exstensible SystemC Front end Using XML.
Proceedings of the Forum on specification and Design Languages, 2005

From multi-clocked synchronous processes to latency-insensitive modules.
Proceedings of the EMSOFT 2005, 2005

2004
Formal Refinement Checking in a System-level Design Methodology.
Fundam. Inform., 2004

Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks.
Proceedings of the 2004 Design, 2004

Modular design through component abstraction.
Proceedings of the 2004 International Conference on Compilers, 2004

A Behavioral Type Inference System for Compositional System-on-Chip Design.
Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2003
POLYCHRONY for System Design.
Journal of Circuits, Systems, and Computers, 2003

High Level Modeling and Validation Methodologies for Embedded Systems: Bridging the Productivity Gap.
Proceedings of the 16th International Conference on VLSI Design (VLSI Design 2003), 2003

Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures.
Proceedings of the Formal Methods and Software Engineering, 2003

Hard Real-Time Implementation of Embedded Software in JAVA.
Proceedings of the Scientific Engineering of Distributed Java Applications, 2003

Polychrony for Refinement-Based Design.
Proceedings of the 2003 Design, 2003

Polychrony for Formal Refinement-Checking in a System-Level Design Methodology.
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002
Model Checking Robustness to Desynchronization.
Proceedings of the Design and Analysis of Distributed Embedded Systems, IFIP 17<sup>th</sup> World Computer Congress, 2002

A Protocol for Loosely Time-Triggered Architectures.
Proceedings of the Embedded Software, Second International Conference, 2002

2000
Specification and Verification of a Steam-Boiler with Signal-Coq.
Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems.
Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

1999
Polyhedral Analysis for Synchronous Languages.
Proceedings of the Static Analysis, 6th International Symposium, 1999

Synchronous Structures.
Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998
Co-inductive Axiomatization of a Synchronous Language.
Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

BDL, A Language of Distributed Reactive Objects.
Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

1997
Region-based Memory Management.
Inf. Comput., 1997

Reactive Types.
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

An ML-Like Module System for the Synchronous Language SIGNAL.
Proceedings of the Euro-Par '97 Parallel Processing, 1997

1996
Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark.
J. Funct. Program., 1996

1994
The Type and Effect Discipline
Inf. Comput., June, 1994

Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions.
Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

1993
Compiling FX on the CM-2.
Proceedings of the Static Analysis, Third International Workshop, 1993

1992
Polymorphic Type, Region and Effect Inference.
J. Funct. Program., 1992

The Type and Effect Discipline
Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

1991
Polymorphic Type, Region and Effect Inference.
Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991


  Loading...