Projects per year
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.
- 13 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 2021
THCS: Testing Highly-configurable Systems
Perrouin, G., Schobbens, P., Amrani, M., Ortiz Vega, J. J. & Heymans, P.
1/01/18 → 31/12/19
Project: Research
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
Project: Research
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems
Schobbens, P., Heymans, P. & Amrani, M.
21/11/14 → 24/11/18
Project: Research
Research Output 2014 2019
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. 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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
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 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, 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 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
Press / Media
Software technologies: Applications and foundations (STAF 2014)
27/03/14
1 item of media coverage
Press/Media: Expert Comment