27 citations · 77 across the 18 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.CC2021★ 2 cited
On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report
Max Kanovich, Tajana Ban Kirigin, Vivek Nigam +2
This paper develops a Multiset Rewriting language with explicit time for the specification and analysis of Time-Sensitive Distributed Systems (TSDS). Goals are often specified usin…
cs.CR2021★ 8 cited
Security Engineering for ISO 21434
Yuri Gil Dantas, Vivek Nigam, Harald Ruess
The ISO 21434 is a new standard that has been proposed to address the future challenges of automotive cybersecurity. This white paper takes a closer look at the ISO 21434 helping e…