Publications

Explore our DIREC publications and research publications in fields such as artificial intelligence, cybersecurity, blockchain, IoT, software development, algorithms, HCI, automation of work and business processes, diversity and ethics.

DIGITAL RESEARCH CENTRE DENMARK

AI - Machine Learning, Computer Vision, Natural Language Processing

Unionized Data Governance in Virtual Power Plants: Poster
Niels Ørbæk Chemnitz, Phillippe Bonnet, Sebastian Büttric, Irina Shklovski, Laura Watts
Proceedings of the Twelfth ACM International Conference on Future Energy Systems, June 2021

Improving Visual Classification using Textual Hints
Mikkel Godsk Jørgensen
DTU BSc Thesis, 2021

Using Signals to Support Trust Building in Clinical Human-AI Collaboration
Naja Kathrine Kollerup, Mikael B. Skov, Niels Van Berkel
Conference: ECSCW 2022 Workshop Exploring Human-Centered AI in Healthcare: Diagnosis, Explainability, and Trust, 2022

A Primer for tinyML Predictive Maintenance: Input and Model Optimisation
Emil Jørgensen Njor, Jan Madsen, Xenofon Fafoutis
Proceedings of 18th International Conference on Artificial Intelligence Applications and Innovations, 2022

Measurements, Algorithms, and Presentations of Reality: Framing Interactions with AI-Enabled Decision Support
Niels van Berkel, Maura Bellio, Mikael B. Skov, Ann Blandford
ACM Transactions on Computer-Human Interaction, Accepted on October 2022

The HERD Project: Human-Multi-Robot Interaction in Search & Rescue and in Farming
Christensen et al.
2022 IEEE/RSJ International Conference on Intelligent Robots and Systems

Challenges arising in a Multi-Drone System for Search and Rescue
Maria-Theresa Oanh Hoang, Niels van Berkel, Mikael B. Skov, Timothy Merritt
NordiCHI 2022

Advanced and Efficient Big Data Management and Analysis

 

 

Efficient Algorithms and Data Structures

Optimal Weak to Strong Learning
Kasper Green Larsen, Martin Ritzert
June 2022

Human Computer Interaction CSCW and InfoVis

Designing Internet of Behaviour Systems
Mahyar T. Moghaddam, Henry Muccini, Julie Dugdale, Mikkel Baun Kjærgaard
ICSA 2022 proceedings: International Conference on Software Architecture, 2022

Work of the Future
Melanie Duckert, Eve Hoggan, Louise Barkhuus, Pernille Bjørn, Nina Boulus-Rodje, Susanne Bødker, Naja Holten Møller, Irina Shklovski
NordiCHI’22: Adjunct Proceedings of the 2022 Nordic Human-Computer Interaction Conference, 2022

Cyber-physical systems, IoT and Autonomous Systems

Towards Comparing Performance of Algorithms in Hardware and Software
M.H. Kirkeby and M. Schoerberl
Workshop on Resource AWareness of Systems and Society – RAW 2022

Energy Consumption and Performance of Heapsort in Hardware and Software
M. H. Kirkeby, T. Krabben, M. Larsen, M. B. Mikkelsen, T. Petersen, M. Rosendahl, M. Schoeberl, M. Sundman
ICT4S 2022 – Demonstration and Poster Sessions

Predicting Bearings Degradation Stages for Predictive Maintenance in the Pharmaceutical Industry
Dovile Juodelyte, Veronika Cheplygina, Therese Graversen, Philippe Bonnet
KDD ’22: Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining

Trust Management for Internet of Things: A Systematic Literature Review
Alyzia Maria Konsta, Alberto Lluch Lafuente, Nicola Dragoni, 2022

Energy Consumption and Performance of Heapsort in Hardware and Software
Maja H. Kirkeby, Thomas Krabben, Mathias Larsen, Maria B. Mikkelsen, Tjark Petersen, Mads Rosendahl, Martin Schoeberl, Martin Sundman
ICT4S 2022

Towards Comparing Performance of Algorithms in Hardware and Software
Maja H. Kirkeby, Martin Schoeberl
Accepted for publication at Workshop on Resource AWareness of Systems and Society 2022

Verification and Software Engineering

Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds
MA Goorden, KG Larsen, JE Nielsen, TD Nielsen, MR Rasmussen, J Srba
IFAC, 2021

Reinforcement Learning for Controlling Groundwater Extraction
Andreas Holck Høeg-Petersen
Master Thesis, 2021

Automata Learning Meets Shielding
Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen
ISoLA 2022

Controlling Storm Water Detention Ponds under Partial Observability
Esther H. Kim, Martijn Goorden, Kim G. Larsen, Thomas D. Nielsen
NWPT 2022

End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego
Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba
TASE 2022

End-to-end Simulated Urban Autonomous Driving using Reinforcement Learning
Kim Nguyen, Milad Samim
Master Thesis 2022

Monitoring Timed Properties
Thomas Møller Grosen, Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann
FORMATS 2022

Playing Wordle with Uppaal Stratego
Peter Gjøl Jensen, Kim G. Larsen, Marius Mikucionis
A Journey from Process Algebra via Timed Automata to Model Learning, LNCS vol. 13560, 2022

Deductive Verification of Probabilistic Programs
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
POPL 2023, TutorialFest

STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego
Martijn A. Goorden, Peter Gjøl Jensen, Kim G. Larsen, Mihhail Samusev, Jirí Srba, Guohan Zhao
ATVA 2022: Automated Technology for Verification and Analysis

Formal methods and tools for industrial critical systems
Maurice H. ter Beek, Kim G. Larsen, Dejan Nickovic, Tim A. C. Willemse
International Journal on Software Tools for Technology Transfer, 2022

Formal Methods Meet Machine Learning (F3ML)
Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga, Bernhard Steffen
ISoLA 2022: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

Hierarchical identification of nonlinear hybrid systems in a Bayesian framework
Ahmad Madary, Hamid Reza Momeni, Alessandro Abate, Kim G. Larsen
Information and Computation, Volume 289, Part A, 2022

Domain-Specific Languages
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, 2023

Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, 2023

Cybersecurity and Blockchains

Tetrad: Actively Secure 4PC for Secure Training and Inference
Nishat Koti, Arpita Patra, Rahul Rachuri, Ajith Suresh, June 2021

Adversarial Attacks and Countermeasures on Private Training in MPC
D. Escudero, M. Jagielski, R. Rachuri, P. Scholl

Business Innovation, Processes and Models

Weighing the Pros and Cons: Process Discovery with Negative Examples
Tijs Slaats, Søren Debois & Christoffer Olling Back
BPM 2021: Business Process Management

When is a DAO Decentralized?
Henrik Axelsen, Johannes Rude Jensen, Omri Ross
CSIMQ 2022: Complex Systems Informatics and Modelling Quarterly

How should DAOs be regulated? A new Perspective on Decentralization
Henrik Axelsen, Omri Ross
AMPLIFY, Vol. 35, No. 10, 2022

Master Training Network

Computing Educational Activities Involving People rather than Things appeal more to Women (Recruitment Perspective)
Ingrid Maria Christensen, Melissa Høegh Marcher, Paweł Grabarczyk, Therese Graversen, Claus Brabrand
ICER 2021

Computing Educational Activities Involving People rather than Things appeal more to Women (Appeal Perspective)
Melissa Høegh Marcher, Ingrid Maria Christensen, Paweł Grabarczyk, Therese Graversen, Claus Brabrand
ICER 2021

Computing Educational Programmes with more Women are more about People & less about Things
Pawel Grabarczyk, Alma Freiesleben, Amanda Bastrup, Claus Brabrand
ITiCSE 2022

On the Effect of Onboarding Computing Students without Programming-Confidence or -Experience
Pawel Grabarczyk, Sebastian Mateos Nicolajsen, Claus Brabrand
Koli Calling ’22

Student Perspectives on On-site versus Online Teaching throughout the Covid-19 Pandemic
Björn Thór Jónsson, Magda Pischetola, Nanna Inie, Mats Daniels, Claus Brabrand
2022 IEEE Frontiers in Education (FIE) Conference