Projects per year
Fingerprint Dive into the research topics where Research Group on the Foundations of Computer Science is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
Testing
Engineering & Materials Science
Model checking
Engineering & Materials Science
Specifications
Engineering & Materials Science
Semantics
Engineering & Materials Science
Explosions
Engineering & Materials Science
Real time systems
Engineering & Materials Science
Sampling
Engineering & Materials Science
Quality assurance
Engineering & Materials Science
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Profiles
Maxime Cordy
- Research Group on the Foundations of Computer Science
- Faculty of Computer Science
- Namur Digital Institute
Person: Scientific Staff researcher with a Term Contract, Scientific Staff FNRS Scholar
Projects 1999 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
Project: Research
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
Research Output 1991 2019
AbsCon: A Test Concretizer for Model-based Testing
Vanhecke, J., Devroey, X. & Perrouin, G., 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019. IEEE, (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open Access
File
Testing
Black-box testing
Application programming interfaces (API)
Customizing Adversarial Machine Learning to test Deep Learning techniques
Temple, P., Perrouin, G., Frenay, B. & Schobbens, P-Y., 28 May 2019.Research output: Contribution to conference › Paper
File
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
Activities 2011 2019
NASA Formal Methodos 2019
James Jerson Ortiz Vega (Speaker)7 May 2019 → 9 May 2019
Activity: Talk or presentation types › Oral presentation
Connected and Automated Driving
Pierre-Yves Schobbens (Participant)2 Apr 2019 → 3 Apr 2019
Activity: Participating in or organising an event types › Participation in conference
Vivre la Ville : (dé)construire la Smart city
Pierre-Yves Schobbens (Participant), Claire Lobet-Maris (Organiser), Anthony Simonofski (Organiser), Benoît Vanderose (Speaker), Yves Poullet (Speaker), Bruno Dumas (Contributor)28 Mar 2019
Activity: Participating in or organising an event types › Participation to a Symposium, a study Day
Prizes
Most Influential Paper Award
Pierre-Yves Schobbens (Recipient), Patrick Heymans (Recipient), Jean-Christophe Trigaux (Recipient) & Yves Bontemps (Recipient), 15 Sep 2016
Prize: National/international honour
Requirements engineering
Semantics
Press / Media
17th IFIP international conference on coordination models and languages (COORDINATION 2015)
19/01/15
1 item of media coverage
Press/Media: Expert Comment
6th international workshop on formal methods and analysis in spl engineering (FMSPLE 2015)
Maxime Cordy & Patrick Heymans
20/10/14
1 item of media coverage
Press/Media: Expert Comment
10th international IFIP workshop on semantic web and web semantics (SWWS 2014)
14/06/14
1 item of media coverage
Press/Media: Expert Comment
Student theses
Applications de la programmation déclarative au problème de planification des visites médicales des Services de Promotion de la Santé à l'Ecole
Author: Rwanyindo, C., 22 Jun 2019Supervisor: Jacquet, J. (Supervisor)
Student thesis: Master types › Master in Computer science
File
Automatic Test Generation for Data-driven Applications
Author: Marcozzi, M., 24 Oct 2014Supervisor: Vanhoof, W. (Supervisor), Habra, N. (Jury), Hainaut, J. (Jury), Englebert, V. (Jury), WIJSEN, J. (External person) (Jury) & Serebrenik, A. (External person) (Jury)
Student thesis: Doc types › Doctor of Sciences
Behavioural model-based testing of software product lines
Author: Devroey, X., 30 Aug 2017Supervisor: Schobbens, P. (Supervisor), Heymans, P. (Supervisor), Englebert, V. (President), Baudry, B. (External person) (Jury), Cohen, M. B. (External person) (Jury), Legay, A. (Jury) & Perrouin, G. (Jury)
Student thesis: Doc types › Doctor of Sciences
File