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.
- 8 Similar Profiles
Application programming interfaces (API)
Engineering & Materials Science
DSL
Engineering & Materials Science
Formal Analysis
Mathematics
Real time systems
Engineering & Materials Science
Computer programming
Engineering & Materials Science
Semantics
Engineering & Materials Science
Object-oriented
Mathematics
Clocks
Engineering & Materials Science
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects 2014 2018
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 2017
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 PressResearch 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 9th NASA Formal Methods Symposium NFM 2017 . SpringerResearch 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 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-576Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
DSL
Application programming interfaces (API)
Interoperability
Semantics
Concretes
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-29Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference 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 PressResearch output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Modeling languages
Product development
Software engineering
Automation
Productivity
Press / Media
Software technologies: Applications and foundations (STAF 2014)
27/03/14
1 item of media coverage
Press/Media: Expert Comment