Frank Alexander Krämer
Om
Frank Alexander Kraemer received the Dipl.-Ing. degree in electrical engineering from the University of Stuttgart, Stuttgart, Germany, in 2003, the M.Sc. degree in information technology from the University of Stuttgart, and the Ph.D. degree in model-driven systems development from the Department of Telematics, Norwegian University of Science and Technology (NTNU), Trondheim, Norway, in 2008. He is a professor with the Department of Information Security and Communication Technology, NTNU, and worked previously as a Technology Manager at a startup for IoT software that he co-founded. His current research interests include Internet-of-Things architectures and application development, embedded and autonomous sensor systems, and the application of statistical methods and machine learning in constrained settings. Since Sept. 2024 he works as project and development manager at DeepOcean.
Forskning
My research interests are aligned around applying statistical methods and machine learning in the constrained settings of IoT systems.
PhD students:
- Hafiz Areeb Asad
- Lukas Liedtke (together with Magnus Jahre and Per Gunnar Kjeldsberg)
- Abdulmajid Murad (graduated 2023)
- Anders Eivind Bråten (graduated 2024)
- Vidar Slåtten (informall co-supervision with Peter Herrmann, graduated 2013)
Publikasjoner
2024
-
Bråten, Anders Eivind;
Kraemer, Frank Alexander;
Palma, David;
Herrmann, Peter.
(2024)
Synthesis of a Conceptual Architecture for Cognitive IoT Device Management.
Norwegian University of Science, NTNU
Doktorgradsavhandling
-
Murad, Abdulmajid ;
Kraemer, Frank Alexander;
Bach, Kerstin;
Taylor, Gavin.
(2024)
Uncertainty-aware autonomous sensing with deep reinforcement learning.
Future Generation Computer Systems
Vitenskapelig artikkel
2023
-
Krämer, Frank Alexander;
Asad, Hafiz Areeb;
Bach, Kerstin;
Renner, Christian.
(2023)
Online Machine Learning for 1-Day-Ahead Prediction of Indoor Photovoltaic Energy.
IEEE Access
Vitenskapelig artikkel
-
Asad, Hafiz Areeb;
Kraemer, Frank Alexander;
Bach, Kerstin;
Renner, Christian.
(2023)
Poster Abstract: Towards Autonomous Utility-Aware Energy Management for Energy Harvesting Devices.
Association for Computing Machinery (ACM)
Annet
-
Santos Veiga, Tiago;
Asad, Hafiz Areeb;
Kraemer, Frank Alexander;
Bach, Kerstin.
(2023)
Container-Based IoT Architectures: Use Case for Visual Person Counting.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2022
-
Asad, Hafiz Areeb;
Kraemer, Frank Alexander;
Bach, Kerstin;
Renner, Christian;
Veiga, Tiago Santos.
(2022)
Learning attention models for resource-constrained, self-adaptive visual sensing applications.
Association for Computing Machinery (ACM)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Veiga, Tiago Santos;
Asad, Hafiz Areeb;
Kræmer, Frank Alexander;
Bach, Kerstin.
(2022)
Towards containerized, reuse-oriented AI deployment platforms for cognitive IoT applications.
Future Generation Computer Systems
Vitenskapelig artikkel
-
Espe, Asbjørn Engmark;
Andersen, Sondre Ninive;
Salvo Rossi, Pierluigi;
Kræmer, Frank Alexander;
Mathisen, Geir.
(2022)
An Analysis of Design Parameters for Energy Management of Wireless Sensor Devices.
IEEE conference proceedings
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Alawad, Faiga Mohammad Mohammad Ahmed;
Kraemer, Frank Alexander.
(2022)
Value of Information in Wireless Sensor Network Applications and the IoT: A Review.
IEEE Sensors Journal
Vitenskapelig oversiktsartikkel/review
2021
-
Lange, Stanislav;
Schwarzmann, Susanna;
Gajic, Marija;
Zinner, Thomas;
Kraemer, Frank Alexander.
(2021)
AI in 5G Networks: Challenges and Use Cases.
John Wiley & Sons
Faglig kapittel
-
Kraemer, Frank Alexander.
(2021)
På tide å sette søkelys på gode læringsaktiviteter.
www.universitetsavisa.no
Leserinnlegg
-
Murad, Abdulmajid ;
Kraemer, Frank Alexander;
Bach, Kerstin;
Taylor, Gavin.
(2021)
Probabilistic Deep Learning to Quantify Uncertainty in Air Quality Forecasting.
Sensors
Vitenskapelig artikkel
-
Pedersen, Eilif;
Eitungjerde, Sara;
André, Thea Harnes;
Bruheim, Per;
Grønflaten, Lars Trovatten;
Gundersen, Ingeborg Nævdal.
(2021)
Fremtidens teknologistudier (FTS), grupperapport: A3 - 5-årig master.
NTNU
Rapport
2020
-
Davidsson, Paul;
Langheinrich, Marc;
Linde, Per;
Mayer, Simon;
Casado-Mansilla, Diego;
Spikol, Daniel.
(2020)
IoT '20 Companion: 10th International Conference on the Internet of Things Companion.
Association for Computing Machinery (ACM)
Association for Computing Machinery (ACM)
Vitenskapelig antologi/Konferanseserie
-
Kraemer, Frank Alexander;
Palma, David;
Bråten, Anders Eivind;
Ammar, Doreid.
(2020)
Operationalizing Solar Energy Predictions for Sustainable, Autonomous IoT Device Management.
IEEE Internet of Things Journal
Vitenskapelig artikkel
-
Gómez-Carmona, Oihane;
Casado Mansilla, Diego;
Kraemer, Frank Alexander;
Lopez-de-Ipina, Diego;
Garcia-Zubia, Javier.
(2020)
Exploring the computational cost of machine learning at the edge for human-centric Internet of Things.
Future Generation Computer Systems
Vitenskapelig artikkel
-
Murad, Abdulmajid ;
Kraemer, Frank Alexander;
Bach, Kerstin;
Taylor, Gavin.
(2020)
Information-Driven Adaptive Sensing Based on Deep Reinforcement Learning.
Association for Computing Machinery (ACM)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Bråten, Anders Eivind;
Kraemer, Frank Alexander;
Palma, David.
(2020)
Autonomous IoT Device Management Systems: Structured Review and Generalized Cognitive Model.
IEEE Internet of Things Journal
Vitenskapelig oversiktsartikkel/review
2019
-
Singh, Adarsh Pal;
Jain, Vivek;
Chaudhari, Sachin;
Kraemer, Frank Alexander;
Werner, Stefan;
Garg, Vishal.
(2019)
Machine Learning-based Occupancy Estimation Using Multivariate Sensor Nodes.
IEEE (Institute of Electrical and Electronics Engineers)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Murad, Abdulmajid Abdullah Yahya;
Kraemer, Frank Alexander;
Bach, Kerstin;
Taylor, Gavin.
(2019)
Autonomous Management of Energy-Harvesting IoT Nodes Using Deep Reinforcement Learning.
IEEE (Institute of Electrical and Electronics Engineers)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Murad, Abdulmajid Abdullah Yahya;
Kraemer, Frank Alexander;
Bach, Kerstin;
Taylor, Gavin.
(2019)
IoT Sensor Gym: Training Autonomous IoT Devices with Deep Reinforcement Learning.
Association for Computing Machinery (ACM)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Kraemer, Frank Alexander;
Alawad, Faiga Mohammad Mohammad Ahmed;
Bosch, Ida Marie V..
(2019)
Energy-Accuracy Tradeoff for Efficient Noise Monitoring and Prediction in Working Environments.
Association for Computing Machinery (ACM)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Håkansson, Victor Wattin;
Dasanadoddi Venkategowda, Naveen Kumar;
Kraemer, Frank Alexander;
Werner, Stefan.
(2019)
Cost-Aware Dual Prediction Scheme for Reducing Transmissions at IoT Sensor Nodes.
IEEE Signal Processing Society
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Bråten, Anders Eivind;
Kraemer, Frank Alexander;
Palma, David.
(2019)
Adaptive, Correlation-Based Training Data Selection for IoT Device Management.
IEEE (Institute of Electrical and Electronics Engineers)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2018
-
Bråten, Anders Eivind;
Kraemer, Frank Alexander.
(2018)
Towards Cognitive IoT: Autonomous Prediction Model Selection for Solar-Powered Nodes.
IEEE (Institute of Electrical and Electronics Engineers)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Ahlers, Dirk;
Kraemer, Frank Alexander;
Bråten, Anders Eivind;
Liu, Xiufeng;
Anthonisen, Fredrik Valde;
Driscoll, Patrick Arthur.
(2018)
Analysis and Visualization of Urban Emission Measurements in Smart Cities.
OpenProceedings
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
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.
Association for Computing Machinery (ACM)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
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.
Association for Computing Machinery (ACM)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Kraemer, Frank Alexander.
(2017)
Team-Based Learning: A Practical Approach for an Engineering Class.
Læring om læring
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Tamkittikhun, Nattachart;
Bråten, Anders Eivind.
(2017)
Machine Learning in IoT for Autonomous, Adaptive Sensing.
ERCIM News
Vitenskapelig artikkel
-
Tamkittikhun, Nattachart;
Hussain, Amen;
Kraemer, Frank Alexander.
(2017)
Energy Consumption Estimation for Energy-Aware, Adaptive Sensing Applications.
Springer
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Kraemer, Frank Alexander;
Bråten, Anders Eivind;
Tamkittikhun, Nattachart;
Palma, David.
(2017)
Fog Computing in Healthcare – A Review and Discussion.
IEEE Access
Vitenskapelig oversiktsartikkel/review
2016
-
Ahlers, Dirk;
Driscoll, Patric Arthur;
Kraemer, Frank Alexander;
Anthonisen, Fredrik Valde;
Krogstie, John.
(2016)
A Measurement-Driven Approach to Understand Urban Greenhouse Gas Emissions in Nordic Cities.
NIKT: Norsk IKT-konferanse for forskning og utdanning
Vitenskapelig artikkel
2015
-
Kraemer, Frank Alexander.
(2015)
Block für Block zur IoT-Applikation.
Eclipse Magazin
Fagartikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2015)
Creating Internet of Things Applications from Building Blocks.
ERCIM News
Short communication
2013
-
Slåtten, Vidar;
Herrmann, Peter Michael;
Kraemer, Frank Alexander.
(2013)
Model-Driven Engineering of Reliable Fault-Tolerant Systems-A State-of-the-Art Survey.
Advances in Computers
Vitenskapelig artikkel
2012
-
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
Vitenskapelig artikkel
-
Gunawan, Linda Ariani;
Kraemer, Frank Alexander;
Herrmann, Peter.
(2012)
Behavioral Singletons to Consistently Handle Global States of Security Patterns.
Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
2011
-
Slåtten, Vidar;
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2011)
Towards a Model-Driven Method for Reliable Applications: From Ideal To Realistic Transmission Semantics.
ACM Publications
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Kraemer, Frank Alexander;
Kathayat, Surya Bahadur;
Bræk, Rolv.
(2011)
Unified Modeling of Service Logic with User Interfaces.
International journal of intelligent and cooperative information systems
Vitenskapelig artikkel
-
Gunawan, Linda Ariani;
Vogel, Michael;
Kraemer, Frank Alexander;
Schmerl, Sebastian;
Slåtten, Vidar;
Herrmann, Peter Michael.
(2011)
Modeling a Distributed Intrusion Detection System Using Collaborative Building Blocks.
Software engineering notes
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2011)
System Analysis and Modeling: About Models.
Springer
Lecture Notes in Computer Science (LNCS) (0302-9743)
Vitenskapelig antologi/Konferanseserie
-
Gunawan, Linda Ariani;
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2011)
A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications.
Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
-
Kraemer, Frank Alexander.
(2011)
Engineering Android Applications based on UML Activities.
Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
-
Slåtten, Vidar;
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2011)
Towards Automatic Generation of Formal Specifications to Validate and Verify Reliable Distributed Systems: A Method Exemplified by an Industrial Case Study.
ACM Publications
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2010
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2010)
Reactive Semantics for Distributed UML Activities.
Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
2009
-
Kraemer, Frank Alexander;
Kathayat, Surya Bahadur;
Bræk, Rolv.
(2009)
Unified Modeling of Service Logic with User Interfaces.
Association for Computing Machinery (ACM)
Annet
-
Kraemer, Frank Alexander;
Samset, Haldor;
Bræk, Rolv.
(2009)
An Automated Method for Web Service Orchestration Based on Reusable Building Blocks.
IEEE (Institute of Electrical and Electronics Engineers)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Kraemer, Frank Alexander;
Slåtten, Vidar;
Herrmann, Peter Michael.
(2009)
Model-Driven Construction of Embedded Applications
based on Reusable Building Blocks - An Example.
Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Slåtten, Vidar;
Herrmann, Peter Michael.
(2009)
Tool Support for the Rapid Composition, Analysis and Implementation of Reactive Services.
Journal of Systems and Software
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2009)
Automated Encapsulation of UML Activities for Incremental Development and Verification.
Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Bræk, Rolv;
Herrmann, Peter.
(2009)
Compositional Service Engineering with Arctis.
Telektronikk
Vitenskapelig artikkel
-
Kraemer, Frank Alexander.
(2009)
Automatic Generation of Compatible Interfaces from Partitioned UML Activities.
Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
-
Gunawan, Linda Ariani;
Herrmann, Peter Michael;
Kraemer, Frank Alexander.
(2009)
Towards the Integration of Security Aspects into System Development Using Collaboration-Oriented Models.
Communications in Computer and Information Science (CCIS)
Vitenskapelig artikkel
2008
-
Kraemer, Frank Alexander.
(2008)
Engineering Reactive Systems. A Compositional and Model-Driven Method Based on Collaborative Building Blocks.
Doktoravhandlinger ved NTNU (2008:228)
Doktorgradsavhandling
2007
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2007)
Formalizing Collaboration-Oriented Service Specifications using Temporal Logic.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Kraemer, Frank Alexander.
(2007)
Arctis and Ramses: Tool Suites for Rapid Service Engineering.
Tapir Akademisk Forlag
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Kraemer, Frank Alexander;
Bræk, Rolv;
Herrmann, Peter Michael.
(2007)
Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications.
Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
-
Herrmann, Peter Michael;
Kraemer, Frank Alexander.
(2007)
Design of Trusted Systems with Reusable Collaboration Models.
IFIP International Federation for Information Processing
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2007)
Transforming Collaborative Service Specifications into Efficiently Executable State Machines.
Electronic Communications of the EASST
Vitenskapelig artikkel
2006
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2006)
Service Specification by Composition of Collaborations — An Example.
IEEE (Institute of Electrical and Electronics Engineers)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
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 (LNCS)
Vitenskapelig artikkel
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 (LNCS)
Vitenskapelig artikkel
Tidsskriftspublikasjoner
-
Murad, Abdulmajid ;
Kraemer, Frank Alexander;
Bach, Kerstin;
Taylor, Gavin.
(2024)
Uncertainty-aware autonomous sensing with deep reinforcement learning.
Future Generation Computer Systems
Vitenskapelig artikkel
-
Krämer, Frank Alexander;
Asad, Hafiz Areeb;
Bach, Kerstin;
Renner, Christian.
(2023)
Online Machine Learning for 1-Day-Ahead Prediction of Indoor Photovoltaic Energy.
IEEE Access
Vitenskapelig artikkel
-
Veiga, Tiago Santos;
Asad, Hafiz Areeb;
Kræmer, Frank Alexander;
Bach, Kerstin.
(2022)
Towards containerized, reuse-oriented AI deployment platforms for cognitive IoT applications.
Future Generation Computer Systems
Vitenskapelig artikkel
-
Alawad, Faiga Mohammad Mohammad Ahmed;
Kraemer, Frank Alexander.
(2022)
Value of Information in Wireless Sensor Network Applications and the IoT: A Review.
IEEE Sensors Journal
Vitenskapelig oversiktsartikkel/review
-
Kraemer, Frank Alexander.
(2021)
På tide å sette søkelys på gode læringsaktiviteter.
www.universitetsavisa.no
Leserinnlegg
-
Murad, Abdulmajid ;
Kraemer, Frank Alexander;
Bach, Kerstin;
Taylor, Gavin.
(2021)
Probabilistic Deep Learning to Quantify Uncertainty in Air Quality Forecasting.
Sensors
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Palma, David;
Bråten, Anders Eivind;
Ammar, Doreid.
(2020)
Operationalizing Solar Energy Predictions for Sustainable, Autonomous IoT Device Management.
IEEE Internet of Things Journal
Vitenskapelig artikkel
-
Gómez-Carmona, Oihane;
Casado Mansilla, Diego;
Kraemer, Frank Alexander;
Lopez-de-Ipina, Diego;
Garcia-Zubia, Javier.
(2020)
Exploring the computational cost of machine learning at the edge for human-centric Internet of Things.
Future Generation Computer Systems
Vitenskapelig artikkel
-
Bråten, Anders Eivind;
Kraemer, Frank Alexander;
Palma, David.
(2020)
Autonomous IoT Device Management Systems: Structured Review and Generalized Cognitive Model.
IEEE Internet of Things Journal
Vitenskapelig oversiktsartikkel/review
-
Kraemer, Frank Alexander.
(2017)
Team-Based Learning: A Practical Approach for an Engineering Class.
Læring om læring
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Tamkittikhun, Nattachart;
Bråten, Anders Eivind.
(2017)
Machine Learning in IoT for Autonomous, Adaptive Sensing.
ERCIM News
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Bråten, Anders Eivind;
Tamkittikhun, Nattachart;
Palma, David.
(2017)
Fog Computing in Healthcare – A Review and Discussion.
IEEE Access
Vitenskapelig oversiktsartikkel/review
-
Ahlers, Dirk;
Driscoll, Patric Arthur;
Kraemer, Frank Alexander;
Anthonisen, Fredrik Valde;
Krogstie, John.
(2016)
A Measurement-Driven Approach to Understand Urban Greenhouse Gas Emissions in Nordic Cities.
NIKT: Norsk IKT-konferanse for forskning og utdanning
Vitenskapelig artikkel
-
Kraemer, Frank Alexander.
(2015)
Block für Block zur IoT-Applikation.
Eclipse Magazin
Fagartikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2015)
Creating Internet of Things Applications from Building Blocks.
ERCIM News
Short communication
-
Slåtten, Vidar;
Herrmann, Peter Michael;
Kraemer, Frank Alexander.
(2013)
Model-Driven Engineering of Reliable Fault-Tolerant Systems-A State-of-the-Art Survey.
Advances in Computers
Vitenskapelig artikkel
-
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
Vitenskapelig artikkel
-
Gunawan, Linda Ariani;
Kraemer, Frank Alexander;
Herrmann, Peter.
(2012)
Behavioral Singletons to Consistently Handle Global States of Security Patterns.
Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Kathayat, Surya Bahadur;
Bræk, Rolv.
(2011)
Unified Modeling of Service Logic with User Interfaces.
International journal of intelligent and cooperative information systems
Vitenskapelig artikkel
-
Gunawan, Linda Ariani;
Vogel, Michael;
Kraemer, Frank Alexander;
Schmerl, Sebastian;
Slåtten, Vidar;
Herrmann, Peter Michael.
(2011)
Modeling a Distributed Intrusion Detection System Using Collaborative Building Blocks.
Software engineering notes
Vitenskapelig artikkel
-
Gunawan, Linda Ariani;
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2011)
A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications.
Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
-
Kraemer, Frank Alexander.
(2011)
Engineering Android Applications based on UML Activities.
Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2010)
Reactive Semantics for Distributed UML Activities.
Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Slåtten, Vidar;
Herrmann, Peter Michael.
(2009)
Model-Driven Construction of Embedded Applications
based on Reusable Building Blocks - An Example.
Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Slåtten, Vidar;
Herrmann, Peter Michael.
(2009)
Tool Support for the Rapid Composition, Analysis and Implementation of Reactive Services.
Journal of Systems and Software
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2009)
Automated Encapsulation of UML Activities for Incremental Development and Verification.
Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Bræk, Rolv;
Herrmann, Peter.
(2009)
Compositional Service Engineering with Arctis.
Telektronikk
Vitenskapelig artikkel
-
Kraemer, Frank Alexander.
(2009)
Automatic Generation of Compatible Interfaces from Partitioned UML Activities.
Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
-
Gunawan, Linda Ariani;
Herrmann, Peter Michael;
Kraemer, Frank Alexander.
(2009)
Towards the Integration of Security Aspects into System Development Using Collaboration-Oriented Models.
Communications in Computer and Information Science (CCIS)
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Bræk, Rolv;
Herrmann, Peter Michael.
(2007)
Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications.
Lecture Notes in Computer Science (LNCS)
Vitenskapelig artikkel
-
Herrmann, Peter Michael;
Kraemer, Frank Alexander.
(2007)
Design of Trusted Systems with Reusable Collaboration Models.
IFIP International Federation for Information Processing
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2007)
Transforming Collaborative Service Specifications into Efficiently Executable State Machines.
Electronic Communications of the EASST
Vitenskapelig artikkel
-
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 (LNCS)
Vitenskapelig artikkel
-
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 (LNCS)
Vitenskapelig artikkel
Bøker
-
Davidsson, Paul;
Langheinrich, Marc;
Linde, Per;
Mayer, Simon;
Casado-Mansilla, Diego;
Spikol, Daniel.
(2020)
IoT '20 Companion: 10th International Conference on the Internet of Things Companion.
Association for Computing Machinery (ACM)
Association for Computing Machinery (ACM)
Vitenskapelig antologi/Konferanseserie
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2011)
System Analysis and Modeling: About Models.
Springer
Lecture Notes in Computer Science (LNCS) (0302-9743)
Vitenskapelig antologi/Konferanseserie
Del av bok/rapport
-
Asad, Hafiz Areeb;
Kraemer, Frank Alexander;
Bach, Kerstin;
Renner, Christian.
(2023)
Poster Abstract: Towards Autonomous Utility-Aware Energy Management for Energy Harvesting Devices.
Association for Computing Machinery (ACM)
Annet
-
Santos Veiga, Tiago;
Asad, Hafiz Areeb;
Kraemer, Frank Alexander;
Bach, Kerstin.
(2023)
Container-Based IoT Architectures: Use Case for Visual Person Counting.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Asad, Hafiz Areeb;
Kraemer, Frank Alexander;
Bach, Kerstin;
Renner, Christian;
Veiga, Tiago Santos.
(2022)
Learning attention models for resource-constrained, self-adaptive visual sensing applications.
Association for Computing Machinery (ACM)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Espe, Asbjørn Engmark;
Andersen, Sondre Ninive;
Salvo Rossi, Pierluigi;
Kræmer, Frank Alexander;
Mathisen, Geir.
(2022)
An Analysis of Design Parameters for Energy Management of Wireless Sensor Devices.
IEEE conference proceedings
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Lange, Stanislav;
Schwarzmann, Susanna;
Gajic, Marija;
Zinner, Thomas;
Kraemer, Frank Alexander.
(2021)
AI in 5G Networks: Challenges and Use Cases.
John Wiley & Sons
Faglig kapittel
-
Murad, Abdulmajid ;
Kraemer, Frank Alexander;
Bach, Kerstin;
Taylor, Gavin.
(2020)
Information-Driven Adaptive Sensing Based on Deep Reinforcement Learning.
Association for Computing Machinery (ACM)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Singh, Adarsh Pal;
Jain, Vivek;
Chaudhari, Sachin;
Kraemer, Frank Alexander;
Werner, Stefan;
Garg, Vishal.
(2019)
Machine Learning-based Occupancy Estimation Using Multivariate Sensor Nodes.
IEEE (Institute of Electrical and Electronics Engineers)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Murad, Abdulmajid Abdullah Yahya;
Kraemer, Frank Alexander;
Bach, Kerstin;
Taylor, Gavin.
(2019)
Autonomous Management of Energy-Harvesting IoT Nodes Using Deep Reinforcement Learning.
IEEE (Institute of Electrical and Electronics Engineers)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Murad, Abdulmajid Abdullah Yahya;
Kraemer, Frank Alexander;
Bach, Kerstin;
Taylor, Gavin.
(2019)
IoT Sensor Gym: Training Autonomous IoT Devices with Deep Reinforcement Learning.
Association for Computing Machinery (ACM)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Kraemer, Frank Alexander;
Alawad, Faiga Mohammad Mohammad Ahmed;
Bosch, Ida Marie V..
(2019)
Energy-Accuracy Tradeoff for Efficient Noise Monitoring and Prediction in Working Environments.
Association for Computing Machinery (ACM)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Håkansson, Victor Wattin;
Dasanadoddi Venkategowda, Naveen Kumar;
Kraemer, Frank Alexander;
Werner, Stefan.
(2019)
Cost-Aware Dual Prediction Scheme for Reducing Transmissions at IoT Sensor Nodes.
IEEE Signal Processing Society
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Bråten, Anders Eivind;
Kraemer, Frank Alexander;
Palma, David.
(2019)
Adaptive, Correlation-Based Training Data Selection for IoT Device Management.
IEEE (Institute of Electrical and Electronics Engineers)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Bråten, Anders Eivind;
Kraemer, Frank Alexander.
(2018)
Towards Cognitive IoT: Autonomous Prediction Model Selection for Solar-Powered Nodes.
IEEE (Institute of Electrical and Electronics Engineers)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Ahlers, Dirk;
Kraemer, Frank Alexander;
Bråten, Anders Eivind;
Liu, Xiufeng;
Anthonisen, Fredrik Valde;
Driscoll, Patrick Arthur.
(2018)
Analysis and Visualization of Urban Emission Measurements in Smart Cities.
OpenProceedings
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
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.
Association for Computing Machinery (ACM)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
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.
Association for Computing Machinery (ACM)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Tamkittikhun, Nattachart;
Hussain, Amen;
Kraemer, Frank Alexander.
(2017)
Energy Consumption Estimation for Energy-Aware, Adaptive Sensing Applications.
Springer
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Slåtten, Vidar;
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2011)
Towards a Model-Driven Method for Reliable Applications: From Ideal To Realistic Transmission Semantics.
ACM Publications
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Slåtten, Vidar;
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2011)
Towards Automatic Generation of Formal Specifications to Validate and Verify Reliable Distributed Systems: A Method Exemplified by an Industrial Case Study.
ACM Publications
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Kraemer, Frank Alexander;
Kathayat, Surya Bahadur;
Bræk, Rolv.
(2009)
Unified Modeling of Service Logic with User Interfaces.
Association for Computing Machinery (ACM)
Annet
-
Kraemer, Frank Alexander;
Samset, Haldor;
Bræk, Rolv.
(2009)
An Automated Method for Web Service Orchestration Based on Reusable Building Blocks.
IEEE (Institute of Electrical and Electronics Engineers)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2007)
Formalizing Collaboration-Oriented Service Specifications using Temporal Logic.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Kraemer, Frank Alexander.
(2007)
Arctis and Ramses: Tool Suites for Rapid Service Engineering.
Tapir Akademisk Forlag
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2006)
Service Specification by Composition of Collaborations — An Example.
IEEE (Institute of Electrical and Electronics Engineers)
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Rapport
-
Bråten, Anders Eivind;
Kraemer, Frank Alexander;
Palma, David;
Herrmann, Peter.
(2024)
Synthesis of a Conceptual Architecture for Cognitive IoT Device Management.
Norwegian University of Science, NTNU
Doktorgradsavhandling
-
Pedersen, Eilif;
Eitungjerde, Sara;
André, Thea Harnes;
Bruheim, Per;
Grønflaten, Lars Trovatten;
Gundersen, Ingeborg Nævdal.
(2021)
Fremtidens teknologistudier (FTS), grupperapport: A3 - 5-årig master.
NTNU
Rapport
-
Kraemer, Frank Alexander.
(2008)
Engineering Reactive Systems. A Compositional and Model-Driven Method Based on Collaborative Building Blocks.
Doktoravhandlinger ved NTNU (2008:228)
Doktorgradsavhandling
Undervisning
Selected Teaching Resources (for students)
Educational Activities
Since 2018 I am excellent teaching practitioner (merittert underviser), and I was deputy department head for education at IIK, NTNU.
In my teaching activities I try to use active learning and utilize some of our active learning spaces, especially by using Team-based learning or variants of it. See here a video of a talk about the TTM4115 course at Læringsfestivalen, or the corresponding article (in Norwegian).
Teaching Resources (for other teachers)
To help with my own teaching, I developed a few free programs that may be useful for some.
- Nøtteknekker - an iPhone app to do team quizzes.
- Teampy - a program to create and grade multiple-choice quizzes in large classes. Perfect for RATs in TBL.
- Digital Scratch Cards - a solution to do TBL team-quizzes online.
- Supermark - a program to write websites for courses
- Timers - a set of timers to include in Keynote or PowerPoint slides.
Presentations on Team-Based Learning:
- Utdanningssnakk en 30-minutters innføring i team-basert læring (på Norsk)
- TBL-related material, including a seminar and a 20-hour module for UNIPED.
Formidling
2023
-
Faglig foredragVeiga, Tiago; Asad, Hafiz Areeb; Kraemer, Frank Alexander; Bach, Kerstin. (2023) Container-Based IoT Architectures: Use Case for Visual Person Counting. Norwegian AI Society 5th Symposium of the Norwegian AI Society , Bergen 2023-06-14 - 2023-06-15
2019
-
Faglig foredragKraemer, Frank Alexander. (2019) 5G og tingenes internett — hva betyr dette for elektrobransjen?. Samling for elektroutdanning ved vidergående skoler i Trøndelag , Bjugn 2019-11-29 -
-
PosterMurad, Abdulmajid Abdullah Yahya; Kraemer, Frank Alexander; Bach, Kerstin; Taylor, Gavin. (2019) IoT Sensor Gym: Training Autonomous IoT Devices with Deep Reinforcement Learning (Poster). IoT 20019 2019-10-22 - 2019-10-25
2018
-
Vitenskapelig foredragAhlers, Dirk; Kraemer, Frank Alexander; Bråten, Anders Eivind; Liu, Xiufeng; Anthonisen, Fredrik Valde; Driscoll, Patrick Arthur. (2018) Analysis and Visualization of Urban Emission Measurements in Smart Cities. International Conference on Extending Database Technology (EDBT) , Vienna 2018-03-26 - 2018-03-29
-
PosterSteinsland, Ingelin; Mortensen, Markus; Kraemer, Frank Alexander; Werner, Stefan. (2018) Towards Smart, Resource-Constrained Environmental Sensor Networks. European Geosciences Union General Assembly 2018 2018-04-08 - 2018-04-13
-
Populærvitenskapelig foredragKraemer, Frank Alexander; Bråten, Anders Eivind; Palma, David; Tamkittikhun, Nattachart. (2018) Et eventyr av en sensor: Tingenes internet (IoT). NTNU Researchers' Night 2018 , Trondheim 2018-09-28 - 2018-09-28
2017
-
Faglig foredragKraemer, Frank Alexander. (2017) Autonomous Adaptive Sensing for Energy-Efficient IoT Applications. NTNU EECS Seminar 2017 , Trondheim 2017-06-07 -
-
Vitenskapelig foredragKraemer, 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. ACM The 7th International Conference on the Internet of Things - IoT 2017 , Linz 2017-10-22 - 2017-10-25
-
Faglig foredragKraemer, Frank Alexander. (2017) Team-basert læring: En praktisk innføring i fremtidens undervisning. NTNU Læringsfestivalen 2017 , Trondheim 2017-05-08 - 2017-05-09
-
Faglig foredragKraemer, Frank Alexander. (2017) Team-basert læring: Opplev en TBL-sesjon og lær hvordan du kommer i gang. NTNU Læringsfestivalen 2017 , Trondheim 2017-05-08 - 2017-05-09
-
Populærvitenskapelig foredragKraemer, Frank Alexander. (2017) Smarte sensorer overalt – hva vil det gjøre med oss?. NTNU Forskningskafe , Trondheim 2017-09-25 - 2017-09-27
-
Populærvitenskapelig foredragKraemer, Frank Alexander; Bråten, Anders Eivind; Palma, David; Tamkittikhun, Nattachart. (2017) Eventyr av en sensor i tingenes internett. NTNU Researcher's Night 2017 , Trondheim 2017-09-29 - 2017-09-29
-
PosterBrå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
2016
-
Faglig foredragKraemer, Frank Alexander; Lillebo, Børge. (2016) En praktisk innføring i team-basert læring. NTNU Læringsfestivalen 2016 , Trondheim 2016-05-09 - 2016-05-10
-
Vitenskapelig foredragAhlers, Dirk; Driscoll, Patric Arthur; Kraemer, Frank Alexander; Anthonisen, Fredrik Valde; Krogstie, John. (2016) A Measurement-Driven Approach to Understand Urban Greenhouse Gas Emissions in Nordic Cities. NIK2016 2016-11-27 - 2016-11-30
2015
-
Faglig foredragKraemer, Frank Alexander. (2015) Developing Robust IoT Gateway Applications from Building Blocks. European Network of Excellence on High Performance and Embed Computing Systems Week , Oslo 2015-05-04 - 2015-05-08
2012
-
Vitenskapelig foredragGunawan, Linda Ariani; Kraemer, Frank Alexander; Herrmann, Peter. (2012) Behavioral Singletons to Consistently Handle Global States of Security Patterns. KTH 7th International Federated Conference on Distributed Computing Techniques (DAIS 2012) , Stockholm 2012-06-13 - 2012-06-15
2011
-
Vitenskapelig foredragKraemer, Frank Alexander. (2011) Arctis: Rapid Development of M2M Applications. Tekna Mobilt bredbånd - LTE - WiMAX , Olso 2011-03-29 - 2011-03-30
-
Vitenskapelig foredragGunawan, Linda Ariani; Kraemer, Frank Alexander; Herrmann, Peter Michael. (2011) A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications. Third International Symposium on Engineering Secure Software and Systems (ESSoS) , Madrid 2011-02-09 - 2011-02-10
-
IntervjuKraemer, Frank Alexander; Aas, Geir. (2011) Når tingene går på nett. forskning.no forskning.no [Internett] 2011-06-16
-
Populærvitenskapelig foredragKraemer, Frank Alexander. (2011) Building Blocks for Smart Applications. Norwegian University of Science and Technology (NTNU) ITovation Seminar on Smart Grids , Trondheim 2011-11-18 - 2011-11-18
-
Vitenskapelig foredragSlåtten, Vidar; Kraemer, Frank Alexander; Herrmann, Peter Michael. (2011) Towards Automatic Generation of Formal Specifications to Validate and Verify Reliable Distributed Systems: A Method Exemplified by an Industrial Case Study. Tenth International Conference on Generative Programming and Component Engineering (GPCE 2011) , Portland, Oregon 2011-10-22 - 2011-10-23
-
Vitenskapelig foredragKraemer, Frank Alexander. (2011) Engineering Android Applications based on UML Activities. ACM, IEEE, Victoria University of Wellington International Conference on Model Driven Engineering, Languages and Systems (Models) , Wellington 2011-10-16 - 2011-10-21
2010
-
Vitenskapelig foredragKraemer, Frank Alexander; Herrmann, Peter Michael. (2010) Reactive Semantics for Distributed UML Activities. John Hatcliff and Elena Zucca Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010, and 30th IFIP WG 6.1 International Conference, FORTE 2010 , Amsterdam 2010-06-07 - 2010-06-09
-
Vitenskapelig foredragGunawan, Linda Ariani; Vogel, Michael; Kraemer, Frank Alexander; Schmerl, Sebastian; Slåtten, Vidar; Herrmann, Peter Michael. (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
-
Vitenskapelig foredragSlåtten, Vidar; Kraemer, Frank Alexander; Herrmann, Peter Michael. (2010) Towards a Model-Driven Method for Reliable Applications: From Ideal To Realistic Transmission Semantics. SERENE, ERCIM Working Group International Workshop on Software Engineering for Resilient Systems (SERENE 2010) , London 2010-04-15 - 2010-04-16
2009
-
Vitenskapelig foredragKraemer, Frank Alexander; Herrmann, Peter Michael. (2009) Automated Encapsulation of UML Activities for Incremental Development and Verification. Int. Conference on Model Driven Engineering, Languages and Systems (Models) , Denver 2009-10-04 - 2009-10-09
-
Vitenskapelig foredragKraemer, Frank Alexander; Slåtten, Vidar; Herrmann, Peter Michael. (2009) Model-Driven Construction of Embedded Applications based on Reusable Building Blocks - An Example. SDL Forum 2009 2009-09-22 - 2009-09-24
-
Vitenskapelig foredragKraemer, Frank Alexander. (2009) Automatic Generation of Compatible Interfaces from Partitioned UML Activities. SDL Forum 2009 2009-09-22 - 2009-09-24
-
Vitenskapelig foredragKraemer, Frank Alexander; Kathayat, Surya Bahadur; Bræk, Rolv. (2009) Unified Modeling of Service Logic with User Interfaces. MOSE 2009 - INTERNATIONAL WORKSHOP ON MODEL-DRIVEN SERVICE ENGINEERING 2009-11-06 - 2009-11-06
-
Vitenskapelig foredragKraemer, Frank Alexander; Samset, Haldor; Bræk, Rolv. (2009) An Automated Method for Web Service Orchestration based on Reusable Building Blocks. 7th IEEE International Conference on Web Services (ICWS 2009) , Los Angeles 2009-07-06 - 2009-07-10
-
Vitenskapelig foredragGunawan, Linda Ariani; Herrmann, Peter Michael; Kraemer, Frank Alexander. (2009) Towards the Integration of Security Aspects into System Development Using Collaboration-Oriented Models. Science and Engineering Research Support Center (SERSC) 2009 International Conference on Security Technology (SecTech 2009) , Jeju Island 2009-12-10 - 2009-12-12
2008
-
Vitenskapelig foredragKraemer, Frank Alexander. (2008) A Tool-Supported Method for Rapid Service Development based on Collaborative Building Blocks. The Research Council of Norway VERDIKT Conference , Bergen 2008-10-29 - 2008-10-30
2007
-
Vitenskapelig foredragKraemer, 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
-
Vitenskapelig foredragHerrmann, Peter Michael; Kraemer, Frank Alexander. (2007) Design of Trusted Systems with Reusable Collaboration Models. Joint iTrust and PST Conferences on Privacy, Trust Management and Security , Moncton 2007-07-30 - 2007-08-02
-
Vitenskapelig foredragKraemer, 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
-
Vitenskapelig foredragKraemer, Frank Alexander; Bræk, Rolv; Herrmann, Peter Michael. (2007) Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications. SDL Forum Society 13th SDL Forum , Paris 2007-09-18 - 2007-09-21
-
Vitenskapelig foredragKraemer, Frank Alexander; Slåtten, Vidar; Herrmann, Peter Michael. (2007) Engineering Support for UML Activities by Automated Model-Checking - An Example. ERCIM Working Group 4th International Workshop on Rapid Integration of Software Engineering Techniques (RISE) , Luxembourg 2007-11-26 - 2007-11-27
2006
-
Vitenskapelig foredragKraemer, Frank Alexander; Herrmann, Peter Michael; Bræk, Rolv. (2006) Aligning UML 2.0 State Machines and Temporal logic for the Efficient Execution of Services. OTM Confederated Conferences, Distributed Objects and Applications (DOA) , Montpellier 2006-10-30 - 2006-11-01
-
Vitenskapelig foredragKraemer, Frank Alexander; Herrmann, Peter Michael. (2006) Service Specification by Composition of Collaborations - An Example. IEEE International Workshop on Service Composition (Sercomp'06) , Hong Kong 2006-12-18 -
-
Vitenskapelig foredragHerrmann, Peter Michael; Kraemer, Frank Alexander. (2006) Collaboration-Oriented Service Engineering by means of Model Transformation. Fabio Martinelli Meeting of the ERCIM Security and Trust Management Working Group , Hamburg 2006-09-20 - 2006-09-21
-
Vitenskapelig foredragHerrmann, Peter Michael; Kraemer, Frank Alexander. (2006) Modellbasierte Entwicklung von Kommunikationsdiensten an der NTNU. Maritta Heisel Jahrestreffen der GI-Fachgruppe FoMSESS , Duisburg 2006-06-12 - 2006-06-13
2004
-
PosterKraemer, Frank Alexander. (2004) Telecom Service Engineering with Eclipse. Eclipse Technology Exchange, ECOOP 2004 , Oslo 2004-06-15 - 2004-06-15