×

zbMATH — the first resource for mathematics

Enea, Constantin

Compute Distance To:
Author ID: enea.constantin Recent zbMATH articles by "Enea, Constantin"
Published as: Enea, Constantin
External Links: MGP
Documents Indexed: 31 Publications since 2002, including 1 Book

Publications by Year

Citations contained in zbMATH Open

15 Publications have been cited 57 times in 40 Documents Cited by Year
Verifying concurrent programs against sequential specifications. Zbl 1381.68048
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad
8
2013
Tractable refinement checking for concurrent objects. Zbl 1345.68096
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad
7
2015
A logic-based framework for reasoning about composite data structures. Zbl 1254.68146
Bouajjani, Ahmed; Drăgoi, Cezara; Enea, Constantin; Sighireanu, Mihaela
7
2009
Compositional entailment checking for a fragment of separation logic. Zbl 1453.68046
Enea, Constantin; Lengál, Ondřej; Sighireanu, Mihaela; Vojnar, Tomáš
5
2014
On automated lemma generation for separation logic with inductive definitions. Zbl 06527543
Enea, Constantin; Sighireanu, Mihaela; Wu, Zhilin
4
2015
On reducing linearizability to state reachability. Zbl 1395.68089
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad
4
2015
Accurate invariant checking for programs manipulating lists and arrays with infinite data. Zbl 1374.68112
Bouajjani, Ahmed; Drăgoi, Cezara; Enea, Constantin; Sighireanu, Mihaela
4
2012
Abstractions of multi-agent systems. Zbl 1151.68652
Enea, Constantin; Dima, Catalin
4
2007
On verifying causal consistency. Zbl 1380.68270
Bouajjani, Ahmed; Enea, Constantin; Guerraoui, Rachid; Hamza, Jad
3
2017
Abstract domains for automated reasoning about list-manipulating programs with infinite data. Zbl 1325.68058
Bouajjani, Ahmed; Drăgoi, Cezara; Enea, Constantin; Sighireanu, Mihaela
3
2012
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking. Zbl 1242.68161
Guelev, Dimitar P.; Dima, Cătălin; Enea, Constantin
3
2011
Compositional invariant checking for overlaid and nested linked lists. Zbl 1381.68051
Enea, Constantin; Saveluc, Vlad; Sighireanu, Mihaela
2
2013
On reducing linearizability to state reachability. Zbl 1395.68090
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad
1
2018
On atomicity in presence of non-atomic writes. Zbl 1420.68052
Enea, Constantin; Farzan, Azadeh
1
2016
Verifying eventual consistency of optimistic replication systems. Zbl 1284.68383
Bouajjani, Ahmed; Enea, Constantin; Hamza, Jad
1
2014
On reducing linearizability to state reachability. Zbl 1395.68090
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad
1
2018
On verifying causal consistency. Zbl 1380.68270
Bouajjani, Ahmed; Enea, Constantin; Guerraoui, Rachid; Hamza, Jad
3
2017
On atomicity in presence of non-atomic writes. Zbl 1420.68052
Enea, Constantin; Farzan, Azadeh
1
2016
Tractable refinement checking for concurrent objects. Zbl 1345.68096
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad
7
2015
On automated lemma generation for separation logic with inductive definitions. Zbl 06527543
Enea, Constantin; Sighireanu, Mihaela; Wu, Zhilin
4
2015
On reducing linearizability to state reachability. Zbl 1395.68089
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad
4
2015
Compositional entailment checking for a fragment of separation logic. Zbl 1453.68046
Enea, Constantin; Lengál, Ondřej; Sighireanu, Mihaela; Vojnar, Tomáš
5
2014
Verifying eventual consistency of optimistic replication systems. Zbl 1284.68383
Bouajjani, Ahmed; Enea, Constantin; Hamza, Jad
1
2014
Verifying concurrent programs against sequential specifications. Zbl 1381.68048
Bouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad
8
2013
Compositional invariant checking for overlaid and nested linked lists. Zbl 1381.68051
Enea, Constantin; Saveluc, Vlad; Sighireanu, Mihaela
2
2013
Accurate invariant checking for programs manipulating lists and arrays with infinite data. Zbl 1374.68112
Bouajjani, Ahmed; Drăgoi, Cezara; Enea, Constantin; Sighireanu, Mihaela
4
2012
Abstract domains for automated reasoning about list-manipulating programs with infinite data. Zbl 1325.68058
Bouajjani, Ahmed; Drăgoi, Cezara; Enea, Constantin; Sighireanu, Mihaela
3
2012
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking. Zbl 1242.68161
Guelev, Dimitar P.; Dima, Cătălin; Enea, Constantin
3
2011
A logic-based framework for reasoning about composite data structures. Zbl 1254.68146
Bouajjani, Ahmed; Drăgoi, Cezara; Enea, Constantin; Sighireanu, Mihaela
7
2009
Abstractions of multi-agent systems. Zbl 1151.68652
Enea, Constantin; Dima, Catalin
4
2007
all top 5

Cited by 101 Authors

7 Enea, Constantin
6 Bouajjani, Ahmed
3 Emmi, Michael
3 Hamza, Jad
3 Lengál, Ondřej
3 Vojnar, Tomáš
2 Chen, Taolue
2 Chin, Wei-Ngan
2 Holík, Lukáš
2 Jamroga, Wojciech
2 Lomuscio, Alessio
2 Lv, Yi
2 Sighireanu, Mihaela
2 Wu, Peng
2 Wu, Zhilin
1 Abdulla, Parosh Aziz
1 Albert, Elvira
1 Balaban, Ittai
1 Beillahi, Sidi Mohamed
1 Belardinelli, Francesco
1 Bozga, Marius
1 Bozzelli, Laura
1 Cerone, Andrea
1 Chen, Yiyun
1 Chini, Peter
1 Daniel, Jakub
1 Demri, Stéphane P.
1 Deters, Morgan
1 Dongol, Brijesh
1 Dragoi, Cezara
1 Ferrara, Pietro
1 Garg, Pranav
1 Gómez-Zamalloa, Miguel
1 Gotsman, Alexey
1 Gu, Xincai
1 Guelev, Dimitar P.
1 He, Guanhua
1 Hierons, Robert Mark
1 Hruška, Martin
1 Iosif, Radu
1 Isabel, Miguel
1 Jagadeesan, Radha
1 Jansen, Christina
1 Jonsson, Bengt
1 Katelaan, Jens
1 Khoo, Siau-Cheng
1 Knapik, Michal Jozef
1 Kuncak, Viktor
1 Kurpiewski, Damian
1 Le, Ton Chanh
1 Li, Zhaopeng
1 Liu, Zhifeng
1 Löding, Christof
1 Madhusudan, Parthasarathy
1 Matheja, Christoph
1 Meyer, Roland
1 Mikulski, Łukasz
1 Muñiz, Marco
1 Murano, Aniello
1 Neider, Daniel
1 Noll, Thomas
1 Ozkan, Burcu Kulahcioglu
1 Parízek, Pavel
1 Penczek, Wojciech
1 Peng, Jie
1 Perarnau, Swann
1 Pnueli, Amir
1 Qin, Shengchao
1 Qu, Hongyang
1 Riely, James
1 Rogalewicz, Adam
1 Rubio, Albert
1 Russo, Francesco
1 Sa’ar, Yaniv
1 Saivasan, Prakash
1 Sammartino, Matteo
1 Sánchez, Alejandro D.
1 Sánchez, César
1 Silva, Alexandra
1 Smith, Graeme
1 Song, Fu
1 Song, Lan
1 Sorrentino, Loredana
1 Sun, Bo
1 Ta, Quang-Trung
1 Tasiran, Serdar
1 Trinh, Cong Quy
1 Wang, Chao
1 Wang, Chao
1 Wang, Chao
1 Wen, Tangliu
1 Wies, Thomas
1 Winter, Kirsten
1 Xue, Jinyun
1 Yang, Hongli
1 Yang, Hongseok
1 You, Zhen
1 Zhang, Yu
1 Zhou, Conghua
1 Zuck, Lenore D.
...and 1 more Authors

Citations by Year