Follow
Frank Alexander Kraemer
Frank Alexander Kraemer
Department of Information Security and Communication Technology, Norwegian University of Science and
Verified email at ntnu.no
Title
Cited by
Cited by
Year
Fog computing in healthcare–a review and discussion
FA Kraemer, AE Braten, N Tamkittikhun, D Palma
IEEE Access 5, 9206-9222, 2017
2962017
Tool support for the rapid composition, analysis and implementation of reactive services
FA Kraemer, V Slåtten, P Herrmann
Journal of Systems and Software 82 (12), 2068-2080, 2009
872009
Engineering android applications based on uml activities
FA Kraemer
Model Driven Engineering Languages and Systems: 14th International …, 2011
622011
Automated encapsulation of UML activities for incremental development and verification
FA Kraemer, P Herrmann
Model Driven Engineering Languages and Systems: 12th International …, 2009
502009
Using UML 2.0 collaborations for compositional service specification
RT Sanders, HN Castejón, FA Kraemer, R Bræk
Model Driven Engineering Languages and Systems: 8th International Conference …, 2005
502005
Engineering reactive systems: A compositional and model-driven method based on collaborative building blocks
FA Kraemer
Fakultet for informasjonsteknologi, matematikk og elektroteknikk, 2008
492008
Transforming collaborative service specifications into efficiently executable state machines
FA Kraemer, P Herrmann
Electronic Communications of the EASST 6, 2007
492007
Aligning UML 2.0 state machines and temporal logic for the efficient execution of services
FA Kraemer, P Herrmann, R Bræk
On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and …, 2006
482006
Service Specification by Composition of Collaborations--An Example
FA Kraemer, P Herrmann
2006 IEEE/WIC/ACM International Conference on Web Intelligence and …, 2006
472006
Reactive semantics for distributed UML activities
FA Kraemer, P Herrmann
Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 …, 2010
442010
Synthesizing components with sessions from collaboration-oriented service specifications
FA Kraemer, R Bræk, P Herrmann
SDL 2007: Design for Dependable Systems: 13th International SDL Forum Paris …, 2007
392007
Solar energy prediction for constrained IoT nodes based on public weather forecasts
FA Kraemer, D Ammar, AE Braten, N Tamkittikhun, D Palma
Proceedings of the Seventh International Conference on the Internet of …, 2017
342017
Autonomous management of energy-harvesting iot nodes using deep reinforcement learning
A Murad, FA Kraemer, K Bach, G Taylor
2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing …, 2019
312019
Compositional service engineering with arctis
FA Kraemer, R Bræk, P Herrmann
Telektronikk 105 (2009), 1, 2009
302009
Arctis and Ramses: Tool suites for rapid service engineering
FA Kraemer
Proceedings of NIK, 2007
292007
A measurement-driven approach to understand urban greenhouse gas emissions in Nordic cities
D Ahlers, PA Driscoll, FA Kraemer, FV Anthonisen, J Krogstie
NIK, 2016
252016
Formalizing collaboration-oriented service specifications using temporal logic
FA Kraemer, P Herrmann
Networking and Electronic Commerce Research Conference 2007, 2007
222007
Operationalizing solar energy predictions for sustainable, autonomous IoT device management
FA Kraemer, D Palma, AE Braten, D Ammar
IEEE Internet of Things Journal 7 (12), 11803-11814, 2020
212020
Engineering Support for UML Activities by Automated Model-Checking—An Example
FA Kraemer, V Slåtten, P Herrmann
Proceedings of the 4th International Workshop on Rapid Integration of …, 2007
202007
Rapid service development for service frame
FA Kraemer
Master’s thesis, University of Stuttgart, 2003
192003
The system can't perform the operation now. Try again later.
Articles 1–20