Search - Archive ouverte HAL Access content directly

Filter your results

181 Results
Image document

Correct-by-Construction Evolution of Realisable Conversation Protocols

Sarah Benyagoub , Meriem Ouederni , Neeraj Kumar Singh , Yamine Aït-Ameur
MEDI 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 Protocols

Neeraj Kumar Singh , Yamine Aït-Ameur , Dominique Méry
Implicit 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 Refinement

Paulius Stankaitis , Guillaume Dupont , Neeraj Kumar Singh , Yamine Ait-Ameur , Alexei Iliasov , et al.
2019 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 Assist

Guillaume Dupont , Yamine Aït-Ameur , Marc Pantel , Neeraj Kumar Singh
MEDI 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
Image document

QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems

Fayollas Camille , Célia Martinie , Philippe Palanque , Yamine Aït-Ameur
16th 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 Theories

Yamine Aït-Ameur , Guillaume Dupont , Ismail Mendil , Dominique Méry , Marc Pantel , et al.
Integrated 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
Image document

EB4EB: A Framework for Reflexive Event-B

Peter Riviere , Neeraj Kumar Singh , Yamine Aït-Ameur
26th 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 Model

Yamine Aït-Ameur , Mickael Baron
International 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 data

Yamine Aït-Ameur , Gerry Radack
ISO, 2009
Books hal-03368897v1

Making explicit domain knowledge in formal system development

Yamine Aït-Ameur , Dominique Méry
Science 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 Method

Yamine Aït-Ameur , Mickael Baron , Nadjet Kamel , Jean-Marc Mota
International 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 substitution

Guillaume Babin , Yamine Aït-Ameur , Marc Pantel
Romanovsky, 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, Proceedings

Ladjel Bellatreche , Oscar Pastor , Jesús Manuel Almendros-Jiménez , Yamine Aït-Ameur
6th 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
Image document

Persistent Meta-Modeling Systems as Heterogeneous Model Repositories

Youness Bazhar , Yassine Ouhammou , Yamine Aït-Ameur , Emmanuel Grolleau , Stéphane Jean
3rd 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 Implementation

Eric Sardet , Guy Pierra , H. Murayama , Y. Oodake , Yamine Aït-Ameur
Proc. 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 CO2

Nabil Belaid , Idir Aït-Sadoune , Yamine Aït-Ameur , Jean-François Rainaud , Stéphane Jean
Le 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 B

Linda Mohand-Oussaïd , Idir Aït-Sadoune , Yamine Aït-Ameur
1st 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
Image document

An Ontology-based approach for exchanging data between heterogeneous database systems

Mourad Mimoune , Guy Pierra , Yamine Ait-Ameur
5th International Conference on Enterprise Information Systems (ICEIS 2003), Apr 2003, Angers, France. pp.512-524
Conference papers hal-03759383v1
Image document

Using the B formal approach for incremental specification design of interactive systems

Yamine Aït-Ameur , Patrick Girard , Francis Jambon
Engineering 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 Numbers

Yamine Aït-Ameur
Science 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 Approximation

Guillaume Dupont , Yamine Aït-Ameur , Marc Pantel , Neeraj Singh
19th 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 Validation

Yamine Aït-Ameur , Frédéric Boniol , Virginie Wiels
ISoLA 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
Image document

Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B

Guillaume Dupont , Yamine Ait-Ameur , Neeraj Kumar Singh , Marc Pantel
Science of Computer Programming, 2022, 216, pp.102765. ⟨10.1016/j.scico.2021.102765⟩
Journal articles hal-03513847v1

Animating Event B Models by Formal Data Models

Idir Aït-Sadoune , Yamine Aït-Ameur
International 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 FLUID

Neeraj Kumar Singh , Yamine Aït-Ameur , Ismail Mendil , Dominique Méry , David Navarre , et al.
Journal of Software: Evolution and Process, In press, ⟨10.1002/smr.2439⟩
Journal articles hal-03617603v1

Expression, Analyse, et Evaluation de propriétés Ergonomiques

Karim Chebieb , Djamila Mansour , Yamine Aït-Ameur
Proc. International Symposium on Programming and Systems (ISPS 2001), 2001, Alger, Algérie
Conference papers hal-03674058v1
Image document

A Refinement Based Method for Developing Distributed Protocols

Paulius Stankaitis , Alexei Iliasov , Yamine Aït-Ameur , Tsutomou Kobayashi , Fuyuki Ishikawa , et al.
19th 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 processus

Yamine Aït-Ameur
Proc. 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 Models

David Simon Zayas , Anne Monceaux , Yamine Aït-Ameur
Proc. 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-B

Idir Aït-Sadoune , Yamine Aït-Ameur
International 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