Jean-Pierre Talpin

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

Formal Simulation and Verification of Solidity contracts in Event-B.

[BibT_eX]

[DOI]

Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2020

Formal Verification of Solidity contracts in Event-B.

[BibT_eX]

[DOI]

CoRR, 2020

LIO*: Low Level Information Flow Control in F.

[BibT_eX]

[DOI]

CoRR, 2020

2019

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

[BibT_eX]

[DOI]

Patricia Derler

Klaus Schneider

ACM Trans. Embed. Comput. Syst., 2019

Automated Generation of Synchronous Formal Models from SystemC Descriptions.

[BibT_eX]

[DOI]

Hamoudi Kalla

David Berner

J. Circuits Syst. Comput., 2019

Polychronous automata and their use for formal validation of AADL models.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2019

Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/Stateflow.

[BibT_eX]

[DOI]

Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019

Translation Validation of Code Generation from the SIGNAL Data-Flow Language to Verilog.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Semantics, Knowledge and Grids, 2019

Efficient Contention-Aware Scheduling of SDF Graphs on Shared Multi-Bank Memory.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

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

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Towards verified programming of embedded devices.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

Toward Efficient Many-core Scheduling of Partial Expansion Graphs.

[BibT_eX]

[DOI]

Hai Nam Tran

Shuvra S. Bhattacharyya

Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, 2018

Formal Modeling and Verification of Blockchain System.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Computer Modeling and Simulation, 2018

2017

An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols: Application to FTSP.

[BibT_eX]

[DOI]

Ocan Sankur

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.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

Compositional Proofs in Differential Dynamic Logic dL.

[BibT_eX]

[DOI]

Simon Lunel

Benoît Boyer

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.

[BibT_eX]

[DOI]

Paolo Ienne

ACM Trans. Embed. Comput. Syst., 2016

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

[BibT_eX]

[DOI]

NII Shonan Meet. Rep., 2016

Formal semantics of behavior specifications in the architecture analysis and design language standard.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Polychronous Automata.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Towards refinement types for time-dependent data-flow networks.

[BibT_eX]

[DOI]

Sandeep Kumar Shukla

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.

[BibT_eX]

[DOI]

Van Chan Ngo

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

Translation Validation for Clock Transformations in a Synchronous Compiler.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2015

The challenge of interoperability: model-based integration for automotive control software.

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual Design Automation Conference, 2015

2014

Constructive polychronous systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

From AADL to Timed Abstract State Machines: A verified model transformation.

[BibT_eX]

[DOI]

J. Syst. Softw., 2014

Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 2014

Earliest-deadline first scheduling of multiple independent dataflow graphs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2013

Polychronous modeling, analysis, verification and simulation for timed software architectures.

[BibT_eX]

[DOI]

J. Syst. Archit., 2013

Exploring system architectures in AADL via Polychrony and SynDEx.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2013

Foreword to the special section on synchronous programming.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2013

Formal verification of synchronous data-flow program transformations toward certified compilers.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2013

Design of safety-critical Java level 1 applications using affine abstract clocks.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Software and Compilers for Embedded Systems, 2013

Buffer minimization in earliest-deadline first scheduling of dataflow graphs.

[BibT_eX]

[DOI]

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2013

Toward polychronous analysis and validation for timed software architectures in AADL.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2013

2012

Compositional design of isochronous systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2012

Formal Verification of Compiler Transformations on Polychronous Equations.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications.

[BibT_eX]

[DOI]

Jan Vitek

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.

[BibT_eX]

[DOI]

Sandeep K. Shukla

IEEE Trans. Computers, 2011

From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations.

[BibT_eX]

[DOI]

Yves Sorel

Fundam. Informaticae, 2011

System-level co-simulation of integrated avionics using polychrony.

[BibT_eX]

[DOI]

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Polychronous controller synthesis from MARTE CCSL timing specifications.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Integrating system descriptions by clocked guarded actions.

[BibT_eX]

[DOI]

Proceedings of the 2011 Forum on Specification & Design Languages, 2011

2010

A higher-order extension for imperative synchronous languages.

[BibT_eX]

[DOI]

Eric Vecchié

Sébastien Boisgérault

Proceedings of the 13th International Workshop on Software and Compilers for Embedded Systems, 2010

Polychronous Analysis of Timing Constraints in UML MARTE.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA.

[BibT_eX]

[DOI]

Yue Ma

Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

A Module Language for Typing SIGNAL Programs by Contracts.

[BibT_eX]

[DOI]

Proceedings of the Synthesis of Embedded Software, 2010

Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software.

[BibT_eX]

[DOI]

Proceedings of the Synthesis of Embedded Software, 2010

Compilation of Polychronous Data Flow Equations.

[BibT_eX]

[DOI]

Proceedings of the Synthesis of Embedded Software, 2010

2009

A metamodel for the design of polychronous systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2009

Preface.

[BibT_eX]

[DOI]

Sandeep K. Shukla

Proceedings of the 4th International Workshop on the Application of Formal Methods for Globally Asynchronous and Locally Synchronous Design, 2009

A Boolean Algebra of Contracts for Assume-guarantee Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

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

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software

[BibT_eX]

[DOI]

Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

A module language for typing by contracts.

[BibT_eX]

Proceedings of the First NASA Formal Methods Symposium, 2009

Distributed Simulation of AADL Specifications in a Polychronous Model of Computation.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Embedded Software and Systems, 2009

Clock-driven distributed real-time implementation of endochronous synchronous programs.

[BibT_eX]

[DOI]

Yves Sorel

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

Separate compilation and execution of imperative synchronous modules.

[BibT_eX]

[DOI]

Eric Vecchié

Klaus Schneider

Proceedings of the Design, Automation and Test in Europe, 2009

Synchronous Hypothesis and Polychronous Languages.

[BibT_eX]

[DOI]

Proceedings of the Embedded Systems Design and Verification, 2009

2008

Generating Multi-Threaded code from Polychronous Specifications.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Model-driven High-level Programming of Embedded Systems, 2008

Virtual prototyping AADL architectures in a polychronous model of computation.

[BibT_eX]

[DOI]

Yue Ma

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Distributed Embedded Systems: Design, 2008

Compositional design of isochronous systems.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2008

2007

Polychronous design of embedded real-time applications.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2007

Guest editorial.

[BibT_eX]

[DOI]

Constance L. Heitmeyer

Formal Methods Syst. Des., 2007

Separate Compilation of Polychronous Specifications.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design, 2007

Synchronous Paradigm in Embedded Systems.

[BibT_eX]

[DOI]

Alain Girault

S. Ramesh

EURASIP J. Embed. Syst., 2007

2006

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

[BibT_eX]

[DOI]

Paul Le Guernic

Formal Methods Syst. Des., 2006

Polychronous Methodology For System Design: A True Concurrency Approach.

[BibT_eX]

[DOI]

Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006

A Modeling Paradigm for Integrated Modular Avionics Design.

[BibT_eX]

[DOI]

Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29, 2006

Polychronous mode automata.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Embedded Systems Handbook., 2005

Guest editorial: Special issue on models and methodologies for co-design of embedded systems.

[BibT_eX]

[DOI]

Sandeep K. Shukla

ACM Trans. Embed. Comput. Syst., 2005

Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation.

[BibT_eX]

[DOI]

Mickaël Kerboeuf

J. Log. Algebraic Methods Program., 2005

A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 2005

A Functional Programming Framework for Latency Insensitive Protocol Validation.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design, 2005

Preface.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design, 2005

A Verification Approach for GALS Integration of Synchronous Components.

[BibT_eX]

[DOI]

Frederic Doucet

Massimiliano Menarini

Ingolf H. Krüger

Rajesh K. Gupta

Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design, 2005

Automated clock inference for stream function-based system level specifications.

[BibT_eX]

[DOI]

Sandeep Kumar Shukla

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.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2005

From multi-clocked synchronous processes to latency-insensitive modules.

[BibT_eX]

[DOI]

Julien Ouy

Benoît Caillaud

Proceedings of the EMSOFT 2005, 2005

2004

Formal Refinement Checking in a System-level Design Methodology.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2004

Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks.

[BibT_eX]

[DOI]

Mohammad Reza Mousavi

Proceedings of the 2004 Design, 2004

Modular design through component abstraction.

[BibT_eX]

[DOI]

Proceedings of the 2004 International Conference on Compilers, 2004

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

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2003

POLYCHRONY for System Design.

[BibT_eX]

[DOI]

Paul Le Guernic

Jean-Christophe Le Lann

J. Circuits Syst. Comput., 2003

High Level Modeling and Validation Methodologies for Embedded Systems: Bridging the Productivity Gap.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on VLSI Design (VLSI Design 2003), 2003

Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures.

[BibT_eX]

[DOI]

Mickaël Kerboeuf

Proceedings of the Formal Methods and Software Engineering, 2003

Hard Real-Time Implementation of Embedded Software in JAVA.

[BibT_eX]

[DOI]

Proceedings of the Scientific Engineering of Distributed Java Applications, 2003

Polychrony for Refinement-Based Design.

[BibT_eX]

[DOI]

Proceedings of the 2003 Design, 2003

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

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

Model Checking Robustness to Desynchronization.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Proceedings of the Embedded Software, Second International Conference, 2002

2000

Specification and Verification of a Steam-Boiler with Signal-Coq.

[BibT_eX]

[DOI]

Mickaël Kerboeuf

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.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

1999

Polyhedral Analysis for Synchronous Languages.

[BibT_eX]

[DOI]

Frédéric Besson

Thomas P. Jensen

Proceedings of the Static Analysis, 6th International Symposium, 1999

Synchronous Structures.

[BibT_eX]

[DOI]

Paul Le Guernic

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998

Co-inductive Axiomatization of a Synchronous Language.

[BibT_eX]

[DOI]

Jean-René Beauvais

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

BDL, A Language of Distributed Reactive Objects.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

1997

Region-based Memory Management.

[BibT_eX]

[DOI]

Mads Tofte

Inf. Comput., 1997

Reactive Types.

[BibT_eX]

[DOI]

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

An ML-Like Module System for the Synchronous Language SIGNAL.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par '97 Parallel Processing, 1997

1996

Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark.

[BibT_eX]

[DOI]

J. Funct. Program., 1996

1994

The Type and Effect Discipline

[BibT_eX]

[DOI]

Inf. Comput., June, 1994

Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions.

[BibT_eX]

[DOI]

Mads Tofte

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.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, Third International Workshop, 1993

1992

Polymorphic Type, Region and Effect Inference.

[BibT_eX]

[DOI]