×
Edit Profile (opens in new tab)

Emmi, Michael

Co-Author Distance
Author ID: emmi.michael Recent zbMATH articles by "Emmi, Michael"
Published as: Emmi, Michael
External Links: MGP
Documents Indexed: 17 Publications since 2006
1 Contribution as Editor
Co-Authors: 18 Co-Authors with 18 Joint Publications
380 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
10 Enea, Constantin
8 Bouajjani, Ahmed
4 Hamza, Jad
3 Majumdar, Rupak
1 Biswas, Ranadeep
1 Dragoi, Cezara
1 Ganty, Pierre
1 Jhala, Ranjit
1 Jovanović, Dejan
1 Kohler, Eddie
1 Krishna, Siddharth
1 Mutluergil, Suha Orhun
1 Ozkan, Burcu Kulahcioglu
1 Qadeer, Shaz
1 Rakamarić, Zvonimir
1 Rosa-Velardo, Fernando
1 Tasiran, Serdar
1 Wang, Jingbo

Serials

1 Information and Computation
1 Lecture Notes in Computer Science

Fields

18 Computer science (68-XX)
1 General and overarching topics; collections (00-XX)
1 Mathematical logic and foundations (03-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

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

Cited by 133 Authors

12 Enea, Constantin
10 Bouajjani, Ahmed
6 Abdulla, Parosh Aziz
6 Atig, Mohamed Faouzi
6 Hamza, Jad
5 Emmi, Michael
3 Dongol, Brijesh
2 Albert, Elvira
2 Bozzelli, Laura
2 Cook, Victor
2 Dechev, Damian
2 Droste, Manfred
2 Gómez-Zamalloa, Miguel
2 Hierons, Robert Mark
2 Kröning, Daniel
2 Lahiri, Shuvendu Kumar
2 Lal, Akash
2 Lv, Yi
2 Murano, Aniello
2 Perevoshchikov, Vitaly
2 Peron, Adriano
2 Peterson, Christina L.
2 Qadeer, Shaz
2 Rubio, Albert
2 Sammartino, Matteo
2 Silva, Alexandra
2 Stenman, Jari
2 Wang, Chao
2 Wehrheim, Heike
2 Wu, Peng
1 Aiswarya, Cyriac
1 Akroun, Lakhdar
1 Athaiya, Snigdha
1 Bansal, Kshitij
1 Beillahi, Sidi Mohamed
1 Biere, Armin
1 Bollig, Benedikt
1 Cai, Xiaojuan
1 Castañeda, Armando
1 Çirisci, Berk
1 Clemente, Lorenzo
1 Courant, Nathanaël
1 Delzanno, Giorgio
1 Derrick, John
1 Dingel, Juergen
1 Doherty, Simon
1 Donaldson, Alastair F.
1 Farzan, Azadeh
1 Feldman, Yotam M. Y.
1 Gastin, Paul
1 Giachino, Elena
1 Godbole, Adwait Amit
1 Guerraoui, Rachid
1 Gupta, Aarti
1 Henzinger, Thomas A.
1 Isabel, Miguel
1 Jhala, Ranjit
1 Johnson, Andrew D.
1 Joshi, Saurabh
1 Jovanović, Dejan
1 Kahlon, Vineet
1 Komondoor, Raghavan
1 König, Jürgen
1 Konnov, Igor V.
1 Koskinen, Eric
1 Kragl, Bernhard
1 Krishna, Shankara Narayanan
1 Krishna, Siddharth
1 Kukovec, Jure
1 Kumar, K. Narayan
1 La Torre, Salvatore
1 Laneve, Cosimo
1 Lasota, Sławomir
1 Lazić, Ranko
1 Leroux, Jérôme
1 Li, Chunmiao
1 Liu, Gaoang
1 Liu, Xiuying
1 Majumdar, Rupak
1 Mazowiecki, Filip
1 Morrison, Adam
1 Mukund, Madhavan
1 Muskalla, Sebastian
1 Mutluergil, Suha Orhun
1 Napoli, Margherita
1 Narayan, Kumar K.
1 Ogawa, Mizuhito
1 Ouaknine, Joel O.
1 Ozkan, Burcu Kulahcioglu
1 Painter, Zachary
1 Parlato, Gennaro
1 Peng, Jie
1 Pilipczuk, Michał
1 Praveen, M.
1 Rabinovich, Alexander
1 Ramalingam, Ganesan
1 Rezine, Ahmed
1 Rezine, Othmane
1 Rinetzky, Noam
1 Rodríguez, Gilde Valeria
...and 33 more Authors
all top 5

Cited in 12 Serials

6 Information and Computation
3 Formal Methods in System Design
2 Computing
1 Acta Informatica
1 Information Processing Letters
1 Journal of Computer and System Sciences
1 Formal Aspects of Computing
1 International Journal of Foundations of Computer Science
1 ACM Transactions on Computational Logic
1 Logical Methods in Computer Science
1 Computer Science Review
1 Journal of Logical and Algebraic Methods in Programming

Cited in 2 Fields

65 Computer science (68-XX)
9 Mathematical logic and foundations (03-XX)

Citations by Year