High-Integrity, Complex, Large, Software and Electronic Systems

Bate, Iain John (Principal investigator)
Kolovos, Dimitris (Co-investigator)
McDermid, John Alexander (Co-investigator)

Computer Science

Project: Research project (funded) › Research

Status	Finished
Effective start/end date	1/07/19 → 30/06/23

10 Conference contribution
6 Article

Exploring complex models with picto web
Yohannis, A., Kolovos, D. & García-Domínguez, A., Jan 2024, In: Science of Computer Programming. 232, 7 p., 103037.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Optimally ordering IDK classifiers subject to deadlines
Baruah, S., Burns, A., Davis, R. I. & Wu, Y., 1 Mar 2023, In: Real-Time Systems. 59, 34 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Scheduling Classifiers for Real-Time Hazard Perception Considering Functional Uncertainty
Abdelzaher, T. F., Baruah, S., Bate, I. J., Burns, A., Davis, R. I. & Hu, Y., 6 Jun 2023, RTNS '23: Proceedings of the 31st International Conference on Real-Time Networks and Systems. ACM, p. 143-154 12 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File

Data Set Real-Time Systems Survey
Akesson, B. (Creator), Nasri, M. (Other), Nelissen, G. (Other), Altmeyer, S. (Other) & Davis, R. I. (Other), University of Amsterdam , 16 Sept 2021
DOI: https://doi.org/10.21942/uva.13117709.v3
Dataset