Kirsten Winter

2009
26	EE	Graeme Smith, Kirsten Winter: Model checking action system refinements. Formal Asp. Comput. 21(1-2): 155-186 (2009)
2008
25	EE	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	EE	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	EE	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	EE	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	EE	Lars Grunske, Kirsten Winter, Robert Colvin: Timed Behavior Trees and Their Application to Verifying Real-Time Systems. ASWEC 2007: 211-222
20	EE	Lionel van den Berg, Paul A. Strooper, Kirsten Winter: Introducing Time in an Industrial Application of Model-Checking. FMICS 2007: 56-67
19	EE	Robert Colvin, Lars Grunske, Kirsten Winter: Probabilistic Timed Behavior Trees. IFM 2007: 156-175
18	EE	Lars Grunske, Robert Colvin, Kirsten Winter: Probabilistic Model-Checking Support for FMEA. QEST 2007: 119-128
17	EE	Graeme Smith, Kirsten Winter: Simulation Machines for Checking Action System Refinements. Electr. Notes Theor. Comput. Sci. 187: 75-90 (2007)
2006
16	EE	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	EE	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	EE	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	EE	Kirsten Winter: Formalising Behaviour Trees with CSP. IFM 2004: 148-167
2003
12	EE	Kirsten Winter, Neil J. Robinson: Modelling Large Railway Interlockings and Model Checking Small Ones. ACSC 2003: 309-316
11	EE	Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter: Interfacing ASM with the MDG Tool. Abstract State Machines 2003: 278-292
10	EE	Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter: Formal Verification of ASM Designs Using the MDG Tool. SEFM 2003: 210-219
9	EE	Graeme Smith, Kirsten Winter: Proving Temporal Properties of Z Specifications Using Abstraction. ZB 2003: 260-279
8	EE	Kirsten Winter, Graeme Smith: Compositional Verification for Object-Z. ZB 2003: 280-299
2002
7	EE	Kirsten Winter, Roger Duke: Model Checking Object-Z Using ASM. IFM 2002: 165-184
2001
6	EE	Kirsten Winter: Model checking with abstract types. Electr. Notes Theor. Comput. Sci. 55(3): (2001)
2000
5	EE	Kirsten Winter: Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study. Abstract State Machines 2000: 341-360
4	EE	Giuseppe Del Castillo, Kirsten Winter: Model Checking Support for the ASM High-Level Language. TACAS 2000: 331-346
1998
3	EE	Kirsten Winter, Thomas Santen, Maritta Heisel: An Agenda for Specifying Software Components with Complex Data Models. SAFECOMP 1998: 16-31
1997
2	EE	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]
5	R. Geoff Dromey	[14] [22]
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