Oana Andrei - RankMe

45 papers B 2C 1Misc 1Journal 10Unranked 30

Year	Rank	Type	Title / 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