Ursula Hinkel

Publication Activity (10 Years)

Years Active: 1994-2014
Publications (10 Years): 0

Top Topics

Modeling Language

Formal Analysis

Sequence Diagrams

Top Venues

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, Veronika Thurner
Towards a Formalization of the Unified Modeling Language. CoRR (2014)
Bernhard Deifel, Ursula Hinkel, Barbara Paech, Peter Scholz, Veronika Thurner
Die Praxis der Softwareentwicklung: Eine Erhebung. Inform. Spektrum 22 (1) (1999)
Max Breitling, Ursula Hinkel, Katharina Spies
Formale Entwicklung verteilter reaktiver Systeme mit FOCUS. FBT (1998)
Christian Facchi, Markus Haubner, Ursula Hinkel
The SDL specification of the sliding window protocol revisited. SDL Forum (1997)
Ursula Hinkel, Katharina Spies
Spezifikationsmethodik für mobile, dynamische FOCUS-Netze. FBT (1997)
Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, Veronika Thurner
Towards a Formalization of the Unified Modeling Language. ECOOP (1997)
Stefan Loidl, Ekkart Rudolph, Ursula Hinkel
MSC'96 and beyond - a critical look. SDL Forum (1997)
Manfred Broy, Ursula Hinkel, Tobias Nipkow, Christian Prehofer, Birgit Schieder
Interpreter Verification for a Functional Language. FSTTCS (1994)