Oana Andrei

45 papers B 2C 1Misc 1Journal 10Unranked 30
YearRankTypeTitle / Venue / Authors
2025 — conf
A Plan for an ACM Task Force Working Group into the Ethical and Societal Impacts of Generative AI in Higher Computing Education.
ITiCSE (2)
Janice Mak, Joyce Nakatumba-Nabende, Alison Clear, Tony Clear, Ismaila Temitayo Sanusi, Judy Sheard, Lorenzo Angeli, Matthew Hale Rattigan, Oana Andrei, Samuel Mann, Solomon Sunday Oyelere, Stephen MacNeil, Tingting Zhu
2025 — conf
Assessing Work-Based Learning in the Senior Years of a Software Engineering Graduate Apprenticeship Program.
CSEE&T
Syed Waqar Nabi, Oana Andrei, Matthew Barr, Quintin I. Cutts, Joseph Maguire, Alistair Morrison, Jack Parkinson, Derek Somerville, Tim Storer
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
Navigating the Ethical and Societal Impacts of Generative AI in Higher Computing Education.
ITiCSE-WGR
Janice Mak, Joyce Nakatumba-Nabende, Tony Clear, Alison Clear, Ibrahim Albluwi, Oana Andrei, Lorenzo Angeli, Stephen MacNeil, Solomon Sunday Oyelere, Matthew Hale Rattigan, Judy Sheard, Tingting Zhu
2025 J jnl
Navigating the Ethical and Societal Impacts of Generative AI in Higher Computing Education.
CoRR
Janice Mak, Joyce Nakatumba-Nabende, Tony Clear, Alison Clear, Ibrahim Albluwi, Oana Andrei, Lorenzo Angeli, Stephen MacNeil, Solomon Sunday Oyelere, Matthew Hale Rattigan, Judy Sheard, Tingting Zhu
2025 — conf
Rational Verification in Repeated Security Games.
SAFECOMP (Workshops)
Surasak Phetmanee, Michele Sevegnani, Oana Andrei
2025 — conf
Same Structures, Different Settings: Exploring Computing Capital and Participation across Cultural Contexts.
Koli Calling
Thom Kunkeler, Matthew Barr, Maria Kallia, Oana Andrei, Xiaohan Li, Andrew Muncey, Aletta Nylén, Megan Venn-Wycherley
2025 — conf
The Development of Reflective Practice on a Work-Based Software Engineering Program: A Longitudinal Study.
CSEE&T
Matthew Barr, Syed Waqar Nabi, Oana Andrei
2025 J jnl
The Development of Reflective Practice on a Work-Based Software Engineering Program: A Longitudinal Study.
CoRR
Matthew Barr, Syed Waqar Nabi, Oana Andrei
2025 — conf
Understanding Skill Transfer Between University and Workplace Through Reflective Practice: A Software Engineering Work-Based Learning Experience.
ITiCSE (1)
Oana Andrei, Matthew Barr, Syed Waqar Nabi, Alistair Morrison
2024 J jnl
Alk: A Formal-Methods-based Educational Platform for Enhancing Algorithmic Thinking.
Sci. Ann. Comput. Sci.
Alexandru-Ioan Lungu, Vlad Teodorescu, Andrei Zaborila, Oana Andrei, Dorel Lucanu
2024 — conf
LLM-aided Pair Programming for Algorithm Tracing.
UKICER
Oana Andrei, Zoltan Sojtory
2024 B conf
StEVe: A Rational Verification Tool for Stackelberg Security Games.
IFM
Surasak Phetmanee, Michele Sevegnani, Oana Andrei
2024 — conf
The Development of Students' Professional Competencies on a Work-Based Software Engineering Program.
SIGCSE (1)
Matthew Barr, Oana Andrei, Alistair Morrison, Syed Waqar Nabi
2023 — conf
On Students' Experiences with Algorithm Tracing using Pair Programming.
ICER (2)
Oana Andrei, Syed Waqar Nabi
2023 J jnl
Probabilistic Formal Modelling to Uncover and Interpret Interaction Styles.
CoRR
Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison
2023 C conf
Widening Access to Higher Education through Degree-level Apprenticeships in Software Engineering.
FIE
Matthew Barr, Oana Andrei, Maria Kallia
2022 — conf
A Practice Enquiry Design to Investigate How Pair Programming Can Help with Constructing Automata.
UKICER
Oana Andrei
2021 J jnl
Balancing Turn-Based Games With Chained Strategy Generation.
IEEE Trans. Games
William Kavanagh, Alice Miller, Gethin Norman, Oana Andrei
2018 J jnl
Data-driven modelling and probabilistic analysis of interactive software usage.
J. Log. Algebraic Methods Program.
Oana Andrei, Muffy Calder
2018 — conf
Interpreting Models of Social Group Interactions in Meetings with Probabilistic Model Checking.
GIFT@ICMI
Oana Andrei, Gabriel Murray
2017 — conf
PORGY : a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting.
EGC
Bruno Pinaud, Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Jason Vallet
2017 — conf
Temporal Analytics for Software Usage Models.
SEFM Workshops
Oana Andrei, Muffy Calder
2016 B conf
Probabilistic Formal Analysis of App Usage to Inform Redesign.
IFM
Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison, Mattias Rost
2015 J jnl
Probabilistic Formal Analysis of App Usage to Inform Redesign.
CoRR
Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison, Mattias Rost
2014 — conf
Probabilistic Model Checking of DTMC Models of User Activity Patterns.
QEST
Oana Andrei, Muffy Calder, Matthew Higgs, Mark A. Girolami
2014 J jnl
Probabilistic Model Checking of DTMC Models of User Activity Patterns.
CoRR
Oana Andrei, Muffy Calder, Matthew Higgs, Mark A. Girolami
2012 J jnl
Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein.
Trans. Comp. Sys. Biology
Oana Andrei, Muffy Calder
2011 — conf
PORGY: Strategy-Driven Interactive Transformation of Graphs
TERMGRAPH
Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Olivier Namet, Bruno Pinaud
2011 — conf
Runtime Verification for Biochemical Programs.
Hybrid Autonomous Systems@ETAPS
Oana Andrei, Hélène Kirchner
2010 — conf
A Model and Analysis of the AKAP Scaffold.
CS2Bio
Oana Andrei, Muffy Calder
2010 — conf
From species to pathway and tissue as process.
CMSB
Muffy Calder, Oana Andrei, Andrea Degasperi, Robin Donaldson
2009 — conf
A Higher-Order Graph Calculus for Autonomic Computing.
Graph Theory, Computational Intelligence and Thought
Oana Andrei, Hélène Kirchner
2009 — conf
A Port Graph Calculus for Autonomic Computing and Invariant Verification.
TERMGRAPH@ETAPS
Oana Andrei, Hélène Kirchner
2008 — —
A Rewriting Calculus for Graphs: Applications to Biology and Autonomous Systems. (Un calcul de réécriture de graphes : applications à la biologie et aux systèmes autonomes).
Oana Andrei
2008 — conf
Patterns for Maude Metalanguage Applications.
WRLA
Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras
2008 — conf
Strategy-Based Proof Calculus for Membrane Systems.
WRLA
Oana Andrei, Dorel Lucanu
2007 — conf
A Rewriting Calculus for Multigraphs with Ports.
RULE@RDP
Oana Andrei, Hélène Kirchner
2007 J jnl
A rewriting logic framework for operational semantics of membrane systems.
Theor. Comput. Sci.
Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
2007 Misc conf
Graph Rewriting and Strategies for Modeling Biochemical Networks.
SYNASC
Oana Andrei, Hélène Kirchner
2006 — conf
Expressing Control Mechanisms of Membranes by Rewriting Strategies.
Workshop on Membrane Computing
Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
2006 — conf
Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application.
Essays Dedicated to Joseph A. Goguen
Oana Andrei, Liliana Ibanescu, Hélène Kirchner
2005 — conf
Operational Semantics and Rewriting Logic in Membrane Computing.
SOS@ICALP
Oana Andrei, Dorel Lucanu, Gabriel Ciobanu
2005 — conf
Structural Operational Semantics of P Systems.
Workshop on Membrane Computing
Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
2004 — conf
Executable Specifications of P Systems.
Workshop on Membrane Computing
Oana Andrei, Gabriel Ciobanu, Dorel Lucanu