Oana Andrei

According to our database, Oana Andrei authored at least 33 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Alk: A Formal-Methods-based Educational Platform for Enhancing Algorithmic Thinking.

Alexandru-Ioan Lungu, Vlad Teodorescu, Andrei Zaborila, Oana Andrei, Dorel Lucanu

Sci. Ann. Comput. Sci., 2024

LLM-aided Pair Programming for Algorithm Tracing.

Oana Andrei, Zoltan Sojtory

Proceedings of the 2024 Conference on United Kingdom & Ireland Computing Education Research, 2024

The Development of Students' Professional Competencies on a Work-Based Software Engineering Program.

Matthew Barr, Oana Andrei, Alistair Morrison, Syed Waqar Nabi

Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

StEVe: A Rational Verification Tool for Stackelberg Security Games.

Surasak Phetmanee, Michele Sevegnani, Oana Andrei

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024

2023

Probabilistic Formal Modelling to Uncover and Interpret Interaction Styles.

Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison

CoRR, 2023

On Students' Experiences with Algorithm Tracing using Pair Programming.

Oana Andrei, Syed Waqar Nabi

Proceedings of the 2023 ACM Conference on International Computing Education Research, 2023

Widening Access to Higher Education through Degree-level Apprenticeships in Software Engineering.

Matthew Barr, Oana Andrei, Maria Kallia

Proceedings of the IEEE Frontiers in Education Conference, 2023

2022

A Practice Enquiry Design to Investigate How Pair Programming Can Help with Constructing Automata.

Oana Andrei

Proceedings of the UKICER 2022: The United Kingdom and Ireland Computing Education Research Conference, Dublin, Ireland, September 1, 2022

2021

Balancing Turn-Based Games With Chained Strategy Generation.

William Kavanagh, Alice Miller, Gethin Norman, Oana Andrei

IEEE Trans. Games, 2021

2018

Data-driven modelling and probabilistic analysis of interactive software usage.

Oana Andrei, Muffy Calder

J. Log. Algebraic Methods Program., 2018

Interpreting Models of Social Group Interactions in Meetings with Probabilistic Model Checking.

Oana Andrei, Gabriel Murray

Proceedings of the Group Interaction Frontiers in Technology Workshop, 2018

2017

Temporal Analytics for Software Usage Models.

Oana Andrei, Muffy Calder

Proceedings of the Software Engineering and Formal Methods, 2017

PORGY : a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting.

Bruno Pinaud, Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Jason Vallet

Proceedings of the 17ème Journées Francophones Extraction et Gestion des Connaissances, 2017

2016

Probabilistic Formal Analysis of App Usage to Inform Redesign.

Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison, Mattias Rost

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2014

Probabilistic Model Checking of DTMC Models of User Activity Patterns.

Oana Andrei, Muffy Calder, Matthew Higgs, Mark A. Girolami

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

2012

Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein.

Oana Andrei, Muffy Calder

Trans. Comp. Sys. Biology, 2012

2011

Runtime Verification for Biochemical Programs.

Oana Andrei, Hélène Kirchner

Proceedings of the First Workshop on Hybrid Autonomous Systems, 2011

PORGY: Strategy-Driven Interactive Transformation of Graphs

Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Olivier Namet, Bruno Pinaud

Proceedings of the Proceedings 6th International Workshop on Computing with Terms and Graphs, 2011

2010

A Model and Analysis of the AKAP Scaffold.

Oana Andrei, Muffy Calder

Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology, 2010

From species to pathway and tissue as process.

Muffy Calder, Oana Andrei, Andrea Degasperi, Robin Donaldson

Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010

2009

A Port Graph Calculus for Autonomic Computing and Invariant Verification.

Oana Andrei, Hélène Kirchner

Proceedings of the Fifth International Workshop on Computing with Terms and Graphs, 2009

A Higher-Order Graph Calculus for Autonomic Computing.

Oana Andrei, Hélène Kirchner

Proceedings of the Graph Theory, 2009

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

PhD thesis, 2008

Patterns for Maude Metalanguage Applications.

Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

Strategy-Based Proof Calculus for Membrane Systems.

Oana Andrei, Dorel Lucanu

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

2007

A rewriting logic framework for operational semantics of membrane systems.

Oana Andrei, Gabriel Ciobanu, Dorel Lucanu

Theor. Comput. Sci., 2007

A Rewriting Calculus for Multigraphs with Ports.

Oana Andrei, Hélène Kirchner

Proceedings of the Eighth International Workshop on Rule Based Programming, 2007

Graph Rewriting and Strategies for Modeling Biochemical Networks.

Oana Andrei, Hélène Kirchner

Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007

2006

Expressing Control Mechanisms of Membranes by Rewriting Strategies.

Oana Andrei, Gabriel Ciobanu, Dorel Lucanu

Proceedings of the Membrane Computing, 7th International Workshop, 2006

Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application.

Oana Andrei, Liliana Ibanescu, Hélène Kirchner

Proceedings of the Algebra, Meaning, and Computation, 2006

2005

Operational Semantics and Rewriting Logic in Membrane Computing.

Oana Andrei, Dorel Lucanu, Gabriel Ciobanu

Proceedings of the Second Workshop on Structural Operational Semantics, 2005

Structural Operational Semantics of P Systems.

Oana Andrei, Gabriel Ciobanu, Dorel Lucanu

Proceedings of the Membrane Computing, 6th International Workshop, 2005

2004

Executable Specifications of P Systems.

Oana Andrei, Gabriel Ciobanu, Dorel Lucanu

Proceedings of the Membrane Computing, 5th International Workshop, 2004