Constantin Enea
发表
Constantin Enea,
2005,
Formal Aspects in Security and Trust.
Constantin Enea,
Siddharth Krishna,
Michael Emmi,
2019,
ESOP.
Constantin Enea,
Tomás Vojnar,
Mihaela Sighireanu,
2014,
Formal Methods in System Design.
Ferucio Laurentiu Tiplea,
Constantin Enea,
F. Ţiplea,
2006,
Acta Informatica.
Constantin Enea,
Gennaro Parlato,
Peter Habermehl,
2017,
Inf. Comput..
Constantin Enea,
C. Enea,
2008
.
Putting Strong Linearizability in Context: Preserving Hyperproperties in Programs that Use Concurrent Objects
pdf
Hagit Attiya,
Constantin Enea,
H. Attiya,
2019,
DISC.
Constantin Enea,
Shaz Qadeer,
Suha Orhun Mutluergil,
2020
.
Shuvendu K. Lahiri,
Constantin Enea,
Ahmed Bouajjani,
2017,
Formal Methods in System Design.
Mohamed Faouzi Atig,
Constantin Enea,
Ahmed Bouajjani,
2020,
ATVA.
Constantin Enea,
Shaz Qadeer,
Suha Orhun Mutluergil,
2020,
PLDI.
Constantin Enea,
Ranadeep Biswas,
C. Enea,
2019,
Proc. ACM Program. Lang..
Constantin Enea,
Ahmed Bouajjani,
Sidi Mohamed Beillahi,
2019,
CAV.
Constantin Enea,
Ahmed Bouajjani,
Michael Emmi,
2017,
CAV.
Constantin Enea,
Michael Emmi,
2017,
ArXiv.
Constantin Enea,
Catalin Dima,
Dimitar P. Guelev,
2011,
J. Appl. Non Class. Logics.
Constantin Enea,
Mihaela Sighireanu,
Cezara Dragoi,
2013,
SAS.
Constantin Enea,
Michael Emmi,
Jad Hamza,
2015,
PLDI.
Constantin Enea,
Ahmed Bouajjani,
Shaz Qadeer,
2018,
CAV.
Chao Wang,
Shuvendu K. Lahiri,
Constantin Enea,
2018,
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Constantin Enea,
Ahmed Bouajjani,
Yan Jurski,
2007,
Log. Methods Comput. Sci..
Constantin Enea,
Ahmed Bouajjani,
Michael Emmi,
2015,
POPL.
Constantin Enea,
Chao Wang,
Gustavo Petri,
2019,
PLDI.
Constantin Enea,
Ahmed Bouajjani,
Sidi Mohamed Beillahi,
2019,
CONCUR.
Constantin Enea,
Michael Emmi,
2018,
Proc. ACM Program. Lang..
Rachid Guerraoui,
Constantin Enea,
Ahmed Bouajjani,
2016,
POPL.
Madhavan Mukund,
Constantin Enea,
Ahmed Bouajjani,
2018,
NETYS.
Constantin Enea,
Ahmed Bouajjani,
Mihaela Sighireanu,
2011,
PLDI '11.
Constantin Enea,
2011
.
Constantin Enea,
Azadeh Farzan,
C. Enea,
2016,
TACAS.
Constantin Enea,
Ahmed Bouajjani,
Jad Hamza,
2014,
POPL.
Shuvendu K. Lahiri,
Constantin Enea,
Ahmed Bouajjani,
2019,
Formal Methods Syst. Des..
Ferucio Laurentiu Tiplea,
Constantin Enea,
Catalin V. Bîrjoveanu,
2005,
VISSAS.
Ruzica Piskac,
Gerhard Goos,
Juris Hartmanis,
2019,
Lecture Notes in Computer Science.
Ferucio Laurentiu Tiplea,
Constantin Enea,
Ioana Boureanu,
2008,
J. Comput. Secur..
Constantin Enea,
Tomás Vojnar,
Mihaela Sighireanu,
2017,
NFM.
Constantin Enea,
Ahmed Bouajjani,
Mohammed Erradi,
2019,
NETYS.
Serdar Tasiran,
Constantin Enea,
Ahmed Bouajjani,
2018,
CAV.
Rupak Majumdar,
Constantin Enea,
Filip Niksic,
2020,
Proc. ACM Program. Lang..
Constantin Enea,
Ahmed Bouajjani,
Mohammed Erradi,
2019,
CAV.
Constantin Enea,
Ahmed Rezine,
Ahmed Bouajjani,
2010,
CAV.
Constantin Enea,
Catalin Dima,
Rodica Bozianu,
2012,
TARK.
Noam Rinetzky,
Constantin Enea,
Sharon Shoham,
2018,
DISC.
Constantin Enea,
Catalin Dima,
Alexandru Sofronia,
2007,
Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007).
Constantin Enea,
Azadeh Farzan,
Berk Çirisci,
2020,
CAV.
Constantin Enea,
Ahmed Bouajjani,
Michael Emmi,
2013,
ESOP.
Cristina Serban,
Wei-Ngan Chin,
Siau-Cheng Khoo,
2019,
TACAS.
Serdar Tasiran,
Constantin Enea,
Ahmed Bouajjani,
2017,
ESOP.
Constantin Enea,
2008,
15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008).
Constantin Enea,
Ahmed Bouajjani,
Michael Emmi,
2015,
ICALP.
Constantin Enea,
Catalin Dima,
2007,
CEEMAS.
Constantin Enea,
Gennaro Parlato,
Peter Habermehl,
2014,
Inf. Comput..
Constantin Enea,
Ahmed Bouajjani,
Michael Emmi,
2015,
ICALP.
Constantin Enea,
Ahmed Bouajjani,
Mihaela Sighireanu,
2012,
ATVA.
Chao Wang,
Constantin Enea,
Ahmed Bouajjani,
2017,
CONCUR.
Constantin Enea,
Mihaela Sighireanu,
Zhilin Wu,
2015,
ATVA.
Constantin Enea,
Sharon Shoham,
Aleksandar Nanevski,
2020,
Proc. ACM Program. Lang..
Constantin Enea,
Michael Emmi,
M. Emmi,
2019,
Proc. ACM Program. Lang..
Constantin Enea,
Michael Emmi,
Sidi Mohamed Beillahi,
2020,
PLDI.
Constantin Enea,
Tomás Vojnar,
Mihaela Sighireanu,
2014,
APLAS.
Erkki Mäkinen,
Ferucio Laurentiu Tiplea,
Constantin Enea,
2002,
Int. J. Comput. Math..
Constantin Enea,
Ahmed Bouajjani,
Michael Emmi,
2015,
FSTTCS.
Constantin Enea,
Michael Emmi,
M. Emmi,
2019,
CAV.
Constantin Enea,
Ahmed Bouajjani,
Sidi Mohamed Beillahi,
2021,
ESOP.
Constantin Enea,
Michael Emmi,
Ranadeep Biswas,
2019,
CAV.
Constantin Enea,
Mihaela Sighireanu,
Vlad Saveluc,
2013,
ESOP.
Madhavan Mukund,
Constantin Enea,
Ahmed Bouajjani,
2020,
VMCAI.
Constantin Enea,
Ahmed Bouajjani,
Mihaela Sighireanu,
2012,
VMCAI.
Constantin Enea,
Michael Emmi,
2018,
CAV.
Constantin Enea,
Catalin Dima,
Dimitar P. Guelev,
2010,
GANDALF.
Constantin Enea,
Ahmed Bouajjani,
Mihaela Sighireanu,
2009,
CONCUR.
Constantin Enea,
Michael Emmi,
M. Emmi,
2016,
POPL.
Constantin Enea,
Akash Lal,
Jyothi Vedurada,
2021,
ArXiv.
Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Registers
pdf
Hagit Attiya,
Constantin Enea,
Jennifer Welch,
2021,
DISC.
Hagit Attiya,
Jennifer L. Welch,
Constantin Enea,
2021,
ArXiv.
Constantin Enea,
Akash Lal,
Jyothi Vedurada,
2021,
Proc. ACM Program. Lang..