E-mail senden E-Mail Adresse kopieren
Doktorand:in

Shyam Lal Karra

E-Mail

Adresse

Kaiserstraße 21
66386 St. Ingbert (Germany)

Gruppenmitglied in

Weitere Informationen

Veröffentlichungen von Shyam Lal Karra

Jahr 2025

2025-12-17

Parameterized Verification of Timed Networks with Clock Invariants

Konferenz / Medium

Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)

Tags
Autor:innen
Detail-Seite besuchen

Jahr 2024

2024-01-20

Parameterized Verification of Disjunctive Timed Networks.

Konferenz / Medium

International Conference on Verification Model Checking and Abstract Interpretation (VMCAI)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen