Constantin Enea

Available identifiers

zbMath Open enea.constantinWikidataQ102350279 ScholiaQ102350279MaRDI QIDQ515661

List of research outcomes

Publication	Date of Publication	Type
Blunting an Adversary Against Randomized Concurrent Programs with Linearizable Implementations	2024-03-26	Paper
Gradual consistency checking	2024-02-16	Paper
Checking robustness against snapshot isolation	2024-02-16	Paper
On the complexity of checking consistency for replicated data types	2024-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q6083367	2023-12-08	Paper
A pragmatic approach to stateful partial order reduction	2023-08-17	Paper
Automated synthesis of asynchronizations	2023-07-28	Paper
Monitoring weak consistency	2023-05-26	Paper
Reasoning about TSO programs using reduction and abstraction	2023-05-05	Paper
On the completeness of verifying message passing programs under bounded asynchrony	2023-05-05	Paper
Robustness Against Transactional Causal Consistency.	2023-02-03	Paper
Boosting Sequential Consistency Checking Using Saturation	2022-12-22	Paper
Verifying Visibility-Based Weak Consistency	2022-10-13	Paper
Checking causal consistency of distributed databases	2022-09-27	Paper
Proving linearizability using forward simulations	2022-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q5090915	2022-07-21	Paper
Checking robustness between weak transactional consistency models	2021-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q4995360	2021-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q5856416	2021-03-26	Paper
https://portal.mardi4nfdi.de/entity/Q5151003	2021-02-16	Paper
Root causing linearizability violations	2021-02-04	Paper
Formalizing and checking multilevel consistency	2020-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q5111629	2020-05-27	Paper
On atomicity in presence of non-atomic writes	2019-09-17	Paper
Abstract Semantic Diffing of Evolving Concurrent Programs	2019-09-16	Paper
Abstract semantic diffing of evolving concurrent programs	2019-09-04	Paper
On reducing linearizability to state reachability	2018-06-14	Paper
Compositional entailment checking for a fragment of separation logic	2018-01-08	Paper
On verifying causal consistency	2017-10-20	Paper
Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency	2017-05-19	Paper
On the path-width of integer linear programming	2017-03-16	Paper
Symbolic abstract data type inference	2016-10-24	Paper
Tractable Refinement Checking for Concurrent Objects	2016-09-29	Paper
Compositional Entailment Checking for a Fragment of Separation Logic	2016-02-26	Paper
On Automated Lemma Generation for Separation Logic with Inductive Definitions	2016-01-08	Paper
On reducing linearizability to state reachability	2015-11-04	Paper
Verifying eventual consistency of optimistic replication systems	2014-04-10	Paper
Compositional Invariant Checking for Overlaid and Nested Linked Lists	2013-08-05	Paper
Verifying Concurrent Programs against Sequential Specifications	2013-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q4898177	2012-12-29	Paper
Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data	2012-11-21	Paper
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking	2012-07-17	Paper
Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data	2012-06-15	Paper
A Logic-Based Framework for Reasoning about Composite Data Structures	2009-10-22	Paper
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes	2009-06-30	Paper
Abstractions of Multi-agent Systems	2008-09-25	Paper
Abstractions of data types	2006-05-26	Paper
SE-SYSTEMS, TIMING MECHANISMS, AND TIME-VARYING CODES	2002-10-21	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Constantin Enea