Kirsten Winter

	2009
27		Kirsten Winter, Robert Colvin, R. Geoff Dromey: Dynamic Relational Behaviour for Large-Scale Systems. Australian Software Engineering Conference 2009: 173-182
26		Graeme Smith, Kirsten Winter: Model checking action system refinements. Formal Asp. Comput. 21(1-2): 155-186 (2009)
	2008
25		Lars Grunske, Kirsten Winter, Nisansala Yatapanage: Defining the abstract syntax of visual languages with advanced graph grammars - A case study based on behavior trees. J. Vis. Lang. Comput. 19(3): 343-379 (2008)
24		Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter: Formal verification of ASMs using MDGs. Journal of Systems Architecture - Embedded Systems Design 54(1-2): 15-34 (2008)
23		Robert Colvin, Lars Grunske, Kirsten Winter: Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems. Journal of Systems and Software 81(12): 2163-2182 (2008)
	2007
22		Saad Zafar, Robert Colvin, Kirsten Winter, Nisansala Yatapanage, R. Geoff Dromey: Early Validation and Verification of a Distributed Role-Based Access Control Model. APSEC 2007: 430-437
21		Lars Grunske, Kirsten Winter, Robert Colvin: Timed Behavior Trees and Their Application to Verifying Real-Time Systems. ASWEC 2007: 211-222
20		Lionel van den Berg, Paul A. Strooper, Kirsten Winter: Introducing Time in an Industrial Application of Model-Checking. FMICS 2007: 56-67
19		Robert Colvin, Lars Grunske, Kirsten Winter: Probabilistic Timed Behavior Trees. IFM 2007: 156-175
18		Lars Grunske, Robert Colvin, Kirsten Winter: Probabilistic Model-Checking Support for FMEA. QEST 2007: 119-128
17		Graeme Smith, Kirsten Winter: Simulation Machines for Checking Action System Refinements. Electr. Notes Theor. Comput. Sci. 187: 75-90 (2007)
	2006
16		Wendy Johnston, Kirsten Winter, Lionel van den Berg, Paul A. Strooper, Peter Robinson: Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking. FM 2006: 524-540
	2005
15		Lars Grunske, Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter: An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees. IFM 2005: 129-149
	2004
14		Cameron Smith, Kirsten Winter, Ian J. Hayes, R. Geoff Dromey, Peter A. Lindsay, David A. Carrington: An Environment for Building a System out of its Requirements. ASE 2004: 398-399
13		Kirsten Winter: Formalising Behaviour Trees with CSP. IFM 2004: 148-167
	2003
12		Kirsten Winter, Neil J. Robinson: Modelling Large Railway Interlockings and Model Checking Small Ones. ACSC 2003: 309-316
11		Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter: Interfacing ASM with the MDG Tool. Abstract State Machines 2003: 278-292
10		Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter: Formal Verification of ASM Designs Using the MDG Tool. SEFM 2003: 210-219
9		Graeme Smith, Kirsten Winter: Proving Temporal Properties of Z Specifications Using Abstraction. ZB 2003: 260-279
8		Kirsten Winter, Graeme Smith: Compositional Verification for Object-Z. ZB 2003: 280-299
	2002
7		Kirsten Winter, Roger Duke: Model Checking Object-Z Using ASM. IFM 2002: 165-184
	2001
6		Kirsten Winter: Model checking with abstract types. Electr. Notes Theor. Comput. Sci. 55(3): (2001)
	2000
5		Kirsten Winter: Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study. Abstract State Machines 2000: 341-360
4		Giuseppe Del Castillo, Kirsten Winter: Model Checking Support for the ASM High-Level Language. TACAS 2000: 331-346
	1998
3		Kirsten Winter, Thomas Santen, Maritta Heisel: An Agenda for Specifying Software Components with Complex Data Models. SAFECOMP 1998: 16-31
	1997
2		Kirsten Winter: Model Checking for Abstract State Machines. J. UCS 3(5): 689-701 (1997)
	1995
1		Friedrich Strauß, Stefan Hügel, Kirsten Winter, Britta Schinzel: Ein modellbasierter Ansatz zur Dialogsteuerung in Benutzungsoberflächen. Software-Ergonomie 1995: 369-382

Coauthor Index

1	Lionel van den Berg	[16] [20]
2	David A. Carrington	[14]
3	Giuseppe Del Castillo	[4]
4	Robert Colvin	[18] [19] [21] [22] [23] [27]
5	R. Geoff Dromey	[14] [22] [27]
6	Roger Duke	[7]
7	Amjad Gawanmeh	[10] [11] [24]
8	Lars Grunske	[15] [18] [19] [21] [23] [25]
9	Ian J. Hayes	[14]
10	Maritta Heisel	[3]
11	Stefan Hügel	[1]
12	Wendy Johnston	[16]
13	Peter A. Lindsay	[14] [15]
14	Neil J. Robinson	[12]
15	Peter Robinson	[16]
16	Thomas Santen	[3]
17	Britta Schinzel	[1]
18	Cameron Smith	[14]
19	Graeme Smith	[8] [9] [17] [26]
20	Friedrich Strauß	[1]
21	Paul A. Strooper	[16] [20]
22	Sofiène Tahar	[10] [11] [24]
23	Nisansala Yatapanage	[15] [22] [25]
24	Saad Zafar	[22]

Colors in the list of coauthors