Zobrazeno 1 - 10
of 19
pro vyhledávání: '"Bandur, Victor"'
Autor:
Ramdhan, Stefan, Trandinh, Winnie, Arulmohan, Sathurshan, Hu, Xiayong, Deevy, Spencer, Bandur, Victor, Pantelic, Vera, Lawford, Mark, Wassyng, Alan
The challenges in implementing SAE Level 4/5 autonomous vehicles are manifold, with intersection navigation being a pervasive one. We analyze a novel road topology invented by a co-author of this paper, Xiayong Hu. The topology eliminates the need fo
Externí odkaz:
http://arxiv.org/abs/2402.10226
Autor:
Bandur, Victor
A relational approach to the question of how different logics relate formally is described. We consider three three-valued logics, as well as classical and semi-classical logic. A fundamental representation of three-valued predicates is developed in
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.698310
Autor:
Bandur, Victor
Title: Hard Real-Time Microcontroller Code Generation from Timed Automaton Specifications, Author: Victor Bandur, Location: Thode
A method is developed for automatically synthesizing hard real-time assembly code for simple microcontrollers direc
A method is developed for automatically synthesizing hard real-time assembly code for simple microcontrollers direc
Externí odkaz:
http://hdl.handle.net/11375/21270
Autor:
Bandur, Victor, Lawford, Mark, Mosser, Sébastien, Paige, Richard, Pantelic, Vera, Wassyng, Alan
We discuss an approach to modifying a safety assurance case to take into account malicious intent. We show how to analyze an existing assurance case to reveal additions and modifications that need to be made in order to deal with the effects of malic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1154::cb649727d084dbe2b1026caf80eac0af
http://hdl.handle.net/11375/28718
http://hdl.handle.net/11375/28718
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Bandur, Victor, Larsen, Peter Gorm, Lausdahl, Kenneth, Thule, Casper, Gamble, Carl, Payne, Richard, Pop, Adrian, Brosse, Etienne, Brauer, Jörg, Lapschies, Florian, Groothuis, Marcel, Bokhove, Tom, Kleijn, Christian, Couto, Luis Diogo
Publikováno v:
Bandur, V, Larsen, P G, Lausdahl, K, Thule, C, Gamble, C, Payne, R, Pop, A, Brosse, E, Brauer, J, Lapschies, F, Groothuis, M, Bokhove, T, Kleijn, C & Couto, L D 2017, INTO-CPS tool chain user manual . Aarhus Universiet, Aarhus . < https://into-cps.github.io/download/ >
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pure_au_____::72ebc4065c6c3ada28bb08abdd3aa2ce
https://pure.au.dk/portal/da/publications/intocps-tool-chain-user-manual(98483fa4-eef1-4f78-a65a-baeac1745ad2).html
https://pure.au.dk/portal/da/publications/intocps-tool-chain-user-manual(98483fa4-eef1-4f78-a65a-baeac1745ad2).html
Autor:
Bandur, Victor, Tran-Jørgensen, Peter Würtz Vinther, Hasanagic, Miran, Lausdahl, Kenneth Guldbrandt
Publikováno v:
Bandur, V, Tran-Jørgensen, P W V, Hasanagic, M & Lausdahl, K G 2017, Code-generating VDM for Embedded Devices . in J Fitzgerald, P W V Tran-Jørgensen & T Oda (eds), The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering : Proceedings . Newcastle University, University of Newcastle-upon-Tyne. Computing Science. Technical Report Series, vol. CS-TR-1513, pp. 1-15, Newcastle upon Tyne, United Kingdom, 15/09/2017 .
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::49064a54f2f91d7dd4ad92dcb0d2914c
https://pure.au.dk/ws/files/118985811/bandur.pdf
https://pure.au.dk/ws/files/118985811/bandur.pdf
Publikováno v:
In Plasmas & Ions 2000 3(1):53-63
Autor:
Bandur, Victor, McDermid, John
Publikováno v:
Algorithmic Game Theory: 8th International Symposium, SAGT 2015, Saarbrücken, Germany, September 28-30, 2015, Proceedings; 2015, p3-14, 12p