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

Towards an incremental development of UML specifications

 Boulbaba Ben Ammar , Mohamed Tahar Bhiri , Jeanine Souquières
2007
Autre publication scientifique hal-00182180v1

A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems

 Stephan Merz , Martin Wirsing , Julia Zappe
Fundamental Approaches to Software Engineering '03 - FASE 2003, Lecture Notes in Computer Sciences, 2003, Warsaw, Poland, pp.87-101
Communication dans un congrès inria-00099799v1

Formal Analysis of a Self-Stabilizing Algorithm - Using Predicate Diagrams

 Dominique Cansell , Dominique Méry , Stephan Merz
Integrating Diagrammatic and Formal Specification Techniques, GI Fachgruppe 0.1.7 Specification and Semantics, 2001, Wien, Austria, pp.39-45
Communication dans un congrès inria-00110548v1

Integration of the proof process in the system development through refinement steps

 Dominique Cansell , Dominique Méry
5th Forum on Specification and Design Language - Workshop SFP in FDL'02, 2002, Marseille, France, 12 p
Communication dans un congrès inria-00100945v1

Circuit Design by Refinement in EventB

 Stefan Hallerstede , Yann Zimmermann
Forum on Specification and Design Languages - FDL'04, Pierre Boulet, 2004, Lille, France, 13 p
Communication dans un congrès inria-00100145v1
Image document

Raffinement B de systèmes de transitions étiquetés

 Inès Mouakher , Francis Alexandre
[Rapport de recherche] 2009, pp.37
Rapport inria-00435896v1

The Event-B Modelling Method - Concepts and Case Studies

 Dominique Cansell , Dominique Méry
Dines Bjoerner and Martin Henson. Logics of Specification Languages, Springer, pp.33-140, 2008, Monographs in Theoretical Computer Science
Chapitre d'ouvrage inria-00579550v1
Image document

Event Systems and Access Control

 Dominique Méry , Stephan Merz
Sixth International IFIP WG 1.7 Workshop on Issues in the Theory of Security, Mar 2006, Vienna/Austria, pp.40-54
Communication dans un congrès inria-00001262v1
Image document

A method to refine time constraints in event B framework

 Joris Rehm
Automatic Verification of Critical Systems - AVoCS 2006, Sep 2006, Nancy/France, pp.173-177
Communication dans un congrès inria-00091665v1

Specification and Refinement of Access Control

 Dominique Méry , Stephan Merz
Journal of Universal Computer Science, 2007, 13 (8), pp.1073-1093
Article dans une revue inria-00147824v1
Image document

Technical Report on Formal Development of Two-Electrode Cardiac Pacing System

 Dominique Méry , Neeraj Kumar Singh
[Research Report] 2010
Rapport inria-00465061v2
Image document

Refinements for Open Automata (Extended Version)

 Ludovic Henrio , Eric Madelaine , Rabéa Ameur-Boulifa , Quentin Corradi
RR-9517, Inria - Research Centre Grenoble – Rhône-Alpes. 2023
Rapport hal-04193421v1

Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours

 Ismail Mendil , Peter Riviere , Yamine Aït-Ameur , Neeraj Kumar Singh , Dominique Méry , et al.
2022 29th Asia-Pacific Software Engineering Conference (APSEC), Dec 2022, Japan, Japan. pp.129-138, ⟨10.1109/APSEC57359.2022.00025⟩
Communication dans un congrès hal-04316165v1

B événementiel et les propriétés de vivacité

 Olfa Mosbahi , Jacques Jaray
Journal Européen des Systèmes Automatisés (JESA), 2010, 44 (9-10), pp.1119-1163. ⟨10.3166/jesa.44.1119-1163⟩
Article dans une revue istex inria-00580131v1
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
Page :