Une approche basée programmation par contraintes pour l'exploration d'architectures multi bus pour les applications flots de données. |
|
Une approche multi-vue pour la modélisation système de propriétés fonctionnelles et non-fonctionnelles |
|
B-COoL : un métalangage pour la spécification des opérateurs de coordination des langages |
|
BCOol : the Behavioral Coordination Operator Language. |
|
Comparaison des traitements à l'entrée et à la sortie des patients hospitalisés dans un service de médecine interne gériatrique Hopital Xavier Arnozan Groupe Sud, C.H.U. Bordeaux |
|
Complex systems co-simulation with the CoSim20 framework : for efficient and accurate distributed co-simulations. |
|
Conception basée sur les modèles pour les systèmes sur puce : utilisation et extension de Marte et IP-XACT |
|
Conception de systèmes de reconnaissance d'activités humaines |
|
A correct by construction approach for the modeling and the verification of cyber-physical systems in Event-B |
|
Design of human activity recognition systems. |
|
Development of a Formal Verification Methodology for B Specifications using PERF formal toolkit. Application to safety requirements of railway systems. |
|
Élaboration d’une méthodologie de vérification formelle des spécifications B dans l’Atelier de Preuve PERF. Application aux exigences de sûreté de fonctionnement des systèmes ferroviaires.. |
|
Un environnement formel pour la sémantique des systèmes hétérogènes. |
|
Un environnement pour le développement rigoureux de composants répartis : formalisation et outils logiciels |
|
A formal framework for heterogeneous systems semantics |
|
Formal rule-based scenarios for the design of safe autonomous vehicles. |
|
Formalisation du temps et de la causalité dans les modèles polychrones polytemporisés. |
|
Formalizing Time and Causality in Polychronous Polytimed Models |
|
A framework for rigorous development of distributed components : formalisation and tools. |
|
Improved time representation in discrete-event simulation. |
|
Informatique industrielle et java : cours et exercices corrigés |
|
Logical Time @ Work for the Modeling and Analysis of Embedded Systems : Foundations of the UML/MARTE Time Model |
|
Model-based design for on-chip systems using and extending Marte and IP-XACT. |
|
Un modèle de comportement temporisé pour les systèmes distribués communicants |
|
Modeling functional and non-functional properties of systems based on a multi-view approach. |
|
Modélisation d'événements composites répétitifs, propriétés et relations temporelles |
|
Modélisation et évaluation de performances d'architectures matérielles numériques |
|
Multi-vue design pour cyber-physical systems |
|
Platerformes pluri-coeurs avec réseau sur puce pour les applications temps réel : Analyse de performance et exploration d'architectures. |
|
Relations entre modèles d'activités humaines et modèles du cerveau : application aux jeux sérieux en clinique |
|
Relationships between human activity models and brain models : application to clinical serious games. |
|
Requirement driven automated tests for cyber-physical systems. |
|
A requirement engineering driven approach to security architecture design for distributed embedded systems. |
|
Scénarios formels basés sur des règles pour la conception de véhicules autonomes sûrs |
|
Symbolic analysis of scenario based timed models for component based systems : Compositionality results for testing |
|
Techniques d'analyse et d'optimisation pour la synthèse architecturale de systèmes temps réel embarqués distribués : problèmes de placement, de partitionnement et d'ordonnancement |
|
Test case generation for Symbolic Distributed System Models : Application to Trickle based IoT Protocol |
|
Tests automatisés dirigés par les exigences pour systèmes cyber-physiques |
|
A timed communication behaviour model for distributed systems. |
|