Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Jean-Pierre Talpin

Polychronous Automata and Their Use for Formal Validation of AADL Models

Frontiers of Computer Science
Computer ScienceTheoretical Computer Science
2019English

From Concurrent Multi-Clock Programs to Deterministic Asynchronous Implementations

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2011English

Polymorphic Type, Region and Effect Inference

Journal of Functional Programming
Software
1992English

Hard Real-Time Implementation of Embedded Software in JAVA

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Analysis of Periodic Clock Relations in Polychronous Systems

IFIP – The International Federation for Information Processing
English

Virtual Prototyping AADL Architectures in a Polychronous Model of Computation

2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy