Constantin Enea

According to our database, Constantin Enea authored at least 87 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Scenario-Based Proofs for Concurrent Objects.

Constantin Enea, Eric Koskinen

Proc. ACM Program. Lang., 2024

Model Checking Distributed Protocols in Must.

Constantin Enea, Dimitra Giannakopoulou, Michalis Kokologiannakis, Rupak Majumdar

Proc. ACM Program. Lang., 2024

Reward Augmentation in Reinforcement Learning for Testing Distributed Systems.

Andrea Borgarelli, Constantin Enea, Rupak Majumdar, Srinidhi Nagendra

Proc. ACM Program. Lang., 2024

Strong Linearizability using Primitives with Consensus Number 2.

Hagit Attiya, Armando Castañeda, Constantin Enea

Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, 2024

CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis.

Hünkar Can Tunç, Ameya Prashant Deshmukh, Berk Çirisci, Constantin Enea, Andreas Pavlogiannis

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels.

Ahmed Bouajjani, Constantin Enea, Enrique Román-Calvo

Proc. ACM Program. Lang., 2023

Faithful Simulation of Randomized BFT Protocols on Block DAGs.

Hagit Attiya, Constantin Enea, Shafik Nassar

IACR Cryptol. ePrint Arch., 2023

A Domain Specific Language for Testing Consensus Implementations.

Cezara Dragoi, Constantin Enea, Srinidhi Nagendra, Mandayam Srivas

CoRR, 2023

The Commutativity Quotients of Concurrent Objects.

Constantin Enea, Parisa Fathololumi, Eric Koskinen

CoRR, 2023

A Pragmatic Approach to Stateful Partial Order Reduction.

Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

Comparing Causal Convergence Consistency Models.

Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea

Proceedings of the Networked Systems - 11th International Conference, 2023

Quorum Tree Abstractions of Consensus Protocols.

Berk Çirisci, Constantin Enea, Suha Orhun Mutluergil

Proceedings of the Programming Languages and Systems, 2023

2022

Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492).

Hagit Attiya, Constantin Enea, Sergio Rajsbaum, Ana Sokolova

Dagstuhl Reports, December, 2022

Checking causal consistency of distributed databases.

Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi

Computing, 2022

Automated Synthesis of Asynchronizations.

Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri

Proceedings of the Static Analysis - 29th International Symposium, 2022

Blunting an Adversary Against Randomized Concurrent Programs with Linearizable Implementations.

Hagit Attiya, Constantin Enea, Jennifer L. Welch

Proceedings of the PODC '22: ACM Symposium on Principles of Distributed Computing, Salerno, Italy, July 25, 2022

2021

MonkeyDB: effectively testing correctness under weak isolation levels.

Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal

Proc. ACM Program. Lang., 2021

Robustness Against Transactional Causal Consistency.

Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea

Log. Methods Comput. Sci., 2021

Linearizable Implementations Suffice for Termination of Randomized Concurrent Programs.

Hagit Attiya, Constantin Enea, Jennifer L. Welch

CoRR, 2021

MonkeyDB: Effectively Testing Correctness against Weak Isolation Levels.

Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal

CoRR, 2021

Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Registers.

Hagit Attiya, Constantin Enea, Jennifer L. Welch

Proceedings of the 35th International Symposium on Distributed Computing, 2021

Checking Robustness Between Weak Transactional Consistency Models.

Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea

Proceedings of the Programming Languages and Systems, 2021

2020

Inductive Sequentialization of Asynchronous Programs (Evaluated Artifact).

Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer

Dataset, April, 2020

Proving highly-concurrent traversals correct.

Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, Sharon Shoham

Proc. ACM Program. Lang., 2020

Testing consensus implementations using communication closure.

Cezara Dragoi, Constantin Enea, Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic

Proc. ACM Program. Lang., 2020

Formalizing and Checking Multilevel Consistency.

Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Ranjal Gautham Shenoy, S. P. Suresh

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

Inductive sequentialization of asynchronous programs.

Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Behavioral simulation for smart contracts.

Sidi Mohamed Beillahi, Gabriela F. Ciocarlie, Michael Emmi, Constantin Enea

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Verifying Visibility-Based Weak Consistency.

Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanovic

Proceedings of the Programming Languages and Systems, 2020

Root Causing Linearizability Violations.

Berk Çirisci, Constantin Enea, Azadeh Farzan, Suha Orhun Mutluergil

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Boosting Sequential Consistency Checking Using Saturation.

Rachid Zennou, Mohamed Faouzi Atig, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Weak-consistency specification via visibility relaxation.

Michael Emmi, Constantin Enea

Proc. ACM Program. Lang., 2019

On the complexity of checking transactional consistency.

Ranadeep Biswas, Constantin Enea

Proc. ACM Program. Lang., 2019

Abstract semantic diffing of evolving concurrent programs.

Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri

Formal Methods Syst. Des., 2019

Putting Strong Linearizability in Context: Preserving Hyperproperties in Programs that Use Concurrent Objects.

Hagit Attiya, Constantin Enea

CoRR, 2019

Putting Strong Linearizability in Context: Preserving Hyperproperties in Programsthat Use Concurrent Objects.

Hagit Attiya, Constantin Enea

Proceedings of the 33rd International Symposium on Distributed Computing, 2019

SL-COMP: Competition of Solvers for Separation Logic.

Mihaela Sighireanu, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Replication-aware linearizability.

Chao Wang, Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Gradual Consistency Checking.

Rachid Zennou, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Violat: Generating Tests of Observational Refinement for Concurrent Objects.

Michael Emmi, Constantin Enea

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

On the Complexity of Checking Consistency for Replicated Data Types.

Ranadeep Biswas, Michael Emmi, Constantin Enea

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Checking Robustness Against Snapshot Isolation.

Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Sound, complete, and tractable linearizability monitoring for concurrent collections.

Michael Emmi, Constantin Enea

Proc. ACM Program. Lang., 2018

On reducing linearizability to state reachability.

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza

Inf. Comput., 2018

Order out of Chaos: Proving Linearizability Using Local Views.

Yotam M. Y. Feldman, Constantin Enea, Adam Morrison, Noam Rinetzky, Sharon Shoham

Proceedings of the 32nd International Symposium on Distributed Computing, 2018

On Verifying TSO Robustness for Event-Driven Asynchronous Programs.

Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Rajarshi Roy

Proceedings of the Networked Systems - 6th International Conference, 2018

Datalog-based scalable semantic diffing of concurrent programs.

Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Monitoring Weak Consistency.

Michael Emmi, Constantin Enea

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Reasoning About TSO Programs Using Reduction and Abstraction.

Ahmed Bouajjani, Constantin Enea, Suha Orhun Mutluergil, Serdar Tasiran

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony.

Ahmed Bouajjani, Constantin Enea, Kailiang Ji, Shaz Qadeer

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Compositional entailment checking for a fragment of separation logic.

Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar

Formal Methods Syst. Des., 2017

Exposing Non-Atomic Methods of Concurrent Objects.

Michael Emmi, Constantin Enea

CoRR, 2017

On verifying causal consistency.

Ahmed Bouajjani, Constantin Enea, Rachid Guerraoui, Jad Hamza

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

SPEN: A Solver for Separation Logic.

Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency.

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Burcu Kulahcioglu Ozkan, Serdar Tasiran

Proceedings of the Programming Languages and Systems, 2017

Checking Linearizability of Concurrent Priority Queues.

Ahmed Bouajjani, Constantin Enea, Chao Wang

Proceedings of the 28th International Conference on Concurrency Theory, 2017

Proving Linearizability Using Forward Simulations.

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Suha Orhun Mutluergil

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

On Atomicity in Presence of Non-atomic Writes.

Constantin Enea, Azadeh Farzan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Symbolic abstract data type inference.

Michael Emmi, Constantin Enea

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

Tractable Refinement Checking for Concurrent Objects.

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Monitoring refinement via symbolic reasoning.

Michael Emmi, Constantin Enea, Jad Hamza

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk).

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

On Automated Lemma Generation for Separation Logic with Inductive Definitions.

Constantin Enea, Mihaela Sighireanu, Zhilin Wu

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

On the Path-Width of Integer Linear Programming.

Constantin Enea, Peter Habermehl, Omar Inverso, Gennaro Parlato

Proceedings of the Proceedings Fifth International Symposium on Games, 2014

Verifying eventual consistency of optimistic replication systems.

Ahmed Bouajjani, Constantin Enea, Jad Hamza

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

Model checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics.

Rodica Bozianu, Catalin Dima, Constantin Enea

Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013

Local Shape Analysis for Overlaid Data Structures.

Cezara Dragoi, Constantin Enea, Mihaela Sighireanu

Proceedings of the Static Analysis - 20th International Symposium, 2013

Compositional Invariant Checking for Overlaid and Nested Linked Lists.

Constantin Enea, Vlad Saveluc, Mihaela Sighireanu

Proceedings of the Programming Languages and Systems, 2013

Verifying Concurrent Programs against Sequential Specifications.

Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza

Proceedings of the Programming Languages and Systems, 2013

2012

Model-checking an Epistemic μ-calculus with Synchronous and Perfect Recall Semantics

Rodica Bozianu, Catalin Dima, Constantin Enea

CoRR, 2012

Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data.

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data.

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking.

Dimitar P. Guelev, Catalin Dima, Constantin Enea

J. Appl. Non Class. Logics, 2011

On inter-procedural analysis of programs with lists and data.

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2010

Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions

Catalin Dima, Constantin Enea, Dimitar P. Guelev

Proceedings of the Proceedings First Symposium on Games, 2010

Invariant Synthesis for Programs Manipulating Lists with Unbounded Data.

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Yan Jurski, Mihaela Sighireanu

Log. Methods Comput. Sci., 2009

A Logic-Based Framework for Reasoning about Composite Data Structures.

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008

Abstraction techniques for verification of concurrent systems. (Techniques d'abstraction dans la verification des systèmes concurrents).

Constantin Enea

PhD thesis, 2008

Secrecy for bounded security protocols with freshness check is NEXPTIME-complete.

Ferucio Laurentiu Tiplea, Catalin V. Bîrjoveanu, Constantin Enea, Ioana Boureanu

J. Comput. Secur., 2008

Counterexample Guided Abstraction Refinement is Better under Equational Abstraction.

Constantin Enea

Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008

2007

Strategy-Based and Knowledge-Based Models of Information Flow: Equivalence and Decidability.

Catalin Dima, Constantin Enea, Radu Gramatovici, Alexandru Sofronia

Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007

Abstractions of Multi-agent Systems.

Constantin Enea, Catalin Dima

Proceedings of the Multi-Agent Systems and Applications V, 2007

2006

Abstractions of data types.

Ferucio Laurentiu Tiplea, Constantin Enea

Acta Informatica, 2006

2005

Decidability and Complexity Results for Security Protocols.

Ferucio Laurentiu Tiplea, Constantin Enea, Catalin V. Bîrjoveanu

Proceedings of the Verification of Infinite-State Systems with Applications to Security, 2005

Unifying Decidability Results on Protection Systems Using Simulations.

Constantin Enea

Proceedings of the Formal Aspects in Security and Trust, Third International Workshop, 2005

2002

SE-Systems, Timing Mechanisms, and Time-Varying Codes.

Ferucio Laurentiu Tiplea, Erkki Mäkinen, Constantin Enea

Int. J. Comput. Math., 2002