Jonas Hansen

20 papers A 1B 2Misc 2Journal 7Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Safe and infinite resource scheduling using energy timed automata.
Sci. Comput. Program.
Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen
2025 A conf
Exact Schedulability Analysis for Limited-Preemptive Parallel Applications Using Timed Automata in UPPAAL.
DATE
Jonas Hansen, Srinidhi Srinivasan, Geoffrey Nelissen, Kim G. Larsen
2024 Misc conf
Safe and Infinite Resource Scheduling Using Energy Timed Automata.
TASE
Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen
2023 — conf
Assume-Guarantee Reasoning for Additive Hybrid Behaviour.
Theories of Programming and Formal Methods
Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen
2022 — conf
Balancing Flexible Production and Consumption of Energy using Resource Timed Automata.
MECO
Jonas Hansen, Kim Guldstrand Larsen, Pieter J. L. Cuijpers
2022 J jnl
Compositional Reasoning for Side-effectful Iterators and Iterator Adapters.
CoRR
Aurel Bílý, Jonas Hansen, Peter Müller, Alexander J. Summers
2020 B conf
A Correlated Time Series Forecast System.
MDM
Nicolaj Casanova Abildgaard, Casper Weiss Bang, Jonas Hansen, Tobias Lambek Jacobsen, Thomas Højriis Knudsen, Nichlas Ørts Lisby, Chenjuan Guo, Bin Yang
2018 J jnl
Bridging inter-flow and intra-flow network coding in wireless mesh networks: From theory to implementation.
Comput. Networks
Jonas Hansen, Jeppe Krigslund, Daniel E. Lucani, Peyman Pahlevani, Frank H. P. Fitzek
2018 — conf
On Superregular Matrices and Convolutional Codes with Finite Decoder Memory.
VTC Spring
Jonas Hansen, Jan Østergaard, Johnny Kudahl, John H. Madsen
2018 — conf
Sequential Use of Block Codes and Convolutional Codes in a Real-Time Multi-Hop Network.
VTC Spring
Jonas Hansen, Jan Østergaard, Johnny Kudahl, John H. Madsen
2018 J jnl
The BesMan Learning Platform for Automated Robot Skill Learning.
Frontiers Robotics AI
Lisa Gutzeit, Alexander Fabisch, Marc Otto, Jan Hendrik Metzen, Jonas Hansen, Frank Kirchner, Elsa Andrea Kirchner
2017 J jnl
Superregular Lower Triangular Toeplitz Matrices for Low Delay Wireless Streaming.
IEEE Trans. Commun.
Jonas Hansen, Jan Østergaard, Johnny Kudahl, John H. Madsen
2017 — conf
When are erasure correcting block codes better than convolutional codes in a multi-hop network?
ICSPCS
Jonas Hansen, Jan Østergaard, Johnny Kudahl, John H. Madsen
2016 J jnl
On the Construction of Jointly Superregular Lower Triangular Toeplitz Matrices.
CoRR
Jonas Hansen, Jan Østergaard, Johnny Kudahl, John H. Madsen
2016 B conf
On the construction of jointly superregular lower triangular Toeplitz matrices.
ISIT
Jonas Hansen, Jan Østergaard, Johnny Kudahl, John H. Madsen
2015 J jnl
Network coded software defined networking: enabling 5G transmission and storage networks.
IEEE Commun. Mag.
Jonas Hansen, Daniel E. Lucani, Jeppe Krigslund, Muriel Médard, Frank H. P. Fitzek
2014 — conf
Sub-Transport Layer Coding: A Simple Network Coding Shim for IP Traffic.
VTC Fall
Jonas Hansen, Jeppe Krigslund, Daniel E. Lucani, Frank H. P. Fitzek
2013 — conf
Bridging inter-flow and intra-flow Network Coding for video applications: Testbed description and performance evaluation.
CAMAD
Jonas Hansen, Jeppe Krigslund, Daniel E. Lucani, Frank H. P. Fitzek
2013 — conf
CORE: COPE with MORE in Wireless Meshed Networks.
VTC Spring
Jeppe Krigslund, Jonas Hansen, Martin Hundeboll, Daniel E. Lucani, Frank H. P. Fitzek
2013 Misc conf
Performance evaluation of coded meshed networks.
ACSSC
Jeppe Krigslund, Jonas Hansen, Morten Videbæk Pedersen, Daniel E. Lucani, Frank H. P. Fitzek