Oana Andrei - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 28 from 28

2024

The Development of Students' Professional Competencies on a Work-Based Software Engineering ProgramMatthew Barr, Oana Andrei, Alistair Morrison, Syed Waqar Nabi. sigcse 2024: 81-87 [doi]

2023

Widening Access to Higher Education through Degree-level Apprenticeships in Software EngineeringMatthew Barr, Oana Andrei, Maria Kallia. mcs 2023: 1-8 [doi]

2022

A Practice Enquiry Design to Investigate How Pair Programming Can Help with Constructing AutomataOana Andrei. ukicer 2022: [doi]

On Students' Experiences with Algorithm Tracing using Pair ProgrammingOana Andrei, Syed Waqar Nabi. icer 2023: 43 [doi]

2021

Balancing Turn-Based Games With Chained Strategy GenerationWilliam Kavanagh, Alice Miller 0001, Gethin Norman, Oana Andrei. tciaig, 13(2):113-122, 2021. [doi]

2018

Interpreting Models of Social Group Interactions in Meetings with Probabilistic Model CheckingOana Andrei, Gabriel Murray. icmi 2018: [doi]

Data-driven modelling and probabilistic analysis of interactive software usageOana Andrei, Muffy Calder. jlp, 100:195-214, 2018. [doi]

2017

Temporal Analytics for Software Usage ModelsOana Andrei, Muffy Calder. SEFM 2018: 9-24 [doi]

PORGY : a Visual Analytics Platform for System Modelling and Analysis Based on Graph RewritingBruno Pinaud, Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Jason Vallet. f-egc 2017: 473-476 [doi]

2016

Probabilistic Formal Analysis of App Usage to Inform RedesignOana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison, Mattias Rost. IFM 2016: 115-129 [doi]

2014

Probabilistic Model Checking of DTMC Models of User Activity PatternsOana Andrei, Muffy Calder, Matthew Higgs, Mark Girolami. qest 2014: 138-153 [doi]

2013

Runtime Verification for Biochemical ProgramsOana Andrei, Hélène Kirchner. ENTCS, 297:27-46, 2013. [doi]

2012

Trend-Based Analysis of a Population Model of the AKAP Scaffold ProteinOana Andrei, Muffy Calder. TCSB, 14:1-25, 2012. [doi]

2010

A Model and Analysis of the AKAP ScaffoldOana Andrei, Muffy Calder. ENTCS, 268:3-15, 2010. [doi]

From species to pathway and tissue as processMuffy Calder, Oana Andrei, Andrea Degasperi, Robin Donaldson. cmsb 2010: 1-2 [doi]

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, National Polytechnic Institute of Lorraine, Nancy, France, 2008. [doi]

A Rewriting Calculus for Multigraphs with PortsOana Andrei, Hélène Kirchner. ENTCS, 219:67-82, 2008. [doi]

2007

Graph Rewriting and Strategies for Modeling Biochemical NetworksOana Andrei, Hélène Kirchner. synasc 2007: 407-414 [doi]

A rewriting logic framework for operational semantics of membrane systemsOana Andrei, Gabriel Ciobanu, Dorel Lucanu. TCS, 373(3):163-181, 2007. [doi]

2006

Non-intrusive Formal Methods and Strategic Rewriting for a Chemical ApplicationOana Andrei, Liliana Ibanescu, Hélène Kirchner. BIRTHDAY 2006: 194-215 [doi]

Expressing Control Mechanisms of Membranes by Rewriting StrategiesOana Andrei, Gabriel Ciobanu, Dorel Lucanu. membrane 2006: 154-169 [doi]

Operational Semantics and Rewriting Logic in Membrane ComputingOana Andrei, Dorel Lucanu, Gabriel Ciobanu. ENTCS, 156(1):57-78, 2006. [doi]

2005

Structural Operational Semantics of P SystemsOana Andrei, Gabriel Ciobanu, Dorel Lucanu. membrane 2006: 31-48 [doi]

2004

Executable Specifications of P SystemsOana Andrei, Gabriel Ciobanu, Dorel Lucanu. membrane 2005: 126-145 [doi]

Sign in or sign up to see more results.

runs on WebDSL