Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

108 résultats
keyword_s : Refinement
Page :
triés par
Image document

A Formal Approach for the Development of Automated Systems

 Olfa Mosbahi , Leila Jemni , Jacques Jaray
2nd International Conference on Software and Data Technologies - ICSOFT 2007, INSTICC - Institute for Systems and Technologies of Information, Control and Communication, Jul 2007, Barcelone, Spain. pp.304-310
Communication dans un congrès inria-00158908v1

Formal and Incremental Construction of Distributed Algorithms: On the Distributed Reference Counting Algorithm

 Dominique Cansell , Dominique Méry
Theoretical Computer Science, 2006, ⟨10.1016/j.tcs.2006.08.015⟩
Article dans une revue inria-00093164v1

Modélisation formelle de circuits électroniques en B événementiel

 Yann Zimmermann
Manifestation des Jeunes Chercheurs du domaine des STIC 2003 -MAJECSTIC'03, 2003, Marseille, France
Communication dans un congrès inria-00099739v1

Incremental Parametric Development of Greedy Algorithms

 Dominique Cansell , Dominique Méry
Electronic Notes in Theoretical Computer Science, 2007, roceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS 2006), 185, pp.47-62. ⟨10.1016/j.entcs.2007.05.028⟩
Article dans une revue inria-00594883v1
Image document

Micro-Policies: Formally Verified, Tag-Based Security Monitors

 Arthur Azevedo de Amorim , Maxime Dénès , Nick Giannarakis , Cătălin Hriţcu , Benjamin C. Pierce , et al.
2015 IEEE Symposium on Security and Privacy, May 2015, San Jose, United States. pp.813 - 830, ⟨10.1109/SP.2015.55⟩
Communication dans un congrès hal-01265666v1

Verification by Construction of Distributed Algorithms

 Dominique Méry
Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International Colloquium, Oct 2019, Mammamet, Tunisia. pp.22-38, ⟨10.1007/978-3-030-32505-3_2⟩
Communication dans un congrès hal-02400379v1
Image document

La Validation dans le Processus de Développement

 Imen Sayar , Jeanine Souquières
34ème Congrès INFORSID, May 2016, Grenoble, France
Communication dans un congrès hal-01302223v1

Integrating Domain-Based Features into Event-B: a Nose Gear Velocity Case Study

 Dominique Méry , Sawant Rushikesh , Anton Tarasyuk
Model and Data Engineering - 5th International Conference, MEDI 2015, Sep 2015, Rhodes, Greece. pp.89-102
Communication dans un congrès hal-01245991v1

Formal Evaluation of Landing Gear System

 Dominique Méry , Neeraj Kumar Singh
SoICT 2014 fifth symposium on Information and Communication Technology,, Dec 2014, HANOI, Vietnam
Communication dans un congrès hal-01097645v1
Image document

A Formal Correctness Proof for an EDF Scheduler Implementation

 Florian Vanhems , Vlad Rusu , David Nowak , Gilles Grimaud
RTAS 2022: 28th IEEE Real-Time and Embedded Technology and Applications Symposium, May 2022, Milan, Italy. ⟨10.1109/RTAS54340.2022.00030⟩
Communication dans un congrès hal-03671598v2

Analysis of DSR Protocol in Event-B

 Dominique Méry , Neeraj Kumar Singh
13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2011), Oct 2011, Grenoble, France. pp.401-415
Communication dans un congrès inria-00637768v1
Image document

Technical Report on Interpretation of the Electrocardiogram (ECG) Signal using Formal Methods

 Dominique Méry , Neeraj Kumar Singh
[Technical Report] 2011
Rapport inria-00584177v1

A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol

 Jean-Raymond Abrial , Dominique Cansell , Dominique Méry
Formal Aspects of Computing, 2003, 14 (3), pp.215-227
Article dans une revue inria-00099531v1

Foundations of the B method

 Dominique Cansell , Dominique Méry
Computing and Informatics, 2003, 22, 31 p
Article dans une revue inria-00099794v1

System-on-chip design by proof-based refinement

 Dominique Cansell , Dominique Méry , Cyril Proch
International Journal on Software Tools for Technology Transfer, 2009, 11 (3), pp.217-238. ⟨10.1007/s10009-009-0104-7⟩
Article dans une revue istex inria-00426385v1
Image document

Développement formel de systèmes automatisés

 Olfa Mosbahi Mosbahi-Khalgui
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2008. Français. ⟨NNT : 2008INPL007N⟩
Thèse tel-01748685v1
Image document

Refinement and Verification of Synchronized Component-based Systems

 Olga Kouchnarenko , Arnaud Lanoix
[Research Report] RR-4862, INRIA. 2003, pp.29
Rapport inria-00071721v1
Image document

Formalization of Requirements for Correct Systems

 Imen Sayar , Jeanine Souquières
Formal Requirements 2020, Sophie Ebersold (University of Toulouse, France); Regine Laleau (University of Paris-Est Creteil, France); Manuel Mazzara (Innopolis University, Russia), Aug 2020, Zurich, Switzerland
Communication dans un congrès hal-02963472v1
Image document

Modelling SystemC scheduler by refinement

 Dominique Cansell , Dominique Méry , Cyril Proch
IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation - ISOLA'05, Sep 2005, Columbia/USA
Communication dans un congrès inria-00000564v1
Image document

The invoice case study modelling in Event B

 Dominique Cansell , Dominique Méry
[Research Report] 2005
Rapport inria-00000857v1

Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems

 Dominique Méry , Mike Poppleton
Software and Systems Modeling, 2017, 16 (4), pp.1083--1115. ⟨10.1007/s10270-015-0504-y⟩
Article dans une revue hal-01245819v1

Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata

 Dominique Méry , Neeraj Kumar Singh
Liu; Zhiming and Wassyng; Alan. Foundations of Health Informatics Engineering and Systems}, 7151, Springer Berlin Heidelberg, pp.140-159, 2012, Lecture Notes in Computer Science, 978-3-642-32354-6. ⟨10.1007/978-3-642-32355-3_9⟩
Chapitre d'ouvrage hal-00762821v1

Modeling an Aircraft Landing System in Event-B

 Dominique Méry , Neeraj Kumar Singh
ABZ 2014 Case Study Track, Jun 2014, Toulouse, France. pp.154-159
Communication dans un congrès hal-00985010v1
Image document

Modelling an Aircraft Landing System in Event-B (Full Report)

 Dominique Méry , Neeraj Kumar Singh
[Research Report] 2014
Rapport hal-00971787v1

Refining Mobile UML State Machines

 Alexander Knapp , Stephan Merz , Martin Wirsing
10th International Conference on Algebraic Methodology and Software Technology - AMAST'2004, 2004, Stirling, Scotland, UK, pp.274--288
Communication dans un congrès inria-00108082v1

Integration of Security Policy into System Modeling

 Nazim Benaissa , Dominique Cansell , Dominique Mery
The 7th International B Conference - B2007, Jan 2007, Besançon, France
Communication dans un congrès inria-00155143v1
Image document

Time Constraint Patterns for Event B Development

 Dominique Cansell , Dominique Méry , Joris Rehm
7th International Conference of B Users, January 17-19, 2007, 2007, Besançon, France. pp.140-154, ⟨10.1007/11955757_13⟩
Communication dans un congrès hal-00149163v1
Image document

Vérification et correction des spécifications B : application à l'assemblage de composants

 Inès Mouakher Abdelmoula
Informatique [cs]. Université Nancy II; Université de Tunis El-Manar, 2010. Français. ⟨NNT : ⟩
Thèse tel-00547553v1

Proof-Based Design of Security Protocols

 Nazim Benaissa , Dominique Méry
5th International Computer Science Symposium in Russia, CSR 2010, Farid Ablayev, Jun 2010, KAZAN, Russia. pp.25-36
Communication dans un congrès inria-00542919v1
Image document

Technical Report on Formalisation of the Heart using Analysis of Conduction Time and Velocity of the Electrocardiography and Cellular-Automata

 Dominique Méry , Neeraj Kumar Singh
[Technical Report] 2011
Rapport inria-00600339v1
Page :