Travelled to:1 × Canada
1 × Finland
1 × Germany
1 × India
1 × Korea
1 × USA
3 × United Kingdom
Collaborated with:K.Lano D.Clark M.Harman Z.Li L.Tratt N.Gold G.Spanoudakis C.Kloukinas H.Dan R.M.Hierons D.Binkley
Talks about:system (4) reactiv (3) model (3) design (2) depend (2) relationship (1) distribut (1) structur (1) simplifi (1) restrict (1)
Person: Kelly Androutsopoulos
DBLP: Androutsopoulos:Kelly
Facilitated 1 volumes:
PrCoContributed to:
20142011
2009
2009
2007
2004200220001999Wrote 9 papers:
- ICSE-2014-AndroutsopoulosCDHH #analysis #fault #testing
- An analysis of the relationship between conditional entropy and failed error propagation in software testing (KA, DC, HD, RMH, MH), pp. 573–583.
- ICSE-2011-AndroutsopoulosBCGHLL #modelling #strict
- Model projection: simplifying models in response to restricting the environment (KA, DB, DC, NG, MH, KL, ZL), pp. 291–300.
- FASE-2009-AndroutsopoulosCHLT #dependence #finite #state machine
- Control Dependence for Extended Finite State Machines (KA, DC, MH, ZL, LT), pp. 216–230.
- ICSM-2009-AndroutsopoulosGHLT #dependence #empirical
- A theoretical and empirical study of EFSM dependence (KA, NG, MH, ZL, LT), pp. 287–296.
- SAC-2007-SpanoudakisKA #monitoring #security #towards
- Towards security monitoring patterns (GS, CK, KA), pp. 1518–1525.
- IFM-2004-LanoCA #modelling #object-oriented #uml #verification
- UML to B: Formal Verification of Object-Oriented Models (KL, DC, KA), pp. 187–206.
- IFM-2002-LanoCA #design #development #specification
- From Implicit Specifications to Explicit Designs in Reactive System Development (KL, DC, KA), pp. 49–68.
- FASE-2000-LanoAC #design #using
- Structuring and Design of Reactive Systems Using RSDS and B (KL, KA, DC), pp. 97–111.
- IFM-1999-LanoA #distributed #refinement
- Reactive System Refinement of Distributed Systems in B (KL, KA), pp. 415–434.