**Interpreting Models of Social Group Interactions in Meetings with Probabilistic Model Checking**. *Oana Andrei and Gabriel Murray.* In proceedings of the ACM ICMI workshop "Group Interaction Frontiers in Technology" (GIFT'18), Boulder, CO, USA, 16 Oct 2018.

[.pdf]

**Data-driven modelling and probabilistic analysis of interactive software usage**. *Oana Andrei and Muffy Calder.* Journal of Logical and Algebraic Methods in Programming, 100:195 - 214, 2018.

[.pdf]

**Temporal Analytics for Software Usage Models**. *Oana Andrei and Muffy Calder.* In Antonio Cerone and Marco Roveri, editors, Software Engineering and Formal Methods, volume 10729 of Lecture Notes in Computer Science, pages 9-24. Springer International Publishing, 2017.

[.pdf]

**Probabilistic Formal Analysis of App Usage to Inform Redesign**. *Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison, and Mattias Rost. * In proceedings of *iFM'16*, volume 9681, pages 115--129. Lecture Notes in Computer Science, Springer, 2016.

[.pdf]

**Probabilistic Model Checking of DTMC Models of User Activity Patterns**. *Oana Andrei, Muffy Calder, Matthew Higgs, Mark Girolami.* In proceedings of *QEST'14*, volume 8657, pages 138--153. Lecture Notes in Computer Science, Springer, 2014.

[arXiv]

**Runtime Verification for Biochemical Programs**.
* Oana Andrei and Hélène Kirchner.* In proceedings of *the 1st International Workshop on Hybrid Autonomous Systems (HAS'11)*. Electronic Notes in Theoretical Computer Science, vol. 297, pages 27--46, 2013.

**Trend-based Analysis of a Population Model of the AKAP Scaffold Protein**. *Oana Andrei and Muffy Calder.* Transactions on Computational Systems Biology XIV, LNBI, vol. 7625, pp. 1-26, Springer, 2012.

**PORGY: Strategy-Driven Interactive Transformation of Graphs**. *Oana Andrei, Maribel Fernandez, Helene Kirchner, Guy Melancon, Olivier Namet and Bruno Pinaud.* In proceedings of *the 6th International Workshop on Computing with Terms and Graphs (TERMGRAPH'11)*, volume 48, pages 54--68. EPTCS, 2011.

**From species to pathway and tissue as process**. *Muffy Calder, Oana Andrei, Andrea Degasperi and Robin Donaldson.* In proceedings of *Cmputational Methods in Systems Biology (CMSB'10)*, volume 6109, pages 1--2. Lecture Notes in Computer Science, 2010.

**A Model and Analysis of the AKAP Scaffold**. *Oana Andrei and Muffy Calder.* In proceedings of *the 1st International Workshop on Interactions between Computer Science and Biology (CS2Bio'10)*, volume 268, pages 3--15. Electronic Notes in Theoretical Computer Science, 2010.

[.pdf]

**A Port Graph Calculus for Autonomic Computing and Invariant Verification**. *Oana Andrei and Hélène Kirchner.* In proceedings of *the 5th International Workshop on Computing with Terms and Graphs (TERMGRAPH'09)*, volume 253(4), page 17--38. Electronic Notes in Theoretical Computer Science, 2009. Invited paper.

[HAL]

**A Higher-Order Graph Calculus for Autonomic Computing**. * Oana Andrei and Hélène Kirchner.* In proceedings of *Graph Theory, Computational Intelligence and Thought*, volume 5420 of Lecture Notes in Computer Science, pages 15--26, 2009. Invited paper.

[HAL]

**Strategy-Based Proof Calculus for Membrane Systems**. *Oana Andrei and Dorel Lucanu.* In *Proceedings of the 7th International Workshop on Rewriting Logic and its Applications (WRLA'08)*, volume 238(3), pages 23--43. Electronic Notes in Theoretical Computer Science, 2009.

**Patterns for Maude Metalanguage Applications**. *Eugen-Ioan Goriac, Georgiana Caltais, Dorel Lucanu, Oana Andrei and Gheorghe Grigoras.* In *Proceedings of the 7th International Workshop on Rewriting Logic and its Applications (WRLA'08)*, volume 238(3), pages 121--138. Electronic Notes in Theoretical Computer Science, 2009.

**Rewriting Calculus for Graphs: Applications to Biology and Autonomous Systems**. *Oana Andrei.* PhD thesis defended on the 5th of November, 2008. Institut National Polytechnique de Lorraine, Nancy, France. Advisor: Hélène Kirchner.

[HAL] [.pdf]
[slides.pdf]

**A Biochemical Calculus Based on Strategic Graph Rewriting**. *Oana Andrei and Hélène Kirchner.* Short communication with poster in the *3rd International Conference on Algebraic Biology (AB)*, Austria, July 2008.

[HAL]

**Strategic port graph rewriting for autonomic computing**. *Oana Andrei and Hélène Kirchner.* In *the 4th Taiwanese-French Conference on Information Technology (TFIT)*, Taipei, Taiwan, March 2008. Invited paper.

[HAL] [poster.pdf]

**Graph Rewriting and Strategies for Modeling Biochemical Networks**. *Oana Andrei and Hélène Kirchner.* In * SYNASC '07: Proceedings of the 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (Workshop on Natural Computing and Applications)*, pages 407--414. IEEE, 2008.

[HAL]

**A Rewriting Calculus for Multigraphs with Ports**. *Oana Andrei and Hélène Kirchner.* In * Proceedings of the 8th International Workshop on Rule-Based Programming (RULE), 2007*, volume 219, pages 67--82. Electronic Notes in Theoretical Computer Science, 2008.

[HAL]

**A rewriting logic framework for operational semantics of membrane systems**. *Oana Andrei, Gabriel Ciobanu and Dorel Lucanu.* Theoretical Computer Science, 373(3):163 -- 181, 2007.

[.pdf]

**Expressing Control Mechanisms in P systems by Rewriting Strategies**. *Oana Andrei, Gabriel Ciobanu and Dorel Lucanu.* In * the 7th International Workshop of Membrane Computing (WMC 2006)*, Leiden, The Netherlands, volume 4361 of Lecture Notes in Computer Science, pages 154--169. Springer, 2006.

**Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application**. *Oana Andrei, Liliana Ibanescu and Hélène Kirchner.* In *Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday*, volume 4060 of Lecture Notes in Computer Science, pages 194--215. Springer, 2006. Invited paper.

**Operational Semantics and Rewriting Logic in Membrane Computing**. *Oana Andrei, Dorel Lucanu and Gabriel Ciobanu.* In *Proceedings of the Second Workshop on Structural Operational Semantics (SOS 2005)*, volume 156, pages 57--78. Electronic Notes in Theoretical Computer Science, 2006.

**Strategies and Tactics in Operational Semantics**. *Oana Andrei, Gabriel Ciobanu and Dorel Lucanu.* Technical Report TR 06-01, "Al.I.Cuza" University of Iasi, Faculty of Computer Science, 2006.

[.pdf]

**Structural Operational Semantics of P Systems**. *Oana Andrei, Gabriel Ciobanu and Dorel Lucanu.* In proceedings of the 6th International Workshop Membrane Computing (WMC 2005), Vienna, Austria, volume 3850 of Lecture Notes in Computer Science, pages 31--48. Springer, 2005. Invited paper.

**Executable Specifications of P Systems**. *Oana Andrei, Dorel Lucanu and Gabriel Ciobanu.* In proceedings of the 5th International Workshop Membrane Computing (WMC 2004), Milan, Italy, volume 3365 of Lecture Notes in Computer Science, pages 126--145. Springer, 2004