Kelly Androutsopoulos

发表

An alternative characterization of weak order dependence

Mark Harman, David Clark, Torben Amtoft, 2010, Inf. Process. Lett..

Kevin Lano, Kelly Androutsopoulos, Pauline Kan, 2000, ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods.

Refinement Patterns for UML

David Clark, Kevin Lano, Kelly Androutsopoulos, 2005, Electron. Notes Theor. Comput. Sci..

From Implicit Specifications to Explicit Designs in Reactive System Development

David Clark, Kevin Lano, Kelly Androutsopoulos, 2002, IFM.

State-based model slicing: A survey

Mark Harman, David Clark, Jens Krinke, 2013, CSUR.

Concurrency and Real time specifications in UML

David M. Clark, Kevin Lano, Kelly Androutsopoulos, 2006 .

Blekinge Institute of Technology Research Report 2002:06. Formalising Inter-model Consistency of the UML

David M. Clark, Kevin Lano, Kelly Androutsopoulos, 2002 .

UML to B: Formal Verification of Object-Oriented Models

David Clark, Kevin Lano, Kelly Androutsopoulos, 2004, IFM.

Correctly Slicing Extended Finite State Machines

Torben Amtoft, Kelly Androutsopoulos, David Clark, 2020, From Lambda Calculus to Cybersecurity Through Program Analysis.

Amorphous Slicing of Extended Finite State Machines

Mark Harman, David Clark, Robert M. Hierons, 2013, IEEE Transactions on Software Engineering.

Design and Verification of Automation Systems Using RSDS

David M. Clark, Kevin Lano, Kelly Androutsopoulos, 2001 .

MIRTO: an Open-Source Robotic Platform for Education

Kelly Androutsopoulos, Martin Loomes, Michael Margolis, 2018, ECSEE.

Concurrency Specification in UML-RSDS

David M. Clark, Kevin Lano, Kelly Androutsopoulos, 2006 .

Reactive System Refinement of Distributed Systems in B

Kevin Lano, Kelly Androutsopoulos, 1999, IFM.

Control Dependence for Extended Finite State Machines

Mark Harman, David Clark, Kelly Androutsopoulos, 2009, FASE.

RSDS, a Subset of UML with Precise Semantics

David Clark, Kevin Lano, Kelly Androutsopoulos, 2003, Obj. Logiciel Base données Réseaux.

Invariant-Based Synthesis of Fault-Tolerant Systems

David Clark, Kevin Lano, Kelly Androutsopoulos, 2000, FTRTFT.

Towards security monitoring patterns

George Spanoudakis, Kelly Androutsopoulos, Christos Kloukinas, 2007, SAC '07.

Reactive System Specification and Verification in RSDS

Kevin Lano, Kelly Androutsopoulos, K. Lano, 2001 .

UML '02 Workshop on Consistency of UML Models

David M. Clark, Kevin Lano, Kelly Androutsopoulos, 2002 .

A4.D3.1 - V1 of Dynamic Validation Prototype

George Spanoudakis, Kelly Androutsopoulos, Khaled Mahbub, 2006 .

Evelyne Lutton, Nathalie Perrot, Alberto Tonda: Evolutionary algorithms for food science and technology

Kelly Androutsopoulos, 2018, Genetic Programming and Evolvable Machines.

LECT NOTE COMPUT SCI

David M. Clark, Kevin Lano, Kelly Androutsopoulos, 2000 .

Formal Specification and Verification of Railway Systems using UML

David M. Clark, Kevin Lano, Kelly Androutsopoulos, 2003, FME 2003.

Safety and Security Analysis of Object-Oriented Models

David Clark, Kevin Lano, Kelly Androutsopoulos, 2002, SAFECOMP.

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

Mark Harman, David Clark, Robert M. Hierons, 2014, ICSE.

A theoretical and empirical study of EFSM dependence

Mark Harman, Kelly Androutsopoulos, Zheng Li, 2009, 2009 IEEE International Conference on Software Maintenance.

Structuring and Design of Reactive Systems Using RSDS and B

David Clark, Kevin Lano, Kelly Androutsopoulos, 2000, FASE.

Model projection: simplifying models in response to restricting the environment

Mark Harman, David Clark, Kevin Lano, 2011, 2011 33rd International Conference on Software Engineering (ICSE).

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

Kelly Androutsopoulos, Martin Loomes, Michael Margolis, 2014, ELS.

Slicing Extended Finite State Machines-TR-0804 ∗

Mark Harman, David Clark, Kelly Androutsopoulos, 2008 .