If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Moussa Amrani is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 14 Similar Profiles
Semantics Engineering & Materials Science
Application programming interfaces (API) Engineering & Materials Science
Real time systems Engineering & Materials Science
Clocks Engineering & Materials Science
DSL Engineering & Materials Science
Formal Analysis Mathematics
Taxonomies Engineering & Materials Science
Modal Logic Mathematics

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

Projects 2014 2022

Research Output 2014 2019

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

MLv: A distributed real-time modal logic

Ortiz Vega, J. J., Amrani, M. & Schobbens, P. Y., 23 May 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).

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

Modal Logic
Labeled Transition System
Semantics
Real-time
Clocks
16 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 Aug 2018, p. 325-332. 8 p.

Research output: Contribution to conferencePaper

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

Formal Analysis
Computer programming
Object-oriented
Semantics
Modeling Language
19 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).

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

DSL
Application programming interfaces (API)
Interoperability
Semantics
Concretes

Press / Media

Software technologies: Applications and foundations (STAF 2014)

Moussa Amrani

27/03/14

1 item of Media coverage

Press/Media: Expert Comment