BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Androutsopoulos:Kelly

Facilitated 1 volumes:

ICMT 2010PrCo

Contributed to:

ICSE 20142014
ICSE 20112011
FASE 20092009
ICSM 20092009
SAC 20072007
IFM 20042004
IFM 20022002
FASE 20002000
IFM 19991999

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.