Pantel, Marc, 19..-...., enseignant-chercheur en informatique
VIAF ID: 193869085 ( Personal )
Permalink: http://viaf.org/viaf/193869085
Preferred Forms
Works
Title | Sources |
---|---|
Actes des 4èmes Journées sur l'ngénierie dirigée par les modèles, 5-6 juin 2008 | |
Une approche formelle pour la substitution correcte par construction de systèmes. | |
Contribution à la considération du comportement des plates-formes d'exécution logicielles temps réel | |
Contribution to the consideration of the behavior of real-time software execution platforms. | |
Un environnement formel pour la sémantique des systèmes hétérogènes. | |
A formal framework for heterogeneous systems semantics | |
Formal Guaranties for Safety Critical Code Generation : the Case of Highly Variable Languages | |
Formalisation du temps et de la causalité dans les modèles polychrones polytemporisés. | |
Formalizing Time and Causality in Polychronous Polytimed Models | |
Garanties formelles pour la génération de code critique : L’affaire des langages fortement variables. | |
Intégration logicielle d'Applications Avioniques Modulaires Intégrées (IMA) sur COTS multicoeur : méthodologie d'intégration et métriques d'analyse temporelle conformes aux régulations de certification pour la réutilisation de logiciel dans les systèmes IMA. | |
Journées du GRD-GPL 09, 28-30 janvier 2009 à l'ENSEEIHT, Toulouse | |
Modular Avionics Software Integration on Multi-Core COTS : certification-Compliant Methodology and Timing Analysis Metrics for Legacy Software Reuse in Modern Aerospace Systems | |
Les outils de vérification dédiés à partir des familles de propriétés : une application aux propriétés temps réel pour les modèles UML-MARTE. | |
Processus et outils qualifiables pour le développement de systèmes critiques certifiés en avionique basés sur la génération automatique de code | |
Property driven verification framework : application to real time property for UML MARTE software design | |
Representation et transformation : un modele de la reutilisabilite pour les langages fonctionnels a objets | |
Static analysis of pattern eliminating transformations. | |
Support for the validation and verification of critical systems : ontologies and integration of components. | |
Systematic use of models of concurrency in executable domain-specific modelling languages | |
Utilisation systématique des modèles de concurrence dans les langages de modélisation dédiés exécutables. |