Filter your results
- 97
- 84
- 124
- 34
- 10
- 6
- 6
- 1
- 180
- 2
- 1
- 21
- 3
- 5
- 11
- 3
- 6
- 9
- 10
- 14
- 7
- 9
- 6
- 8
- 4
- 9
- 12
- 10
- 11
- 10
- 3
- 7
- 7
- 2
- 7
- 3
- 1
- 2
- 1
- 1
- 152
- 29
- 89
- 84
- 19
- 16
- 13
- 13
- 7
- 6
- 6
- 6
- 5
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 181
- 35
- 30
- 30
- 27
- 22
- 18
- 14
- 12
- 12
- 11
- 11
- 9
- 8
- 8
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 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
181 Results
|
Correct-by-Construction Evolution of Realisable Conversation ProtocolsMEDI 2016 - Model and Data Engineering - 6th International Conference, Sep 2016, Almería, Spain. pp.260-273
Conference papers
hal-02353832v1
|
||
Formal Ontological Analysis for Medical ProtocolsImplicit and explicit semantics integration in proof based developments of discrete systems, Springer, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_5⟩
Book sections
hal-03199742v1
|
|||
|
Modelling Hybrid Train Speed Controller using Proof and Refinement2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS), Nov 2019, Guangzhou, France. pp.107-113, ⟨10.1109/ICECCS.2019.00019⟩
Conference papers
hal-03265768v1
|
||
Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn AssistMEDI 2018 - The 8h International Conference on Model and Data Engineering, Oct 2018, Marrakech, Morocco. pp.153--158, ⟨10.1007/978-3-030-02852-7_14⟩
Conference papers
hal-02983162v1
|
|||
|
QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.91-105, ⟨10.1007/978-3-319-92081-8_9⟩
Conference papers
hal-01821411v1
|
||
Empowering the Event-B Method Using External TheoriesIntegrated Formal Methods, 13274, Springer International Publishing, pp.18-35, 2022, Lecture Notes in Computer Science, 978-3-031-07726-5. ⟨10.1007/978-3-031-07727-2_2⟩
Book sections
hal-03904799v1
|
|||
|
EB4EB: A Framework for Reflexive Event-B26th International Conference on Engineering of Complex Computer Systems (ICECCS 2022), Mar 2022, Hiroshima, Japan. pp.71-80, ⟨10.1109/ICECCS54210.2022.00017⟩
Conference papers
hal-03540955v2
|
||
Formal and Experimental Validation Approaches in HCI Systems Design Based on a Shared Event B ModelInternational Journal on Software Tools for Technology Transfer, 2006, 8 (6), pp.547--563. ⟨10.1007/s10009-006-0008-8⟩
Journal articles
istex
hal-03273828v1
|
|||
ISO/TS 29002-31:2009 — Industrial automation systems and integration — Exchange of characteristic data — Part 31: Query for characteristic dataISO, 2009
Books
hal-03368897v1
|
|||
|
Making explicit domain knowledge in formal system developmentScience of Computer Programming, 2016, 121 (100--127), ⟨10.1016/j.scico.2015.12.004⟩
Journal articles
hal-01245832v1
|
||
Encoding a Process Algebra Using the Event B MethodInternational Journal on Software Tools for Technology Transfer, 2009, 11 (3), pp.239--253. ⟨10.1007/s10009-009-0109-2⟩
Journal articles
istex
hal-03273749v1
|
|||
A generic model for system substitutionRomanovsky, Alexander; Ishikawa, Fuyuki. Trustworthy Cyber-Physical Systems Engineering, 4, Chapman & Hall, CRC Press, pp.75--103, 2016, Computer and Information Science Series, 978-1498742450
Book sections
hal-03155039v1
|
|||
|
Model and Data Engineering: 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings6th International Conference on Model and Data Engineering (MEDI 2016), Sep 2016, Almería, Spain. Lecture Notes in Computer Science, 9893, Springer, pp.XVII, 360, 2016, Programming and Software Engineering series, 978-3-319-45546-4. ⟨10.1007/978-3-319-45547-1⟩
Special issue
hal-03376090v1
|
||
|
Persistent Meta-Modeling Systems as Heterogeneous Model Repositories3rd International Conference on Model and Data Engineering International Conference (MEDI 2013), Sep 2013, Amantea, Italy. pp.25-37
Conference papers
hal-02450855v1
|
||
Simplified Representation of Parts Library : Model Practice and ImplementationProc. 10th Symposium on Product Data Technology Europe (PDT 2001), Apr 2001, Brussels, Belgium. pp.163-174
Conference papers
hal-03674057v1
|
|||
Une architecture orientée services pour la gestion sémantique des données géologiques pour le stockage de CO2Le XXVIème congrès INFORSID, May 2008, Fontainebleau, France. pp.67-76
Conference papers
hal-00634498v1
|
|||
Modelling information fission in output multi-modal interactive systems using Event B1st International Conference on Model & Data Engineering (MEDI 2011), Sep 2011, OBIDOS, Portugal. pp.200-213, ⟨10.1007/978-3-642-24443-8_22⟩
Conference papers
istex
hal-00629308v1
|
|||
|
An Ontology-based approach for exchanging data between heterogeneous database systems5th International Conference on Enterprise Information Systems (ICEIS 2003), Apr 2003, Angers, France. pp.512-524
Conference papers
hal-03759383v1
|
||
|
Using the B formal approach for incremental specification design of interactive systemsEngineering for Human-Computer Interaction (EHCI 1998), Sep 1998, Heraklion, Greece. pp.91-108
Conference papers
hal-03632526v1
|
||
|
Refinement of Rational End-Points by Means of Floating-Point NumbersScience of Computer Programming, 1999, 33 (2), pp.132--163. ⟨10.1016/S0167-6423(98)00008-2⟩
Journal articles
hal-03360873v1
|
||
Event-B Refinement for Continuous Behaviours Approximation19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021), Oct 2021, Gold Coast, QLD, Australia. pp.320-336, ⟨10.1007/978-3-030-88885-5_21⟩
Conference papers
hal-03385081v1
|
|||
ISoLA 2007 Workshop On Leveraging Applications of Formal Methods, Verification and ValidationISoLA 2007 Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Dec 2007, Poitiers-Futuroscope, France. Revue des Nouvelles Technologies de l'Information, Cépaduès; Editions RNTI, 2007, 978-2-85428-814-8
Special issue
hal-03376104v1
|
|||
|
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-BScience of Computer Programming, 2022, 216, pp.102765. ⟨10.1016/j.scico.2021.102765⟩
Journal articles
hal-03513847v1
|
||
Animating Event B Models by Formal Data ModelsInternational Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2008), Oct 2008, Kassandra, Greece. pp.37-55, ⟨10.1007/978-3-540-88479-8_4⟩
Conference papers
hal-00634402v1
|
|||
F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUIDJournal of Software: Evolution and Process, In press, ⟨10.1002/smr.2439⟩
Journal articles
hal-03617603v1
|
|||
Expression, Analyse, et Evaluation de propriétés ErgonomiquesProc. International Symposium on Programming and Systems (ISPS 2001), 2001, Alger, Algérie
Conference papers
hal-03674058v1
|
|||
|
A Refinement Based Method for Developing Distributed Protocols19th IEEE International Symposium on High Assurance Systems Engineering (HASE 2019), Jan 2019, Hangzhou, China. pp.90-97
Conference papers
hal-02453122v1
|
||
Vérification formelle de modèles de données et de processusProc. Ecole d’Eté Nouvelles Tendances en Informatique et Multimédia (NTIM 2010), 2010, Mahdia, Tunisie
Conference papers
hal-04161858v1
|
|||
Knowledge Models to Reduce the Gap Between Heterogeneous ModelsProc. 15th IEEE International Conference on Engineering of Complex Computer Systems (ECCS 2010), Mar 2010, Oxford, United Kingdom. pp.355-360, ⟨10.1109/ICECCS.2010.35⟩
Conference papers
hal-04161859v1
|
|||
From BPEL to Event-BInternational Workshop on Integration of Model-based Methods and Tools (IM FMT 2009) at 7th International Conference on integrated Formal Methods (IFM 2009)., Feb 2009, Düsseldorf, Germany
Conference papers
hal-00634398v1
|