Projets par année
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.
- 13 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 2021
VeriLearn: Verifying Learning Artificial Intelligence Systems
Heymans, P., Frenay, B., Schobbens, P., Temple, P., Nanfack, G., Amrani, M. & Bibal, A.
1/01/18 → 31/12/21
Projet: Recherche
THCS: Testing Highly-configurable Systems
Perrouin, G., Schobbens, P., Amrani, M., Ortiz Vega, J. J. & Heymans, P.
1/01/18 → 31/12/19
Projet: Recherche
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems
Schobbens, P., Heymans, P. & Amrani, M.
21/11/14 → 24/11/18
Projet: Recherche
Résultat de recherche 2014 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. Rozier, K. Y. & Badger, J. M. (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érence › Article dans les actes d'une conférence/un colloque
Modal Logic
Labeled Transition System
Semantics
Real-time
Clocks
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érence › Article dans les actes d'une conférence/un colloque
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, 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érence › Chapitre (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érence › Article dans les actes d'une conférence/un colloque
DSL
Application programming interfaces (API)
Interoperability
Semantics
Concretes
Presse/Médias
Software technologies: Applications and foundations (STAF 2014)
27/03/14
1 élément de couverture média
Presse/Médias: Commentaire d'expert