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

Empreinte digitale Examinez les sujets de recherche où Moussa Amrani est actif. Ces libellés de rubriques sont le fruit de recherches menées par cette personne. Ensemble, ils forment une empreinte digitale unique.

  • 15 Profils similaires
Semantics Ingénierie et Science des Matériaux
Application programming interfaces (API) Ingénierie et Science des Matériaux
Real time systems Ingénierie et Science des Matériaux
Clocks Ingénierie et Science des Matériaux
DSL Ingénierie et Science des Matériaux
Formal Analysis mathématiques
Taxonomies Ingénierie et Science des Matériaux
Modal Logic mathématiques

Réseau Récente collaboration externe au niveau du pays. Découvrez tous les détails en cliquant sur les points.

Projets 2014 2022

Résultat de recherche 2014 2019

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

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
17 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

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
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).

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

Activités 2019 2019

  • 1 Participation à un atelier/workshop, un séminaire, un cours

FOCUS Research Seminar

Wim Vanhoof (Organisateur), Jean-Marie Jacquet (Organisateur), Manel Barkallah (Membre du Comité d'Organisation), Gonzague Yernaux (Membre du Comité d'Organisation), Pierre-Yves Schobbens (Membre du Comité d'Organisation), James Jerson Ortiz Vega (Membre du Comité d'Organisation), Moussa Amrani (Membre du Comité d'Organisation), Isabelle Linden (Membre du Comité d'Organisation), Christian Colot (Membre du Comité d'Organisation)
6 déc. 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

Presse/Médias

Software technologies: Applications and foundations (STAF 2014)

Moussa Amrani

27/03/14

1 élément de Couverture média

Presse/Médias: Commentaire d'expert