Optimal reachability for multi-priced timed automata

Autor: Larsen, Kim Guldstrand, Rasmussen, Jacob Illum

Publikováno v: In Theoretical Computer Science 2008 390(2):197-213

Airdrops and Privacy: A Case Study in Cross-Blockchain Analysis

Autor: Martin Harrigan, Jacob Illum, Lei Shi

Publikováno v: ICDM Workshops

Airdrops are a popular method of distributing cryptocurrencies and tokens. While often considered risk-free from the point of view of recipients, their impact on privacy is easily overlooked. We examine the Clam airdrop of 2014, a forerunner to many

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fc88c934b9be46e8dac6e11578c518bb
https://doi.org/10.1109/icdmw.2018.00017

Tools for Model-Checking Timed Systems

Autor: Peter Bulychev, Paul Pettersson, Morgan Magnin, Wang Yi, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Joakim Byg, Gerd Behrmann, Didier Lime, Jiri Srba, Thomas Chatain, Olivier Roux, Alexandre David, Kenneth Y. Joergensen, Louis Marie Traonouez

Publikováno v: David, A, Behrmann, G, Bulychev, P, Byg, J, Chatain, T, Larsen, K G, Pettersson, P, Rasmussen, J I, Srba, J, Yi, W, Joergensen, K Y, Lime, D, Magnin, M, Roux, O H & Traonouez, L M 2013, Tools for Model-Checking Timed Systems . in C Jard & O H. Roux (eds), Communicating Embedded Systems: Software and Design: Formal Methods . Wiley, pp. 165-225 . https://doi.org/10.1002/9781118558188.ch6
Aalborg University
David, A, Rasmussen, J I, Larsen, K G, Behrmann, G, Bulychev, P, Byg, J, Chatain, T, Pettersson, P, Srba, J, Yi, W, Jørgensen, K Y, Lime, D, Magnin, M, Roux, O H & Traonouez, L-M 2009, Tools for Model-Checking Timed Systems . in O H Roux & C Jard (eds), Communicating Embedded Systems for Computer Science . Wiley, pp. 165-225 .
Communicating Embedded Systems: Software and Design: Formal Methods

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::024ccdc25a469599b1dea37374607d90
https://vbn.aau.dk/da/publications/68299ca7-4fec-4b81-8eca-c6e15f5966f3

Application of Model-Checking Technology to Controller Synthesis

Autor: David, Alexandre, Grunnet, Jacob Deleuran, Jessen, Jan Jacob, Larsen, Kim Guldstrand, Rasmussen, Jacob Illum

Publikováno v: David, A, Grunnet, J D, Jessen, J J, Larsen, K G & Rasmussen, J I 2011, ' Application of Model-Checking Technology to Controller Synthesis ', Lecture Notes in Computer Science, vol. 6957, pp. 336-351 . https://doi.org/10.1007/978-3-642-25271-6_18

In this paper we present two frameworks that have beenimplemented to link traditional model-checking techniques to the domainof control. The techniques are based on solving a timed game and usingthe resulting solution (a strategy) as a controller. Th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ebd2262a0e87ab253563d25b30b2dfa6
https://vbn.aau.dk/da/publications/a6299d60-8563-4cd5-a7a2-9e2a6cdba475

Schedulability Analysis Using Uppaal: Herschel-Planck Case Study

Autor: Jan Storbank Pedersen, Arne Skou, Kim Guldstrand Larsen, Poul Hougaard, Brian Nielsen, Marius Mikučionis, Steen Ulrik Palm, Jacob Illum Rasmussen

Publikováno v: Lecture Notes in Computer Science ISBN: 9783642165603
ISoLA (2)

We propose a modeling framework for performing schedulability analysis by using UPPAAL real-time model-checker [2]. The framework is inspired by a case study where schedulability analysis of a satellite system is performed. The framework assumes a si

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::2789e33289963fe950ecac5fe0dae792
https://doi.org/10.1007/978-3-642-16561-0_21