Research output per year
Research output per year
Fingerprint
Dive into the research topics where Engineering of Software-Intensive Systems is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
Michel R.V. Chaudron
- Mathematics and Computer Science, Engineering of Software-Intensive Systems - Full Professor
- Mathematics and Computer Science, Software Engineering and Technology - Full Professor
- EAISI Foundational - Full Professor
- EAISI High Tech Systems - Full Professor
Person: HGL : Professor
-
Loek G.W.A. Cleophas
- Mathematics and Computer Science, Software Engineering and Technology
- Mathematics and Computer Science, Engineering of Software-Intensive Systems - Assistant Professor
Person: UD : Assistant Professor
-
Lars van den Haak, MSc
- Mathematics and Computer Science, Engineering of Software-Intensive Systems - Doctoral Candidate-TA
Person: OWP : University Teacher / Researcher
-
Alpinist: An Annotation-Aware GPU Program Optimizer
Şakar, Ö., Safari, M., Huisman, M. & Wijs, A., 2022, Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Fisman, D. & Rosu, G. (eds.). Springer, p. 332-352 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13244 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access -
Automatic Validation of Technical Requirements for a BIM model using Semantic Web Technologies
van den Bersselaar, E., Heinen, J. J., Chaudron, M. R. V. & Pauwels, P., 2022.Research output: Contribution to conference › Abstract › Academic
Open AccessFile -
Human values in software development artefacts: A case study on issue discussions in three Android applications
Nurwidyantoro, A., Shahin, M., Chaudron, M. R. V., Hussain, W., Shams, R., Perera, H., Oliver, G. & Whittle, J., Jan 2022, In: Information and Software Technology. 141, 16 p., 106731.Research output: Contribution to journal › Article › Academic › peer-review
Datasets
-
Lindholmen Dataset of UML Models
Chaudron, M. R. V. (Creator), Hebig, R. (Creator), Robles, G. (Creator) & Ho-Quang, T. (Creator), Personal, 2017
Dataset
Student theses
-
An exploration of methods for functional safety assessment of autonomous vehicles
Author: Singh, T. S., 12 Oct 2021Supervisor: Cleophas, L. G. W. A. (Supervisor 1) & Forrai, A. (External person) (External coach)
Student thesis: Master
File -
Characterizing Model Transformations Using Modal μ-calculus
Author: Chaki, R., 13 Oct 2021Supervisor: Wijs, A. (Supervisor 1)
Student thesis: Master
File -
SAT Simplification for Multi-core CPU Platforms
Author: Popescu, V., 1 Nov 2021Supervisor: Wijs, A. J. (Supervisor 1) & Osama, M. (Supervisor 2)
Student thesis: Master
File