Kelly Androutsopoulos

Publication Activity (10 Years)

Years Active: 1999-2020
Publications (10 Years): 3

Top Topics

Robotic Platform

Conditional Entropy

Finite State Machines

Computer Science

Top Venues

ACM Comput. Surv.

Genet. Program. Evolvable Mach.

Publications

Torben Amtoft, Kelly Androutsopoulos, David Clark
Correctly Slicing Extended Finite State Machines. From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Kelly Androutsopoulos
Evelyne Lutton, Nathalie Perrot, Alberto Tonda: Evolutionary algorithms for food science and technology - Wiley, 2016, 182 pp, ISBN: 978-1-119-13683-5. Genet. Program. Evolvable Mach. 20 (1) (2019)
Kelly Androutsopoulos, L. Aristodemou, Jaap Boender, Michele Bottone, Edward Currie, I. El-Aroussi, Bob Fields, L. Gheri, Nikos Gorogiannis, M. Heeney, Michael Micheletti, Martin J. Loomes, Michael Margolis, M. Petridis, A. Piermarteri, Giuseppe Primiero, Franco Raimondi, Nick Weldin
MIRTO: an Open-Source Robotic Platform for Education. ECSEE (2018)
Kelly Androutsopoulos, David Clark, Haitao Dan, Robert M. Hierons, Mark Harman
An analysis of the relationship between conditional entropy and failed error propagation in software testing. ICSE (2014)
Franco Raimondi, Giuseppe Primiero, Kelly Androutsopoulos, Nikos Gorogiannis, Martin J. Loomes, Michael Margolis, Puja Varsani, Nick Weldin, Alex Zivanovic
A Racket-Based Robot to Teach First-Year Computer Science. ELS (2014)
Kelly Androutsopoulos, David Clark, Mark Harman, Robert M. Hierons, Zheng Li, Laurence Tratt
Amorphous Slicing of Extended Finite State Machines. IEEE Trans. Software Eng. 39 (7) (2013)
Kelly Androutsopoulos, David Clark, Mark Harman, Jens Krinke, Laurence Tratt
State-based model slicing: A survey. ACM Comput. Surv. 45 (4) (2013)
Kelly Androutsopoulos, David W. Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, Zheng Li
Model projection: simplifying models in response to restricting the environment. ICSE (2011)
Torben Amtoft, Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li
An alternative characterization of weak order dependence. Inf. Process. Lett. 110 (21) (2010)
Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt
Control Dependence for Extended Finite State Machines. FASE (2009)
Kelly Androutsopoulos, Nicolas Gold, Mark Harman, Zheng Li, Laurence Tratt
A theoretical and empirical study of EFSM dependence. ICSM (2009)
George Spanoudakis, Christos Kloukinas, Kelly Androutsopoulos
Towards security monitoring patterns. SAC (2007)
Kevin Lano, Kelly Androutsopoulos, David Clark
Refinement Patterns for UML. Electron. Notes Theor. Comput. Sci. 137 (2) (2005)
Kevin Lano, David Clark, Kelly Androutsopoulos
UML to B: Formal Verification of Object-Oriented Models. IFM (2004)
Kevin Lano, David Clark, Kelly Androutsopoulos
RSDS, a Subset of UML with Precise Semantics. Obj. Logiciel Base données Réseaux 9 (4) (2003)
Kevin Lano, David Clark, Kelly Androutsopoulos
Safety and Security Analysis of Object-Oriented Models. SAFECOMP (2002)
Kevin Lano, David Clark, Kelly Androutsopoulos
From Implicit Specifications to Explicit Designs in Reactive System Development. IFM (2002)
Kevin Lano, Kelly Androutsopoulos, Pauline Kan
Structuring Reactive Systems in B AMN. ICFEM (2000)
Kevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan
Invariant-Based Synthesis of Fault-Tolerant Systems. FTRTFT (2000)
Kevin Lano, Kelly Androutsopoulos, David Clark
Structuring and Design of Reactive Systems Using RSDS and B. FASE (2000)
Kevin Lano, Kelly Androutsopoulos
Reactive System Refinement of Distributed Systems in B. IFM (1999)