Jean-Pierre Talpin

Available identifiers

zbMath Open talpin.jean-pierreMaRDI QIDQ456397

List of research outcomes

Publication	Date of Publication	Type
Parallel composition and modular verification of computer controlled systems in differential dynamic logic	2024-03-14	Paper
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

This page was built for person: Jean-Pierre Talpin