Frank Alexander Kraemer
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 an Associate 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.
Forskning
My current research interests are aligned around applying statistical methods and machine learning in the constrained settings of IoT systems.
- Norwegian Research Center for AI Innovation
- Norwegian Open Ai Lab
- Energy Efficient Computing Systems
- Networking Research Group at IIK
- Gemini IoT
Current PhD students:
- Marija Gajic
- Abdulmajid Murad
- Anders Eivind Bråten
- Lukas Liedtke (together with Magnus Jahre and Per Gunnar Kjeldsberg)
Publikasjoner
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.
volum 11.
Vitenskapelig artikkel
2022
-
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.
volum 22 (10).
Vitenskapelig oversiktsartikkel/review
-
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.
RACS '22: Proceedings of the Conference on Research in Adaptive and Convergent Systems.
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.
2022 IEEE International Conference on Industrial Technology (ICIT).
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 generations computer systems.
volum 142.
Vitenskapelig artikkel
2021
-
Kraemer, Frank Alexander.
(2021)
På tide å sette søkelys på gode læringsaktiviteter.
www.universitetsavisa.no.
Leserinnlegg
-
Lange, Stanislav;
Schwarzmann, Susanna;
Gajic, Marija;
Zinner, Thomas;
Kraemer, Frank Alexander.
(2021)
AI in 5G Networks: Challenges and Use Cases.
Communication Networks and Service Management in the Era of Artificial Intelligence and Machine Learning.
Faglig kapittel
-
Murad, Abdulmajid;
Kraemer, Frank Alexander;
Bach, Kerstin;
Taylor, Gavin.
(2021)
Probabilistic Deep Learning to Quantify Uncertainty in Air Quality Forecasting.
Sensors.
volum 21 (23).
Vitenskapelig artikkel
-
Pedersen, Eilif;
Eitungjerde, Sara;
André, Thea Harnes;
Bruheim, Per;
Grønflaten, Lars Trovatten;
Gundersen, Ingeborg Nævdal;
Hartnik, Lukas;
Kraemer, Frank Alexander;
Sigurjónsson, Jóhannes B.;
Torvatn, Tim Kristian Andreas.
(2021)
Fremtidens teknologistudier (FTS), grupperapport: A3 - 5-årig master.
2021.
Rapport
2020
-
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.
volum 8 (6).
Vitenskapelig oversiktsartikkel/review
-
Davidsson, Paul;
Langheinrich, Marc;
Linde, Per;
Mayer, Simon;
Casado-Mansilla, Diego;
Spikol, Daniel;
Kraemer, Frank Alexander;
Russo, Nancy.
(2020)
IoT '20 Companion: 10th International Conference on the Internet of Things Companion.
Association for Computing Machinery (ACM). 2020. ISBN 978-1-4503-8820-7.
Vitenskapelig antologi/Konferanseserie
-
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 generations computer systems.
volum 112.
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.
volum 7 (12).
Vitenskapelig artikkel
-
Murad, Abdulmajid;
Kraemer, Frank Alexander;
Bach, Kerstin;
Taylor, Gavin.
(2020)
Information-Driven Adaptive Sensing Based on Deep Reinforcement Learning.
IoT '20: Proceedings of the 10th International Conference on the Internet of Things.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2019
-
Bråten, Anders Eivind;
Kraemer, Frank Alexander;
Palma, David.
(2019)
Adaptive, Correlation-Based Training Data Selection for IoT Device Management.
2019 Sixth International Conference on Internet of Things: Systems, Management and Security (IOTSMS).
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.
2019 27th European Signal Processing Conference (EUSIPCO).
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.
9th International Conference on the Internet of Things (IoT 2019), October 22--25, 2019, Bilbao, Spain.
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.
2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO).
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.
9th International Conference on the Internet of Things (IoT 2019), October 22--25, 2019, Bilbao, Spain.
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.
2018 IEEE Globecom Workshops Proceedings.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
2018
-
Ahlers, Dirk;
Kraemer, Frank Alexander;
Bråten, Anders Eivind;
Liu, Xiufeng;
Anthonisen, Fredrik Valde;
Driscoll, Patrick Arthur;
Krogstie, John.
(2018)
Analysis and Visualization of Urban Emission Measurements in Smart Cities.
Advances in Database Technology — EDBT 2018.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Bråten, Anders Eivind;
Kraemer, Frank Alexander.
(2018)
Towards Cognitive IoT: Autonomous Prediction Model Selection for Solar-Powered Nodes.
2018 IEEE International Congress on Internet of Things (ICIOT).
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.
IoT 2017: the Seventh International Conference on the Internet of Things.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Kraemer, Frank Alexander.
(2017)
Team-Based Learning: A Practical Approach for an Engineering Class.
Læring om læring.
volum 1 (1).
Vitenskapelig artikkel
-
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.
IoT 2017: the Seventh International Conference on the Internet of Things.
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.
volum 5.
Vitenskapelig oversiktsartikkel/review
-
Kraemer, Frank Alexander;
Tamkittikhun, Nattachart;
Bråten, Anders Eivind.
(2017)
Machine Learning in IoT for Autonomous, Adaptive Sensing.
ERCIM News.
volum 2017 (110).
Vitenskapelig artikkel
-
Tamkittikhun, Nattachart;
Hussain, Amen;
Kraemer, Frank Alexander.
(2017)
Energy Consumption Estimation for Energy-Aware, Adaptive Sensing Applications.
Mobile Secure and Programmable Networking.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
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.
Faglig artikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2015)
Creating Internet of Things Applications from Building Blocks.
ERCIM News.
volum 101 (4).
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.
volum 91.
Vitenskapelig artikkel
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 (LNCS).
volum 7272.
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.
volum 47 (3).
Vitenskapelig artikkel
2011
-
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).
volum 6542/2011.
Vitenskapelig artikkel
-
Gunawan, Linda Ariani;
Vogel, Michael;
Kraemer, Frank Alexander;
Schmerl, Sebastian;
Slåtten, Vidar;
Herrmann, Peter Michael;
König, Hartmut.
(2011)
Modeling a Distributed Intrusion Detection System Using Collaborative Building Blocks.
Software engineering notes.
volum 36 (1).
Vitenskapelig artikkel
-
Kraemer, Frank Alexander.
(2011)
Engineering Android Applications based on UML Activities.
Lecture Notes in Computer Science (LNCS).
volum 6981.
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2011)
System Analysis and Modeling: About Models.
Springer. 2011. ISBN 978-3-642-21651-0. Lecture Notes in Computer Science (0302-9743).
Vitenskapelig antologi/Konferanseserie
-
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.
volum 20 (2).
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.
Proceedings of the 10th ACM international conference on Generative programming and component engineering.
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.
Proceedings of the 2nd international Workshop on Software Engineering for Resilient Systems (SERENE 2010).
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
-
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.
volum 58.
Vitenskapelig artikkel
-
Kraemer, Frank Alexander.
(2009)
Automatic Generation of Compatible Interfaces from Partitioned UML Activities.
Lecture Notes in Computer Science (LNCS).
volum 5719.
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Bræk, Rolv;
Herrmann, Peter.
(2009)
Compositional Service Engineering with Arctis.
Telektronikk.
volum 105 (1.2009).
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).
volum 5795.
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Kathayat, Surya Bahadur;
Bræk, Rolv.
(2009)
Unified Modeling of Service Logic with User Interfaces.
Proceeding of the first international workshop on Model driven service engineering and data quality and security 2009.
Annet
-
Kraemer, Frank Alexander;
Samset, Haldor;
Bræk, Rolv.
(2009)
An Automated Method for Web Service Orchestration Based on Reusable Building Blocks.
Web Services, 2009. ICWS 2009. IEEE International Conference on.
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).
volum 5719.
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.
volum 82 (12).
Vitenskapelig artikkel
2008
-
Kraemer, Frank Alexander.
(2008)
Engineering Reactive Systems. A Compositional and Model-Driven Method Based on Collaborative Building Blocks.
2008. ISBN 978-82-471-1146-8. Doktoravhandlinger ved NTNU (2008:228).
Doktorgradsavhandling
2007
-
Herrmann, Peter Michael;
Kraemer, Frank Alexander.
(2007)
Design of Trusted Systems with Reusable Collaboration Models.
IFIP International Federation for Information Processing.
volum 238.
Vitenskapelig artikkel
-
Kraemer, Frank Alexander.
(2007)
Arctis and Ramses: Tool Suites for Rapid Service Engineering.
Norsk Informatikkonferanse (NIK 2007).
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
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2007)
Formalizing Collaboration-Oriented Service Specifications using Temporal Logic.
Proceedings of the 2007 Networking and Electronic Conference (NAEC2007).
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
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;
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).
volum 4276.
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2006)
Service Specification by Composition of Collaborations — An Example.
2006 IEEE/WIC/ACM International Conference on Web Intelligence.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
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).
volum 3713.
Vitenskapelig artikkel
Tidsskriftspublikasjoner
-
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.
volum 11.
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.
volum 22 (10).
Vitenskapelig oversiktsartikkel/review
-
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 generations computer systems.
volum 142.
Vitenskapelig artikkel
-
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.
volum 21 (23).
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.
volum 8 (6).
Vitenskapelig oversiktsartikkel/review
-
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 generations computer systems.
volum 112.
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.
volum 7 (12).
Vitenskapelig artikkel
-
Kraemer, Frank Alexander.
(2017)
Team-Based Learning: A Practical Approach for an Engineering Class.
Læring om læring.
volum 1 (1).
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Bråten, Anders Eivind;
Tamkittikhun, Nattachart;
Palma, David.
(2017)
Fog Computing in Healthcare – A Review and Discussion.
IEEE Access.
volum 5.
Vitenskapelig oversiktsartikkel/review
-
Kraemer, Frank Alexander;
Tamkittikhun, Nattachart;
Bråten, Anders Eivind.
(2017)
Machine Learning in IoT for Autonomous, Adaptive Sensing.
ERCIM News.
volum 2017 (110).
Vitenskapelig artikkel
-
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.
Faglig artikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2015)
Creating Internet of Things Applications from Building Blocks.
ERCIM News.
volum 101 (4).
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.
volum 91.
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).
volum 7272.
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.
volum 47 (3).
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).
volum 6542/2011.
Vitenskapelig artikkel
-
Gunawan, Linda Ariani;
Vogel, Michael;
Kraemer, Frank Alexander;
Schmerl, Sebastian;
Slåtten, Vidar;
Herrmann, Peter Michael;
König, Hartmut.
(2011)
Modeling a Distributed Intrusion Detection System Using Collaborative Building Blocks.
Software engineering notes.
volum 36 (1).
Vitenskapelig artikkel
-
Kraemer, Frank Alexander.
(2011)
Engineering Android Applications based on UML Activities.
Lecture Notes in Computer Science (LNCS).
volum 6981.
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.
volum 20 (2).
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2010)
Reactive Semantics for Distributed 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.
volum 58.
Vitenskapelig artikkel
-
Kraemer, Frank Alexander.
(2009)
Automatic Generation of Compatible Interfaces from Partitioned UML Activities.
Lecture Notes in Computer Science (LNCS).
volum 5719.
Vitenskapelig artikkel
-
Kraemer, Frank Alexander;
Bræk, Rolv;
Herrmann, Peter.
(2009)
Compositional Service Engineering with Arctis.
Telektronikk.
volum 105 (1.2009).
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).
volum 5795.
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).
volum 5719.
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.
volum 82 (12).
Vitenskapelig artikkel
-
Herrmann, Peter Michael;
Kraemer, Frank Alexander.
(2007)
Design of Trusted Systems with Reusable Collaboration Models.
IFIP International Federation for Information Processing.
volum 238.
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
-
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).
volum 4276.
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).
volum 3713.
Vitenskapelig artikkel
Bøker
-
Davidsson, Paul;
Langheinrich, Marc;
Linde, Per;
Mayer, Simon;
Casado-Mansilla, Diego;
Spikol, Daniel;
Kraemer, Frank Alexander;
Russo, Nancy.
(2020)
IoT '20 Companion: 10th International Conference on the Internet of Things Companion.
Association for Computing Machinery (ACM). 2020. ISBN 978-1-4503-8820-7.
Vitenskapelig antologi/Konferanseserie
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2011)
System Analysis and Modeling: About Models.
Springer. 2011. ISBN 978-3-642-21651-0. Lecture Notes in Computer Science (0302-9743).
Vitenskapelig antologi/Konferanseserie
Del av bok/rapport
-
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.
RACS '22: Proceedings of the Conference on Research in Adaptive and Convergent Systems.
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.
2022 IEEE International Conference on Industrial Technology (ICIT).
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Lange, Stanislav;
Schwarzmann, Susanna;
Gajic, Marija;
Zinner, Thomas;
Kraemer, Frank Alexander.
(2021)
AI in 5G Networks: Challenges and Use Cases.
Communication Networks and Service Management in the Era of Artificial Intelligence and Machine Learning.
Faglig kapittel
-
Murad, Abdulmajid;
Kraemer, Frank Alexander;
Bach, Kerstin;
Taylor, Gavin.
(2020)
Information-Driven Adaptive Sensing Based on Deep Reinforcement Learning.
IoT '20: Proceedings of the 10th International Conference on the Internet of Things.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Bråten, Anders Eivind;
Kraemer, Frank Alexander;
Palma, David.
(2019)
Adaptive, Correlation-Based Training Data Selection for IoT Device Management.
2019 Sixth International Conference on Internet of Things: Systems, Management and Security (IOTSMS).
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.
2019 27th European Signal Processing Conference (EUSIPCO).
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.
9th International Conference on the Internet of Things (IoT 2019), October 22--25, 2019, Bilbao, Spain.
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.
2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO).
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.
9th International Conference on the Internet of Things (IoT 2019), October 22--25, 2019, Bilbao, Spain.
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.
2018 IEEE Globecom Workshops Proceedings.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Ahlers, Dirk;
Kraemer, Frank Alexander;
Bråten, Anders Eivind;
Liu, Xiufeng;
Anthonisen, Fredrik Valde;
Driscoll, Patrick Arthur;
Krogstie, John.
(2018)
Analysis and Visualization of Urban Emission Measurements in Smart Cities.
Advances in Database Technology — EDBT 2018.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Bråten, Anders Eivind;
Kraemer, Frank Alexander.
(2018)
Towards Cognitive IoT: Autonomous Prediction Model Selection for Solar-Powered Nodes.
2018 IEEE International Congress on Internet of Things (ICIOT).
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.
IoT 2017: the Seventh International Conference on the Internet of Things.
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.
IoT 2017: the Seventh International Conference on the Internet of Things.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Tamkittikhun, Nattachart;
Hussain, Amen;
Kraemer, Frank Alexander.
(2017)
Energy Consumption Estimation for Energy-Aware, Adaptive Sensing Applications.
Mobile Secure and Programmable Networking.
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.
Proceedings of the 10th ACM international conference on Generative programming and component engineering.
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.
Proceedings of the 2nd international Workshop on Software Engineering for Resilient Systems (SERENE 2010).
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Kraemer, Frank Alexander;
Kathayat, Surya Bahadur;
Bræk, Rolv.
(2009)
Unified Modeling of Service Logic with User Interfaces.
Proceeding of the first international workshop on Model driven service engineering and data quality and security 2009.
Annet
-
Kraemer, Frank Alexander;
Samset, Haldor;
Bræk, Rolv.
(2009)
An Automated Method for Web Service Orchestration Based on Reusable Building Blocks.
Web Services, 2009. ICWS 2009. IEEE International Conference on.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Kraemer, Frank Alexander.
(2007)
Arctis and Ramses: Tool Suites for Rapid Service Engineering.
Norsk Informatikkonferanse (NIK 2007).
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2007)
Formalizing Collaboration-Oriented Service Specifications using Temporal Logic.
Proceedings of the 2007 Networking and Electronic Conference (NAEC2007).
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
-
Kraemer, Frank Alexander;
Herrmann, Peter Michael.
(2006)
Service Specification by Composition of Collaborations — An Example.
2006 IEEE/WIC/ACM International Conference on Web Intelligence.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Rapport
-
Pedersen, Eilif;
Eitungjerde, Sara;
André, Thea Harnes;
Bruheim, Per;
Grønflaten, Lars Trovatten;
Gundersen, Ingeborg Nævdal;
Hartnik, Lukas;
Kraemer, Frank Alexander;
Sigurjónsson, Jóhannes B.;
Torvatn, Tim Kristian Andreas.
(2021)
Fremtidens teknologistudier (FTS), grupperapport: A3 - 5-årig master.
2021.
Rapport
-
Kraemer, Frank Alexander.
(2008)
Engineering Reactive Systems. A Compositional and Model-Driven Method Based on Collaborative Building Blocks.
2008. ISBN 978-82-471-1146-8. Doktoravhandlinger ved NTNU (2008:228).
Doktorgradsavhandling
Undervisning
Emner
- TTM4502 - Fordypningsprosjekt
- TTM4115 - Design av kommuniserende systemer
- TTM4905 - Masteroppgave
- TTM4175 - Introduksjon til kommunikasjonsteknologi og digital sikkerhet
Selected Teaching Resources (for students)
Educational Activities
Since 2018 I am excellent teaching practitioner (merittert underviser), and participate in the study program committee for university pedagogics.
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).
My work applying TBL resulted in two learning modules that may be interesting for you:
- A 2-hour seminar about TBL that I offer around once or twice per year. (You can register your interest.)
- A 20-hour module about TBL as part of the pedagogic training program at NTNU.
Teaching Resources (for other teachers)
To help with my own teaching, I developed a few open-source programs that may be useful for some.
- Digital Scratch Cards - a solution to do TBL team-quizzes online.
- Teampy - a program to create and grade multiple-choice quizzes in large classes. Perfect for RATs in TBL.
- Supermark - a program to write websites for courses
- Timers - a set of timers to include in Keynote or PowerPoint slides.
Formidling
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; Krogstie, John. (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.
-
Populærvitenskapelig foredragKraemer, Frank Alexander; Bråten, Anders Eivind; Palma, David; Tamkittikhun, Nattachart. (2018) Et eventyr av en sensor: Tingenes internet (IoT). Researchers' Night 2018 . NTNU; Trondheim. 2018-09-28 - 2018-09-28.
-
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.
2017
-
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.
-
Faglig foredragKraemer, Frank Alexander. (2017) Autonomous Adaptive Sensing for Energy-Efficient IoT Applications. EECS Seminar 2017 . NTNU; Trondheim. 2017-06-07.
-
Populærvitenskapelig foredragKraemer, Frank Alexander. (2017) Smarte sensorer overalt – hva vil det gjøre med oss?. Forskningskafe . NTNU; Trondheim. 2017-09-25 - 2017-09-27.
-
Faglig foredragKraemer, Frank Alexander. (2017) Team-basert læring: En praktisk innføring i fremtidens undervisning. Læringsfestivalen 2017 . NTNU; 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. Læringsfestivalen 2017 . NTNU; Trondheim. 2017-05-08 - 2017-05-09.
-
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. The 7th International Conference on the Internet of Things - IoT 2017 . ACM; Linz. 2017-10-22 - 2017-10-25.
-
Populærvitenskapelig foredragKraemer, Frank Alexander; Bråten, Anders Eivind; Palma, David; Tamkittikhun, Nattachart. (2017) Eventyr av en sensor i tingenes internett. Researcher's Night 2017 . NTNU; Trondheim. 2017-09-29 - 2017-09-29.
2016
-
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.
-
Faglig foredragKraemer, Frank Alexander; Lillebo, Børge. (2016) En praktisk innføring i team-basert læring. Læringsfestivalen 2016 . NTNU; Trondheim. 2016-05-09 - 2016-05-10.
2015
-
Faglig foredragKraemer, 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.
2012
-
Vitenskapelig foredragGunawan, 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.
2011
-
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.
-
Vitenskapelig foredragKraemer, Frank Alexander. (2011) Arctis: Rapid Development of M2M Applications. Mobilt bredbånd - LTE - WiMAX . Tekna; Olso. 2011-03-29 - 2011-03-30.
-
Populærvitenskapelig foredragKraemer, Frank Alexander. (2011) Building Blocks for Smart Applications. ITovation Seminar on Smart Grids . Norwegian University of Science and Technology (NTNU); Trondheim. 2011-11-18 - 2011-11-18.
-
Vitenskapelig foredragKraemer, Frank Alexander. (2011) Engineering Android Applications based on UML Activities. International Conference on Model Driven Engineering, Languages and Systems (Models) . ACM, IEEE, Victoria University of Wellington; Wellington. 2011-10-16 - 2011-10-21.
-
IntervjuKraemer, Frank Alexander; Aas, Geir. (2011) Når tingene går på nett. forskning.no [Internett]. 2011-06-16.
-
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.
2010
-
Vitenskapelig foredragGunawan, 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.
-
Vitenskapelig foredragKraemer, 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.
-
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. International Workshop on Software Engineering for Resilient Systems (SERENE 2010) . SERENE, ERCIM Working Group; London. 2010-04-15 - 2010-04-16.
2009
-
Vitenskapelig foredragGunawan, Linda Ariani; Herrmann, Peter Michael; Kraemer, Frank Alexander. (2009) Towards the Integration of Security Aspects into System Development Using Collaboration-Oriented Models. 2009 International Conference on Security Technology (SecTech 2009) . Science and Engineering Research Support Center (SERSC); Jeju Island. 2009-12-10 - 2009-12-12.
-
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; 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; 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 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.
2008
-
Vitenskapelig foredragKraemer, Frank Alexander. (2008) A Tool-Supported Method for Rapid Service Development based on Collaborative Building Blocks. VERDIKT Conference . The Research Council of Norway; Bergen. 2008-10-29 - 2008-10-30.
2007
-
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; 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.
-
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; 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 foredragKraemer, 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
-
Vitenskapelig foredragKraemer, 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.
-
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 foredragHerrmann, 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.
-
Vitenskapelig foredragHerrmann, 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.
2004
-
PosterKraemer, Frank Alexander. (2004) Telecom Service Engineering with Eclipse. Eclipse Technology Exchange, ECOOP 2004 ; Oslo. 2004-06-15 - 2004-06-15.