I am currently responsible for the following modules:
2D Computer Graphics and Simulation (level 5)
Mobile Devices and their Applications (level 6)
Group Development Project (Level 7)
I am also the caretaker a bunch of extra-curricular activities such as game jams and programming competitions including the magnificent Three Thing Game (https://threethinggame.com) and a local site for the Global Game Jam.
Conference Proceeding
Journal Article
Failure Mode Reasoning in Model Based Safety Analysis
Jahanian, H., Parker, D., Zeller, M., McIver, A., & Papadopoulos, Y. (2020). Failure Mode Reasoning in Model Based Safety Analysis. Lecture notes in computer science, 12297 LNCS, 130-145. https://doi.org/10.1007/978-3-030-58920-2_9
An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems
Bressan, L., de Oliveira, A. L., Campos, F., Papadopoulos, Y., & Parker, D. (2020). An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems. Lecture notes in computer science, 12297 LNCS, 179-193. https://doi.org/10.1007/978-3-030-58920-2_12
Variability management in safety-critical systems design and dependability analysis
de Oliveira, A. L., Braga, R., Masiero, P., Parker, D., Papadopoulos, Y., Habli, I., & Kelly, T. (2019). Variability management in safety-critical systems design and dependability analysis. Journal of software : evolution and process, 31(8), Article e2202. https://doi.org/10.1002/smr.2202
Variability management in safety-critical systems design & dependability analysis
De Oliveira, A. L., Braga, R., Masiero, P., Parker, D., Papadopoulos, Y., Habli, I., & Kelly, T. (2019). Variability management in safety-critical systems design & dependability analysis. Journal of software : evolution and process, 31(8), Article e2202. https://doi.org/10.1002/smr.2202
Research interests
I am a member of the Dependable and Intelligent Systems research group in the Department of Computer Science and Technology.
As part of my research in to safety-critical systems I am a co-inventor of HiP-HOPS, a state-of-the-art model-based safety and dependability analysis and optimisation tool.
I am particularly interested in the use of meta-heuristic optimisation algorithms to improve characteristics of safety-critical systems.