Výsledky vyhledávání - "Dalsgaard, Andreas"

Akademický článek

A Distributed Fixed-Point Algorithm for Extended Dependency Graphs.

Autor: Dalsgaard, Andreas E.¹ (AUTHOR), Enevoldsen, Søren¹ (AUTHOR), Fogh, Peter¹ (AUTHOR), Jensen, Lasse S.¹ (AUTHOR), Jensen, Peter G.¹ (AUTHOR), Jepsen, Tobias S.¹ (AUTHOR), Kaufmann, Isabella¹ (AUTHOR), Larsen, Kim G.¹ (AUTHOR), Nielsen, Søren M.¹ (AUTHOR), Olesen, Mads Chr.¹ (AUTHOR), Pastva, Samuel² (AUTHOR), Srba, Jiří¹ (AUTHOR) srba@cs.aau.dk

Publikováno v: Fundamenta Informaticae. 2018, Vol. 161 Issue 4, p351-381. 31p.

Zobrazit plný text záznamu

A Distributed Fixed-Point Algorithm for Extended Dependency Graphs

Autor: Dalsgaard, Andreas Engelbredt, Enevoldsen, Søren, Fogh, Peter, Jensen, Lasse Storgaard, Jensen, Peter Gjøl, Jepsen, Tobias S., Kaufmann, Isabella, Larsen, Kim Guldstrand, Nielsen, Søren Moss, Olesen, Mads Chr., Pastva, Samuel, Srba, Jiri

Publikováno v: Dalsgaard, A E, Enevoldsen, S, Fogh, P, Jensen, L S, Jensen, P G, Jepsen, T S, Kaufmann, I, Larsen, K G, Nielsen, S M, Olesen, M C, Pastva, S & Srba, J 2018, ' A Distributed Fixed-Point Algorithm for Extended Dependency Graphs ', Fundamenta Informaticae, vol. 161, no. 4, pp. 351-381 . https://doi.org/10.3233/FI-2016-0000

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::012c0d6b238c699f2bcafdc528575d95
https://vbn.aau.dk/da/publications/8e68d5ba-2b7a-4d7e-86a2-cae272df4147

Zobrazit plný text záznamu

Safety-critical Java for embedded systems

Autor: Schoeberl, Martin, Dalsgaard, Andreas Engelbredt, Hansen, René Rydhof, Korsholm, Stephan, Ravn, Anders, Rivas, Juan, Strom, Tórur, Søndergaard, Hans, Zhao, Shuai, Wellings, Andrew John

Publikováno v: Schoeberl, M, Dalsgaard, A E, Hansen, R R, Korsholm, S E, Ravn, A P, Rios Rivas, J R, Strøm, T B, Søndergaard, H, Wellings, A & Zhao, S 2017, ' Safety-critical Java for embedded systems ', Concurrency and Computation: Practice & Experience, vol. 29, no. 22 . https://doi.org/10.1002/cpe.3963
Schoeberl, M, Dalsgaard, A E, Hansen, R R, Korsholm, S E, Ravn, A P, Rios Rivas, J R, Strøm, T B, Søndergaard, H, Wellings, A & Zhao, S 2016, ' Safety-critical Java for embedded systems ', Concurrency and Computation: Practice & Experience . https://doi.org/10.1002/cpe.3963

This paper presents the motivation for and outcomes of an engineering research project on certifiable Javafor embedded systems. The project supports the upcoming standard for safety-critical Java, which defines asubset of Java and libraries aiming fo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ef13d1422fb16815d92d2f1a2e489d5e
https://vbn.aau.dk/da/publications/d3c2a0a3-3efa-4b5f-82ea-1bba70fd9d18

Zobrazit plný text záznamu

Distributed computation of fixed points on dependency graphs

Autor: Dalsgaard, Andreas Engelbredt, Enevoldsen, Søren, Larsen, Kim Guldstrand, Srba, Jiri

Publikováno v: Dalsgaard, A E, Enevoldsen, S, Larsen, K G & Srba, J 2016, Distributed computation of fixed points on dependency graphs . in Dependable Software Engineering : Theories, Tools, and Applications . Springer, Lecture Notes in Computer Science, vol. 9984, pp. 197-212, 2nd International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2016, Beijing, China, 09/11/2016 . https://doi.org/10.1007/978-3-319-47677-3_13

Dependency graph is an abstract mathematical structure for representing complex causal dependencies among its vertices. Several equivalence and model checking questions, boolean equation systems and other problems can be reduced to fixed-point comput

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::83c1437dfdfceecc1c73811506957de8
https://vbn.aau.dk/da/publications/c767fb05-387c-4102-8646-c8c0d86405c4

Zobrazit plný text záznamu

Verification of Safety Critical Systems using Program Analysis and Model Checking

Autor: Dalsgaard, Andreas Engelbredt

Publikováno v: Dalsgaard, A E 2016, Verification of Safety Critical Systems using Program Analysis and Model Checking . Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet . https://doi.org/10.5278/VBN.PHD.ENGSCI.00117

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::abd983c130a9fd6e2e3b0fe5679a46b2
https://vbn.aau.dk/da/publications/bd85e0f1-65c2-44bc-a303-8ca2d07b3047

Zobrazit plný text záznamu

Multi-Core Reachability for Timed Automata

Autor: Dalsgaard, Andreas, Laarman, Alfons, Larsen, Kim G., Olesen, Mads Chr., van de Pol, Jaco, Jurdziński, Marcin, Ničković, Dejan

Publikováno v: Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings, 91-106
STARTPAGE=91;ENDPAGE=106;TITLE=Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science ISBN: 9783642333644
FORMATS

Model checking of timed automata is a widely used technique. But in order to take advantage of modern hardware, the algorithms need to be parallelized. We present a multi-core reachability algorithm for the more general class of well-structured trans

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::18844fe1ea565170097183acd4a7bf7f
https://doi.org/10.1007/978-3-642-33365-1_8

Zobrazit plný text záznamu

Multi-Core Emptiness Checking of Timed Büchi Automata using Inclusion Abstraction

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

Publikováno v: Laarman, A, Olesen, M C, Dalsgaard, A, Larsen, K G & Pol, J V D 2013, Multi-Core Emptiness Checking of Timed Büchi Automata using Inclusion Abstraction . in Proceedings of the 25th International Conference on Computer Aided Verification (CAV) . vol. 8044, Springer Publishing Company, Lecture Notes in Computer Science, vol. 8044, pp. 968-983, 25th International Concerence on Computer Aided Verification, Saint Petersburg, Russian Federation, 13/07/2013 . https://doi.org/10.1007/978-3-642-39799-8_69

This paper contributes to the multi-core model checking of timed automata (TA) with respect to liveness properties, by investigating checking of TA Büchi emptiness under the very coarse inclusion abstraction or zone subsumption, an open problem in t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d12f5c1745a518cb1cd3ee3eef0b0ebf
https://vbn.aau.dk/da/publications/63e14668-e22d-49be-83e2-39a41252e8b2

Zobrazit plný text záznamu

Multi-core reachability for timed automata

Autor: Dalsgaard, Andreas Engelbredt, Laarman, Alfons, Larsen, K.G., Olesen, M.Chr., Van De Pol, Jaco

Publikováno v: Dalsgaard, A E, Laarman, A, Larsen, K G, Olesen, M C & Van De Pol, J 2012, Multi-core reachability for timed automata . in M Jurdzinski & D Nickovic (eds), Formal Modeling and Analysis of Timed Systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings . Springer Publishing Company, Lecture Notes in Computer Science, vol. 7595, pp. 91-106, FORMATS12, London, United Kingdom, 18/09/2012 . https://doi.org/10.1007/978-3-642-33365-1_8

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4c31d6bcf4560483a9ede6e83ab128af
https://vbn.aau.dk/da/publications/d8cfe174-6f99-49e3-ac8e-3bd0161920d3

Zobrazit plný text záznamu

Opaal:A Lattice Model Checker

Autor: Dalsgaard, Andreas Engelbredt, Hansen, Rene Rydhof, Jørgensen, Kenneth Yrke, Larsen, Kim Guldstrand, Olesen, Mads Chr., Olsen, Petur, Srba, Jiri

Publikováno v: Dalsgaard, A E, Hansen, R R, Jørgensen, K Y, Larsen, K G, Olesen, M C, Olsen, P & Srba, J 2011, ' Opaal : A Lattice Model Checker ', Lecture Notes in Computer Science, vol. 6617, pp. 487-493 . https://doi.org/10.1007/978-3-642-20398-5_37

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a88b1eb880d189cead27cf6ac94f102a
https://vbn.aau.dk/ws/files/65906545/nfm2011_final_submission.pdf

Zobrazit plný text záznamu

WCET Analysis of ARM Processors using Real-Time Model Checking

Autor: Toft, Martin, Olesen, Mads Christian, Dalsgaard, Andreas, Larsen, Kim Guldstrand, Hansen, Rene Rydhof

Publikováno v: Toft, M, Olesen, M C, Dalsgaard, A, Larsen, K G & Hansen, R R 2009, ' WCET Analysis of ARM Processors using Real-Time Model Checking ', RWTH Aachen, Dept. of Computer Science, no. 14, pp. 4-6 .

This paper presents a flexible method that utilises real-time model checking to determine safe and sharp WCETs for processes running on hardware platforms featuring pipelining and caching.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b83db1006ac3a2ca9476c9946c203b23
https://vbn.aau.dk/da/publications/ea55cb50-1c65-11df-ab29-000ea68e967b

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání