Oana M. ANDREI

Temporal Analytics for Software Usage Models. Oana Andrei and Muffy Calder. In proceedings of DataMod'17, to appear in LNCS.
[.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

Last modified: Wed 23 Aug 2017 14:03:12 BST