Kelly Androutsopoulos

	2011
14		Kelly Androutsopoulos, David Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, Zheng Li: Model projection: simplifying models in response to restricting the environment. ICSE 2011: 291-300
	2010
13		Torben Amtoft, Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li: An alternative characterization of weak order dependence. Inf. Process. Lett. 110(21): 939-943 (2010)
	2009
12		Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt: Control Dependence for Extended Finite State Machines. FASE 2009: 216-230
11		Kelly Androutsopoulos, Nicolas Gold, Mark Harman, Zheng Li, Laurence Tratt: A theoretical and empirical study of EFSM dependence. ICSM 2009: 287-296
	2007
10		George Spanoudakis, Christos Kloukinas, Kelly Androutsopoulos: Towards security monitoring patterns. SAC 2007: 1518-1525
	2005
9		Kevin Lano, Kelly Androutsopoulos, David Clark: Refinement Patterns for UML. Electr. Notes Theor. Comput. Sci. 137(2): 131-149 (2005)
	2004
8		Kevin Lano, David Clark, Kelly Androutsopoulos: UML to B: Formal Verification of Object-Oriented Models. IFM 2004: 187-206
	2003
7		Kevin Lano, David Clark, Kelly Androutsopoulos: RSDS, a Subset of UML with Precise Semantics. L'OBJET 9(4): 53-73 (2003)
	2002
6		Kevin Lano, David Clark, Kelly Androutsopoulos: From Implicit Specifications to Explicit Designs in Reactive System Development. IFM 2002: 49-68
5		Kevin Lano, David Clark, Kelly Androutsopoulos: Safety and Security Analysis of Object-Oriented Models. SAFECOMP 2002: 82-93
	2000
4		Kevin Lano, Kelly Androutsopoulos, David Clark: Structuring and Design of Reactive Systems Using RSDS and B. FASE 2000: 97-111
3		Kevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan: Invariant-Based Synthesis of Fault-Tolerant Systems. FTRTFT 2000: 46-57
2		Kevin Lano, Kelly Androutsopoulos, Pauline Kan: Structuring Reactive Systems in B AMN. ICFEM 2000: 25-34
	1999
1		Kevin Lano, Kelly Androutsopoulos: Reactive System Refinement of Distributed Systems in B. IFM 1999: 415-434

Coauthor Index

1	Torben Amtoft (Torben Amtoft Hansen)	[13]
2	David Binkley	[14]
3	David Clark	[3] [4] [5] [6] [7] [8] [9] [12] [13] [14]
4	Nicolas Gold (Nicolas E. Gold)	[11] [14]
5	Mark Harman	[11] [12] [13] [14]
6	Pauline Kan	[2] [3]
7	Christos Kloukinas	[10]
8	Kevin Lano	[1] [2] [3] [4] [5] [6] [7] [8] [9] [14]
9	Zheng Li	[11] [12] [13] [14]
10	George Spanoudakis	[10]
11	Laurence Tratt	[11] [12]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page