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.
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
Optimal Weak to Strong Learning
Kasper Green Larsen, Martin Ritzert
June 2022
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
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
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
Tetrad: Actively Secure 4PC for Secure Training and Inference
Nishat Koti, Arpita Patra, Rahul Rachuri, Ajith Suresh, June 2021
Le Mans: Dynamic and Fluid MPC for Dishonest Majority
Rahul Rachuri, Peter Scholl
Adversarial Attacks and Countermeasures on Private Training in MPC
D. Escudero, M. Jagielski, R. Rachuri, P. Scholl
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
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
Digital Research Centre Denmark is a unique collaboration between the eight Danish Universities and the Alexandra Institute supported by the Innovation Fund Denmark.
