Publications
Explore all DIREC publications.
Explore all DIREC publications.
Towards Autonomous Multi-UAV U-Space Operation Planning
Kaspar A.R. Grøntved, Jes Hundvadt Jepsen, Anders Lyhne Christensen, Kjeld Jensen, Ulrik Pagh Schultz Lundquist, Miguel Campusano
Fostering Trust Through User Interface Design in Multi-Drone Search and Rescue
Johanna Ahlskog, Maria-Theresa Bahodi, Artur Lugmayr, Timothy Robert Merritt
Show Me What’s Wrong: Impact of Explicit Alerts on Novice Supervisors of a Multi-Robot Monitoring System
Maria-Theresa Bahodi, Niels van Berkel, Mikael B. Skov & Timothy Robert Merritt
AdaBoost is not an Optimal Weak to Strong Learner
Mikael Møller Høgsgaard, Kasper Green Larsen, Martin Ritzert
Advanced Acceleration and Implementation of Convolutional Neural Networks on FPGAs
Jalil Boudjadar, Iman Sharifirad
An Automatic Guidance and Quality Assessment System for Doppler Imaging of Umbilical Artery
CK Wong, M Lin, A Raheli, Z Bashir, MBS Svendsen, MG Tolsgaard, A Feragen, A Nymark
Challenges and Requirements in Multi-Drone Interfaces
Hoang, MT.O, van Berkel, N., Skov, M.B., and ., Merritt, T.
Drone Swarms to Support Search and Rescue Operations: Opportunities and Challenges
Hoang, MT.O., Grøntved, K.A.R., van Berkel, N., Skov, M.B., Christensen, A.L., Merritt, T
I saw, I conceived, I concluded: Progressive Concepts as Bottlenecks
M Lin, A Feragen, Z Bashir, MG Tolsgaard, AN Christensen
Learning Topological Similarity for Curvilinear Structure Segmentation
M Lin, K Zepf, AN Christensen, Z Bashir, MBS Svendsen, M Tolsgaard, A Feragen
Leveraging Shape and Spatial Information for Spontaneous Preterm Birth Prediction
P Pegios, EEP Sejer, M Lin, Z Bashir, MBS Svendsen, M Nielsen, E Petersen, A Nymark, M Tolsgaard, A Feragen
MM Algorithms to Estimate Parameters in Continuous-time Markov Chains
G Bacci, A Ingólfsdóttir, KG Larsen, R Reynouard
On convex conceptual regions in deep network representations
Tětková, L., Brüsch, T., Scheidt, T.K., Mager, F.M., Aagaard, R.Ø., Foldager, J., Alstrøm, T.S. and Hansen, L.K.
Removing confounding information from fetal ultrasound images
K Mikolaj, M Lin, Z Bashir, MBS Svendsen, M Tolsgaard, A Nymark, A Feragen
Robustness of Visual Explanations to Common Data Augmentation Methods
Lenka Tĕtková, Lars Kai Hansen
Multi-centre deep learning for placenta segmentation in obstetric ultrasound with multi-observer and cross-country generalization
Andreasen LA, Feragen A, Christensen AN, Thybo JK, Svendsen MBS, Lekadir K, Tolsgaard MG
Unionized Data Governance in Virtual Power Plants: Poster
Niels Ørbæk Chemnitz, Phillippe Bonnet, Sebastian Büttric, Irina Shklovski, Laura Watts
Using Signals to Support Trust Building in Clinical Human-AI Collaboration
Naja Kathrine Kollerup, Mikael B. Skov, Niels Van Berkel
Measurements, Algorithms, and Presentations of Reality: Framing Interactions with AI-Enabled Decision Support
Niels van Berkel, Maura Bellio, Mikael B. Skov, Ann Blandford
Challenges arising in a Multi-Drone System for Search and Rescue
Maria-Theresa Oanh Hoang, Niels van Berkel, Mikael B. Skov, Timothy Merritt
Adapted Conflict Detection for Conflict Based Search
Avgi Kollakidou, Leon Bodenhagen
AdaBoost is not an Optimal Weak to Strong Learner
Mikael Møller Høgsgaard, Kasper Green Larsen, Martin Ritzert
Complexity Classes for Online Problems with and without Predictions
Magnus Berg, Joan Boyar, Lene M. Favrholdt and Kim S. Larsen
Online Bin Covering with Frequency Predictions
Magnus Berg & Shahin Kamali
Online Minimum Spanning Trees with Weight Predictions
Magnus Berg, Joan Boyar, Lene M. Favrholdt, and Kim S. Larsen
Recent Approaches and Trends in Approximate Nearest Neighbor Search, with Remarks on Benchmarking
Martin Aumüller, Matteo Ceccarello
Solving k-Closest Pairs in High-Dimensional Data
Martin Aumüller & Matteo Ceccarello
Space-Efficient Data Structures for Polyominoes and Bar Graphs
Magnus Berg, Shahin Kamali, Katherine Ling, Cooper Sigrist
Suitability of Nearest Neighbour Indexes for Multimedia Relevance Feedback
Omar Shahbaz Khan, Martin Aumüller & Björn Þór Jónsson
Optimal Weak to Strong Learning
Kasper Green Larsen, Martin Ritzert
Co-Designing Multimodal Tools for Radically Mobile Hybrid Meetings
Julia Kleinau, Jens Emil Grønbæk, and Eve Hoggan
Whispering Through Walls: Towards Inclusive Backchannel Communication in Hybrid Meetings
Qianqian Mu, Marcel Borowski, Jens Emil Grønbæk, Susanne Bødker, and Eve Hoggan
Material Mediation in Collaborative Activity
Bødker, Susanne, Ida Larsen-Ledet, Eve Hoggan
What Research through Art can bring to CSCW: Exploring ambiguous futures of work
Kellie Dunn, Irina Shklovski, Pernille Bjørn
Planning for hybrid cooperation-a design driven exploration
Busboom, J., & Boulus-Rødje, N.
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
Collocated Distance: A Fundamental Challenge for the Design of Hybrid Work Technologies
Melanie Duckert, Louise Barkhuus, Pernille Bjørn
Revisiting Grudin’s eight challenges for developers of groupware technologies 30 years later
Melanie Duckert, Pernille Bjørn
Achieving Symmetry in Synchronous Interaction in Hybrid Work is Impossible
Pernille Bjørn, Juliane Busboom, Melanie Duckert, Susanne Bødker, Irina Shklovski, Eve Hoggan, Kellie Dunn, Qianqian Mu, Louise Barkhuus, Nina Boulus-Rødje
The Ripple Effect of Information Infrastructures. In Computer Supported Cooperative Work
Melanie Duckert, Charlotte Lee, Pernille Bjørn
Emotional Internet of Behaviors: A QoE-QoS Adjustment
Mina Alipour, Mahyar T. Moghaddam, Karthik Vaidhyanathan, Tobias Kristensen, Micolai Kroaager Asmussen
EDDE: An Event-Driven Data Exchange to Accurately Introspect Cobot Applications
ES Kolvig-Raun, MB Kjærgaard, R Brorsen
Predicting Bearings Degradation Stages for Predictive Maintenance in the Pharmaceutical Industry
Dovile Juodelyte, Veronika Cheplygina, Therese Graversen, Philippe Bonnet
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
Towards Comparing Performance of Algorithms in Hardware and Software
Maja H. Kirkeby, Martin Schoeberl
A Primer for tinyML Predictive Maintenance: Input and Model Optimisation
Emil Jørgensen Njor, Jan Madsen, Xenofon Fafoutis
Data Aware Neutral Architecture Search
Emil Jørgensen Njor, Jan Madsen, Xenofon Fafoutis
A Flexible Implementation Model for Neural Networks on FPGAs
Jesper Jakobsen, Mikkel Jensen, Iman Sharifirad, Jalil Boudjadar
JoT: A Jolie Framework for Testing Microservices
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana
Designing Internet of Behaviors Systems
Mahyar T. Moghaddam, Henry Muccini, Julie Dugdale, Mikkel Baun Kjærgaard
Emotional Internet of Behaviors: A QoE-QoS Adjustment Mechanism
Mina Alipour, Mahyar T. Moghaddam, Karthik Vaidhyanathan, Tobias Kristensen, Micolai Kroaager Asmussen
Emoticontrol: Emotions-based Control of User-Interfaces Adaptations
Mina Alipour, Mahyar T. Moghaddam, Karthik Vaidhyanathan, Mikkel Baun Kjærgaard
Towards Changing Users Behavior with Emotion-Based Adaptive Systems
Mina Alipour, Mahyar T. Moghaddam, Karthik Vaidhyanathan, Mikkel Baun Kjærgaard
Intelligent Building Evacuation: From Modeling Systems to Behaviors
Mahyar T. Moghaddam, Henry Muccini, Julie Dugdale
Statistical Analysis of the Impact of Bit-Flips in Security Critical Code
Tobias Worm Bøgedal, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
Modelling and Analysis of DTLS: Power Consumption and Attacks
Lise Bech Gehlert, Malthe Peter Højen Jørgensen, Christoffer Brejnholm Koch, Tobias Møller, Signe Kirstine Rusbjerg, Tobias Worm Bøgedal, Danny Bøgsted Poulsen, René Rydhof Hansen, Daniel Lux
Shared Responsibility in IoT Security: Preliminary Findings from Multiple Case Studies
ShiTing Wang, Qiqi Jiang, Torkil Clemmensen
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements
Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari
Attack Tree Generation via Process Mining
Alyzia-Maria Konsta, Gemma Di Federico, Alberto Lluch-Lafuente, Andrea Burattin
What Should Be Observed for Optimal Reward in POMDPs?
Alyzia-Maria Konsta, Alberto Lluch-Lafuente, Christoph Matheja
Survey: Automatic generation of attack trees and attack graphs
Alyzia Maria Konsta, Alberto Lluch-Lafuente, Beatrice Spiga, Nicola Dragoni
A Survey of Trust Management for Internet of Things
Konsta, A. M., Lafuente, A. L. & Dragoni, N.
Inventarisation of concrete security cases studies at companies
Zaruhi Aslanyan
On-The-Fly Algorithm for Reachability in Parametric Timed Games
Mikael Bisgaard Dahlsen-Jensen, Baptiste Fiewet, Laure Petrucci, Jaco van de Pol
A Deductive Verification Infrastructure for Probabilistic Programs
Philipp Schröer, Kevin Batz, Benjamin Kaminski, Joost-Pieter Katoen, Christoph Matheja
A toolchain for domestic heat-pump control using Uppaal Stratego
IR Hasrat, PG Jensen, KG Larsen, J Srba
Determine Stormwater Pond Geometrics and Hydraulics using Remote Sensing Technologies: Comparison between Airborne-LiDAR and UAV-photogrammetry Field Validation against RTK-GNSS
Guohan Zhao, Michael Rasmussen, Kim Larsen, Jiri Srba, Thomas Nielsen, Martijn Goorden, Weizhu Qian, Jesper Nielsen
Formal specification-based testing for reinforcement learning
Mahsa Varshosaz, Mohsen Ghaffari, Einar Broch Johnsen, Andrzej Wąsowski
Guaranteed safe controller synthesis for switched systems using analytical solutions
Martin A Gooden, Kim G Larsen, Jesper E Nielsen, Thomas D Nielsen, Weizhu Qian, Michael R Rasmussen, Guohan Zhao
Learning Symbolic Timed Models from Concrete Timed Data
Simon Dierl, Falk Maria Howar, Sean Kauffman, Martin Kristjansen, Kim Guldstrand Larsen, Florian Lorber, Malte Mauritz
Learning Safe and Optimal Control Strategies for Stormwater Detention Ponds
Martijn A Goorden, Kim G Larsen, Jesper E Nielsen, Thomas D Nielsen, Weizhu Qian, Michael R Rasmussen, Guohan Zhao
Shielded Reinforcement Learning for Hybrid Systems
AH Brorholt, PG Jensen, KG Larsen, F Lorber, C Schilling
Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds
MA Goorden, KG Larsen, JE Nielsen, TD Nielsen, MR Rasmussen, J Srba
Automata Learning Meets Shielding
Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen
Controlling Storm Water Detention Ponds under Partial Observability
Esther H. Kim, Martijn Goorden, Kim G. Larsen, Thomas D. Nielsen
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
Monitoring Timed Properties
Thomas Møller Grosen, Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann
Playing Wordle with Uppaal Stratego
Peter Gjøl Jensen, Kim G. Larsen, Marius Mikucionis
Deductive Verification of Probabilistic Programs
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego
Martijn A. Goorden, Peter Gjøl Jensen, Kim G. Larsen, Mihhail Samusev, Jirí Srba, Guohan Zhao
Formal methods and tools for industrial critical systems
Maurice H. ter Beek, Kim G. Larsen, Dejan Nickovic, Tim A. C. Willemse
Formal Methods Meet Machine Learning (F3ML)
Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga, Bernhard Steffen
Hierarchical identification of nonlinear hybrid systems in a Bayesian framework
Ahmad Madary, Hamid Reza Momeni, Alessandro Abate, Kim G. Larsen
Domain-Specific Languages
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
A Quantitative Verification Infrastructure
Ezio Bartocci, Fredrik Dahlqvist, Sebastian Junges, Benjamin Kaminski, Christoph Matheja
Do You Need a DAO?
Henrik Axelsen, Johannes Rude Jensen & Omri Ross
A Survey of Trust Management for Internet of Things
Konsta, A. M., Lafuente, A. L. & Dragoni, N.
Capturing Smart Contract Design with DCR Graphs
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt and Gerardo Schneider
Comparing Trace Similarity Metrics across Logs and Evaluation Measures
Christoffer Olling Back and Jakob Grue Simonsen
Constant-Round Private Decision Tree Evaluation for Secret Shared Data
N Cheng, N Gupta, A Mitrokotsa, H Morita, K Tozawa
DLT Compliance reporting
Johannes Rude Jensen, Henrik Axelsen, Omri Ross
Efficient Optimal Alignment between Dynamic Condition Response Graphs and Traces
Axel Christfort and Tijs Slaats
Foundations and Practice of Binary Process Discovery
Tijs Slaats, Søren Debois, Christoffer Olling Back, Axel Kjeld Fjelrad Christfort
Improving Declarative Process Mining with a Priori Noise Filtering
AKF Christfort, S Debois, T Slaats
On-The-Fly Algorithm for Reachability in Parametric Timed Games
Mikael Bisgaard Dahlsen-Jensen, Baptiste Fiewet, Laure Petrucci, Jaco van de Pol
Trading Green Bonds on Distributed Ledger Technology
Henrik Axelsen, Ulrik Rasmussen, Johannes Rude Jensen, Omri Ross, Fritz Henglein
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
Balancing Privacy and Accountability in Blockchain Identity Management
lvan Damgård, Chaya Ganesh, Hamidreza Khoshakhlagh, Claudio Orlandi, Luisa Siniscalchi
An Algebraic Framework for Silent Preprocessing with Trustless Setup and Active Security
Damiano Abram, Ivan Damgård, Claudio Orlandi, Peter Scholl
Fiat-Shamir Bulletproofs are Non Malleable (in the Algebraic Group Model)
Chaya Ganesh, Claudio Orlandi, Mahak Pancholi, Akira Takahashi, Daniel Tshudi
Low-Bandwidth Treshold ECDSA via Pseudorandom Correlation Generators
Damiano Abram, Ariel Nof, Claudio Orlandi, Peter Scholl, Omer Shlomovits
Laconic Private Set-Intersection From Pairing
Diego F. Aranha, Chuanwei Lin, Claudio Orlandi, Mark Simkin
Refresh When You Wake Up: Proactive Threshold Wallets with Offline Devices
Yashvanth Kondi, Bernardo Magri, Claudio Orlandi, Omer Shlomovits
The Rise of Pailier: Homomorphic Secret Sharing and Public-Key Silent OT
Claudio Orlandi, Peter Scholl, Sophia Yakoubov
Two-Round n-out-of-n Multi-signatures and Trapdoor Commitment from Lattices
Ivan Damgård, Claudio Orlandi, Akira Takahashi, Mehdi Tibouchi
SSProve: A Foundational Framework for Modular Cryptographic Proofs
Philipp G. Haselwarter, Exequiel Rivas, Antoine van Muylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Catalin Hritcu, Kenji Maillard, Bas Spitters
HACSPEC: A Gateway to High-assurance Cryptography
Bas Spitters, Lasse Letager Hansen, Manuel Barbosa, Pierre-Yves Strub Lucas Franceshino, Denis Merigoux
Verifying, Testing and Running Smart Contracts in ConCert
Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters
ConCert: A Smart Contract Certification Framework in Coq
Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters
Extracting Functional Programs from Coq, in Coq
Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters
SOK: Privacy-Enhancing Technologies in Finance
Carsten Baum, James Hsin-yu Chiang, Bernardo David, Tore Kasper Frederiksen
Verifying ElectionGuard: a theoretical and empirical analysis
Markus Valdemar Grønkjær Jensen, Hans-Christian Kjeldsen, Andreas Skriver Nielsen, Niklas Bille Olesen, Diego F. Aranha
Perceptions of Artificial Intelligence Business Value in a Value Network
Keramidis, P. and Shollo, A.
The Future of Disruptive Technologies in Organisations: Findings from a World Café Workshop
Keramidis, P., Hettich, A., Descazeaux, I. G., & Wang, S. M.
Internet of Things – de fire udviklingstrin
Jan Damsgaard
Weighing the Pros and Cons: Process Discovery with Negative Examples
Tijs Slaats, Søren Debois & Christoffer Olling Back
When is a DAO Decentralized?
Henrik Axelsen, Johannes Rude Jensen, Omri Ross
How should DAOs be regulated? A new Perspective on Decentralization
Henrik Axelsen, Omri Ross
Invisible Women in IT: Examining Gender Representation in K-12 ICT Teaching Materials
Ingrid Maria Christensen, Melissa Høegh Marcher, Nanna Inie, Claus Brabrand
Software Infrastructures for Teaching at Scale (pdf)
Editors: Jakob Lykke Andersen & Ulrik Nyman · Contributors: Luıs Cruz-Filipe, Michele Albano, Florian Echtler, Jens Myrup Pedersen, Miguel Campusano, Aisha Umair, Marco Chiarandini
Gender Differences in the Group Dynamics of Smaller CS1 Project Groups
Bjørn Hjorth Westh, Nanna Inie , Louise Barkhuus and Claus Brabrand
Natural Language Processing of Student’s Feedback to Instructors: A Systematic Review
A. S. Sunar and M. S. Khalid
Programming under the influence: On the effect of Heat, Noise, and Alcohol on novice programmers
Claus Brabrand, Nanna Inie, Paolo Tell
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
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
Computing Educational Programmes with more Women are more about People & less about Things
Pawel Grabarczyk, Alma Freiesleben, Amanda Bastrup, Claus Brabrand
On the Effect of Onboarding Computing Students without Programming-Confidence or -Experience
Pawel Grabarczyk, Sebastian Mateos Nicolajsen, Claus Brabrand
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
Diversity in Statistics Projects – Do Students Choose According to Their Gender?
Niels aske Lundtorp Olsen
Natural Language Processing of Student’s Feedback to Instructors: A Systematic Review
A. S. Sunar and M. S. Khalid
Failing Our Youngest: On the Biases, Pitfalls, and Risks in a Decision Support Algorithm Used for Child Protection
Teresa Moreau, Roberta Sinatra & Vedran Sekara
Future directions in human mobility science
Luca Pappalardo, Ed Manley, Vedran Sekara & Laura Alessandretti
