BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Goltz:Ursula

Contributed to:

ESOP 20132013
FOSSACS 20122012
PLEASE 20122012
A-MOST 20052005
A-MOST 20052006
FME 20022002
UML 19991999
ICALP 19841984
ICALP 19831983

Wrote 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.

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.