Person:6202206

From MaRDI portal

Available identifiers

zbMath Open krishna.shankaranarayananMaRDI QIDQ6202206

List of research outcomes





PublicationDate of PublicationType
Parameterized Verification under Release Acquire is PSPACE-complete2024-03-26Paper
Overcoming memory weakness with unified fairness. Systematic verification of liveness in weak memory models2024-02-01Paper
Optimal stateless model checking for causal consistency2023-12-13Paper
Robust Controller Synthesis for Duration Calculus2022-12-22Paper

Research outcomes over time

This page was built for person:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:6202206&oldid=37822405"
Powered by MediaWiki