Frank Alexander Kraemer - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

A Tool-Supported Method for the Design and Implementation of Secure Distributed ApplicationsLinda Ariani Gunawan, Frank Alexander Kraemer, Peter Herrmann. ESSoS 2011: 142-155 [doi]

Modeling a distributed intrusion detection system using collaborative building blocksLinda Ariani Gunawan, Michael Vogel, Frank Alexander Kraemer, Sebastian Schmerl, Vidar Slåtten, Peter Herrmann, Hartmut König. sigsoft, 36(1):1-8, 2011. [doi]

Unified Modeling of Service Logic with User InterfacesFrank Alexander Kraemer, Surya Bahadur Kathayat, Rolv Bræk. ijcis, 20(2):177-200, 2011. [doi]

System Analysis and Modeling: About Models - 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected PapersFrank Alexander Kraemer, Peter Herrmann, editors, Volume 6598 of Lecture Notes in Computer Science, Springer, 2011. [doi]

2010

Reactive Semantics for Distributed UML ActivitiesFrank Alexander Kraemer, Peter Herrmann. forte 2010: 17-31 [doi]

2009

2007

Synthesizing Components with Sessions from Collaboration-Oriented Service SpecificationsFrank Alexander Kraemer, Rolv Bræk, Peter Herrmann. sdl 2007: 166-185 [doi]

Transforming Collaborative Service Specifications into Efficiently Executable State MachinesFrank Alexander Kraemer, Peter Herrmann. eceasst, 6, 2007. [doi]

2006

Service Specification by Composition of Collaborations--An ExampleFrank Alexander Kraemer, Peter Herrmann. iat 2006: 129-133 [doi]

Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of ServicesFrank Alexander Kraemer, Peter Herrmann, Rolv Bræk. otm 2006: 1613-1632 [doi]

2005

Using UML 2.0 Collaborations for Compositional Service SpecificationRichard Torbjørn Sanders, Humberto Nicolás Castejón, Frank Alexander Kraemer, Rolv Bræk. uml 2005: 460-475 [doi]