BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Austria
1 × Canada
1 × Finland
1 × Germany
1 × Italy
1 × The Netherlands
2 × United Kingdom
Collaborated with:
P.A.Lindsay R.Colvin N.Yatapanage L.Grunske I.J.Hayes R.Duke G.D.Castillo A.Gawanmeh S.Tahar W.Johnston L.v.d.Berg P.A.Strooper P.J.Robinson C.Smith R.G.Dromey D.A.Carrington
Talks about:
model (5) tree (5) behavior (4) check (4) use (3) asm (3) requir (2) design (2) level (2) high (2)

Person: Kirsten Winter

DBLP DBLP: Winter:Kirsten

Contributed to:

SEFM 20102010
IFM 20072007
FM 20062006
IFM 20052005
ASE 20042004
IFM 20042004
SEFM 20032003
IFM 20022002
TACAS 20002000

Wrote 10 papers:

SEFM-2010-LindsayWY #assessment #behaviour #model checking #safety #using
Safety Assessment Using Behavior Trees and Model Checking (PAL, KW, NY), pp. 181–190.
SEFM-2010-WinterHC #behaviour #requirements
Integrating Requirements: The Behavior Tree Philosophy (KW, IJH, RC), pp. 41–50.
IFM-2007-ColvinGW #behaviour #probability
Probabilistic Timed Behavior Trees (RC, LG, KW), pp. 156–175.
FM-2006-JohnstonWBSR #model checking #modelling #order #performance
Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking (WJ, KW, LvdB, PAS, PJR), pp. 524–540.
IFM-2005-GrunskeLYW #analysis #automation #behaviour #design #specification
An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees (LG, PAL, NY, KW), pp. 129–149.
ASE-2004-SmithWHDLC #requirements
An Environment for Building a System out of its Requirements (CS, KW, IJH, RGD, PAL, DAC), pp. 398–399.
IFM-2004-Winter #behaviour #csp #formal method
Formalising Behaviour Trees with CSP (KW), pp. 148–167.
SEFM-2003-GawanmehTW #design #using #verification
Formal Verification of ASM Designs Using the MDG Tool (AG, ST, KW), pp. 210–219.
IFM-2002-WinterD #model checking #using
Model Checking Object-Z Using ASM (KW, RD), pp. 165–184.
TACAS-2000-CastilloW #model checking
Model Checking Support for the ASM High-Level Language (GDC, KW), pp. 331–346.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.