Andreas Engelbredt Dalsgaard

According to our database, Andreas Engelbredt Dalsgaard authored at least 11 papers between 2010 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

A Distributed Fixed-Point Algorithm for Extended Dependency Graphs.

Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Peter Gjøl Jensen, Tobias Skovgaard Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba

Fundam. Informaticae, 2018

2017

Safety-critical Java for embedded systems.

Martin Schoeberl, Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Stephan Erbs Korsholm, Anders P. Ravn, Juan Ricardo Rios Rivas, Tórur Biskopstø Strøm, Hans Søndergaard, Andy J. Wellings, Shuai Zhao

Concurr. Comput. Pract. Exp., 2017

Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation.

Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Tobias Skovgaard Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

2016

Distributed Computation of Fixed Points on Dependency Graphs.

Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

2014

Certifiable Java for Embedded Systems.

Martin Schoeberl, Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Stephan Erbs Korsholm, Anders P. Ravn, Juan Ricardo Rios Rivas, Tórur Biskopstø Strøm, Hans Søndergaard

Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems, 2014

2013

Worst-case memory consumption analysis for SCJ.

Jeppe L. Andersen, Mikkel Todberg, Andreas Engelbredt Dalsgaard, René Rydhof Hansen

Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, 2013

Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction.

Alfons Laarman, Mads Chr. Olesen, Andreas Engelbredt Dalsgaard, Kim Guldstrand Larsen, Jaco van de Pol

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Private memory allocation analysis for safety-critical Java.

Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Martin Schoeberl

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012

Multi-core Reachability for Timed Automata.

Andreas Engelbredt Dalsgaard, Alfons Laarman, Kim G. Larsen, Mads Chr. Olesen, Jaco van de Pol

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

2011

opaal: A Lattice Model Checker.

Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Kenneth Yrke Jørgensen, Kim Guldstrand Larsen, Mads Chr. Olesen, Petur Olsen, Jirí Srba

Proceedings of the NASA Formal Methods, 2011

2010

METAMOC: Modular Execution Time Analysis using Model Checking.

Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft, René Rydhof Hansen, Kim Guldstrand Larsen

Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010