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: Winter:Kirsten
Contributed to:
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.