G. Smith and K. Winter:
Model checking action system refinements.
in Formal Aspects of Computing,
Volume 21, Issue 1 (2009), pages 155-186, Springer-Verlag, February, 2009.
A. Gawanmeha and S. Tahara and K. Winter
Formal verification of ASMs using MDGs.
in Journal of Systems Architecture,
Volume 54, Issues 1-2, pages 15-34,
Elsevier, 2008.
K. Winter and R. Colvin and R. G. Dromey:
Dynamic Relational Behaviour for Large-Scale Systems
In Proc. of Australian Software Engineering Conference (ASWEC 2009),
to appear.
L. van den Berg and P. Strooper and K. Winter:
Introducing Time in an Industrial Application of Model
Checking.
In Proc. of 12th Int. ERCIM Workshop on Formal Methods for
Industrial Critical Systems (FMICS'07) ,
volume 4916 of Lecture Notes in Computer Science, pages 56-67.
Springer-Verlag, 2008.
L. Grunske and R. Colvin and K. Winter:
Probabilistic Model-Checking Support for FMEA.
In Proc. of 4th Int. Conf. on the Quantitative Evaluation of SysTems (QEST) 2007,
pages 119-128. IEEE Computer Society Press, 2007.
R. Colvin and L. Grunske and K. Winter:
Probabilistic Timed Behavior Trees.
In J. Davies and J. Gibbons, editors, Proc. of 6th Int. Conf. on Integrated Formal Methods (IFM 2007),
volume 4591 of Lecture Notes in Computer Science, pages 156-175.
Springer-Verlag, 2007.
G. Smith and K. Winter:
Simulation machines for checking action system refinements.
In B. Aichernig, E. Boiten, J. Derrick and L. Groves, (eds.), International Refinement Workshop (Refine 2006),
Electronic Notes in Theoretical Computer Science. Elsevier, 2006.
(available as Technical Report
SSE-2006-03)
W. Johnston, K. Winter, L. van den Berg, P. Strooper, P. Robinson:
Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking.
In J. Misra, T. Nipkow, E. Sekerinski, editors, 14th International Symposium on Formal Methods (FM 2006)
volume 4085 of Lecture Notes in Computer Science,
pages 524 - 540. Springer-Verlag, 2006.
(electronically available at
Springer)
K. Winter, W. Johnston, P. Robinson, P. Strooper, L. van den Berg:
Tool Support for Checking Railway Interlocking Designs
In T. Cant, editor,
10th Australian Workshop on
Safety Related Programmable Systems (SCS'05)
Australian Computer Society, Inc., volume 55, 2005.
Kirsten Winter:
Formalising Behaviour Trees with CSP
In E. Boiten, J. Derrick, G. Smith, editors, 4th Int. Conf. on Integrated Formal Methods (IFM 2004),
volume 2999 of Lecture Notes in Computer Science, pages 148-167.
Springer-Verlag, 2004.
Amjad Gawanmeh, Sofiene Tahar, Kirsten Winter:
Formal Verification of ASM Designs using the MDG Tool
In A. Cerone, P. Lindsay, editors, Int. Conf. on Software Engineering and Formal
Methods (SEFM 2003),
pages 210-219, IEEE Computer Society, 2003.
Kirsten Winter, Graeme Smith:
Compositional Verification for Object-Z
In D. Bert, J.P. Bowen, S. King and M. Walden, editors, 3rd Int. Conference of Z and B Users (ZB 2003),
volume 2561 of Lecture Notes in Computer Science,
pages 280-299. Springer-Verlag, 2003.
Graeme Smith, Kirsten Winter:
Proving temporal properties
of Z specifications using abstraction
In D. Bert, J.P. Bowen, S. King and M. Walden, editors, 3rd Int. Conference of Z and B Users (ZB 2003),
volume 2561 of Lecture Notes in Computer Science, pages 260-279. Springer-Verlag, 2003.
Kirsten Winter, Neil J. Robinson:
Modelling Large Interlocking Systems and Model Checking Small Ones
In M. Oudshoorn (ed.),
26th Australasian Computer Science Conference (ACSC 2003),
Australian Computer Science Communications, Vol. 16, 2003. (also as Technical Report)
Amjad Gawanmeh, Sofiene Tahar, Kirsten Winter:
Interfacing ASMs with the MDG tool
In E. Börger, A. Gargantini, E. Riccobene (eds.), 9th International Workshop on Abstract State Machines (ASM 2003)
volume 2589 of Lecture Notes in Computer Science, pages 278-292.
Springer-Verlag, 2003.
Kirsten Winter, Roger Duke:
Model Checking Object-Z using ASM
In K. Sere and M. Butler (eds.),
3rd Int. Conf.
on Integrated Formal Methods (IFM 2002) ,
volume 2335 of
Lecture Notes in Computer Science, pages 165-184.
Springer-Verlag, 2002. (also as Technical Report)
Kirsten Winter:
Model Checking Railway Interlocking Systems
In M. Oudshoorn (ed.), Proc. of Australian Computer Science
Conference (ACSC 2002) ,
Australian Computer Science
Communications, vol. 24(1), 2002. (also as Technical Report)
Kirsten Winter:
Model Checking with Abstract Types Electronic Notes in Theoretical Computer Science
55, No. 3, 2001. (also as Technical Report)
Giuseppe Del Castillo, Kirsten Winter:
Model Checking Support for the ASM High-Level
Language.
In S. Graf, M. Schwartzbach (eds.),
Proceedings of 6th Int. Conference TACAS 2000,
LNCS 1785, pp. 331-346, Springer-Verlag, 2000. Abstract.
Kirsten Winter:
Towards a Methodology for Model Checking ASM:
Lessons learned from the FLASH Case Study
In Y. Gurevich, P. Kutter, M. Odersky, L. Thiele (eds.), Proceedings of International Workshop on Abstract State
Machines (ASM 2000) ,
volume 1912 of
Lecture Notes
on Computer Science, Springer-Verlag, pages 341-360, 2000. Abstract.
A.G. Bahmurov, V.I. Chervin, M.V.Chistolinov, J.F.Groote,
V.A. Kostenko, R.L.Smeliansky, D.V.Tsarkov, Y.S.Usenko,
K.Winter, V.A.Zakharov.
Towards a Unified Toolset for Embedded Systems Development Special Issue of the Scientific Journal "Problems of Programming"
No 1-2, pages 316-322, 2000.
Kirsten Winter, Thomas Santen, Maritta Heisel:
An Agenda for Specifying Software Components
with Complex Data Model
In W. Ehrenberger (ed.), Proceedings of the 17th
Int. Conference on Computer Safety, Reliability and Security (SAFECOMP '98),
LNCS 1516, pages. 16-32, Springer-Verlag, 1998. Abstract.
Kirsten Winter
Supporting Abstraction when Model Checking ASM
In Proceedings of Int. Conference on Computer Aided System Theory
(EUROCAST 2001),
Las Palmas de Gran Canaria, Canary Island, 2001.
(also available as
Technical Report 01-20 , Software Verification Research Centre,
University of Queensland, June 2001)
J. Burghardt, S. Jaehnichen, F. Kammueller, C. Suehl, K. Winter
Techniques of Rigorous Analysis,
In M. Wirsing, M. Gogolla, H.-J. Kreowski, T. Nipkow. W. Reif
(eds.) Rigorose Entwicklung software-intensiver Systeme
Workshop im Rahmen der GI Jahrestagung,
Technical Report LMU Munich,
No. 0005, September, 2000.
(in German)
Dissertation
Kirsten Winter: Model Checking Abstract State Machines
Doctoral Dissertation accepted by:
Technical University of Berlin
School of Electrical Engineering and Computer Sciences
2001-07-17.
(in English)
