Kelly Androutsopoulos

According to our database, Kelly Androutsopoulos authored at least 21 papers between 1999 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Correctly Slicing Extended Finite State Machines.

Torben Amtoft, Kelly Androutsopoulos, David Clark

Proceedings of the From Lambda Calculus to Cybersecurity Through Program Analysis, 2020

2019

Evelyne Lutton, Nathalie Perrot, Alberto Tonda: Evolutionary algorithms for food science and technology - Wiley, 2016, 182 pp, ISBN: 978-1-119-13683-5.

Kelly Androutsopoulos

Genet. Program. Evolvable Mach., 2019

2018

MIRTO: an Open-Source Robotic Platform for Education.

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

Proceedings of the 3rd European Conference of Software Engineering Education, 2018

2014

An analysis of the relationship between conditional entropy and failed error propagation in software testing.

Kelly Androutsopoulos, David Clark, Haitao Dan, Robert M. Hierons, Mark Harman

Proceedings of the 36th International Conference on Software Engineering, 2014

A Racket-Based Robot to Teach First-Year Computer Science.

Franco Raimondi, Giuseppe Primiero, Kelly Androutsopoulos, Nikos Gorogiannis, Martin J. Loomes, Michael Margolis, Puja Varsani, Nick Weldin, Alex Zivanovic

Proceedings of ELS 2014 - 7th European Lisp Symposium, Paris, France, May 5-6, 2014., 2014

2013

Amorphous Slicing of Extended Finite State Machines.

Kelly Androutsopoulos, David Clark, Mark Harman, Robert M. Hierons, Zheng Li, Laurence Tratt

IEEE Trans. Software Eng., 2013

State-based model slicing: A survey.

Kelly Androutsopoulos, David Clark, Mark Harman, Jens Krinke, Laurence Tratt

ACM Comput. Surv., 2013

2011

Model projection: simplifying models in response to restricting the environment.

Kelly Androutsopoulos, David W. Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, Zheng Li

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

An alternative characterization of weak order dependence.

Torben Amtoft, Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li

Inf. Process. Lett., 2010

2009

A theoretical and empirical study of EFSM dependence.

Kelly Androutsopoulos, Nicolas Gold, Mark Harman, Zheng Li, Laurence Tratt

Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009

Control Dependence for Extended Finite State Machines.

Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt

Proceedings of the Fundamental Approaches to Software Engineering, 2009

2007

Towards security monitoring patterns.

George Spanoudakis, Christos Kloukinas, Kelly Androutsopoulos

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

2005

Refinement Patterns for UML.

Kevin Lano, Kelly Androutsopoulos, David Clark

Proceedings of the REFINE 2005 Workshop, 2005

2004

UML to B: Formal Verification of Object-Oriented Models.

Kevin Lano, David Clark, Kelly Androutsopoulos

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003

RSDS, a Subset of UML with Precise Semantics.

Kevin Lano, David Clark, Kelly Androutsopoulos

Obj. Logiciel Base données Réseaux, 2003

2002

Safety and Security Analysis of Object-Oriented Models.

Kevin Lano, David Clark, Kelly Androutsopoulos

Proceedings of the Computer Safety, 2002

From Implicit Specifications to Explicit Designs in Reactive System Development.

Kevin Lano, David Clark, Kelly Androutsopoulos

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

2000

Structuring Reactive Systems in B AMN.

Kevin Lano, Kelly Androutsopoulos, Pauline Kan

Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

Invariant-Based Synthesis of Fault-Tolerant Systems.

Kevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

Structuring and Design of Reactive Systems Using RSDS and B.

Kevin Lano, Kelly Androutsopoulos, David Clark

Proceedings of the Fundamental Approaches to Software Engineering, 2000

1999

Reactive System Refinement of Distributed Systems in B.

Kevin Lano, Kelly Androutsopoulos

Proceedings of the Integrated Formal Methods, 1999