E-LIB Suche - Ergebnisse für: Ivanov, Radoslav

1

The assessment of the bioaccumulation of microplastics in k..:

Toschkova, Stephany ; Ibryamova, Sevginar ; Bachvarova, Darina Ch....
BioRisk. 22 (2024) - p. 17-31 , 2024

Link: https://doi.org/10.3897/..

2

A study of the microbiology of the intestinal tract in diff..:

Ibryamova, Sevginar ; Toschkova, Stephany ; Pavlova, Borislava...
BioRisk. 18 (2022) - p. 105-113 , 2022

Link: https://doi.org/10.3897/..

3

Risk verification of stochastic systems with neural network..:

Cleaveland, Matthew ; Lindemann, Lars ; Ivanov, Radoslav.
Artificial Intelligence. 313 (2022) - p. 103782 , 2022

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

4

Software Verification and Formal Methods for ML-Enabled Aut..

Lecture Notes in Computer Science, 13466

Isac, Omri ; Ivanov, Radoslav ; Katz, Guy.. - 1st ed. 2022 . , 2022

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

5

Determination of the antimicrobial activity of lactic acid ..:

Ignatova-Ivanova, Tsveteslava ; Ibryamova, Sevginar ; Bachvarova, Darina...
Pharmacia. 69 (2022) 3 - p. 637-644 , 2022

Link: https://doi.org/10.3897/..

6

T4V: Exploring Neural Network Architectures that Improve th..:

, In: Lecture Notes in Computer Science; Principles of Systems Design,

Lin, Vivian ; Ivanov, Radoslav ; Weimer, James.. - p. 585-603 , 2022

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

7

Confidence Composition for Monitors of Verification Assumpt..:

, In: 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS),

Ruchkin, Ivan ; Cleaveland, Matthew ; Ivanov, Radoslav... - p. 1-12 , 2022

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

8

Verisig 2.0: Verification of Neural Network Controllers Usi..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Ivanov, Radoslav ; Carpenter, Taylor ; Weimer, James... - p. 249-262 , 2021

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

9

Compositional Learning and Verification of Neural Network C..:

Ivanov, Radoslav ; Jothimurugan, Kishor ; Hsu, Steve...
ACM Transactions on Embedded Computing Systems. 20 (2021) 5s - p. 1-26 , 2021

Link: https://doi.org/10.1145/..

10

Compositional Learning and Verification of Neural Network C..:

Ivanov, Radoslav ; Jothimurugan, Kishor ; Hsu, Steve...
ACM Transactions on Embedded Computing Systems (TECS). 20 (2021) 5s - p. 1-26 , 2021

Link: https://dl.acm.org/doi/1..

11

Verifying the Safety of Autonomous Systems with Neural Netw..:

Ivanov, Radoslav ; Carpenter, Taylor J. ; Weimer, James...
ACM Transactions on Embedded Computing Systems. 20 (2020) 1 - p. 1-26 , 2020

Link: https://doi.org/10.1145/..

12

Verifying the Safety of Autonomous Systems with Neural Netw..:

Ivanov, Radoslav ; Carpenter, Taylor J. ; Weimer, James...
ACM Transactions on Embedded Computing Systems (TECS). 20 (2020) 1 - p. 1-26 , 2020

Link: https://dl.acm.org/doi/1..

13

Case study : verifying the safety of an autonomous racin..:

, In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control,

Ivanov, Radoslav ; Carpenter, Taylor J. ; Weimer, James... - p. 1-7 , 2020

Link: https://dl.acm.org/doi/1..

14

Assurance Case Patterns for Cyber-Physical Systems with Dee..:

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

Kaur, Ramneet ; Ivanov, Radoslav ; Cleaveland, Matthew.. - p. 82-97 , 2020

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

15

Towards formalization of wireless vehicular networking:

, In: 2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION),

Kaur, Ramneet ; Kim, Jungyeol ; Sokolsky, Oleg... - p. 23-31 , 2020

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