Searching for authors named "Kirsten Winter" – sorted by Relevance.
14 documents found, showing 1 through 10.
Next 10 →
-
Model checking for abstract state machines
- …Model Checking for Abstract State Machines Kirsten Winter GMD FIRST Rudower Chaussee 5, D-12489…
- Cited by 25 (8 self) – Add To MetaCart
-
Model Checking Railway Interlocking Systems
- …Model Checking Railway Interlocking Systems Kirsten Winter Software Verification Research Centre…
- Cited by 1 (0 self) – Add To MetaCart
-
Model Checking with Abstract Types
- … with Abstract Types Kirsten Winter SVRC, University of Queensland, Queensland 4072 Australia email: kirsten…
- Cited by 2 (2 self) – Add To MetaCart
-
Towards a Methodology for Model Checking ASM: Lessons learned from the FLASH Case Study
- … Winter GMD FIRST, Kekulestr. 7, D-12489 Berlin, Germany (kirsten@(email omitted);) Abstract Gurevich…
- Cited by 10 (2 self) – Add To MetaCart
-
Compositional Verification for Object-Z
- …Compositional Verification for Object-Z Kirsten Winter and Graeme Smith Software Verification…
- Cited by 7 (4 self) – Add To MetaCart
-
Proving temporal properties of Z specifications using abstraction
- …Proving temporal properties of Z specifications using abstraction Graeme Smith and Kirsten Winter…
- Cited by 5 (1 self) – Add To MetaCart
-
Model Checking Object-Z Using ASM
- …://svrc.it.uq.edu.au Published as: Kirsten Winter, Roger Duke: Model Checking Object-Z using ASM In K. Sere and M. Butler (eds…
- Cited by 2 (1 self) – Add To MetaCart
-
A Tool for Verifying ASM Models Using Multiway Decision Graphs
- … Gawanmeh, Sofiène Tahar, and Kirsten Winter Concordia University Address: Electrical & Computer Engineering…
- Add To MetaCart
-
Modelling Large Railway Interlockings and Model Checking Small Ones
- …Modelling Large Railway Interlockings and Model Checking Small Ones Kirsten Winter Neil J…
- Cited by 1 (0 self) – Add To MetaCart
-
An Agenda for Specifying Software Components with Complex Data Models
- …An Agenda for Specifying Software Components with Complex Data Models Kirsten Winter 1 , Thomas…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
