We stand with Ukraine  

Shyam Lal Karra

Orcid: 0009-0000-6859-4106

Affiliations:
  • CISPA Helmholtz Center for Information Security, Saarbrücken, Germany


According to our database1, Shyam Lal Karra authored at least 4 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Parameterized Verification of Timed Networks with Clock Invariants.
[BibTeX]
[DOI]
Étienne André
,
Swen Jacobs
,
Shyam Lal Karra
,
Ocan Sankur
CoRR, 2024

Parameterized Verification of Disjunctive Timed Networks.
[BibTeX]
[DOI]
Étienne André
,
Paul Eichler
,
Swen Jacobs
,
Shyam Lal Karra
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2020
On-the-Fly Synthesis for Strictly Alternating Games.
[BibTeX]
[DOI]
Shyam Lal Karra
,
Kim Guldstrand Larsen
,
Marco Muñiz
,
Jirí Srba
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019
Safe and Time-Optimal Control for Railway Games.
[BibTeX]
[DOI]
Shyam Lal Karra
,
Kim Guldstrand Larsen
,
Florian Lorber
,
Jirí Srba
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019


  Loading...