Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Résultat de recherche 2014 2019

  • 13 Citations
  • 2 h-Index
  • 5 Article dans les actes d'une conférence/un colloque
  • 4 Article
  • 1 Chapitre (revu par des pairs)
2019

MLv: A distributed real-time modal logic

Ortiz Vega, J. J., Amrani, M. & Schobbens, P. Y., 23 mai 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Badger, J. M. & Rozier, K. Y. (eds.). Springer Verlag, p. 19-35 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 11460 LNCS).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Modal Logic
Labeled Transition System
Semantics
Real-time
Clocks
2018
19 Downloads (Pure)

Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda

Ortiz Vega, J. J., Perrouin, G., Amrani, M. & Schobbens, P-Y., 2 août 2018, p. 325-332. 8 p.

Résultats de recherche: Contribution à un événement scientifique (non publié)Article

Accès ouvert
File
Taxonomies
Testing
Specifications
Costs
2017

Formal analysis of object-oriented mograms

Amrani, M. & Schobbens, P. Y., 18 juin 2017, Proceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017. ACM Press, p. 1-6 6 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Formal Analysis
Computer programming
Object-oriented
Semantics
Modeling Language
20 Downloads (Pure)

Multi-timed Bisimulation for Distributed Timed Automata

Ortiz Vega, J. J., Schobbens, P. & Amrani, M., 2017, NASA Formal Methods - 9th International Symposium, NFM 2017 Moffett Field, Proceedings. Davies, M., Kahsai, T. & Barrett, C. (eds.). Springer, p. 52-67 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 10227 LNCS).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)

Accès ouvert
File
Real time systems
Clocks
Computability and decidability
Explosions

Towards User-centric DSLs to Manage IoT Systems

Amrani, M., Gilson, F., Debieche, A. & Englebert, V., févr. 2017, MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. Pires, L. F., Selic, B. & Hammoudi, S. (eds.). Porto (Portugal), Vol 2017-January. p. 569-576 8 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

DSL
Application programming interfaces (API)
Interoperability
Semantics
Concretes
2016
46 Downloads (Pure)

A Model-Driven Engineering Approach for the Well-Being of Ageing People

Koshima, A., Englebert, V., Amrani, M., Debieche, A. & Wakjira, A., 2016, Advances in Conceptual Modeling: ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14–17, 2016, Proceedings. Springer, p. 21-29

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

File
Application programming interfaces (API)
Aging of materials
Health care
Concretes
Specifications

Featured Model Types: Towards Systematic Reuse in Modelling Language Engineering

Perrouin, G., Amrani, M., Acher, M., Legay, A. & Schobbens, P-Y., 2016, 8th Workshop on Modelling in Software Engineering (MiSE’2016). Austin: ACM Press

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Modeling languages
Product development
Software engineering
Automation
Productivity

FourthWorkshop on the globalization of modeling languages (GEMOC 2016)

Deantoni, J., Syriani, E., Amrani, M., Knapp, A. & Gray, J., 2016, Dans : CEUR Workshop Proceedings. 1731, p. 1-7 7 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Large scale systems
Feedback
Modeling languages

Real-time model-driven engineering: An overview

Amrani, M. & Schobbens, P. Y., 2016, Dans : CEUR Workshop Proceedings. 1693, p. 18-27 10 p.

Résultats de recherche: Contribution à un journal/une revueArticle

2014

Report on the third workshop on verification of model transformations (VOLT 2014)

Amrani, M., Syriani, E., Wimmer, M., Bill, R., Gogolla, M., Hermann, F. & Lano, K., 1 janv. 2014, Dans : CEUR Workshop Proceedings. 1325, p. 1-9 9 p.

Résultats de recherche: Contribution à un journal/une revueArticle