Shyam Lal Karra

Orcid: 0009-0000-6859-4106

Affiliations:

CISPA Helmholtz Center for Information Security, Saarbrücken, Germany

According to our database¹, Shyam Lal Karra authored at least 4 papers between 2019 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2025

Parameterized Verification of Timed Networks with Clock Invariants.

[BibT_eX]

[DOI]

Proceedings of the 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2025

2024

Parameterized Verification of Disjunctive Timed Networks.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2020

On-the-Fly Synthesis for Strictly Alternating Games.

[BibT_eX]

[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.

[BibT_eX]

[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

Shyam Lal Karra

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...