Filter your results
- 140
- 45
- 97
- 32
- 17
- 15
- 9
- 6
- 3
- 3
- 1
- 1
- 1
- 10
- 3
- 1
- 183
- 7
- 4
- 2
- 1
- 1
- 53
- 31
- 20
- 5
- 5
- 11
- 5
- 3
- 4
- 7
- 5
- 2
- 13
- 8
- 8
- 14
- 8
- 9
- 5
- 8
- 6
- 8
- 5
- 6
- 4
- 3
- 10
- 11
- 11
- 1
- 166
- 19
- 183
- 71
- 66
- 44
- 16
- 9
- 8
- 7
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 185
- 47
- 40
- 14
- 12
- 9
- 8
- 7
- 7
- 6
- 5
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
185 Results
Synthèse formelle par raffinement de modèles et de logiciels pour l'automaisationJournées d'Etude "Automatique et Informatique", Club des Enseignants et des Chercheurs en Electronique, Electrotechnique et Automatique, Section Automatique, 2004, Cachan, France
Conference papers
inria-00100064v1
|
|||
Modélisation et analyse de la documentation technique d'un systèmeColloque Francophone sur la Modélisation des Systèmes Réactifs - MSR 2001, 2001, Toulouse, France, 16 p
Conference papers
inria-00101089v1
|
|||
|
Formal and Incremental Construction of Distributed Algorithms: On the Distributed Reference Counting AlgorithmTheoretical Computer Science, 2006, ⟨10.1016/j.tcs.2006.08.015⟩
Journal articles
inria-00093164v1
|
||
|
Tutorial on the event-based B methodIFIP FORTE 2006 Paris, 2006
Lectures
inria-00092846v1
|
||
A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify ProtocolFormal Aspects of Computing, 2003, 14 (3), pp.215-227
Journal articles
inria-00099531v1
|
|||
An experiment in parallelizing an application using formal methodsInternational Conference on Computer Aided Verification - CAV'98, 1998, Vancouver, Canada, 10 p
Conference papers
inria-00098540v1
|
|||
Process control engineering: contribution to a formal structuring framework with the B methodThe 2nd International B Conference, 1998, Montpellier, France. pp.198-209
Conference papers
inria-00098406v1
|
|||
|
A compiler for parallel Unity programs using OpenMpParallel and Distributed Processing Techniques & Applications - PDPTA'99, Jul 1999, Las Vegas, USA, 21 p
Conference papers
inria-00098760v1
|
||
Integration Problems in Telephone Feature requirementsWorkshop on Integrated Formal Methods - IFM'99, 1999, York, England, 19 p
Conference papers
inria-00098882v1
|
|||
Foundations of the B methodComputing and Informatics, 2003, 22, 31 p
Journal articles
inria-00099794v1
|
|||
|
Technical Report on Interpretation of the Electrocardiogram (ECG) Signal using Formal Methods[Technical Report] 2011
Reports
inria-00584177v1
|
||
Analysis of DSR Protocol in Event-B13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2011), Oct 2011, Grenoble, France. pp.401-415
Conference papers
inria-00637768v1
|
|||
|
EB2C : A Tool for Event-B to C Conversion Support2010
Other publications
inria-00540006v1
|
||
|
Incremental Parametric Development of Greedy AlgorithmsElectronic 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⟩
Journal articles
inria-00594883v1
|
||
|
Rigorous State-Based Methods-8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, ProceedingsABZ 2021 - 8th International Conference on Rigorous State Based Methods, Jun 2021, Ulm, Germany. 12709, Springer International Publishing, 2021, Lecture Notes in Computer Science, 978-3-030-77543-8. ⟨10.1007/978-3-030-77543-8⟩
Proceedings
hal-03529208v1
|
||
Formal Evaluation of Landing Gear SystemSoICT 2014 fifth symposium on Information and Communication Technology,, Dec 2014, HANOI, Vietnam
Conference papers
hal-01097645v1
|
|||
Integrating Domain-Based Features into Event-B: a Nose Gear Velocity Case StudyModel and Data Engineering - 5th International Conference, MEDI 2015, Sep 2015, Rhodes, Greece. pp.89-102
Conference papers
hal-01245991v1
|
|||
|
Stepwise Development of Distributed Vertex Colouring Algorithms (Abstract)2011
Preprints, Working Papers, ...
inria-00606201v1
|
||
Formal Modelling and Verification of Population ProtocolsiFM - 10th International Conference on integrated Formal Methods - 2013, Jun 2013, Turku, Finland
Conference papers
hal-00813033v1
|
|||
Rigorous State-Based Methods - 7th International Conference, {ABZ} 2020, Ulm, Germany, May 27-29, 2020, ProceedingsAlexander Raschke; Dominique Méry; Frank Houdek. ABZ 2020, May 2020, ULM, Germany. Lecture Notes in Computer Science (12071), Springer, 2020, Rigorous State-Based Methods - 7th International Conference, {ABZ} 2020, Ulm, Germany, May 27-29, 2020, Proceedings, 978-3-030-48076-9
Proceedings
hal-02999312v1
|
|||
Verification by Construction of Distributed AlgorithmsTheoretical Aspects of Computing - {ICTAC} 2019 - 16th International Colloquium, Oct 2019, Mammamet, Tunisia. pp.22-38, ⟨10.1007/978-3-030-32505-3_2⟩
Conference papers
hal-02400379v1
|
|||
|
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models7th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2021), Nov 2021, Beijing, China. pp.40-58, ⟨10.1007/978-3-030-91265-9_3⟩
Conference papers
hal-03857803v2
|
||
|
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Specialized Techniques and Applications (ISoLA 2014), Oct 2014, Corfu, Greece. pp.604-618, ⟨10.1007/978-3-662-45231-8_50⟩
Conference papers
hal-01097624v1
|
||
Proved-Patterns-Based Development for Structured Programs.Computer Science - Theory and Applications, Second International, Symposium on Computer Science in Russia - CSR 2007, Ural State University (USU) ; Institute of Mathematics and Mechanics of Ural Branch of Russian Academy of Sciences, Sep 2007, Ekaterinburg, Russia. pp.104-114, ⟨10.1007/978-3-540-74510-5_13⟩
Conference papers
istex
inria-00168307v1
|
|||
System-on-chip design by proof-based refinementInternational Journal on Software Tools for Technology Transfer, 2009, 11 (3), pp.217-238. ⟨10.1007/s10009-009-0104-7⟩
Journal articles
istex
inria-00426385v1
|
|||
|
Spécification d'exigences physico-physiologiques d'interaction homme-machine en ingénierie systèmeGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2013, Mars 2013 (104), pp.29-39
Journal articles
hal-00805851v1
|
||
Projet RNRT EQUAST ; SP2 Spécification incrémentale du système[Interne] A04-R-237 || proch04a, 2004
Reports
inria-00100222v1
|
|||
|
Derivation of SystemC code from abstract system modelsForum on specification and Design Languages - FDL'04, 2004, Lille, France, 12 p
Conference papers
inria-00107780v1
|
||
|
Animating formal specifications : a telephone simulation case study13th European Simulation Multiconference - ESM'99, Jun 1999, Warsaw, Poland, pp.139--145
Conference papers
inria-00108114v1
|
||
|
Formalisation of enterprise modelling standards using UML and the B method.8th International Conference on Concurrent Enterprising, ICE2002, Jun 2002, Rome, Italy. pp.93-101
Conference papers
hal-00120944v1
|