Dr Oana Andrei

  • Research Fellow (Computing Science)

telephone: 01413305457
email: Oana.Andrei@glasgow.ac.uk

Biography

Dr Oana Andrei is a Research Fellow in the School of Computing Science at the University of Glasgow and a member of the Formal Analysis, Theory and Algorithm section. She currently works as named researcher on the EPSRC programme grants Science of Sensor Systems Software (S4) with Muffy Calder as line manager. She had a major technical contribution to the EPSRC programme grant A populations approach to ubicomp systems design (2011 -- 2017) where she defined a novel temporal analytics methodology for temporal usage models of mobile applications. In 2008 she obtained a PhD in computer science from INPL and INRIA, Nancy, France.

Personal site: http://www.dcs.gla.ac.uk/~oandrei

Research interests

Fundamental aspects of theoretical computer science, mainly formal specification and verification of concurrent and stochastic systems, and compositional reasoning. Application areas include: theories and models for population-based analysis of ubiquitous systems and user-intensive software (e.g., mobile applications); foundational conceptual frameworks, theories, models, logics and reasoning techniques needed for analysis of capabilities, constraints and requirements of sensor system software; component-based design; biochemical networks and systems biology; autonomic computing.

Teaching

  • Modelling Reactive Systems 4 (MRS4) -- Probabilistic Model Checking

Publications

List by: Type | Date

Jump to: 2017 | 2016 | 2014 | 2013 | 2012 | 2011 | 2010
Number of items: 9.

2017

Pinaud, B., Andrei, O., Fernández, M., Kirchner, H., Melançon, G. and Vallet, J. (2017) PORGY: a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting. Atelier Visualisation d'informations, interaction et fouille de données, Conférence Extraction et Gestion de Connaissances 2017, Grenoble, France, 24 Jan 2017. pp. 473-476.

Andrei, O. and Calder, M. (2017) Temporal analytics for software usage models. Lecture Notes in Computer Science, (In Press)

2016

Andrei, O., Calder, M. , Chalmers, M., Morrison, A. and Rost, M. (2016) Probabilistic formal analysis of app usage to inform redesign. Lecture Notes in Computer Science, 9681, pp. 115-129. (doi:10.1007/978-3-319-33693-0_8)

2014

Andrei, O., Calder, M., Higgs, M. and Girolami, M. (2014) Probabilistic model checking of DTMC models of user activity patterns. Lecture Notes in Computer Science, 8657, pp. 138-153. (doi:10.1007/978-3-319-10696-0_11)

2013

Andrei, O. and Kirchner, H. (2013) Runtime verification for biochemical programs. Electronic Notes in Theoretical Computer Science, 297, pp. 27-46. (doi:10.1016/j.entcs.2013.12.003)

2012

Andrei, O., Calder, M. and Miller, A. (2012) Role-based interface automata. In: 4th International Workshop on Foundations of Interface Technologies, Tallinn, Estonia, 25 Mar 2012,

Andrei, O. and Calder, M. (2012) Trend-based analysis of a population model of the AKAP scaffold protein. Lecture Notes in Computer Science, 7625, pp. 1-25. (doi:10.1007/978-3-642-35524-0_1)

2011

Andrei, O., Fernandez, M., Kirchner, H., Melancon, G., Namet, O. and Pinaud, B. (2011) PORGY: strategy-driven interactive transformation of graphs. Electronic Proceedings in Theoretical Computer Science, 48, pp. 54-68. (doi:10.4204/EPTCS.48.7)

2010

Andrei, O. and Calder, M. (2010) A model and analysis of the AKAP scaffold. Electronic Notes in Theoretical Computer Science, 268, pp. 3-15. (doi:10.1016/j.entcs.2010.12.002)

This list was generated on Sun Oct 22 02:23:32 2017 BST.
Number of items: 9.

Articles

Andrei, O. and Calder, M. (2017) Temporal analytics for software usage models. Lecture Notes in Computer Science, (In Press)

Andrei, O., Calder, M. , Chalmers, M., Morrison, A. and Rost, M. (2016) Probabilistic formal analysis of app usage to inform redesign. Lecture Notes in Computer Science, 9681, pp. 115-129. (doi:10.1007/978-3-319-33693-0_8)

Andrei, O., Calder, M., Higgs, M. and Girolami, M. (2014) Probabilistic model checking of DTMC models of user activity patterns. Lecture Notes in Computer Science, 8657, pp. 138-153. (doi:10.1007/978-3-319-10696-0_11)

Andrei, O. and Kirchner, H. (2013) Runtime verification for biochemical programs. Electronic Notes in Theoretical Computer Science, 297, pp. 27-46. (doi:10.1016/j.entcs.2013.12.003)

Andrei, O. and Calder, M. (2012) Trend-based analysis of a population model of the AKAP scaffold protein. Lecture Notes in Computer Science, 7625, pp. 1-25. (doi:10.1007/978-3-642-35524-0_1)

Andrei, O., Fernandez, M., Kirchner, H., Melancon, G., Namet, O. and Pinaud, B. (2011) PORGY: strategy-driven interactive transformation of graphs. Electronic Proceedings in Theoretical Computer Science, 48, pp. 54-68. (doi:10.4204/EPTCS.48.7)

Andrei, O. and Calder, M. (2010) A model and analysis of the AKAP scaffold. Electronic Notes in Theoretical Computer Science, 268, pp. 3-15. (doi:10.1016/j.entcs.2010.12.002)

Conference or Workshop Item

Pinaud, B., Andrei, O., Fernández, M., Kirchner, H., Melançon, G. and Vallet, J. (2017) PORGY: a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting. Atelier Visualisation d'informations, interaction et fouille de données, Conférence Extraction et Gestion de Connaissances 2017, Grenoble, France, 24 Jan 2017. pp. 473-476.

Conference Proceedings

Andrei, O., Calder, M. and Miller, A. (2012) Role-based interface automata. In: 4th International Workshop on Foundations of Interface Technologies, Tallinn, Estonia, 25 Mar 2012,

This list was generated on Sun Oct 22 02:23:32 2017 BST.