Publications of Frank Alexander Kraemer

2012
Behavioral Singletons to Consistently Handle Global States of Security Patterns
Linda Ariani Gunawan, Frank Alexander Kraemer, and Peter Herrmann
DAIS 2012 at the 7th International Federated Conference on Distributed Computing Techniques, 2012, Stockholm.


2011
Engineering Android Applications based on UML Activities
Frank Alexander Kraemer
Proceedings of the 14th Int. Conference on Model Driven Engineering, Languages and Systems (Models), Wellington, New Zealand, October 2011. Volume 6981 of Lecture Notes in Computer Science, Springer.


Towards Automatic Generation of Formal Specifications to Validate and Verify Reliable Distributed Systems: A Method Exemplified by an Industrial Case Study
Vidar Slåtten, Frank Alexander Kraemer and Peter Herrmann
Proceedings of the 10th ACM International Conference on Generative Programming and Component Engineering, Portland, Oregon, USA. ACM 2011.


System Analysis and Modeling: About Models
6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers.
Frank Alexander Kraemer and Peter Herrmann (eds.)
Lecture Notes in Computer Science, vol. 6598, Springer. dx.doi.org/10.1007/978-3-642-21652-7


Unified Modeling of Service Logic with User Interfaces
Frank Alexander Kraemer, Surya Bahadur Kathayat, Rolv Bræk.
International Journal of Cooperative Information Systems (IJCIS), World Scientific.


A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications
Linda Ariani Gunawan, Frank Alexander Kraemer, Peter Herrmann.
Third International Symposium on Engineering Secure Software and Systems (ESSoS), 2011. Lecture Notes in Computer Science, 2011, Volume 6542, Springer.


Modeling a Distributed Intrusion Detection System Using Collaborative Building Blocks
Linda Ariani Gunawan, Michael Vogel, Frank Alexander Kraemer, Sebastian Schmerl, Vidar Slåtten, Peter Herrmann, Hartmut König.
Third IEEE International Workshop UML and Formal Methods. ACM SIGSOFT Software Engineering Notes, Volume 36 Number 1, January 2011. ACM.


2010


Reactive Semantics for UML Activities
Frank Alexander Kraemer, Peter Herrmann
Formal Techniques for Distributed Systems, Proceedings of FMOODS / FORTE. Volume 6117 of Lecture Notes in Computer Science, Springer.


Towards a Model-Driven Method for Reliable Applications: From Ideal to Realistic Transmission Semantics
Vidar Slåtten, Frank Alexander Kraemer and Peter Herrmann
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems (SERENE 2010), April, ACM Digital Library.


2009


Towards the Integration of Security Aspects into System Development Using Collaboration-Oriented Models
Linda Ariani Gunawan, Frank Alexander Kraemer and Peter Herrmann
International Conference on Security Technology (SecTech 2009), Computer and Information Science 2009, Volume 58, Springer, 2009.


Unified Modeling of Service Logic with User Interfaces
Frank Alexander Kraemer, Surya Bahadur Kathayat and Rolv Bræk
MoSE+DQS '09: Proceeding of the First International Workshop on Model Driven Service Engineering and Data Quality and Security, Hong Kong, China, 2009, ACM.


Automated Encapsulation of UML Activities for Incremental Development and Verification
Frank Alexander Kraemer and Peter Herrmann
Proceedings of the 12th Int. Conference on Model Driven Engineering, Languages and Systems (Models), Denver, Colorado, USA, October 4-9, 2009. Volume 5795 of Lecture Notes in Computer Science, Springer.


Tool Support for the Rapid Composition, Analysis and Implementation of Reactive Services
Frank Alexander Kraemer, Vidar Slåtten, and Peter Herrmann
The Journal of Systems and Software, Volume 82, Issue 12, December 2009, Pages 2068-2080, Elsevier (2009).


Model-Driven Construction of Embedded Applications
 based on Reusable Building Blocks - An Example
Frank Alexander Kraemer, Vidar Slåtten, and Peter Herrmann
In: Bilgic, A., Gotzhein, R., Reed, R. (eds.), SDL 2009, Volume 5719 of Lecture Notes in Computer Science. Springer, Heidelberg (2009).


Automatic Generation of Compatible Interfaces from Partitioned UML Activities
Frank Alexander Kraemer
In: Bilgic, A., Gotzhein, R., Reed, R. (eds.), SDL 2009, Volume 5719 of Lecture Notes in Computer Science. Springer, Heidelberg (2009).


An Automated Method for Web Service Orchestration based on Reusable Building Blocks
Frank Alexander Kraemer, Haldor Samset and Rolv Bræk
7th IEEE International Conference on Web Services (ICWS 2009), Los Angeles, July 2009.


Compositional Service Engineering with Arctis
Frank Alexander Kraemer, Rolv Bræk and Peter Herrmann
Telektronikk vol. 105, 2009.1, 2009.


2008


Engineering Reactive Systems
A Compositional and Model-Driven Method Based on Collaborative Building Blocks
Frank Alexander Kraemer
Ph.D. Thesis, Norwegian University of Science and Technology, August 2008.


2007


Engineering Support for UML Activities by Automated Model-Checking – An Example
Frank Alexander Kraemer, Vidar Slåtten, and Peter Herrmann
4th International Workshop on Rapid Integration of Software Engineering Techniques (RISE), Nov. 26-27, Luxembourg, 2007


Arctis and Ramses: Tool Suites for Rapid Service Engineering
Frank Alexander Kraemer
Norsk informatikkonferanse (NIK 2007), Nov. 19-21, Oslo


Formalizing Collaboration-Oriented Service Specifications using Temporal Logic
Frank Alexander Kraemer and Peter Herrmann
Networking and Electronic Commerce Research Conference 2007 (NAEC 2007)


Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications
Frank Alexander Kraemer, Rolv Bræk, and Peter Herrmann
13th SDL Forum, Paris, 2007, Volume 4745 of Lecture Notes in Computer Science, Springer


Design of Trusted Systems with Reusable Collaboration Models
Peter Herrmann and Frank Alexander Kraemer.
Trust Management. Proceedings of the Joint iTrust and PST Conferences on Privacy, Trust Management and Security (IFIPTM 2007), IFIP International Federation for Information Processing, 2007, Moncton, Canada. Springer, 2007


Transforming Collaborative Service Specifications into Efficiently Executable State Machines
Peter Herrmann and Frank Alexander Kraemer.
Proceedings of the 6th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2007), Braga, Portugal


2006


Service Specification by Composition of Collaborations – An Example
Frank Alexander Kraemer and Peter Herrmann.
Proceedings of the 2nd International Workshop on Service Composition (Sercomp), Hong Kong, IEEE Computer Society, 2006


Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services
Frank Alexander Kraemer and Peter Herrmann and Rolv Bræk.
Proceedings of the 8th International Symposium on Distributed Objects and Applications (DOA), Oct 29th–Nov 3rd, 2006, Montpellier, France. Volume 4276 of Lecture Notes in Computer Science, Springer-Verlag (2006).


2005


Using UML 2.0 Collaborations for Compositional Service Specification
Richard Torbjørn Sanders, Humberto Nicolás Castejón, Frank Alexander Kraemer and Rolv Bræk.
ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Montego Bay, Jamaica, October 2005, Volume 3713 of Lecture Notes in Computer Science, Springer-Verlag (2005).

Technical Reports

From Activities to State Machines: Refinement Proof for a System
Frank Alexander Kraemer.
Department of Telematics, NTNU, AVANTEL Technical Report (1/2008), NTNU


UML Profile and Semantics for Service Specifications
Frank Alexander Kraemer.
Department of Telematics, NTNU, AVANTEL Technical Report (1/2007) NTNU


Profile for Service Engineering: Executable State Machines
Frank Alexander Kraemer.
Department of Telematics, NTNU, AVANTEL Technical Report (2/2006), NTNU


Ramses User Guide
Frank Alexander Kraemer and Haldor Samset.
Department of Telematics, NTNU, AVANTEL Technical Report (1/2006), NTNU