Méry, Dominique
Méry, Dominique 1958-....
VIAF ID: 127448349 ( Personal )
Permalink: http://viaf.org/viaf/127448349
Preferred Forms
-
- 200 _ | ‡a Méry ‡b Dominique ‡f 1958-....
- 100 1 _ ‡a Méry, Dominique
- 100 1 _ ‡a Méry, Dominique
-
- 100 1 _ ‡a Méry, Dominique
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
Une approche formelle pour la substitution correcte par construction de systèmes. | |
Assistance to incremental and proved development of System-on-Chip. | |
Assisting formal refinement and verification in embedded system design. | |
Un cadre formel pour l'intégration de connaissances du domaine dans la conception des systèmes : application au formalisme Event-B | |
Contribution à l'intégration de la messagerie industrielle MMS dans les systèmes et applications temps réel et répartis | |
Correct-by-Construction Design of Hybrid Systems Based on Refinement and Proof | |
Coupling of formal methods for industriel systems specification. | |
Déduction automatique et certification de preuve pour la méthode B. | |
Développement d'algorithmes répartis corrects par construction | |
Donner une autre vie à vos besoins fonctionnels : une approche dirigée par l'entreposage et l'analyse en ligne | |
Étude de la sémantique de programmes parallèles réels en TLA | |
Une étude formelle de la théorie des calculs locaux à l'aide de l'assistant de preuve Coq | |
Executable system co-specification based on models : Application to interactive conduct of critical industrial process. | |
Explicitation de la sémantique du domaine dans les modèles de systèmes : une approche à base d'ontologies. | |
Fiabilité et sûreté des systèmes informatiques critiques | |
Formalisation et vérification de l'interopérabilité dans les systèmes de communication | |
From research to teaching formal methods the B method actes... | |
Give Another Life to Your Functional Requirements : An Approach Drvicen by Warehousing and Online Anaysis. | |
Handling domain knowledge in system design models. An ontology based approach. | |
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems : Communications of NII Shonan Meetings | |
Integrated formal methods : 8th International conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings | |
Integrating the manufacturing message specification into distributed real-time systems and applications. | |
Intégration et exploitation de besoins en entreprise étendue fondées sur la sémantique | |
Integration of IP network models to DEVS multi-models, for cyber-physical system co-simulations. | |
Introducing probabilistic reasoning within Event-B. | |
Introduction de raisonnement probabiliste dans la méthode B événementiel | |
A method for refining and developing concurrent programs : on the study of refinement of concurrent programs : a proof-based approach. | |
Méthode axiomatique de preuve de propriétés de fatalité de programmes parallèles avec hypothèse d'exécution équitable | |
Méthodes et outils pour la programmation des systèmes cyber-physiques | |
Methods and tools for cyber-physical systems programming. | |
Modélisation des systèmes réactifs : actes de MSR 2003, 6-8 octobre 2003, ENIM, Metz, France | |
monitoring multi-threaded and distributed (component-based) systems. | |
New Trends in Model and Data Engineering : MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings | |
Preuves d'algorithmes distribués par raffinement | |
Proofs of Distributed Algorithms by refinement and composition. | |
Reliability and Safety of Critical Device Software Systems. | |
RenPar'10 | |
Requirements engineering in information systems. | |
Security protocols composition using Event B. | |
Simulations numériques de l'équation de Vlasov à l'aide d'outils parallèles | |
Spécification d'exigences physico-physiologiques en ingénierie d'un système support de maintenance aéronautique | |
SPECIFICATION, VERIFICATION ET RAFFINEMENT DE RESEAUX DE PROCESSUS COMMUNICANTS | |
Surveillance de systèmes à composants multi-threads et distribués | |
Theoretical Aspects of Computing – ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings | |
Utilisation des méthodes formelles pour le développement de programmes parallèles | |
Verification and mapping of unity programs into distributed architectures. | |
Verification and stepwise refinement of concurrent programs within a compositional temporal logic an application to SDL. | |
Vérification et mise en œuvre distribuée des programmes unity | |
Verification et raffinement de programmes parallèles dans une logique temporelle compositionnelle : application au langage SDL | |
Vérification par model-checking de programmes concurrents paramétrés sur des modèles mémoires faibles |