Serdar Tasiran

From MaRDI portal
Person:2050103

Available identifiers

zbMath Open tasiran.serdarMaRDI QIDQ2050103

List of research outcomes





PublicationDate of PublicationType
Verifying abstractions of timed systems2023-06-28Paper
Reasoning about TSO programs using reduction and abstraction2023-05-05Paper
Model checking boot code from AWS data centers2021-08-30Paper
A mechanized refinement proof of the Chase-Lev deque using a proof system2021-01-15Paper
Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency2017-05-19Paper
A calculus of atomic actions2015-07-03Paper
Simplifying Linearizability Proofs with Reduction and Abstraction2010-04-27Paper

Research outcomes over time

This page was built for person: Serdar Tasiran

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