Travelled to:1 × Belgium
1 × Denmark
1 × Estonia
1 × Italy
1 × Spain
1 × Switzerland
2 × USA
Collaborated with:T.Firley C.Robinson-Mallett P.Liggesmeyer T.Mücke A.Mycroft W.Reisig K.Peters U.Nestmann R.J.v.Glabbeek J.Schicke-Uffmann S.Lity M.Lochau I.Schaefer M.Huhn K.Diethers T.Gehrke
Talks about:model (3) net (3) distribut (2) sequenc (2) process (2) checker (2) verif (2) petri (2) base (2) relationship (1)
Person: Ursula Goltz
DBLP: Goltz:Ursula
Contributed to:
2013
2012
2012
20052006
2002
1999
19841983Wrote 9 papers:
- ESOP-2013-PetersNG #calculus #on the #process
- On Distributability in Process Calculi (KP, UN, UG), pp. 310–329.
- FoSSaCS-2012-GlabbeekGS #on the #petri net
- On Distributability of Petri Nets — (RJvG, UG, JWSU), pp. 331–345.
- PLEASE-2012-LityLSG #modelling #testing
- Delta-oriented model-based SPL regression testing (SL, ML, IS, UG), pp. 53–56.
- A-MOST-2005-Robinson-MallettLMG #generative #model checking #sequence
- Generating optimal distinguishing sequences with a model checker (CRM, PL, TM, UG), pp. 51–57.
- A-MOST-J-2005-Robinson-MallettLMG06 #identification #model checking #using #verification
- Extended state identification and verification using a model checker (CRM, PL, TM, UG), pp. 981–992.
- FME-2002-FirleyG #abstraction #verification
- Property Dependent Abstraction of Control Structure for Software Verification (TF, UG), pp. 511–530.
- UML-1999-FirleyHDGG #analysis #case study #diagrams #sequence chart
- Timed Sequence Diagrams and Tool-Based Analysis — A Case Study (TF, MH, KD, TG, UG), pp. 645–660.
- ICALP-1984-GoltzM #on the #petri net
- On the Relationship of CCS and Petri Nets (UG, AM), pp. 196–208.
- ICALP-1983-GoltzR #process
- Processes of Place/Transition-Nets (UG, WR), pp. 264–277.