E-LIB Suche - Ergebnisse für: Bandur, Victor

1

SLIME: State Learning in the Middle of Everything for Tool-..:

, In: Computer Security. ESORICS 2022 International Workshops; Lecture Notes in Computer Science,

Lesiuta, Eric ; Bandur, Victor ; Lawford, Mark - p. 686-704 , 2023

Link: https://doi.org/10.1007/..

2

An Automotive Architecture Product Line for E/E Powertrain ..:

, In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),

Rodriguez, Horacio Hoyos ; Muralidharan, Naveen Ganesh ; Siavashi, Faezeh... - p. 715-719 , 2023

Link: https://doi.org/10.1109/..

3

Using Assurance Cases to Prevent Malicious Behaviour from T..:

, In: Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops; Lecture Notes in Computer Science,

Bandur, Victor ; Lawford, Mark ; Mosser, Sébastien... - p. 5-14 , 2023

Link: https://doi.org/10.1007/..

4

Assurance Cases for Timing Properties of Automotive TSN Net..:

, In: Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops; Lecture Notes in Computer Science,

Kapinski, Ryan ; Pantelic, Vera ; Bandur, Victor.. - p. 26-31 , 2023

Link: https://doi.org/10.1007/..

5

Integrating Software Issue Tracking and Traceability Models:

, In: 2022 IEEE International Conference on Software Maintenance and Evolution (ICSME),

Muralidharan, Naveen Ganesh ; Pantelic, Vera ; Bandur, Victor. - p. 429-433 , 2022

Link: https://doi.org/10.1109/..

6

Code generation for distributed embedded systems with VDM-R:

Hasanagić, Miran ; Fabbri, Tommaso ; Larsen, Peter Gorm...
Design Automation for Embedded Systems. 23 (2019) 3-4 - p. 153-177 , 2019

Link: https://doi.org/10.1007/..

7

Electrochemical promotion of catalytic reactions with Pt/C ..:

Petrushina, Irina M. ; Bjerrum, Niels J. ; Bandur, Victor A..
Topics in Catalysis. 44 (2007) 3 - p. 427-434 , 2007

Link: https://doi.org/10.1007/..

8

Metal-complex catalysis of oxidation of saturated hydrocarb..:

Volkov, Sergei V. ; Buryak, Nikolai I. ; Bandur, Victor A.
Plasmas & Ions. 3 (2000) 1-4 - p. 53-63 , 2000

Link: https://doi.org/10.1016/..

9

Oxygen states in the case of interaction of O2 with metapho..:

Volkov, Sergey V. ; Bandur, Victor A. ; Buryak, Nikolay I.
Polyhedron. 14 (1995) 23-24 - p. 3515-3518 , 1995

Link: https://doi.org/10.1016/..

10

Code generation for distributed embedded systems with VDM-R:

Hasanagic, Miran ; Fabri, Tommaso ; Larsen, Peter Gorm...
Hasanagic , M , Fabri , T , Larsen , P G , Bandur , V , Tran-Jørgensen , P W V & Ouy , J 2019 , ' Code generation for distributed embedded systems with VDM-RT ' , Design Automation for Embedded Systems , vol. 23 , no. 3-4 , pp. 153-177 . https://doi.org/10.1007/s10617-019-09227-0. , 2019

Link: https://pure.au.dk/porta..

11

Code-generating VDM for Embedded Devices:

Bandur, Victor ; Tran-Jørgensen, Peter Würtz Vinther ; Hasanagic, Miran.
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 , THE 15TH OVERTURE WORKSHOP , Newcastle upon Tyne , United Kingdom , 15/09/2017 .. , 2017

Link: https://pure.au.dk/porta..

12

INTO-CPS tool chain user manual:

Bandur, Victor ; Larsen, Peter Gorm ; Lausdahl, Kenneth...
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 .. , 2017

Link: https://pure.au.dk/porta..

13

Integrated Tool Chain for Model-Based Design of Cyber-Physi..:

Larsen, Peter Gorm ; Thule, Casper ; Lausdahl, Kenneth Guldbrandt...
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 .. , 2016

Link: https://pure.au.dk/porta..

14

Towards integration of Overture into TASTE:

Fabbri, T ; Verhoef, M ; Bandur, Victor...
Fabbri , T , Verhoef , M , Bandur , V , Perrotin , M , Tsiodras , T & Larsen , P G 2016 , Towards integration of Overture into TASTE . in P G Larsen , N Plat & N Battle (eds) , The 14th Overture Workshop: Towards Analytical Tool Chains : Electrical and Computer Engineering . vol. 4/28 , Aarhus University, Department of Engineering , Technical report ECE - TR - 28 , pp. 94-108 , The 14th Overture Workshop , Limassol , Cyprus , 07/11/2016 .. , 2016

Link: https://pure.au.dk/porta..

15

Unifying Theories of Logics with Undefinedness:

Bandur, Victor
https://etheses.whiterose.ac.uk/15405/1/Report.pdf. , 2014

Link: https://etheses.whiteros..