Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Rasmussen, Jacob Illum"'
Publikováno v:
In Theoretical Computer Science 2008 390(2):197-213
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
https://vbn.aau.dk/da/publications/a6299d60-8563-4cd5-a7a2-9e2a6cdba475
Autor:
Mikucionis, Marius, Larsen, Kim Guldstrand, Nielsen, Brian, Rasmussen, Jacob Illum, Skou, Arne, Palm, Steen Ulrik, Pedersen, Jan Storbank, Hougaard, Poul
Publikováno v:
Mikucionis, M, Larsen, K G, Nielsen, B, Rasmussen, J I, Skou, A, Palm, S U, Pedersen, J S & Hougaard, P 2010, ' Schedulability Analysis Using Uppaal: Herschel-Planck Case Study ', Lecture Notes in Computer Science, vol. 6416, no. 2010, pp. 175-190 . https://doi.org/10.1007/978-3-642-16561-0_21
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d3718b66c0bdb33f0a083ed94d7171ac
https://vbn.aau.dk/da/publications/eb05ee2b-db69-4e8d-9ee6-02cd6e060b1c
https://vbn.aau.dk/da/publications/eb05ee2b-db69-4e8d-9ee6-02cd6e060b1c
Autor:
H. Hjort, Ulrik, Rasmussen, Jacob Illum, Larsen, Kim Guldstrand, A. Petersen, Michael, Skou, Arne
Publikováno v:
H. Hjort, U, Rasmussen, J I, Larsen, K G, A. Petersen, M & Skou, A 2009, ' Model-Based GUI Testing Using Uppaal at Novo Nordisk ', Lecture Notes in Computer Science, vol. 5850, pp. 814-818 . https://doi.org/10.1007/978-3-642-05089-3_53
This paper details a collaboration between Aalborg University and Novo Nordiskin developing an automatic model-based test generation tool for system testing of the graphical user interface of a medical device on an embedded platform. The tool takes a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a3ce1dbb13a9784b2f197434de9831d9
https://vbn.aau.dk/da/publications/f594c320-fdc7-11de-9a61-000ea68e967b
https://vbn.aau.dk/da/publications/f594c320-fdc7-11de-9a61-000ea68e967b
Autor:
David, Alexandre, Behrmann, Gerd, Larsen, Kim Guldstrand, Rasmussen, Jacob Illum, BÉRARD, Béatrice, GIRARD, Antoine, HADDAD, Serge, CASSEZ, Franck, JARD, Claude, DANG, Thao, LE GERNIC, Colas, DONATELLI, Susanna, LIME, Didier, ELLOY, Jean-Pierre, MAGNIN, Morgan, FREHSE, Goran, MARKEY, Nicolas, PETTERSSON, Paul, TRIPAKIS, Stavros, Yi, Wang, H. ROUX, Olivier
Publikováno v:
David, A, Behrmann, G, Larsen, K G, Rasmussen, J I, BÉRARD, B, GIRARD, A, HADDAD, S, CASSEZ, F, JARD, C, DANG, T, LE GERNIC, C, DONATELLI, S, LIME, D, ELLOY, J-P, MAGNIN, M, FREHSE, G, MARKEY, N, PETTERSSON, P, TRIPAKIS, S, Yi, W & H. ROUX, O 2008, Approches formelles des systèmes embarqués communicants . Hermés Science Publications .
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c531fc4b0105b3b9cdc6d8fc4412781e
https://vbn.aau.dk/da/publications/11dc3c80-db22-11dd-a016-000ea68e967b
https://vbn.aau.dk/da/publications/11dc3c80-db22-11dd-a016-000ea68e967b
Publikováno v:
David, A, Jessen, J J, Rasmussen, J I & Larsen, K G 2007, Guided Controller Synthesis for Climate Controller Using UPPAAL-TIGA . in Formal Modeling and Analysis of Timed Systems : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings . 4763 edn, Springer, Lecture Notes in Computer Science, no. 4763, pp. 227-240, Formal Modeling and Analysis of Timed Systems, Salzburg, Austria, 03/10/2007 . < http://www.cs.aau.dk/~adavid/publications/30-casestudy.pdf >
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::da81f5b9c2d2224dd03a107dd27ed1fb
https://vbn.aau.dk/da/publications/fc92bb60-a26a-11dc-8188-000ea68e967b
https://vbn.aau.dk/da/publications/fc92bb60-a26a-11dc-8188-000ea68e967b
Publikováno v:
Rasmussen, J I & Larsen, K G 2007, ' Complexity in Simplicity: Flexible Agent-based State Space Exploration ', Lecture Notes in Computer Science, pp. 231-245 . https://doi.org/10.1007/978-3-540-71209-1_19
In this paper, we describe a new flexible framework for state space exploration based on cooperating agents. The idea is to let various agents with different search patterns explore the state space individually and communicate information about fruit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::59b305ff3bed62cca4bacc581c552de9
https://vbn.aau.dk/da/publications/d1608390-a6e0-11db-b8eb-000ea68e967b
https://vbn.aau.dk/da/publications/d1608390-a6e0-11db-b8eb-000ea68e967b
Publikováno v:
Proceedings of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06)
Proceedings of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06), 2006, Kolkata, India. pp.345-356, ⟨10.1007/11944836_32⟩
Bouyer, P, Larsen, K G, Markey, N & Rasmussen, J I 2007, Almost Optimal Strategies in One Clock Priced Timed Automata . in Logical Foundations of Computer Science . vol. 4514, Springer, Lecture Notes in Computer Science, no. 4514, FSTTCS 2006, Kolkata, India, 13/12/2006 . https://doi.org/10.1007/978-3-540-72734-7
Proceedings of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06), 2006, Kolkata, India. pp.345-356, ⟨10.1007/11944836_32⟩
Bouyer, P, Larsen, K G, Markey, N & Rasmussen, J I 2007, Almost Optimal Strategies in One Clock Priced Timed Automata . in Logical Foundations of Computer Science . vol. 4514, Springer, Lecture Notes in Computer Science, no. 4514, FSTTCS 2006, Kolkata, India, 13/12/2006 . https://doi.org/10.1007/978-3-540-72734-7
International audience; We consider timed games extended with cost information, and prove computability of the optimal cost and of \(\epsilon\)-optimal memoryless strategies in timed games with one~clock. In~contrast, this problem has recently been p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::fa4dae0485e94c432c04038d3ca43f31
https://hal.archives-ouvertes.fr/hal-01194611/document
https://hal.archives-ouvertes.fr/hal-01194611/document
Publikováno v:
Larsen, K G & Rasmussen, J I 2005, Optimal Conditional Reachability for Multi-Priced Timed Automata . in V Sassone (ed.), Proceedings of Foundations of Software Science and Computational Structures : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 . IEEE Computer Society Press, Lecture Notes in Computer Science, no. 3441, pp. 234-249, 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, 04/04/2005 . https://doi.org/10.1007/b106850
In this paper, we prove decidability of the optimal conditional reachability problem for multi-priced timed automata, an extension of timed automata with multiple cost variables evolving according to given rates for each location. More precisely, we
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::eadefd45d0c139e0c6f1d71dabd3a3cf
https://vbn.aau.dk/da/publications/8f8b21e0-31c5-11db-8de7-000ea68e967b
https://vbn.aau.dk/da/publications/8f8b21e0-31c5-11db-8de7-000ea68e967b
Publikováno v:
Behrmann, G, Larsen, K G & Rasmussen, J I 2005, Beyond Liveness : Efficient Parameter Synthesis for Timed Bounded Liveness . in International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05) . IEEE Computer Society Press, International Conference on Formal Modelling and Analysis of Timed Systems, Uppsala, Sweden, 19/05/2010 .
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::31808a462bc6439509066aeda56856b4
https://vbn.aau.dk/da/publications/0a18a410-9c2d-11db-8ed6-000ea68e967b
https://vbn.aau.dk/da/publications/0a18a410-9c2d-11db-8ed6-000ea68e967b