Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Past- and Future-Oriented Time-Bounded Temporal Properties with OCL., and . SEFM, page 154-163. IEEE Computer Society, (2004)A Service Creation Environment for interactive, menu-driven Mobile Services., , , and . AINA (2), page 524-528. IEEE Computer Society, (2006)Semantics of State-Oriented Expressions in the Object Constraint Language., and . SEKE, page 142-149. (2003)uService - Enabling user-driven fitness services on-the-go., , , , , , , and . AMCIS, Association for Information Systems, (2011)Customer-Oriented Systems Design through Virtual Prototypes., , , , , and . WETICE, page 263-268. IEEE Computer Society, (2001)Third-Party-Initiated Context-Aware Real-Time Charging and Billing on an Open SOA Platform., , , and . AINA Workshops, page 1375-1380. IEEE Computer Society, (2008)Specification of Real-Time Properties for UML Models., and . HICSS, page 277. IEEE Computer Society, (2002)CASA - Structured Design of a Specification Language for Intelligent Agents., and . ASIAN, volume 1742 of Lecture Notes in Computer Science, page 373-374. Springer, (1999)Specification and Formal Verification of Temporal Properties of Production Automation Systems., , , and . SoftSpez Final Report, volume 3147 of Lecture Notes in Computer Science, page 206-226. Springer, (2004)Prototyping einer Fahrzeugsteuerung in virtueller 3D-Umgebung., , , and . SimVis, page 319-332. SCS Publishing House e.V., (2000)