Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Victor Bandur"'
Publikováno v:
Computer Security. ESORICS 2022 International Workshops ISBN: 9783031254598
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8d1de6252017032806f9e6b179a1742a
https://doi.org/10.1007/978-3-031-25460-4_39
https://doi.org/10.1007/978-3-031-25460-4_39
Publikováno v:
2022 IEEE International Conference on Software Maintenance and Evolution (ICSME).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5ce185af4680e2e004d05996862b115a
https://doi.org/10.1109/icsme55016.2022.00053
https://doi.org/10.1109/icsme55016.2022.00053
Publikováno v:
IEEE Transactions on Vehicular Technology. 70:1230-1245
The rapidly increasing complexity of software in modern cars dictates new trends in electrical and/or electronic (E/E) automotive architectures. As a result, many original equipment manufacturers (OEMs) and suppliers have been advocating centralized
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::69cabbfd86897ee2020cfd378a4910a0
https://doi.org/10.1109/tvt.2021.3054934
https://doi.org/10.1109/tvt.2021.3054934
Publikováno v:
SAE Technical Paper Series.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::61edd598a2274d194feecbfdc6482e6c
https://doi.org/10.4271/2022-01-0747
https://doi.org/10.4271/2022-01-0747
Publikováno v:
DSN Workshops
A safety architecture for domain-centralized E/E (Electric and/or Electronic) architectures is proposed to specifically address the scenario where the domain controller of a centralized vehicle domain fails catastrophically. The proposed architecture
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ac0343fa082ea845084bb89bb64e9eb9
https://doi.org/10.1109/dsn-w52860.2021.00022
https://doi.org/10.1109/dsn-w52860.2021.00022
Publikováno v:
SAE Technical Paper Series.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1bf4c4f9d0f984383240d6a219ca53bb
https://doi.org/10.4271/2021-01-0786
https://doi.org/10.4271/2021-01-0786
Publikováno v:
MODELSWARD
In this paper we draw on our experience in the automotive industry to portray the clear need for proper documentation of Simulink models when they describe the implementations of embedded systems. We effectively discredit the “model is documentatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bef17987313921ce0ce1851d6ae09814
https://doi.org/10.5220/0007586005030510
https://doi.org/10.5220/0007586005030510
Autor:
Peter Gorm Larsen, Casper Thule, Kenneth Guldbrandt Lausdahl, Victor Bandur, Carl Gamble, Etienne Brosse, Andrey Sadovykh, Alessandra Bagnato, Luis Diogo Couto
Publikováno v:
Larsen, P G, Thule, C, Lausdahl, K G, Bandur, V, Gamble, C, Brosse, E, Sadovykh, A, Bagnato, A & Couto, L D 2016, Integrated Tool Chain for Model-Based Design of Cyber-Physical Systems . in P G Larsen, N Plat & N Battle (eds), The 14th Overture Workshop: Towards Analytical Tool Chains : Technical report ECE-TR-28 . vol. 4/28, Aarhus University, Department of Engineering, Aarhus, Technical report ECE-TR-28, pp. 63-79, The 14th Overture Workshop, Limassol, Cyprus, 07/11/2016 . < http://ojs.statsbiblioteket.dk/index.php/ece/article/view/24731/21669 >
Aarhus University
Aarhus University
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ee3cbd3cb6be777d5140905fe3e28436
https://pure.au.dk/portal/da/publications/integrated-tool-chain-for-modelbased-design-of-cyberphysical-systems(bad814f1-7c32-484d-a81e-d696328de5e9).html
https://pure.au.dk/portal/da/publications/integrated-tool-chain-for-modelbased-design-of-cyberphysical-systems(bad814f1-7c32-484d-a81e-d696328de5e9).html
Autor:
Victor Bandur, John McDermid
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319242484
SAFECOMP Workshops
SAFECOMP Workshops
A formalization of a logical subset of Goal Structuring Notation (GSN) arguments is presented. The aim is to reveal the conditions which must be true in order to guarantee that an argument thus formalized is internally consistent. These conditions ju
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bf2ee25b16d756e9a2dff324f312c9d0
https://doi.org/10.1007/978-3-319-24249-1_1
https://doi.org/10.1007/978-3-319-24249-1_1
Autor:
Jim Woodcock, Victor Bandur
Publikováno v:
Unifying Theories of Programming ISBN: 9783642357046
UTP
UTP
In previous work, based on an original idea due to Saaltink, we proposed a unifying theory of undefined expressions in logics used for formally specifying software systems. In our current paper, we instantiate these ideas in Hoare and He’s Unifying
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f30237458ead684d96b5d80ce1f611d8