Jean-Pierre Talpin

Available identifiers

zbMath Open talpin.jean-pierreMaRDI QIDQ456397

List of research outcomes

Publication	Date of Publication	Type
A denotational semantics of simulink with higher-order UTP	2022-11-16	Paper
Verified functional programming of an abstract interpreter	2022-06-17	Paper
A mechanically verified theory of contracts	2022-03-31	Paper
Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow	2022-02-01	Paper
An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols: Application to FTSP	2020-08-05	Paper
Unified graphical co-modelling of cyber-physical systems using AADL and Simulink/Stateflow	2020-02-18	Paper
Formal verification of synchronous data-flow program transformations toward certified compilers	2019-05-28	Paper
Constructive Polychronous Systems	2015-12-11	Paper
Compositional design of isochronous systems	2012-10-24	Paper
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations	2012-07-04	Paper
On the Polychronous Approach to Embedded Software Design	2010-06-02	Paper
A metamodel for the design of polychronous systems	2009-04-29	Paper
An algebraic theory for behavioral modeling and protocol synthesis in system design	2006-09-28	Paper
A compositional behavioral modeling framework for embedded system design and conformance checking	2006-09-28	Paper
Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation	2005-06-01	Paper
https://portal.mardi4nfdi.de/entity/Q4824482	2004-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4439585	2003-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4537134	2002-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q2754054	2001-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q4270076	1999-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4247268	1999-10-05	Paper
Region-based memory management	1997-11-12	Paper
Polymorphic type, region and effect inference	1995-05-04	Paper
The type and effect discipline	1994-06-19	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jean-Pierre Talpin