Kelly Androutsopoulos

24 papers A* 2B 6C 1Misc 1Journal 5Unranked 9
YearRankTypeTitle / Venue / Authors
2025 — conf
A Privacy-Preserving Framework Enhancing University Student Engagement Using Machine Learning and Gamification.
HCI (81)
Kelly Androutsopoulos, Can Baskent, Florian Kammüller, Giacomo Nalli, Luca Piras, Halil Yetgin
2025 — conf
Lessons from Adopting a Competency-based Assessment Approach for an Introductory Programming Module.
ITiCSE (2)
Kelly Androutsopoulos, Michael Heeney, Serengul Smith, Mae Antonette Ticar
2024 — conf
Implementing a Digital Twin for a Robotic Platform to Support Large-Scale Coding Classes.
ICPEC
Michael Heeney, Kelly Androutsopoulos, Franco Raimondi
2020 — conf
Correctly Slicing Extended Finite State Machines.
From Lambda Calculus to Cybersecurity Through Program Analysis
Torben Amtoft, Kelly Androutsopoulos, David Clark
2019 J jnl
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.
Kelly Androutsopoulos
2018 — conf
MIRTO: an Open-Source Robotic Platform for Education.
ECSEE
Kelly Androutsopoulos, L. Aristodemou, Jaap Boender, Michele Bottone, Edward Currie, I. El-Aroussi, Bob Fields, L. Gheri, Nikos Gorogiannis, Miltos Heeney, Michael Micheletti, Martin J. Loomes, Michael Margolis, M. Petridis, A. Piermarteri, Giuseppe Primiero, Franco Raimondi, Nick Weldin
2014 — conf
A Racket-Based Robot to Teach First-Year Computer Science.
ELS
Franco Raimondi, Giuseppe Primiero, Kelly Androutsopoulos, Nikos Gorogiannis, Martin J. Loomes, Michael Margolis, Puja Varsani, Nick Weldin, Alex Zivanovic
2014 A* conf
An analysis of the relationship between conditional entropy and failed error propagation in software testing.
ICSE
Kelly Androutsopoulos, David Clark, Haitao Dan, Robert M. Hierons, Mark Harman
2013 J jnl
Amorphous Slicing of Extended Finite State Machines.
IEEE Trans. Software Eng.
Kelly Androutsopoulos, David Clark, Mark Harman, Robert M. Hierons, Zheng Li, Laurence Tratt
2013 J jnl
State-based model slicing: A survey.
ACM Comput. Surv.
Kelly Androutsopoulos, David Clark, Mark Harman, Jens Krinke, Laurence Tratt
2011 A* conf
Model projection: simplifying models in response to restricting the environment.
ICSE
Kelly Androutsopoulos, David W. Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, Zheng Li
2010 J jnl
An alternative characterization of weak order dependence.
Inf. Process. Lett.
Torben Amtoft, Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li
2009 — conf
A theoretical and empirical study of EFSM dependence.
ICSM
Kelly Androutsopoulos, Nicolas Gold, Mark Harman, Zheng Li, Laurence Tratt
2009 B conf
Control Dependence for Extended Finite State Machines.
FASE
Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt
2007 Misc conf
Towards security monitoring patterns.
SAC
George Spanoudakis, Christos Kloukinas, Kelly Androutsopoulos
2005 — conf
Refinement Patterns for UML.
REFINE
Kevin Lano, Kelly Androutsopoulos, David Clark
2004 B conf
UML to B: Formal Verification of Object-Oriented Models.
IFM
Kevin Lano, David Clark, Kelly Androutsopoulos
2003 J jnl
RSDS, a Subset of UML with Precise Semantics.
Obj. Logiciel Base données Réseaux
Kevin Lano, David Clark, Kelly Androutsopoulos
2002 B conf
From Implicit Specifications to Explicit Designs in Reactive System Development.
IFM
Kevin Lano, David Clark, Kelly Androutsopoulos
2002 B conf
Safety and Security Analysis of Object-Oriented Models.
SAFECOMP
Kevin Lano, David Clark, Kelly Androutsopoulos
2000 — conf
Invariant-Based Synthesis of Fault-Tolerant Systems.
FTRTFT
Kevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan
2000 C conf
Structuring Reactive Systems in B AMN.
ICFEM
Kevin Lano, Kelly Androutsopoulos, Pauline Kan
2000 B conf
Structuring and Design of Reactive Systems Using RSDS and B.
FASE
Kevin Lano, Kelly Androutsopoulos, David Clark
1999 B conf
Reactive System Refinement of Distributed Systems in B.
IFM
Kevin Lano, Kelly Androutsopoulos