No photo of Moussa Amrani

View Scopus Profile

Moussa Amrani

  • Belgium

  • 5 Citations
  • 1 h-Index
20142018
If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 12 Similar Profiles
Application programming interfaces (API) Engineering & Materials Science
DSL Engineering & Materials Science
Formal Analysis Mathematics
Taxonomies Engineering & Materials Science
Real time systems Engineering & Materials Science
Computer programming Engineering & Materials Science
Semantics Engineering & Materials Science
Object-oriented Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2014 2018

MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems

Schobbens, P., Heymans, P. & Amrani, M.

21/11/14 → 24/11/18

Project: Research

MoCReTT: Model-Checking Real-Time Transformations

Amrani, M. & Schobbens, P.

1/10/14 → 30/09/16

Project: Research

Research Output 2014 2018

  • 5 Citations
  • 1 h-Index
  • 4 Conference contribution
  • 3 Article
  • 1 Chapter (peer-reviewed)
  • 1 Paper

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

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

Research output: Contribution to conference › Paper

Open Access
File
Taxonomies
Testing
Specifications
Costs

Formal analysis of object-oriented mograms

Amrani, M. & Schobbens, P. Y., 18 Jun 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.

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Formal Analysis
Computer programming
Object-oriented
Semantics
Modeling Language

Multi-timed Bisimulation for Distributed Timed Automata

Ortiz Vega, J. J., Schobbens, P. & Amrani, M., 2017, 9th NASA Formal Methods Symposium NFM 2017 . Springer

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter (peer-reviewed)

Open Access
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., Feb 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.

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

DSL
Application programming interfaces (API)
Interoperability
Semantics
Concretes

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

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

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

Press / Media

Software technologies: Applications and foundations (STAF 2014)

Moussa Amrani

27/03/14

1 item of media coverage

Press/Media: Expert Comment