Olga Petrovska

13 papers C 2Journal 1Unranked 9
YearRankTypeTitle / Venue / Authors
2026 — conf
Propaganda or Exposure? A Video-Based Group Assessment Exploring Ethics in a Fictional Technological Society.
CEP
Olga Petrovska, Casey Hopkins
2025 — conf
Assessing Software Engineering Students' Analytical Skills in the Era of Generative AI.
CEP
Olga Petrovska, Rebecca Pearsall, Lee Clift
2025 — conf
GenAI Integration in Upper-Level Computing Courses.
ITiCSE (2)
Dennis J. Bouvier, Bruno Pereira Cipriano, Richard Glassey, Raymond Pettit, Emma Anderson, Anastasiia Birillo, Ryan E. Dougherty, Orit Hazzan, Olga Petrovska, Nuno Pombo, Ebrahim Rahimi, Charanya Ramakrishnan, Alexander Steinmaurer, Shubbhi Taneja, Muhammad Usman, Annapurna Vadaparty, Govindha Ramaiah Yeluripati
2025 — conf
Integrating Socially Responsible Computing Competencies in Computer Science and Software Engineering Education.
CEP
Oana Andrei, Syed Waqar Nabi, Matthew Barr, Olga Petrovska
2025 — conf
Learning without Limits: Analysing the Usage of Generative AI in a Summative Assessment.
CEP
Lee Clift, Olga Petrovska
2025 — conf
The Rest of the Robots: Generative AI in Post-introductory Computing Education.
ITiCSE-WGR
Dennis J. Bouvier, Bruno Pereira Cipriano, Richard Glassey, Olga Petrovska, Emma Anderson, Anastasiia Birillo, Ryan E. Dougherty, Raymond Pettit, Nuno Pombo, Ebrahim Rahimi, Charanya Ramakrishnan, Alexander Steinmaurer, Shubbhi Taneja, Muhammad Usman, Annapurna Vadaparty
2025 — conf
Video in Assessments for Soft Skill Development and Evaluation.
UKICER
Olga Petrovska, Lee Clift, Filippos Pantekis
2024 — conf
Incorporating Generative AI into Software Development Education.
CEP
Olga Petrovska, Lee Clift, Faron Moller, Rebecca Pearsall
2023 — conf
Generative AI in Software Development Education: Insights from a Degree Apprenticeship Programme.
UKICER
Olga Petrovska, Lee Clift, Faron Moller
2022 J jnl
Report on BCTCS 2022.
Bull. EATCS
Olga Petrovska, Monika Seisenberger
2021 — —
Enhanced realizability interpretation for program extraction
Olga Petrovska
2020 C conf
Prawf: An Interactive Proof System for Program Extraction.
CiE
Ulrich Berger, Olga Petrovska, Hideki Tsuiki
2018 C conf
Optimized Program Extraction for Induction and Coinduction.
CiE
Ulrich Berger, Olga Petrovska