Travelled to:1 × France
1 × Italy
1 × New Zealand
1 × Norway
2 × USA
Collaborated with:B.H.C.Cheng S.Konrad A.C.Jensen E.C.Nelson S.Kamdoum
Talks about:model (5) system (4) behavior (3) properti (2) automat (2) analysi (2) latent (2) adapt (2) sup (2) uncertainti (1)
Person: Heather Goldsby
DBLP: Goldsby:Heather
Contributed to:
20112010200820072006
2006Wrote 6 papers:
- MoDELS-2011-JensenCGN #behaviour #detection
- A Toolchain for the Detection of Structural and Behavioral Latent System Properties (ACJ, BHCC, HG, ECN), pp. 683–698.
- MoDELS-v1-2010-GoldsbyC #automation #behaviour #modelling #uml
- Automatically Discovering Properties That Specify the Latent Behavior of UML Models (HG, BHCC), pp. 316–330.
- MoDELS-2008-GoldsbyC #adaptation #automation #behaviour #generative #modelling #nondeterminism
- Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty (HG, BHCC), pp. 568–583.
- MoDELS-2007-KonradGC #analysis #incremental #modelling #process
- i2MAP : An Incremental and Iterative Modeling and Analysis Process (SK, HG, BHCC), pp. 451–466.
- MoDELS-2006-GoldsbyCKK #analysis #assurance #formal method #framework #modelling #visualisation
- A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems (HG, BHCC, SK, SK), pp. 707–721.
- RE-2006-GoldsbyC #adaptation #modelling #requirements
- Goal-Oriented Modeling of Requirements Engineering for Dynamically Adaptive System (HG, BHCC), pp. 338–339.