Michael Emmi

Available identifiers

Publication	Date of Publication	Type
On the complexity of checking consistency for replicated data types	2024-02-16	Paper
Monitoring weak consistency	2023-05-26	Paper
Verifying Visibility-Based Weak Consistency	2022-10-13	Paper
Proving linearizability using forward simulations	2022-08-12	Paper
On reducing linearizability to state reachability	2018-06-14	Paper
Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency	2017-05-19	Paper
Symbolic abstract data type inference	2016-10-24	Paper
Tractable refinement checking for concurrent objects	2016-09-29	Paper
Analysis of Asynchronous Programs with Event-Based Synchronization	2016-04-26	Paper
On reducing linearizability to state reachability	2015-11-04	Paper
Analysis of recursively parallel programs	2015-09-11	Paper
Delay-bounded scheduling	2014-04-10	Paper
Verifying Concurrent Programs against Sequential Specifications	2013-08-05	Paper
Bounded Phase Analysis of Message-Passing Programs	2012-06-29	Paper
Verifying Reference Counting Implementations	2009-03-31	Paper
Verifying Compensating Transactions	2008-04-04	Paper
Hybrid Systems: Computation and Control	2007-05-02	Paper

This page was built for person: Michael Emmi