Oana Andrei

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 12

Top Venues

CoRR

J. Log. Algebraic Methods Program.

UKICER

SEFM Workshops

National Polytechnic Institute of Lorraine, Nancy, France (PHD)

Education History

National Polytechnic Institute of Lorraine, Nancy, France

PHD

Publications

Alexandru-Ioan Lungu, Vlad Teodorescu, Andrei Zaborila, Oana Andrei, Dorel Lucanu
Alk: A Formal-Methods-based Educational Platform for Enhancing Algorithmic Thinking. Sci. Ann. Comput. Sci. 34 (1) (2024)
Matthew Barr, Oana Andrei, Alistair Morrison, Syed Waqar Nabi
The Development of Students' Professional Competencies on a Work-Based Software Engineering Program. SIGCSE (1) (2024)
Matthew Barr, Oana Andrei, Maria Kallia
Widening Access to Higher Education through Degree-level Apprenticeships in Software Engineering. FIE (2023)
Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison
Probabilistic Formal Modelling to Uncover and Interpret Interaction Styles. CoRR (2023)
Oana Andrei, Syed Waqar Nabi
On Students' Experiences with Algorithm Tracing using Pair Programming. ICER (2) (2022)
Oana Andrei
A Practice Enquiry Design to Investigate How Pair Programming Can Help with Constructing Automata. UKICER (2022)
William Kavanagh, Alice Miller, Gethin Norman, Oana Andrei
Balancing Turn-Based Games With Chained Strategy Generation. IEEE Trans. Games 13 (2) (2021)
Oana Andrei, Muffy Calder
Data-driven modelling and probabilistic analysis of interactive software usage. J. Log. Algebraic Methods Program. 100 (2018)
Oana Andrei, Gabriel Murray
Interpreting Models of Social Group Interactions in Meetings with Probabilistic Model Checking. GIFT@ICMI (2018)
Bruno Pinaud, Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Jason Vallet
PORGY : a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting. EGC (2017)
Oana Andrei, Muffy Calder
Temporal Analytics for Software Usage Models. SEFM Workshops (2017)
Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison, Mattias Rost
Probabilistic Formal Analysis of App Usage to Inform Redesign. IFM (2016)
Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison, Mattias Rost
Probabilistic Formal Analysis of App Usage to Inform Redesign. CoRR (2015)
Oana Andrei, Muffy Calder, Matthew Higgs, Mark A. Girolami
Probabilistic Model Checking of DTMC Models of User Activity Patterns. QEST (2014)
Oana Andrei, Muffy Calder, Matthew Higgs, Mark A. Girolami
Probabilistic Model Checking of DTMC Models of User Activity Patterns. CoRR (2014)
Oana Andrei, Hélène Kirchner
Runtime Verification for Biochemical Programs. Electron. Notes Theor. Comput. Sci. 297 (2013)
Oana Andrei, Muffy Calder
Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein. Trans. Comp. Sys. Biology 14 (2012)
Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Olivier Namet, Bruno Pinaud
PORGY: Strategy-Driven Interactive Transformation of Graphs TERMGRAPH (2011)
Muffy Calder, Oana Andrei, Andrea Degasperi, Robin Donaldson
From species to pathway and tissue as process. CMSB (2010)
Oana Andrei, Muffy Calder
A Model and Analysis of the AKAP Scaffold. Electron. Notes Theor. Comput. Sci. 268 (2010)
Oana Andrei, Hélène Kirchner
A Higher-Order Graph Calculus for Autonomic Computing. Graph Theory, Computational Intelligence and Thought (2009)
Oana Andrei, Hélène Kirchner
A Port Graph Calculus for Autonomic Computing and Invariant Verification. Electron. Notes Theor. Comput. Sci. 253 (4) (2009)
Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei, Gheorghe Grigoras
Patterns for Maude Metalanguage Applications. WRLA (2008)
Oana Andrei, Dorel Lucanu
Strategy-Based Proof Calculus for Membrane Systems. WRLA (2008)
Oana Andrei, Hélène Kirchner
A Rewriting Calculus for Multigraphs with Ports. Electron. Notes Theor. Comput. Sci. 219 (2008)
Oana Andrei, Hélène Kirchner
Graph Rewriting and Strategies for Modeling Biochemical Networks. SYNASC (2007)
Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
A rewriting logic framework for operational semantics of membrane systems. Theor. Comput. Sci. 373 (3) (2007)
Oana Andrei, Dorel Lucanu, Gabriel Ciobanu
Operational Semantics and Rewriting Logic in Membrane Computing. Electron. Notes Theor. Comput. Sci. 156 (1) (2006)
Oana Andrei, Liliana Ibanescu, Hélène Kirchner
Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application. Essays Dedicated to Joseph A. Goguen (2006)
Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
Expressing Control Mechanisms of Membranes by Rewriting Strategies. Workshop on Membrane Computing (2006)
Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
Structural Operational Semantics of P Systems. Workshop on Membrane Computing (2005)
Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
Executable Specifications of P Systems. Workshop on Membrane Computing (2004)

Oana Andrei.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Oana Andrei