Michael Emmi

Available identifiers

zbMath Open emmi.michaelMaRDI QIDQ1641010

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michael Emmi