Søg
Close this search box.

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.

AI - Machine Learning, Computer Vision, Natural Language Processing

AdaBoost is not an Optimal Weak to Strong Learner
Mikael Møller Høgsgaard, Kasper Green Larsen, Martin Ritzert

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

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

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

Advanced and Efficient Big Data Management and Analysis

 

 

Efficient Algorithms and Data Structures

Online Minimum Spanning Trees with Weight Predictions
Magnus Berg, Joan Boyar, Lene M. Favrholdt, and Kim S. Larsen

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

Human Computer Interaction CSCW and InfoVis

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

Cyber-physical systems, IoT and Autonomous Systems

Emotional Internet of Behaviors: A QoE-QoS Adjustment
Mina Alipour, Mahyar T. Moghaddam, Karthik Vaidhyanathan, Tobias Kristensen, Micolai Kroaager Asmussen

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

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

Verification and Software Engineering

A Deductive Verification Infrastructure for Probabilistic Programs
Philipp Schröer, Kevin Batz, Benjamin Kaminski, Joost-Pieter Katoen, Christoph Matheja

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 Safe and Optimal Control Strategies for Storm Water Detention Ponds
MA Goorden, KG Larsen, JE Nielsen, TD Nielsen, MR Rasmussen, J Srba

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

Cybersecurity and Blockchains

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

Foundations and Practice of Binary Process Discovery
Tijs Slaats, Søren Debois, Christoffer Olling Back, Axel Kjeld Fjelrad Christfort

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

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

Business Innovation, Processes and Models

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

Education

Gender Differences in the Group Dynamics of Smaller CS1 Project Groups
Bjørn Hjorth Westh, Nanna Inie , Louise Barkhuus and Claus Brabrand

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, Ethics and Privacy

Future directions in human mobility science
Luca Pappalardo, Ed Manley, Vedran Sekara & Laura Alessandretti