OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Aït-Ameur, Yamine"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 32.

Article

Chebieb, Abdelkrim and Aït-Ameur, Yamine. A formal model for plastic human computer interfaces. (2018) Frontiers of Computer Science, 12 (2). 351-375. ISSN 2095-2228

Ait Oubelli, Lynda and Aït-Ameur, Yamine and Bedouet, Judicaël and Kevarc, Romain and Chausserie-Lapree, Benoit and Larzul, Beatrice. A scalable model based approach for data model evolution: Application to space missions data models. (2018) Computer Languages, Systems and Structures, 54. 358-385. ISSN 1477-8424

Farah, Zoubeyr and Aït-Ameur, Yamine and Ouederni, Meriem and Tari, Kamel. A correct-by-construction model for asynchronously communicating systems. (2017) International Journal on Software Tools for Technology Transfer, 19 (4). 465-485. ISSN 1433-2779

Aït-Ameur, Yamine and Baron, Mickael and Bellatreche, Ladjel and Jean, Stéphane and Sardet, Eric. Ontologies in engineering: the OntoDB/OntoQL platform. (2017) Soft Computing, 21 (2). 369-389. ISSN 1432-7643

Hacid, Kahina and Aït-Ameur, Yamine. Handling Domain Knowledge in Design and Analysis of Engineering Models. (2017) Electronic Communications of the EASST, 74. 1-21. ISSN 1863-2122

Boniol, Frédéric and Wiels, Virginie and Aït-Ameur, Yamine and Schewe, Klaus-Dieter. The landing gear case study: challenges and experiments. (2016) International Journal on Software Tools for Technology Transfer, 19 (2). 133-140. ISSN 1433-2779

Aït-Ameur, Yamine and Méry, Dominique. Making explicit domain knowledge in formal system development. (2016) Science of Computer Programming, 121. 100-127. ISSN 0167-6423

Jean, Stéphane and Aït-Ameur, Yamine and Pierra, Guy. OntoQL: An Alternative to Semantic Web Query Languages. (2015) International Journal of Semantic Computing, 9 (1). 105-137. ISSN 1793-351X

Conference or Workshop Item

Stankaitis, Paulius and Iliasov, Alexei and Aït-Ameur, Yamine and Kobayashi, Tsutomou and Ishikawa, Fuyuki and Romanowski, Alexander. A Refinement Based Method for Developing Distributed Protocols. (2019) In: 19th IEEE International Symposium on High Assurance Systems Engineering (HASE 2019), 3 January 2019 - 5 January 2019 (Hangzhou, China).

Halchin, Alexandra and Aït-Ameur, Yamine and Singh, Neeraj Kumar and Feliachi, Abderrahmane and Ordioni, Julien. Certified embedding of B models in an integrated verification framework. (2019) In: 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE), 29 July 2019 - 31 July 2019 (Guilin, China).

Singh, Neeraj Kumar and Aït-Ameur, Yamine and Mèry, Dominique. Formal Ontology Driven Model Refactoring. (2018) In: 23rd IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2018), 12 December 2018 - 14 December 2018 (Melbourne, Australia).

Singh, Neeraj Kumar and Aït-Ameur, Yamine and Mery, Dominique. Formal Ontology Driven Model Refactoring. (2018) In: 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), 12 December 2018 - 14 December 2018 (Melbourne, Australia).

Benyagoub, Sarah and Aït-Ameur, Yamine and Ouederni, Meriem and Mashkoor, Atif. Handling Reparation in Incremental Construction of Realizable Conversation Protocols. (2018) In: 8th International Conference On Model and Data Engineering (MEDI 2018), 24 October 2018 - 26 October 2018 (Marrakech, Morocco).

Dupont, Guillaume and Aït-Ameur, Yamine and Pantel, Marc and Singh, Neeraj Kumar. Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B. (2018) In: International Conference Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), 5 June 2018 - 8 June 2018 (Southampton, United Kingdom).

Benyagoub, Sarah and Ouederni, Meriem and Aït-Ameur, Yamine and Mashkoor, Atif. Incremental Construction of Realizable Choreographies. (2018) In: 11th International Symposium on NASA Formal Methods (NFM 2018), 17 April 2018 - 19 April 2018 (Newport News, United States).

Ge, Ning and Dieumegard, Arnaud and Jenn, Eric and D'Ausbourg, Bruno and Aït-Ameur, Yamine. Formal development process of safety critical embedded human machine interface systems. (2018) In: TASE (11th International Symposium on Theoretical Aspects of Software Engineering), 13 September 2017 - 15 September 2017, Sophia Antipolis (France) (Sophia Antipolis, France).

Halchin, Alexandra and Feliachi, Abderrahmane and Singh, Neeraj Kumar and Aït-Ameur, Yamine and Ordioni, Julien. B-PERFect - Applying the PERF Approach to B Based System Developments. (2017) In: International Conference Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (RSSRail 2017), 14 November 2017 - 16 November 2017 (Pristoia, Italy).

Ait Oubelli, Lynda and Aït-Ameur, Yamine and Bedouet, Judicael and Chausserie-Lapree, Benoit and Larzul, Beatrice. Automating the Evolution of Data Models for Space Missions. A Model-Based Approach. (2017) In: 7th International Conference on Model and Data Engineering (MEDI 2017), 4 October 2017 - 6 October 2017 (Barcelone, Spain).

Singh, Neeraj Kumar and Aït-Ameur, Yamine and Pantel, Marc and Dieumegard, Arnaud and Jenn, Eric. Stepwise formal modeling and verification of Self-Adaptive systems with Event-B. The automatic rover protection case study. (2017) In: ICECCS 2016 (21th International Conference on Engineering of Complex Computer Systems), 6 November 2016 - 8 November 2016 (Dubaï, United Arab Emirates).

Hacid, Kahina and Aït-Ameur, Yamine. Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach. (2016) In: International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), 10 October 2016 - 14 October 2016 (Corfu, Greece).

Benyagoub, Sarah and Ouederni, Meriem and Aït-Ameur, Yamine. Towards correct Evolution of Conversation Protocols. (2016) In: 10th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS), 6 October 2016 - 7 October 2016 (Tunis, Tunisia).

Benyagoub, Sarah and Ouederni, Meriem and Singh, Neeraj Kumar and Aït-Ameur, Yamine. Correct-by-Construction Evolution of Realisable Conversation Protocols. (2016) In: MEDI 2016 - Model and Data Engineering - 6th International Conference, 21 September 2016 - 23 September 2016 (Almería, Spain).

Hacid, Kahina and Aït-Ameur, Yamine. Annotation of Engineering Models by References to Domain Ontologies. (2016) In: International Conference on Model and Data Engineering (MEDI 2016), 21 September 2016 - 23 September 2016 (Almeria, Spain).

Benyagoub, Sarah and Ouederni, Meriem and Singh, Neeraj Kumar and Aït-Ameur, Yamine. Correct-by-Construction Evolution of Realisable Conversation Protocols. (2016) In: International Conference on Model and Data Engineering (MEDI 2016), 21 September 2016 - 23 September 2016 (Almeria, Spain).

Chebieb, Abdelkrim and Aït-Ameur, Yamine. Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies. (2015) In: 9th International Symposium on Theoretical Aspects of Software Engineering (TASE 2015), 12 September 2015 - 14 September 2015 (Nanjing, China).

Mohand Oussaid, Linda and Ait Sadoune, Idir and Aït-Ameur, Yamine and Ahmed-Nacer, Mohamed. Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation. (2014) In: AAAI Spring Symposium (AAAI 2014), 24 March 2014 - 26 March 2014 (Palo Alto, CA, United States).

Aït-Ameur, Yamine and Gibson, J. Paul and Mery, Dominique. On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems. (2014) In: 6th International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), 8 October 2014 - 11 October 2014 (Corfu, Greece).

Khoury, Selma and Bellatreche, Ladjel and Jean, Stéphane and Aït-Ameur, Yamine. Requirements Driven Data Warehouse Design: We Can Go Further. (2014) In: International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), 8 October 2014 - 11 October 2014 (Corfu, Greece).

Chakroun, Chedlia and Bellatreche, Ladjel and Aït-Ameur, Yamine and Berkani, Nabila and Jean, Stéphane. Be careful when designing semantic databases: Data and concepts redundancy. (2013) In: 7th IEEE International Conference on Research Challenges in Information Science (RCIS 2013), 29 May 2013 - 31 May 2013 (Paris, France).

Bazhar, Youness and Aït-Ameur, Yamine and Jean, Stéphane. BeMoRe: a Repository for Handling Models Behaviors. (2013) In: 25th International Conference on Software Engineering and Knowledge Engineering (SEKE 2013), 27 June 2013 - 29 June 2013 (Boston, MA, United States).

Chakroun, Chedlia and Bellatreche, Ladjel and Aït-Ameur, Yamine. It is Time to propose a Complete Methodology for Designing Semantic Databases. (2013) In: 9th International Conference on Web Information Systems and Technologies (WEBIST 2013), 8 May 2013 - 10 May 2013 (Aachen, Germany).

Bazhar, Youness and Ouhamou, Yassine and Aït-Ameur, Yamine and Grolleau, Emmanuel and Jean, Stéphane. Persistent Meta-Modeling Systems as Heterogeneous Model Repositories. (2013) In: 3rd International Conference on Model and Data Engineering International Conference (MEDI 2013), 25 September 2013 - 27 September 2013 (Amantea, Italy).

This list was generated on Wed Apr 1 23:41:03 2020 CEST.