Verifying concurrent programs against sequential specifications. Zbl 1381.68048
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad |
|
2013
|
Tractable refinement checking for concurrent objects. Zbl 1345.68096
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad |
|
2015
|
Delay-bounded scheduling. Zbl 1284.68087
Emmi, Michael; Qadeer, Shaz; Rakamarić, Zvonimir |
|
2011
|
On reducing linearizability to state reachability. Zbl 1395.68089
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad |
|
2015
|
Decision problems for the verification of real-time software. Zbl 1178.68340
Emmi, Michael; Majumdar, Rupak |
|
2006
|
Analysis of recursively parallel programs. Zbl 1321.68184
Bouajjani, Ahmed; Emmi, Michael |
|
2012
|
Bounded phase analysis of message-passing programs. Zbl 1352.68057
Bouajjani, Ahmed; Emmi, Michael |
|
2012
|
Proving linearizability using forward simulations. Zbl 1494.68067
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Mutluergil, Suha Orhun |
|
2017
|
Verifying reference counting implementations. Zbl 1234.68254
Emmi, Michael; Jhala, Ranjit; Kohler, Eddie; Majumdar, Rupak |
|
2009
|
On reducing linearizability to state reachability. Zbl 1395.68090
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad |
|
2018
|
Verifying robustness of event-driven asynchronous programs against concurrency. Zbl 1485.68054
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Ozkan, Burcu Kulahcioglu; Tasiran, Serdar |
|
2017
|
Analysis of asynchronous programs with event-based synchronization. Zbl 1335.68053
Emmi, Michael; Ganty, Pierre; Majumdar, Rupak; Rosa-Velardo, Fernando |
|
2015
|
Monitoring weak consistency. Zbl 1511.68181
Emmi, Michael; Enea, Constantin |
|
2018
|
On the complexity of checking consistency for replicated data types. Zbl 1533.68144
Biswas, Ranadeep; Emmi, Michael; Enea, Constantin |
|
2019
|
On the complexity of checking consistency for replicated data types. Zbl 1533.68144
Biswas, Ranadeep; Emmi, Michael; Enea, Constantin |
|
2019
|
On reducing linearizability to state reachability. Zbl 1395.68090
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad |
|
2018
|
Monitoring weak consistency. Zbl 1511.68181
Emmi, Michael; Enea, Constantin |
|
2018
|
Proving linearizability using forward simulations. Zbl 1494.68067
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Mutluergil, Suha Orhun |
|
2017
|
Verifying robustness of event-driven asynchronous programs against concurrency. Zbl 1485.68054
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Ozkan, Burcu Kulahcioglu; Tasiran, Serdar |
|
2017
|
Tractable refinement checking for concurrent objects. Zbl 1345.68096
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad |
|
2015
|
On reducing linearizability to state reachability. Zbl 1395.68089
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad |
|
2015
|
Analysis of asynchronous programs with event-based synchronization. Zbl 1335.68053
Emmi, Michael; Ganty, Pierre; Majumdar, Rupak; Rosa-Velardo, Fernando |
|
2015
|
Verifying concurrent programs against sequential specifications. Zbl 1381.68048
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad |
|
2013
|
Analysis of recursively parallel programs. Zbl 1321.68184
Bouajjani, Ahmed; Emmi, Michael |
|
2012
|
Bounded phase analysis of message-passing programs. Zbl 1352.68057
Bouajjani, Ahmed; Emmi, Michael |
|
2012
|
Delay-bounded scheduling. Zbl 1284.68087
Emmi, Michael; Qadeer, Shaz; Rakamarić, Zvonimir |
|
2011
|
Verifying reference counting implementations. Zbl 1234.68254
Emmi, Michael; Jhala, Ranjit; Kohler, Eddie; Majumdar, Rupak |
|
2009
|
Decision problems for the verification of real-time software. Zbl 1178.68340
Emmi, Michael; Majumdar, Rupak |
|
2006
|