The following pages link to Jean-Pierre Talpin (Q456397):
Displayed 24 items.
- Compositional design of isochronous systems (Q456402) (← links)
- Region-based memory management (Q676777) (← links)
- A metamodel for the design of polychronous systems (Q1014564) (← links)
- The type and effect discipline (Q1327400) (← links)
- Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation (Q1779321) (← links)
- Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow (Q2072065) (← links)
- A denotational semantics of simulink with higher-order UTP (Q2096416) (← links)
- A mechanically verified theory of contracts (Q2119969) (← links)
- Verified functional programming of an abstract interpreter (Q2145322) (← links)
- Unified graphical co-modelling of cyber-physical systems using AADL and Simulink/Stateflow (Q2296289) (← links)
- Formal verification of synchronous data-flow program transformations toward certified compilers (Q2418653) (← links)
- An algebraic theory for behavioral modeling and protocol synthesis in system design (Q2505638) (← links)
- A compositional behavioral modeling framework for embedded system design and conformance checking (Q2506261) (← links)
- (Q2754054) (← links)
- From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations (Q2895778) (← links)
- An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols: Application to FTSP (Q3303889) (← links)
- Constructive Polychronous Systems (Q3455857) (← links)
- On the Polychronous Approach to Embedded Software Design (Q3564038) (← links)
- (Q4247268) (← links)
- (Q4270076) (← links)
- (Q4439585) (← links)
- (Q4537134) (← links)
- Polymorphic type, region and effect inference (Q4764612) (← links)
- (Q4824482) (← links)