| 2026 | ISPASS | Exploring the Energy Storage and Voltage Control Unit Design Space in Battery-Less IoT. | Lukas Liedtke, Espen Holsen, Per Gunnar Kjeldsberg, Frank Alexander Kraemer, Magnus Jahre |
| 2023 | SENSYS | Poster Abstract: Towards Autonomous Utility-Aware Energy Management for Energy Harvesting Devices. | Hafiz Areeb Asad, Frank Alexander Kraemer, Kerstin Bach, Christian Renner |
| 2018 | EDBT | Analysis and Visualization of Urban Emission Measurements in Smart Cities. | Dirk Ahlers, Frank Alexander Kraemer, Anders Eivind Braten, Xiufeng Liu, Fredrik Anthonisen, Patrick Driscoll, John Krogstie |
| 2018 | GLOBECOM | Machine Learning-Based Occupancy Estimation Using Multivariate Sensor Nodes. | Adarsh Pal Singh, Vivek Jain, Sachin Chaudhari, Frank Alexander Kraemer, Stefan Werner, Vishal Garg |
| 2012 | DAIS | Behavioral Singletons to Consistently Handle Global States of Security Patterns. | Linda Ariani Gunawan, Frank Alexander Kraemer, Peter Herrmann |
| 2011 | GPCE | Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study. | Vidar Sltten, Frank Alexander Kraemer, Peter Herrmann |
| 2011 | MODELS | Engineering Android Applications Based on UML Activities. | Frank Alexander Kraemer |
| 2010 | FORTE | Reactive Semantics for Distributed UML Activities. | Frank Alexander Kraemer, Peter Herrmann |
| 2009 | ICWS | An Automated Method for Web Service Orchestration Based on Reusable Building Blocks. | Frank Alexander Kraemer, Haldor Samset, Rolv Brk |
| 2009 | MODELS | Automated Encapsulation of UML Activities for Incremental Development and Verification. | Frank Alexander Kraemer, Peter Herrmann |