Background and activities

Research Activities

I coordinate the NTNU Internet of Things Lab, and work in the interdisciplinary research group for Autonomous, Adaptive Sensing. I am currently working on applying statistical methods and machine learning in the constrained settings of Internet of Things systems.

Current PhD students:

Teaching

I am responsible for the following courses:

And participate in the following teaching activities:

Team-Based Learning

I use team-based learning in my courses. You can read an article about one of my courses here (in Norwegian). It’s an active learning form using flipped classroom principles. At Læringsfestivalen 2016 I gave a talk with practical tips for team-based learning together with Børge Lillebo. The slides are here (in Norwegian). Since many ask me about resources on team-based learning and tips, I collect some of them here. Courses are different and not everything will work for everyone, so I am careful when recommending anything. However, team-based learning is easy to try out. You will most probably observe its effect on your students within a single session. This happened in my case, and from then on I decided to continue. I recommend the following resources on team-based learning:

  • Team-based Learning website. Lots of good resources and introduction material.
  • A seminar on team-based learning, by Michael Sweet. Part 1 and Part 2. This is a long seminar on video, but worth every minute once you want to know more about the details.
  • The book Team-Based Learning from Larry K. (EDT) Michaelsen, Arletta Bauman Knight, L. Dee Fink, 2004
  • The book Team-Based Learning: Small-Group Learning’s Next Big Step from Larry K. Michaelsen, Michael Sweet, Dean X. Parmelee, 2009
  • I wrote an article for Læringsfestivalen in Læring for Læring, Vol.1.1, 2017, available here. There is also a video of the corresponding talk.

Scientific, academic and artistic work

Displaying a selection of activities. See all publications in the database

2018

2017

  • Bråten, Anders Eivind; Tamkittikhun, Nattachart; Kraemer, Frank Alexander; Ammar, Doreid. (2017) Towards Cognitive Device Management: A Testbed to Explore Autonomy for Constrained IoT Devices. The 7th International Conference on the Internet of Things (IoT 2017) ; Linz. 2017-10-22 - 2017-10-25.
  • Kraemer, Frank Alexander. (2017) Smarte sensorer overalt – hva vil det gjøre med oss?. Forskningskafe . NTNU; Trondheim. 2017-09-25 - 2017-09-27.
  • Kraemer, Frank Alexander. (2017) Team-Based Learning: A Practical Approach for an Engineering Class. Læring om læring. vol. 1 (1).
  • Kraemer, Frank Alexander; Ammar, Doreid; Bråten, Anders Eivind; Tamkittikhun, Nattachart; Palma, David. (2017) Solar Energy Prediction for Constrained IoT Nodes based on Public Weather Forecasts. The 7th International Conference on the Internet of Things - IoT 2017 . ACM; Linz. 2017-10-22 - 2017-10-25.
  • Kraemer, Frank Alexander; Bråten, Anders Eivind; Tamkittikhun, Nattachart; Palma, David. (2017) Fog Computing in Healthcare – A Review and Discussion. IEEE Access. vol. 5.
  • Tamkittikhun, Nattachart; Hussain, Amen; Kraemer, Frank Alexander. (2017) Energy Consumption Estimation for Energy-Aware, Adaptive Sensing Applications. Mobile Secure and Programmable Networking.

2016

2015

  • Kraemer, Frank Alexander. (2015) Block für Block zur IoT-Applikation. Eclipse Magazin.

2013

2012

  • Gunawan, Linda Ariani; Kraemer, Frank Alexander; Herrmann, Peter. (2012) Behavioral Singletons to Consistently Handle Global States of Security Patterns. 7th International Federated Conference on Distributed Computing Techniques (DAIS 2012) . KTH; Stockholm. 2012-06-13 - 2012-06-15.
  • Gunawan, Linda Ariani; Kraemer, Frank Alexander; Herrmann, Peter. (2012) Behavioral Singletons to Consistently Handle Global States of Security Patterns. Lecture Notes in Computer Science. vol. 7272.
  • Slåtten, Vidar; Kraemer, Frank Alexander; Herrmann, Peter Michael. (2012) Towards Automatic Generation of Formal Specifications to Validate and Verify Reliable Distributed Systems. SIGPLAN notices. vol. 47 (3).

2011

2010

  • Gunawan, Linda Ariani; Vogel, Michael; Kraemer, Frank Alexander; Schmerl, Sebastian; Slåtten, Vidar; Herrmann, Peter Michael; König, Hartmut. (2010) Modeling a Distributed Intrusion Detection System Using Collaborative Building Blocks. Third IEEE International Workshop UML and Formal Methods ; Shanghai. 2010-11-16 - 2010-11-16.
  • Kraemer, Frank Alexander; Herrmann, Peter Michael. (2010) Reactive Semantics for Distributed UML Activities. Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010, and 30th IFIP WG 6.1 International Conference, FORTE 2010 . John Hatcliff and Elena Zucca; Amsterdam. 2010-06-07 - 2010-06-09.
  • Slåtten, Vidar; Kraemer, Frank Alexander; Herrmann, Peter Michael. (2010) Towards a Model-Driven Method for Reliable Applications: From Ideal To Realistic Transmission Semantics. International Workshop on Software Engineering for Resilient Systems (SERENE 2010) . SERENE, ERCIM Working Group; London. 2010-04-15 - 2010-04-16.

2009

2008

2007

  • Herrmann, Peter Michael; Kraemer, Frank Alexander. (2007) Design of Trusted Systems with Reusable Collaboration Models. IFIP International Federation for Information Processing. vol. 238.
  • Kraemer, Frank Alexander. (2007) Arctis and Ramses: Tool Suites for Rapid Service Engineering. Norsk Informatikkonferanse (NIK 2007).
  • Kraemer, Frank Alexander; Bræk, Rolv; Herrmann, Peter Michael. (2007) Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications. Lecture Notes in Computer Science.
  • Kraemer, Frank Alexander; Bræk, Rolv; Herrmann, Peter Michael. (2007) Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications. 13th SDL Forum . SDL Forum Society; Paris. 2007-09-18 - 2007-09-21.
  • Kraemer, Frank Alexander; Herrmann, Peter Michael. (2007) Formalizing Collaboration-Oriented Service Specifications using Temporal Logic. Proceedings of the 2007 Networking and Electronic Conference (NAEC2007).
  • Kraemer, Frank Alexander; Herrmann, Peter Michael. (2007) Transforming Collaborative Service Specifications into Efficiently Executable State Machines. Electronic Communications of the EASST.
  • Kraemer, Frank Alexander; Herrmann, Peter Michael. (2007) Transforming Collaborative Service Specifications into Efficiently Executable State Machines. 6th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2007) ; Braga. 2007-03-31 - 2007-04-01.
  • Kraemer, Frank Alexander; Slåtten, Vidar; Herrmann, Peter Michael. (2007) Engineering Support for UML Activities by Automated Model-Checking - An Example. 4th International Workshop on Rapid Integration of Software Engineering Techniques (RISE) . ERCIM Working Group; Luxembourg. 2007-11-26 - 2007-11-27.

2006

  • Herrmann, Peter Michael; Kraemer, Frank Alexander. (2006) Collaboration-Oriented Service Engineering by means of Model Transformation. Meeting of the ERCIM Security and Trust Management Working Group . Fabio Martinelli; Hamburg. 2006-09-20 - 2006-09-21.
  • Kraemer, Frank Alexander; Herrmann, Peter Michael. (2006) Service Specification by Composition of Collaborations — An Example. 2006 IEEE/WIC/ACM International Conference on Web Intelligence.

2005

  • Sanders, Richard Torbjørn; Castejón, Humberto Nicolás; Kraemer, Frank Alexander; Bræk, Rolv. (2005) Using UML 2.0 Collaborations for Compositional Service Specification. Lecture Notes in Computer Science. vol. 3713.

2004

  • Kraemer, Frank Alexander. (2004) Telecom Service Engineering with Eclipse. Eclipse Technology Exchange, ECOOP 2004 ; Oslo. 2004-06-15 - 2004-06-15.