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.

  • 5 Similar Profiles
Modeling languages Engineering & Materials Science
Application programming interfaces (API) Engineering & Materials Science
Semantics Engineering & Materials Science
DSL Engineering & Materials Science
Real time systems Engineering & Materials Science
Computer programming Engineering & Materials Science
Clocks Engineering & Materials Science
Aging of materials Engineering & Materials Science

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

Projects 2014 2018

Research Output 2014 2017

  • 4 Conference contribution
  • 3 Article
  • 1 Chapter (peer-reviewed)

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. Association for Computing Machinery, Inc

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Formal Analysis
Object-oriented
Language
Computer programming
Semantics

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 proceedingChapter (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 Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. Ferreira Pires, L., Hammoudi, S. & Selic, B. (eds.). Porto (Portugal), Vol. 1, p. 569-576

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

DSL
Internet of things
Application programming interfaces (API)
Interoperability
Semantics

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 proceedingConference contribution

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

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Modeling languages
Product development
Software engineering
Automation
Productivity

Press / Media

Software technologies: Applications and foundations (STAF 2014)

Moussa Amrani

27/03/14

1 item of media coverage

Press/Media: Expert Comment