Bakgrunn og aktiviteter

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.

Vitenskapelig, faglig og kunstnerisk arbeid

Viser et utvalg av aktivitet. Se alle publikasjoner i databasen

2017

2016

2015

  • Kraemer, Frank Alexander. (2015) Block für Block zur IoT-Applikation. Eclipse Magazin.
  • Kraemer, Frank Alexander. (2015) Developing Robust IoT Gateway Applications from Building Blocks. Computing Systems Week . European Network of Excellence on High Performance and Embed; Oslo. 2015-05-04 - 2015-05-08.
  • Kraemer, Frank Alexander; Herrmann, Peter Michael. (2015) Creating Internet of Things Applications from Building Blocks. ERCIM News. vol. 101 (4).

2013

2012

  • 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.
  • 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.
  • 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. (2010) The ISIS Ecosystem – Towards an Integrated Solution to Internet of Things. 2010. ISBN 978-82-423-0624-1. FoU rapport (Telenor forskning og utvikling) (13).
  • Kraemer, Frank Alexander; Herrmann, Peter Michael. (2010) Reactive Semantics for Distributed UML Activities. Lecture Notes in Computer Science.
  • 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; Herrmann, Peter Michael. (2007) Formalizing Collaboration-Oriented Service Specifications using Temporal Logic. Networking and Electronic Commerce Research Conference ; Lake Garda. 2007-10-18 - 2007-10-21.
  • 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

  • Kraemer, Frank Alexander; Herrmann, Peter Michael. (2006) Service Specification by Composition of Collaborations - An Example. International Workshop on Service Composition (Sercomp'06) . IEEE; Hong Kong. 2006-12-18.
  • Kraemer, Frank Alexander; Herrmann, Peter Michael; Bræk, Rolv. (2006) Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services. Lecture Notes in Computer Science. vol. 4276.
  • 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.
  • Herrmann, Peter Michael; Kraemer, Frank Alexander. (2006) Modellbasierte Entwicklung von Kommunikationsdiensten an der NTNU. Jahrestreffen der GI-Fachgruppe FoMSESS . Maritta Heisel; Duisburg. 2006-06-12 - 2006-06-13.
  • 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.