Talpin, Jean-Pierre
Talpin, Jean-Pierre, 19..-....
VIAF ID: 173791274 ( Personal )
Permalink: http://viaf.org/viaf/173791274
Preferred Forms
- 100 1 _ ‡a Talpin, Jean-Pierre
-
- 100 1 _ ‡a Talpin, Jean-Pierre
-
- 100 1 _ ‡a Talpin, Jean-Pierre
- 100 1 _ ‡a Talpin, Jean-Pierre
- 100 1 _ ‡a Talpin, Jean-Pierre, ‡d 19..-....
4xx's: Alternate Name Forms (3)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
BDL, a language of distributed reactive objects | |
Compositional modeling of globally asynchronous locally synchronous (GALS) architectures in a polychronous model of computation | |
Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications | |
Conception d'un noyau sécurisé pour objets contraints | |
Conclusive formal verification of clock domain crossing properties | |
Correct-by-Construction Design of Hybrid Systems Based on Refinement and Proof | |
Cyber-Physical System Design from an Architecture Analysis Viewpoint : Communications of NII Shonan Meetings | |
Dependable software engineering : theories, tools, and applications : 8th International Symposium, SETTA 2022, Beijing, China, October 24-28, 2022, proceedings | |
Design of a secure kernel for constrained devices. | |
Un environnement formel pour modéliser et vérifier les systèmes globalement asynchrones et localement synchrones. | |
Formal framework for modelling and verifying globally asynchronous locally synchronous systems | |
Formal methods and models for system design : a system level perspective | |
Génération de code asynchrone dans un environnement polychrone pour la production de systèmes GALS | |
Hierarchic normal forms for desynchronization | |
Une méthodologie de spécification et de validation de systèmes hétérogènes fondée sur un modèle de contrats pour la conception de systèmes embarqués | |
Modeling multi-clocked data-flow programs in the generic modeling environment | |
A Modeling Paradigm for Integrated Modular Avionics Design | |
Modélisation de programmes orientés flot de données multi-horloges dans GME, français | |
MuVArch : une approche de méta-modélisation pour la représentation multi-vues des architectures hétérogènes embarqués | |
Ordonnancement temps-réel des graphes flots de données. | |
Parallélisme et preuve modulaire en logique dynamique différentielle. | |
Pre-order semantics of UML state-machines | |
Programing adaptive real-time systems. | |
Programmation de systèmes temps réels adaptatifs | |
Programmation vérifiée à l'intersection des types dépendants et de l'analyse statique. | |
Programmation vérifiée et intégration sécurisée de bibliothèques de systèmes d’exploitation dans Coq. | |
Qualification of source code generators in the avionics domain : automated testing of model transformation chains. | |
Real-time scheduling of dataflow graphs | |
A simplified account of region inference | |
Synchronous modeling and asynchronous deployment of mobile processes | |
Synthesis of embedded software, c2010: | |
Un système de modules avance pour SIGNAL | |
Test criteria and automatic test sequences generation for synchronous reactive systems specified by dataflow equations and controled by extended automata. | |
Theoretical and practical aspects of type and effect inference. | |
Utilisation de méthodes formelles dans la conception conjointe de systèmes embarqués = Using formal methods for the codesign of embedded systems | |
Vérification formelle concluante des propriétés des systèmes multi-horloges. | |
Vérification formelle d’un compilateur synchrone : de Signal vers C. | |
Verified information flow control applied to cyber-physical systems. | |
Verified programming and secure integration of operating system libraries in Coq |