researcher / François Terrier

François Terrier

at_id:

orcid_id:

Disciplines:

Applied sciences
Chemistry
Computer sciences
Electrical engineering
Organic chemistry
Physics
Edit Merge See Links

Thesis:

Représentation de la déduction par une logique trivalente : réalisation de moteurs d'inférence rapides

Directed Thesis:

Approche méthodologique pour le maintien de la cohérence des données de conception des systèmes sur puce
Approche systématique basée sur fUML pour formaliser la sémantique d’exécution des profils UML
Composition des modèles de lignes de produits logiciels
Conception dirigée par les modèles à l’aide de langages de modélisation hétérogènes : application aux profils UML
Adaptabilité et reconfiguration des systèmes temps-réel embarqués
Requirements Engineering Process according to Automotive Standards in a Model-driven Framework
Methodology for a Model-based Timing Analysis Process for Automotive Systems
Déploiement multiplateforme d'applications multitâche par la modélisation
Contribution à la prise en compte des plates-formes logicielles d'exécution dans une ingénierie générative dirigée par les modèles
Structuration de modèles orientés métiers pour les systèmes embarqués : composants de modélisation et métamodélisation exécutable comme support des méthodologies de développement des systèmes embarqués
Synthèse de stuctures bifonctionnelles antioxydantes : mesure des propriétés antioxydantes : radiogreffage sur le polypropylène
Une Approche Intégrée, Dirigée par les Modèles, pour la Spécification et l’Analyse des Propriétés Non-Fonctionnelles des Systèmes Temps Réel
Approches théorique et expérimentale de la réactivité des nitrobenzofuroxanes
Exploitation de contextes et d'observateurs pour la validation formelle de modèles
Modélisation et intégration de capteurs intelligents dans des systèmes temps-réel embarqués
Analyse d'ordonnançabilité des applications temps-réel modélisées en UML
Définition de critères de sélection de tests fonctionnels pour la validation de systèmes électroniques embarqués
Procédures de réduction pour les systèmes à base d'automates communicants : formalisation et mise en oeuvre
Méthodologie de développement et de modélisation UML des systèmes d'acquisition et de traitement en temps réel pour les expériences de physique des hautes énergies
Modélisation UML exécutable pour les systèmes embarqués de l'automobile
Synthèse de nouveaux hétérocycles oxygènes à propriétés antistrogènes potentielles : analogues structuraux du tamoxifène
Developpement a objet temps reel : etude et proposition d'une architecture d'ordonnancement parallele
Etude thermodynamique, structurale et cinetique de la reactivite carbonee et aminee de divers 3-aminothiophenes et de 3,4-diaminothiophenes
Transferts de proton sur sites carbones : reactivite intrinseque de derives benzyliques polynitres et polytrifluoromethylsulfonyles