dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Kirsten Winter (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKirsten Winter, Ian J. Hayes, Robert Colvin: Integrating Requirements: The Behavior Tree Philosophy. SEFM 2010: 41-50
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKirsten Winter, Robert Colvin, R. Geoff Dromey: Dynamic Relational Behaviour for Large-Scale Systems. Australian Software Engineering Conference 2009: 173-182
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert 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)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaad 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Grunske, Kirsten Winter, Robert Colvin: Timed Behavior Trees and Their Application to Verifying Real-Time Systems. ASWEC 2007: 211-222
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Colvin, Lars Grunske, Kirsten Winter: Probabilistic Timed Behavior Trees. IFM 2007: 156-175
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLars Grunske, Robert Colvin, Kirsten Winter: Probabilistic Model-Checking Support for FMEA. QEST 2007: 119-128

Selection of 7 from 32 records - Kirsten Winter has 24 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page