E-LIB Suche - Ergebnisse für: Nigam, Vivek

1

Design for dependability — State of the art and trends:

Liu, Hezhen ; Huang, Chengqiang ; Sun, Ke...
Journal of Systems and Software. 211 (2024) - p. 111989 , 2024

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

2

A Model-Based Systems Engineering Plugin for Cloud Security..:

Dantas, Yuri Gil ; Nigam, Vivek ; Schöpp, Ulrich
SN Computer Science. 5 (2024) 5 - p. , 2024

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

3

Incremental Rewriting Modulo SMT:

, In: Automated Deduction – CADE 29; Lecture Notes in Computer Science,

Whitters, Gerald ; Nigam, Vivek ; Talcott, Carolyn - p. 560-576 , 2023

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

4

Automating Recoverability Proofs for Cyber-Physical Systems..:

, In: Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science,

Nigam, Vivek ; Talcott, Carolyn - p. 1-19 , 2023

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

5

A Toolchain for Synthesizing and Validating Safety Architec..:

Gil Dantas, Yuri ; Munaro, Tiziano ; Carlan, Carmen...
SN Computer Science. 4 (2023) 4 - p. , 2023

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

6

Safety-Aware Deployment Synthesis and Trade-Off Analysis of..:

, In: 2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C),

Terzimehic, Tarik ; Barner, Simon ; Dantas, Yuri Gil... - p. 309-316 , 2023

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

7

Automating Safety and Security Co-design through Semantical..:

Dantas, Yuri Gil ; Nigam, Vivek
ACM Transactions on Cyber-Physical Systems. 7 (2023) 1 - p. 1-28 , 2023

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

8

On the Security and Complexity of Periodic Systems:

Alturki, Musab A. ; Ban Kirigin, Tajana ; Kanovich, Max...
SN Computer Science. 3 (2022) 5 - p. , 2022

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

9

On the Formalization and Computational Complexity of Resili..:

, In: Lecture Notes in Computer Science; Theoretical Aspects of Computing – ICTAC 2022,

Alturki, Musab A. ; Ban Kirigin, Tajana ; Kanovich, Max... - p. 96-113 , 2022

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

10

Automating Safety Proofs About Cyber-Physical Systems Using..:

, In: Rewriting Logic and Its Applications; Lecture Notes in Computer Science,

Nigam, Vivek ; Talcott, Carolyn - p. 212-229 , 2022

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

11

Automated construction of security integrity wrappers for I..:

Nigam, Vivek ; Talcott, Carolyn
Journal of Logical and Algebraic Methods in Programming. 126 (2022) - p. 100745 , 2022

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

12

Detection and diagnosis of deviations in distributed system..:

Nigam, Vivek ; Kim, Minyoung ; Mason, Ian.
Mathematical Structures in Computer Science. 32 (2022) 9 - p. 1254-1282 , 2022

Link: https://doi.org/10.1017/..

13

Proof Search and Certificates for Evidential Transactions:

, In: Automated Deduction – CADE 28; Lecture Notes in Computer Science,

Nigam, Vivek ; Reis, Giselle ; Rahmouni, Samar. - p. 234-251 , 2021

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

14

On the Complexity of Verification of Time-Sensitive Distrib..:

, In: Protocols, Strands, and Logic; Lecture Notes in Computer Science,

Kanovich, Max ; Kirigin, Tajana Ban ; Nigam, Vivek.. - p. 251-275 , 2021

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

15

Verification of Ada Programs with AdaHorn:

Beyene, Tewodros A. ; Herrera, Christian ; Nigam, Vivek
ACM SIGAda Ada Letters. 39 (2020) 2 - p. 29-34 , 2020

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