Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2010Runtime verification of cryptographic protocols
Bauer, A.; Jürjens, J.
Zeitschriftenaufsatz
2010Towards high-level human activity recognition through computer vision and temporal logic
Ijsselmuiden, J.; Stiefelhagen, R.
Konferenzbeitrag
2009Interaction-sensitive synthesis of architectural tactics in connector designs
Keuler, Thorsten; Webel, Christian
Bericht
2005Formal specification and verification. Structures and techniques
Eschbach, R.
Dissertation
2003Reuse-oriented requirements engineering with FoReST
Gotzhein, R.; Avenhaus, J.; Kronenburg, M.; Madlener, K.; Peper, C.
Konferenzbeitrag
1997The asynchronous stack revisited
Walter, R.
Aufsatz in Buch
1997DAWN: Petrinetzmodelle zur Verifikation verteilter Algorithmen
Weber, M.; Walter, R.; Völzer, H.; Vesper, T.; Reisig, W.; Peuker, S.; Kindler, E.; Freiheit, J.; Desel, J.
Buch
1997Invariantenverifikation in DAWN
Völzer, H.; Walter, R.
Konferenzbeitrag
1997Modelling and verification with petri nets: Comparing a state oriented and event oriented approach
Mackenthun, R.; Voorhoeve, M.
Konferenzbeitrag
1997Petri net based verification of distributed algorithms
Kindler, E.; Reisig, W.; Völzer, H.; Walter, R.
Zeitschriftenaufsatz
1996Dynamics in information systems: specification, construction, and correctness. An algebraic approach.
Claßen, I.; Löwe, M.; Gogolla, M.
Buch
1992Temporal constraint functional programming
Graham, N.T.C.
Konferenzbeitrag