Monsuez, Bruno
VIAF ID: 217188398 ( Personal )
Permalink: http://viaf.org/viaf/217188398
Preferred Forms
- 100 1 _ ‡a Monsuez, Bruno
Works
Title | Sources |
---|---|
Apport des paradigmes des Systèmes à Evènements Discrets pour la réduction du flux d'alarmes industrielles | |
An approach to co-design and analysis of safety and security for three-layered system modeling : models, formalisms, and tool support | |
Une approche compositionnelle pour la modélisation et l'analyse des composants systemC au niveau TLM et au niveau des Delta Cycles. | |
Une approche de co-conception et d'analyse de la sûreté et de la sécurité pour la modélisation de systèmes à trois couches : modèles, formalismes et support d'outils. | |
Approches formelles pour l'analyse de la performabilité des systèmes communicants mobiles : Applications aux réseaux de capteurs sans fil | |
Calcul du pire temps d'exécution : méthode formelle s'adaptant à la sophistication croissante des architectures matérielles | |
Computation of the worst case execution time : formal analysis method that fits the increasing complexity of the hardware architecture. | |
Conception d'un outil de débogage formel pour systèmes logiciels et matériels selon l'approche "Debug as Design" | |
Conception of a formal debugger for software and hardware systems with the approach "debug as design". | |
Contribution of Discrete Event Systems paradigms for reducing industrial alarm flows. | |
Contribution to Modeling and to Verification of Multi Agent Systems. | |
Contrôle du châssis pour la technologie de conduite autonome. | |
Formal approaches for performability analysis of communicating systems : an application to wireless sensor networks. | |
Intelligent Chassis control for Autonomous Driving Technologies | |
Une méthodologie de développement de structure logicielle orientée modèle pour les systèmes robotiques. | |
A model-driven framework development methodology for robotic systems | |
Optimal Coordination of Chassis Systems for Vehicle Motion Control | |
Social Mobility : models and traces. | |
A stepwise compositional approach to model and analyze system C designs at the transactional level and the delta cycle level | |
Systems modeling and formal analysis for advanced persistent threats. | |
Typage par interpretation abstraite | |
Verification and Evaluation of Computer and Communication Systems : 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings | |
Web Service Composition Compatibility : adaptation in the presence of Business Protocol Evolution |