default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Constantin Enea
@article{DBLP:journals/pacmpl/EneaK24,
author = {Constantin Enea and
Eric Koskinen},
title = {Scenario-Based Proofs for Concurrent Objects},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{OOPSLA1}},
pages = {1294--1323},
year = {2024},
url = {https://doi.org/10.1145/3649857},
doi = {10.1145/3649857},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/EneaK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/TuncDCEP24,
author = {H{\"{u}}nkar Can Tun{\c{c}} and
Ameya Prashant Deshmukh and
Berk {\c{C}}irisci and
Constantin Enea and
Andreas Pavlogiannis},
editor = {Rajiv Gupta and
Nael B. Abu{-}Ghazaleh and
Madan Musuvathi and
Dan Tsafrir},
title = {CSSTs: {A} Dynamic Data Structure for Partial Orders in Concurrent
Execution Analysis},
booktitle = {Proceedings of the 29th {ACM} International Conference on Architectural
Support for Programming Languages and Operating Systems, Volume 3,
{ASPLOS} 2024, La Jolla, CA, USA, 27 April 2024- 1 May 2024},
pages = {223--238},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3620666.3651358},
doi = {10.1145/3620666.3651358},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asplos/TuncDCEP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/AttiyaCE24,
author = {Hagit Attiya and
Armando Casta{\~{n}}eda and
Constantin Enea},
editor = {Ran Gelles and
Dennis Olivetti and
Petr Kuznetsov},
title = {Strong Linearizability using Primitives with Consensus Number 2},
booktitle = {Proceedings of the 43rd {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2024, Nantes, France, June 17-21, 2024},
pages = {432--442},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3662158.3662790},
doi = {10.1145/3662158.3662790},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/AttiyaCE24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/netys/2024,
editor = {Armando Casta{\~{n}}eda and
Constantin Enea and
Nirupam Gupta},
title = {Networked Systems - 12th International Conference, {NETYS} 2024, Rabat,
Morocco, May 29-31, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14783},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-67321-4},
doi = {10.1007/978-3-031-67321-4},
isbn = {978-3-031-67320-7},
timestamp = {Mon, 09 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-13618,
author = {Hagit Attiya and
Armando Casta{\~{n}}eda and
Constantin Enea},
title = {Strong Linearizability using Primitives with Consensus Number 2},
journal = {CoRR},
volume = {abs/2402.13618},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.13618},
doi = {10.48550/ARXIV.2402.13618},
eprinttype = {arXiv},
eprint = {2402.13618},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-13618.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-17818,
author = {H{\"{u}}nkar Can Tun{\c{c}} and
Ameya Prashant Deshmukh and
Berk {\c{C}}irisci and
Constantin Enea and
Andreas Pavlogiannis},
title = {CSSTs: {A} Dynamic Data Structure for Partial Orders in Concurrent
Execution Analysis},
journal = {CoRR},
volume = {abs/2403.17818},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.17818},
doi = {10.48550/ARXIV.2403.17818},
eprinttype = {arXiv},
eprint = {2403.17818},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-17818.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BouajjaniER23,
author = {Ahmed Bouajjani and
Constantin Enea and
Enrique Rom{\'{a}}n{-}Calvo},
title = {Dynamic Partial Order Reduction for Checking Correctness against Transaction
Isolation Levels},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {565--590},
year = {2023},
url = {https://doi.org/10.1145/3591243},
doi = {10.1145/3591243},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/BouajjaniER23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AttiyaEN23,
author = {Hagit Attiya and
Constantin Enea and
Shafik Nassar},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Faithful Simulation of Randomized {BFT} Protocols on Block DAGs},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {27:1--27:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.27},
doi = {10.4230/LIPICS.CONCUR.2023.27},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AttiyaEN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CirisciEM23,
author = {Berk {\c{C}}irisci and
Constantin Enea and
Suha Orhun Mutluergil},
editor = {Thomas Wies},
title = {Quorum Tree Abstractions of Consensus Protocols},
booktitle = {Programming Languages and Systems - 32nd European Symposium on Programming,
{ESOP} 2023, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27,
2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13990},
pages = {337--362},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30044-8\_13},
doi = {10.1007/978-3-031-30044-8\_13},
timestamp = {Sat, 13 May 2023 01:07:18 +0200},
biburl = {https://dblp.org/rec/conf/esop/CirisciEM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BeillahiBE23,
author = {Sidi Mohamed Beillahi and
Ahmed Bouajjani and
Constantin Enea},
editor = {David Mohaisen and
Thomas Wies},
title = {Comparing Causal Convergence Consistency Models},
booktitle = {Networked Systems - 11th International Conference, {NETYS} 2023, Benguerir,
Morocco, May 22-24, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14067},
pages = {62--77},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37765-5\_5},
doi = {10.1007/978-3-031-37765-5\_5},
timestamp = {Thu, 13 Jul 2023 14:30:34 +0200},
biburl = {https://dblp.org/rec/conf/netys/BeillahiBE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/CirisciEFM23,
author = {Berk {\c{C}}irisci and
Constantin Enea and
Azadeh Farzan and
Suha Orhun Mutluergil},
editor = {Cezara Dragoi and
Michael Emmi and
Jingbo Wang},
title = {A Pragmatic Approach to Stateful Partial Order Reduction},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 24th International
Conference, {VMCAI} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13881},
pages = {129--154},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-24950-1\_7},
doi = {10.1007/978-3-031-24950-1\_7},
timestamp = {Wed, 29 May 2024 09:08:46 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/CirisciEFM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2023-1,
editor = {Constantin Enea and
Akash Lal},
title = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13964},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37706-8},
doi = {10.1007/978-3-031-37706-8},
isbn = {978-3-031-37705-1},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2023-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2023-2,
editor = {Constantin Enea and
Akash Lal},
title = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13965},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37703-7},
doi = {10.1007/978-3-031-37703-7},
isbn = {978-3-031-37702-0},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2023-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2023-3,
editor = {Constantin Enea and
Akash Lal},
title = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13966},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37709-9},
doi = {10.1007/978-3-031-37709-9},
isbn = {978-3-031-37708-2},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2023-3.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-05740,
author = {Constantin Enea and
Parisa Fathololumi and
Eric Koskinen},
title = {The Commutativity Quotients of Concurrent Objects},
journal = {CoRR},
volume = {abs/2301.05740},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.05740},
doi = {10.48550/ARXIV.2301.05740},
eprinttype = {arXiv},
eprint = {2301.05740},
timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-05740.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-09946,
author = {Berk {\c{C}}irisci and
Constantin Enea and
Suha Orhun Mutluergil},
title = {Quorum Tree Abstractions of Consensus Protocols},
journal = {CoRR},
volume = {abs/2301.09946},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.09946},
doi = {10.48550/ARXIV.2301.09946},
eprinttype = {arXiv},
eprint = {2301.09946},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-09946.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-05893,
author = {Cezara Dragoi and
Constantin Enea and
Srinidhi Nagendra and
Mandayam Srivas},
title = {A Domain Specific Language for Testing Consensus Implementations},
journal = {CoRR},
volume = {abs/2303.05893},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.05893},
doi = {10.48550/ARXIV.2303.05893},
eprinttype = {arXiv},
eprint = {2303.05893},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-05893.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-12606,
author = {Ahmed Bouajjani and
Constantin Enea and
Enrique Rom{\'{a}}n{-}Calvo},
title = {Dynamic Partial Order Reduction for Checking Correctness Against Transaction
Isolation Levels},
journal = {CoRR},
volume = {abs/2303.12606},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.12606},
doi = {10.48550/ARXIV.2303.12606},
eprinttype = {arXiv},
eprint = {2303.12606},
timestamp = {Thu, 13 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-12606.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/AttiyaEN23,
author = {Hagit Attiya and
Constantin Enea and
Shafik Nassar},
title = {Faithful Simulation of Randomized {BFT} Protocols on Block DAGs},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {192},
year = {2023},
url = {https://eprint.iacr.org/2023/192},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iacr/AttiyaEN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/ZennouBBEE22,
author = {Rachid Zennou and
Ranadeep Biswas and
Ahmed Bouajjani and
Constantin Enea and
Mohammed Erradi},
title = {Checking causal consistency of distributed databases},
journal = {Computing},
volume = {104},
number = {10},
pages = {2181--2201},
year = {2022},
url = {https://doi.org/10.1007/s00607-021-00911-3},
doi = {10.1007/S00607-021-00911-3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/ZennouBBEE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/AttiyaEW22,
author = {Hagit Attiya and
Constantin Enea and
Jennifer L. Welch},
editor = {Alessia Milani and
Philipp Woelfel},
title = {Blunting an Adversary Against Randomized Concurrent Programs with
Linearizable Implementations},
booktitle = {{PODC} '22: {ACM} Symposium on Principles of Distributed Computing,
Salerno, Italy, July 25 - 29, 2022},
pages = {209--219},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3519270.3538446},
doi = {10.1145/3519270.3538446},
timestamp = {Mon, 25 Jul 2022 15:01:51 +0200},
biburl = {https://dblp.org/rec/conf/podc/AttiyaEW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BeillahiBEL22,
author = {Sidi Mohamed Beillahi and
Ahmed Bouajjani and
Constantin Enea and
Shuvendu K. Lahiri},
editor = {Gagandeep Singh and
Caterina Urban},
title = {Automated Synthesis of Asynchronizations},
booktitle = {Static Analysis - 29th International Symposium, {SAS} 2022, Auckland,
New Zealand, December 5-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13790},
pages = {135--159},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22308-2\_7},
doi = {10.1007/978-3-031-22308-2\_7},
timestamp = {Thu, 08 Dec 2022 15:19:05 +0100},
biburl = {https://dblp.org/rec/conf/sas/BeillahiBEL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-06648,
author = {Sidi Mohamed Beillahi and
Ahmed Bouajjani and
Constantin Enea and
Shuvendu K. Lahiri},
title = {Automated Synthesis of Asynchronizations},
journal = {CoRR},
volume = {abs/2209.06648},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.06648},
doi = {10.48550/ARXIV.2209.06648},
eprinttype = {arXiv},
eprint = {2209.06648},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-06648.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-11942,
author = {Berk {\c{C}}irisci and
Constantin Enea and
Azadeh Farzan and
Suha Orhun Mutluergil},
title = {A Pragmatic Approach to Stateful Partial Order Reduction},
journal = {CoRR},
volume = {abs/2211.11942},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.11942},
doi = {10.48550/ARXIV.2211.11942},
eprinttype = {arXiv},
eprint = {2211.11942},
timestamp = {Thu, 24 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-11942.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AttiyaERS22,
author = {Hagit Attiya and
Constantin Enea and
Sergio Rajsbaum and
Ana Sokolova},
title = {Formal Methods and Distributed Computing: Stronger Together (Dagstuhl
Seminar 22492)},
journal = {Dagstuhl Reports},
volume = {12},
number = {12},
pages = {27--53},
year = {2022},
url = {https://doi.org/10.4230/DagRep.12.12.27},
doi = {10.4230/DAGREP.12.12.27},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/AttiyaERS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BeillahiBE21,
author = {Sidi Mohamed Beillahi and
Ahmed Bouajjani and
Constantin Enea},
title = {Robustness Against Transactional Causal Consistency},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {1},
year = {2021},
url = {https://lmcs.episciences.org/7149},
timestamp = {Mon, 08 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BeillahiBE21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BiswasKVEL21,
author = {Ranadeep Biswas and
Diptanshu Kakwani and
Jyothi Vedurada and
Constantin Enea and
Akash Lal},
title = {MonkeyDB: effectively testing correctness under weak isolation levels},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--27},
year = {2021},
url = {https://doi.org/10.1145/3485546},
doi = {10.1145/3485546},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BiswasKVEL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BeillahiBE21,
author = {Sidi Mohamed Beillahi and
Ahmed Bouajjani and
Constantin Enea},
editor = {Nobuko Yoshida},
title = {Checking Robustness Between Weak Transactional Consistency Models},
booktitle = {Programming Languages and Systems - 30th European Symposium on Programming,
{ESOP} 2021, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg,
March 27 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12648},
pages = {87--117},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72019-3\_4},
doi = {10.1007/978-3-030-72019-3\_4},
timestamp = {Fri, 14 May 2021 08:34:21 +0200},
biburl = {https://dblp.org/rec/conf/esop/BeillahiBE21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/AttiyaEW21,
author = {Hagit Attiya and
Constantin Enea and
Jennifer L. Welch},
editor = {Seth Gilbert},
title = {Impossibility of Strongly-Linearizable Message-Passing Objects via
Simulation by Single-Writer Registers},
booktitle = {35th International Symposium on Distributed Computing, {DISC} 2021,
October 4-8, 2021, Freiburg, Germany (Virtual Conference)},
series = {LIPIcs},
volume = {209},
pages = {7:1--7:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.DISC.2021.7},
doi = {10.4230/LIPICS.DISC.2021.7},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/AttiyaEW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-09032,
author = {Sidi Mohamed Beillahi and
Ahmed Bouajjani and
Constantin Enea},
title = {Checking Robustness Between Weak Transactional Consistency Models},
journal = {CoRR},
volume = {abs/2101.09032},
year = {2021},
url = {https://arxiv.org/abs/2101.09032},
eprinttype = {arXiv},
eprint = {2101.09032},
timestamp = {Sat, 30 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-09032.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-02830,
author = {Ranadeep Biswas and
Diptanshu Kakwani and
Jyothi Vedurada and
Constantin Enea and
Akash Lal},
title = {MonkeyDB: Effectively Testing Correctness against Weak Isolation Levels},
journal = {CoRR},
volume = {abs/2103.02830},
year = {2021},
url = {https://arxiv.org/abs/2103.02830},
eprinttype = {arXiv},
eprint = {2103.02830},
timestamp = {Mon, 15 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-02830.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-06614,
author = {Hagit Attiya and
Constantin Enea and
Jennifer L. Welch},
title = {Impossibility of Strongly-Linearizable Message-Passing Objects via
Simulation by Single-Writer Registers},
journal = {CoRR},
volume = {abs/2105.06614},
year = {2021},
url = {https://arxiv.org/abs/2105.06614},
eprinttype = {arXiv},
eprint = {2105.06614},
timestamp = {Tue, 18 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-06614.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-15554,
author = {Hagit Attiya and
Constantin Enea and
Jennifer L. Welch},
title = {Linearizable Implementations Suffice for Termination of Randomized
Concurrent Programs},
journal = {CoRR},
volume = {abs/2106.15554},
year = {2021},
url = {https://arxiv.org/abs/2106.15554},
eprinttype = {arXiv},
eprint = {2106.15554},
timestamp = {Mon, 05 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-15554.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FeldmanKE0NRS20,
author = {Yotam M. Y. Feldman and
Artem Khyzha and
Constantin Enea and
Adam Morrison and
Aleksandar Nanevski and
Noam Rinetzky and
Sharon Shoham},
title = {Proving highly-concurrent traversals correct},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {128:1--128:29},
year = {2020},
url = {https://doi.org/10.1145/3428196},
doi = {10.1145/3428196},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/FeldmanKE0NRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/DragoiEOMN20,
author = {Cezara Dragoi and
Constantin Enea and
Burcu Kulahcioglu Ozkan and
Rupak Majumdar and
Filip Niksic},
title = {Testing consensus implementations using communication closure},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {210:1--210:29},
year = {2020},
url = {https://doi.org/10.1145/3428278},
doi = {10.1145/3428278},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/DragoiEOMN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ZennouABBEE20,
author = {Rachid Zennou and
Mohamed Faouzi Atig and
Ranadeep Biswas and
Ahmed Bouajjani and
Constantin Enea and
Mohammed Erradi},
editor = {Dang Van Hung and
Oleg Sokolsky},
title = {Boosting Sequential Consistency Checking Using Saturation},
booktitle = {Automated Technology for Verification and Analysis - 18th International
Symposium, {ATVA} 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12302},
pages = {360--376},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59152-6\_20},
doi = {10.1007/978-3-030-59152-6\_20},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/ZennouABBEE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CirisciEFM20,
author = {Berk {\c{C}}irisci and
Constantin Enea and
Azadeh Farzan and
Suha Orhun Mutluergil},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Root Causing Linearizability Violations},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12224},
pages = {350--375},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53288-8\_17},
doi = {10.1007/978-3-030-53288-8\_17},
timestamp = {Wed, 12 Aug 2020 15:15:42 +0200},
biburl = {https://dblp.org/rec/conf/cav/CirisciEFM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/KrishnaEEJ20,
author = {Siddharth Krishna and
Michael Emmi and
Constantin Enea and
Dejan Jovanovic},
editor = {Peter M{\"{u}}ller},
title = {Verifying Visibility-Based Weak Consistency},
booktitle = {Programming Languages and Systems - 29th European Symposium on Programming,
{ESOP} 2020, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12075},
pages = {280--307},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-44914-8\_11},
doi = {10.1007/978-3-030-44914-8\_11},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/KrishnaEEJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KraglEHMQ20,
author = {Bernhard Kragl and
Constantin Enea and
Thomas A. Henzinger and
Suha Orhun Mutluergil and
Shaz Qadeer},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Inductive sequentialization of asynchronous programs},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {227--242},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385980},
doi = {10.1145/3385412.3385980},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KraglEHMQ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BeillahiCEE20,
author = {Sidi Mohamed Beillahi and
Gabriela F. Ciocarlie and
Michael Emmi and
Constantin Enea},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Behavioral simulation for smart contracts},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {470--486},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386022},
doi = {10.1145/3385412.3386022},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BeillahiCEE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BouajjaniEMRS20,
author = {Ahmed Bouajjani and
Constantin Enea and
Madhavan Mukund and
Ranjal Gautham Shenoy and
S. P. Suresh},
editor = {Dirk Beyer and
Damien Zufferey},
title = {Formalizing and Checking Multilevel Consistency},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 21st International
Conference, {VMCAI} 2020, New Orleans, LA, USA, January 16-21, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11990},
pages = {379--400},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39322-9\_18},
doi = {10.1007/978-3-030-39322-9\_18},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/BouajjaniEMRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/KraglEHMQ20,
author = {Bernhard Kragl and
Constantin Enea and
Thomas A. Henzinger and
Suha Orhun Mutluergil and
Shaz Qadeer},
title = {Inductive Sequentialization of Asynchronous Programs (Evaluated Artifact)
(Version 1)},
publisher = {Zenodo},
year = {2020},
month = apr,
howpublished = {\url{https://doi.org/10.5281/zenodo.3754772}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.3754772},
doi = {10.5281/ZENODO.3754772},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/KraglEHMQ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-00911,
author = {Yotam M. Y. Feldman and
Artem Khyzha and
Constantin Enea and
Adam Morrison and
Aleksandar Nanevski and
Noam Rinetzky and
Sharon Shoham},
title = {Proving Highly-Concurrent Traversals Correct},
journal = {CoRR},
volume = {abs/2010.00911},
year = {2020},
url = {https://arxiv.org/abs/2010.00911},
eprinttype = {arXiv},
eprint = {2010.00911},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-00911.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-09753,
author = {Rachid Zennou and
Ranadeep Biswas and
Ahmed Bouajjani and
Constantin Enea and
Mohammed Erradi},
title = {Checking Causal Consistency of Distributed Databases},
journal = {CoRR},
volume = {abs/2011.09753},
year = {2020},
url = {https://arxiv.org/abs/2011.09753},
eprinttype = {arXiv},
eprint = {2011.09753},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-09753.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BouajjaniEL19,
author = {Ahmed Bouajjani and
Constantin Enea and
Shuvendu K. Lahiri},
title = {Abstract semantic diffing of evolving concurrent programs},
journal = {Formal Methods Syst. Des.},
volume = {54},
number = {1},
pages = {4--26},
year = {2019},
url = {https://doi.org/10.1007/s10703-018-0322-2},
doi = {10.1007/S10703-018-0322-2},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/BouajjaniEL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BiswasE19,
author = {Ranadeep Biswas and
Constantin Enea},
title = {On the complexity of checking transactional consistency},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {165:1--165:28},
year = {2019},
url = {https://doi.org/10.1145/3360591},
doi = {10.1145/3360591},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BiswasE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/EmmiE19,
author = {Michael Emmi and
Constantin Enea},
title = {Weak-consistency specification via visibility relaxation},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {60:1--60:28},
year = {2019},
url = {https://doi.org/10.1145/3290373},
doi = {10.1145/3290373},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/EmmiE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ZennouBEE19,
author = {Rachid Zennou and
Ahmed Bouajjani and
Constantin Enea and
Mohammed Erradi},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Gradual Consistency Checking},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11562},
pages = {267--285},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25543-5\_16},
doi = {10.1007/978-3-030-25543-5\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ZennouBEE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BeillahiBE19,
author = {Sidi Mohamed Beillahi and
Ahmed Bouajjani and
Constantin Enea},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Checking Robustness Against Snapshot Isolation},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11562},
pages = {286--304},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25543-5\_17},
doi = {10.1007/978-3-030-25543-5\_17},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BeillahiBE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BiswasEE19,
author = {Ranadeep Biswas and
Michael Emmi and
Constantin Enea},
editor = {Isil Dillig and
Serdar Tasiran},
title = {On the Complexity of Checking Consistency for Replicated Data Types},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11562},
pages = {324--343},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25543-5\_19},
doi = {10.1007/978-3-030-25543-5\_19},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BiswasEE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EmmiE19,
author = {Michael Emmi and
Constantin Enea},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Violat: Generating Tests of Observational Refinement for Concurrent
Objects},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11562},
pages = {534--546},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25543-5\_30},
doi = {10.1007/978-3-030-25543-5\_30},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/EmmiE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BeillahiBE19,
author = {Sidi Mohamed Beillahi and
Ahmed Bouajjani and
Constantin Enea},
editor = {Wan J. Fokkink and
Rob van Glabbeek},
title = {Robustness Against Transactional Causal Consistency},
booktitle = {30th International Conference on Concurrency Theory, {CONCUR} 2019,
August 27-30, 2019, Amsterdam, the Netherlands},
series = {LIPIcs},
volume = {140},
pages = {30:1--30:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.30},
doi = {10.4230/LIPICS.CONCUR.2019.30},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BeillahiBE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ZennouBBEE19,
author = {Rachid Zennou and
Ranadeep Biswas and
Ahmed Bouajjani and
Constantin Enea and
Mohammed Erradi},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {Checking Causal Consistency of Distributed Databases},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {35--51},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_3},
doi = {10.1007/978-3-030-31277-0\_3},
timestamp = {Mon, 03 Jan 2022 22:16:19 +0100},
biburl = {https://dblp.org/rec/conf/netys/ZennouBBEE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/WangEMP19,
author = {Chao Wang and
Constantin Enea and
Suha Orhun Mutluergil and
Gustavo Petri},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Replication-aware linearizability},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {980--993},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314617},
doi = {10.1145/3314221.3314617},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/WangEMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SighireanuPRGIR19,
author = {Mihaela Sighireanu and
Juan Antonio Navarro P{\'{e}}rez and
Andrey Rybalchenko and
Nikos Gorogiannis and
Radu Iosif and
Andrew Reynolds and
Cristina Serban and
Jens Katelaan and
Christoph Matheja and
Thomas Noll and
Florian Zuleger and
Wei{-}Ngan Chin and
Quang Loc Le and
Quang{-}Trung Ta and
Ton{-}Chanh Le and
Thanh{-}Toan Nguyen and
Siau{-}Cheng Khoo and
Michal Cyprian and
Adam Rogalewicz and
Tom{\'{a}}s Vojnar and
Constantin Enea and
Ondrej Leng{\'{a}}l and
Chong Gao and
Zhilin Wu},
editor = {Dirk Beyer and
Marieke Huisman and
Fabrice Kordon and
Bernhard Steffen},
title = {{SL-COMP:} Competition of Solvers for Separation Logic},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,
Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11429},
pages = {116--132},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17502-3\_8},
doi = {10.1007/978-3-030-17502-3\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SighireanuPRGIR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/AttiyaE19,
author = {Hagit Attiya and
Constantin Enea},
editor = {Jukka Suomela},
title = {Putting Strong Linearizability in Context: Preserving Hyperproperties
in Programsthat Use Concurrent Objects},
booktitle = {33rd International Symposium on Distributed Computing, {DISC} 2019,
October 14-18, 2019, Budapest, Hungary},
series = {LIPIcs},
volume = {146},
pages = {2:1--2:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.DISC.2019.2},
doi = {10.4230/LIPICS.DISC.2019.2},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/AttiyaE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2019,
editor = {Constantin Enea and
Ruzica Piskac},
title = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5},
doi = {10.1007/978-3-030-11245-5},
isbn = {978-3-030-11244-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-06560,
author = {Constantin Enea and
Suha Orhun Mutluergil and
Gustavo Petri and
Chao Wang},
title = {Replication-Aware Linearizability},
journal = {CoRR},
volume = {abs/1903.06560},
year = {2019},
url = {http://arxiv.org/abs/1903.06560},
eprinttype = {arXiv},
eprint = {1903.06560},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-06560.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-08406,
author = {Sidi Mohamed Beillahi and
Ahmed Bouajjani and
Constantin Enea},
title = {Checking Robustness Against Snapshot Isolation},
journal = {CoRR},
volume = {abs/1905.08406},
year = {2019},
url = {http://arxiv.org/abs/1905.08406},
eprinttype = {arXiv},
eprint = {1905.08406},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-08406.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-12063,
author = {Hagit Attiya and
Constantin Enea},
title = {Putting Strong Linearizability in Context: Preserving Hyperproperties
in Programs that Use Concurrent Objects},
journal = {CoRR},
volume = {abs/1905.12063},
year = {2019},
url = {http://arxiv.org/abs/1905.12063},
eprinttype = {arXiv},
eprint = {1905.12063},
timestamp = {Mon, 03 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-12063.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-12095,
author = {Sidi Mohamed Beillahi and
Ahmed Bouajjani and
Constantin Enea},
title = {Robustness Against Transactional Causal Consistency},
journal = {CoRR},
volume = {abs/1906.12095},
year = {2019},
url = {http://arxiv.org/abs/1906.12095},
eprinttype = {arXiv},
eprint = {1906.12095},
timestamp = {Mon, 01 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-12095.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-04509,
author = {Ranadeep Biswas and
Constantin Enea},
title = {On the Complexity of Checking Transactional Consistency},
journal = {CoRR},
volume = {abs/1908.04509},
year = {2019},
url = {http://arxiv.org/abs/1908.04509},
eprinttype = {arXiv},
eprint = {1908.04509},
timestamp = {Mon, 19 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-04509.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-01508,
author = {Siddharth Krishna and
Michael Emmi and
Constantin Enea and
Dejan Jovanovic},
title = {Verifying Visibility-Based Weak Consistency},
journal = {CoRR},
volume = {abs/1911.01508},
year = {2019},
url = {http://arxiv.org/abs/1911.01508},
eprinttype = {arXiv},
eprint = {1911.01508},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-01508.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BouajjaniEEH18,
author = {Ahmed Bouajjani and
Michael Emmi and
Constantin Enea and
Jad Hamza},
title = {On reducing linearizability to state reachability},
journal = {Inf. Comput.},
volume = {261},
pages = {383--400},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.02.014},
doi = {10.1016/J.IC.2018.02.014},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BouajjaniEEH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/EmmiE18,
author = {Michael Emmi and
Constantin Enea},
title = {Sound, complete, and tractable linearizability monitoring for concurrent
collections},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {25:1--25:27},
year = {2018},
url = {https://doi.org/10.1145/3158113},
doi = {10.1145/3158113},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/EmmiE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BouajjaniEMT18,
author = {Ahmed Bouajjani and
Constantin Enea and
Suha Orhun Mutluergil and
Serdar Tasiran},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Reasoning About {TSO} Programs Using Reduction and Abstraction},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10982},
pages = {336--353},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96142-2\_21},
doi = {10.1007/978-3-319-96142-2\_21},
timestamp = {Fri, 09 Apr 2021 18:35:26 +0200},
biburl = {https://dblp.org/rec/conf/cav/BouajjaniEMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BouajjaniEJQ18,
author = {Ahmed Bouajjani and
Constantin Enea and
Kailiang Ji and
Shaz Qadeer},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {On the Completeness of Verifying Message Passing Programs Under Bounded
Asynchrony},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10982},
pages = {372--391},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96142-2\_23},
doi = {10.1007/978-3-319-96142-2\_23},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BouajjaniEJQ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EmmiE18,
author = {Michael Emmi and
Constantin Enea},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Monitoring Weak Consistency},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10981},
pages = {487--506},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96145-3\_26},
doi = {10.1007/978-3-319-96145-3\_26},
timestamp = {Fri, 09 Apr 2021 18:35:27 +0200},
biburl = {https://dblp.org/rec/conf/cav/EmmiE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SungLEW18,
author = {Chungha Sung and
Shuvendu K. Lahiri and
Constantin Enea and
Chao Wang},
editor = {Marianne Huchard and
Christian K{\"{a}}stner and
Gordon Fraser},
title = {Datalog-based scalable semantic diffing of concurrent programs},
booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated
Software Engineering, {ASE} 2018, Montpellier, France, September 3-7,
2018},
pages = {656--666},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3238147.3238211},
doi = {10.1145/3238147.3238211},
timestamp = {Thu, 23 Jun 2022 19:54:17 +0200},
biburl = {https://dblp.org/rec/conf/kbse/SungLEW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BouajjaniEMR18,
author = {Ahmed Bouajjani and
Constantin Enea and
Madhavan Mukund and
Rajarshi Roy},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {On Verifying {TSO} Robustness for Event-Driven Asynchronous Programs},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {225--239},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_15},
doi = {10.1007/978-3-030-05529-5\_15},
timestamp = {Tue, 21 Mar 2023 21:02:48 +0100},
biburl = {https://dblp.org/rec/conf/netys/BouajjaniEMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/FeldmanE0RS18,
author = {Yotam M. Y. Feldman and
Constantin Enea and
Adam Morrison and
Noam Rinetzky and
Sharon Shoham},
editor = {Ulrich Schmid and
Josef Widder},
title = {Order out of Chaos: Proving Linearizability Using Local Views},
booktitle = {32nd International Symposium on Distributed Computing, {DISC} 2018,
New Orleans, LA, USA, October 15-19, 2018},
series = {LIPIcs},
volume = {121},
pages = {23:1--23:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.DISC.2018.23},
doi = {10.4230/LIPICS.DISC.2018.23},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/FeldmanE0RS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-05196,
author = {Ahmed Bouajjani and
Constantin Enea and
Suha Orhun Mutluergil and
Serdar Tasiran},
title = {Reasoning About {TSO} Programs Using Reduction and Abstraction},
journal = {CoRR},
volume = {abs/1804.05196},
year = {2018},
url = {http://arxiv.org/abs/1804.05196},
eprinttype = {arXiv},
eprint = {1804.05196},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-05196.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-06612,
author = {Ahmed Bouajjani and
Constantin Enea and
Kailiang Ji and
Shaz Qadeer},
title = {On the Completeness of Verifying Message Passing Programs under Bounded
Asynchrony},
journal = {CoRR},
volume = {abs/1804.06612},
year = {2018},
url = {http://arxiv.org/abs/1804.06612},
eprinttype = {arXiv},
eprint = {1804.06612},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-06612.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-03992,
author = {Yotam M. Y. Feldman and
Constantin Enea and
Adam Morrison and
Noam Rinetzky and
Sharon Shoham},
title = {Order out of Chaos: Proving Linearizability Using Local Views},
journal = {CoRR},
volume = {abs/1805.03992},
year = {2018},
url = {http://arxiv.org/abs/1805.03992},
eprinttype = {arXiv},
eprint = {1805.03992},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-03992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-03777,
author = {Chungha Sung and
Shuvendu K. Lahiri and
Constantin Enea and
Chao Wang},
title = {Datalog-based Scalable Semantic Diffing of Concurrent Programs},
journal = {CoRR},
volume = {abs/1807.03777},
year = {2018},
url = {http://arxiv.org/abs/1807.03777},
eprinttype = {arXiv},
eprint = {1807.03777},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-03777.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/EneaLSV17,
author = {Constantin Enea and
Ondrej Leng{\'{a}}l and
Mihaela Sighireanu and
Tom{\'{a}}s Vojnar},
title = {Compositional entailment checking for a fragment of separation logic},
journal = {Formal Methods Syst. Des.},
volume = {51},
number = {3},
pages = {575--607},
year = {2017},
url = {https://doi.org/10.1007/s10703-017-0289-4},
doi = {10.1007/S10703-017-0289-4},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/EneaLSV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/EneaHIP17,
author = {Constantin Enea and
Peter Habermehl and
Omar Inverso and
Gennaro Parlato},
title = {On the path-width of integer linear programming},
journal = {Inf. Comput.},
volume = {253},
pages = {257--271},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2016.07.010},
doi = {10.1016/J.IC.2016.07.010},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/EneaHIP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BouajjaniEEM17,
author = {Ahmed Bouajjani and
Michael Emmi and
Constantin Enea and
Suha Orhun Mutluergil},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Proving Linearizability Using Forward Simulations},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10427},
pages = {542--563},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63390-9\_28},
doi = {10.1007/978-3-319-63390-9\_28},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BouajjaniEEM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BouajjaniEW17,
author = {Ahmed Bouajjani and
Constantin Enea and
Chao Wang},
editor = {Roland Meyer and
Uwe Nestmann},
title = {Checking Linearizability of Concurrent Priority Queues},
booktitle = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
September 5-8, 2017, Berlin, Germany},
series = {LIPIcs},
volume = {85},
pages = {16:1--16:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.16},
doi = {10.4230/LIPICS.CONCUR.2017.16},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BouajjaniEW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BouajjaniEEOT17,
author = {Ahmed Bouajjani and
Michael Emmi and
Constantin Enea and
Burcu Kulahcioglu Ozkan and
Serdar Tasiran},
editor = {Hongseok Yang},
title = {Verifying Robustness of Event-Driven Asynchronous Programs Against
Concurrency},
booktitle = {Programming Languages and Systems - 26th European Symposium on Programming,
{ESOP} 2017, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10201},
pages = {170--200},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54434-1\_7},
doi = {10.1007/978-3-662-54434-1\_7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/BouajjaniEEOT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/EneaLSV17,
author = {Constantin Enea and
Ondrej Leng{\'{a}}l and
Mihaela Sighireanu and
Tom{\'{a}}s Vojnar},
editor = {Clark W. Barrett and
Misty D. Davies and
Temesghen Kahsai},
title = {{SPEN:} {A} Solver for Separation Logic},
booktitle = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett
Field, CA, USA, May 16-18, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10227},
pages = {302--309},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57288-8\_22},
doi = {10.1007/978-3-319-57288-8\_22},
timestamp = {Sat, 19 Aug 2023 09:51:51 +0200},
biburl = {https://dblp.org/rec/conf/nfm/EneaLSV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BouajjaniEGH17,
author = {Ahmed Bouajjani and
Constantin Enea and
Rachid Guerraoui and
Jad Hamza},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {On verifying causal consistency},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {626--638},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009888},
doi = {10.1145/3009837.3009888},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/BouajjaniEGH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BouajjaniEL17,
author = {Ahmed Bouajjani and
Constantin Enea and
Shuvendu K. Lahiri},
editor = {Francesco Ranzato},
title = {Abstract Semantic Diffing of Evolving Concurrent Programs},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {46--65},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_3},
doi = {10.1007/978-3-319-66706-5\_3},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/BouajjaniEL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BouajjaniEEM17,
author = {Ahmed Bouajjani and
Michael Emmi and
Constantin Enea and
Suha Orhun Mutluergil},
title = {Proving linearizability using forward simulations},
journal = {CoRR},
volume = {abs/1702.02705},
year = {2017},
url = {http://arxiv.org/abs/1702.02705},
eprinttype = {arXiv},
eprint = {1702.02705},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BouajjaniEEM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EmmiE17,
author = {Michael Emmi and
Constantin Enea},
title = {Exposing Non-Atomic Methods of Concurrent Objects},
journal = {CoRR},
volume = {abs/1706.09305},
year = {2017},
url = {http://arxiv.org/abs/1706.09305},
eprinttype = {arXiv},
eprint = {1706.09305},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EmmiE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BouajjaniEW17,
author = {Ahmed Bouajjani and
Constantin Enea and
Chao Wang},
title = {Checking Linearizability of Concurrent Priority Queues},
journal = {CoRR},
volume = {abs/1707.00639},
year = {2017},
url = {http://arxiv.org/abs/1707.00639},
eprinttype = {arXiv},
eprint = {1707.00639},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BouajjaniEW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/EmmiE16,
author = {Michael Emmi and
Constantin Enea},
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {Symbolic abstract data type inference},
booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2016, St. Petersburg,
FL, USA, January 20 - 22, 2016},
pages = {513--525},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614.2837645},
doi = {10.1145/2837614.2837645},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/EmmiE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/EneaF16,
author = {Constantin Enea and
Azadeh Farzan},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {On Atomicity in Presence of Non-atomic Writes},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {497--514},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_29},
doi = {10.1007/978-3-662-49674-9\_29},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/EneaF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BouajjaniEGH16,
author = {Ahmed Bouajjani and
Constantin Enea and
Rachid Guerraoui and
Jad Hamza},
title = {On Verifying Causal Consistency},
journal = {CoRR},
volume = {abs/1611.00580},
year = {2016},
url = {http://arxiv.org/abs/1611.00580},
eprinttype = {arXiv},
eprint = {1611.00580},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BouajjaniEGH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/EneaSW15,
author = {Constantin Enea and
Mihaela Sighireanu and
Zhilin Wu},
editor = {Bernd Finkbeiner and
Geguang Pu and
Lijun Zhang},
title = {On Automated Lemma Generation for Separation Logic with Inductive
Definitions},
booktitle = {Automated Technology for Verification and Analysis - 13th International
Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9364},
pages = {80--96},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24953-7\_7},
doi = {10.1007/978-3-319-24953-7\_7},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/EneaSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BouajjaniEEH15,
author = {Ahmed Bouajjani and
Michael Emmi and
Constantin Enea and
Jad Hamza},
editor = {Prahladh Harsha and
G. Ramalingam},
title = {Checking Correctness of Concurrent Objects: Tractable Reductions to
Reachability (Invited Talk)},
booktitle = {35th {IARCS} Annual Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2015, December 16-18, 2015,
Bangalore, India},
series = {LIPIcs},
volume = {45},
pages = {2--4},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2015.2},
doi = {10.4230/LIPICS.FSTTCS.2015.2},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/BouajjaniEEH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BouajjaniEEH15,
author = {Ahmed Bouajjani and
Michael Emmi and
Constantin Enea and
Jad Hamza},
editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
Kazuo Iwama and
Naoki Kobayashi and
Bettina Speckmann},
title = {On Reducing Linearizability to State Reachability},
booktitle = {Automata, Languages, and Programming - 42nd International Colloquium,
{ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9135},
pages = {95--107},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-47666-6\_8},
doi = {10.1007/978-3-662-47666-6\_8},
timestamp = {Fri, 27 Mar 2020 09:02:59 +0100},
biburl = {https://dblp.org/rec/conf/icalp/BouajjaniEEH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/EmmiEH15,
author = {Michael Emmi and
Constantin Enea and
Jad Hamza},
editor = {David Grove and
Stephen M. Blackburn},
title = {Monitoring refinement via symbolic reasoning},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, Portland, OR, USA, June 15-17,
2015},
pages = {260--269},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737924.2737983},
doi = {10.1145/2737924.2737983},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/pldi/EmmiEH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BouajjaniEEH15,
author = {Ahmed Bouajjani and
Michael Emmi and
Constantin Enea and
Jad Hamza},
editor = {Sriram K. Rajamani and
David Walker},
title = {Tractable Refinement Checking for Concurrent Objects},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {651--662},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2677002},
doi = {10.1145/2676726.2677002},
timestamp = {Mon, 08 Apr 2024 08:19:10 +0200},
biburl = {https://dblp.org/rec/conf/popl/BouajjaniEEH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BouajjaniEEH15,
author = {Ahmed Bouajjani and
Michael Emmi and
Constantin Enea and
Jad Hamza},
title = {On Reducing Linearizability to State Reachability},
journal = {CoRR},
volume = {abs/1502.06882},
year = {2015},
url = {http://arxiv.org/abs/1502.06882},
eprinttype = {arXiv},
eprint = {1502.06882},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BouajjaniEEH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EneaSW15,
author = {Constantin Enea and
Mihaela Sighireanu and
Zhilin Wu},
title = {On Automated Lemma Generation for Separation Logic with Inductive
Definitions},
journal = {CoRR},
volume = {abs/1507.05581},
year = {2015},
url = {http://arxiv.org/abs/1507.05581},
eprinttype = {arXiv},
eprint = {1507.05581},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EneaSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/EneaLSV14,
author = {Constantin Enea and
Ondrej Leng{\'{a}}l and
Mihaela Sighireanu and
Tom{\'{a}}s Vojnar},
editor = {Jacques Garrigue},
title = {Compositional Entailment Checking for a Fragment of Separation Logic},
booktitle = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
2014, Singapore, November 17-19, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8858},
pages = {314--333},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12736-1\_17},
doi = {10.1007/978-3-319-12736-1\_17},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/EneaLSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BouajjaniEH14,
author = {Ahmed Bouajjani and
Constantin Enea and
Jad Hamza},
editor = {Suresh Jagannathan and
Peter Sewell},
title = {Verifying eventual consistency of optimistic replication systems},
booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
2014},
pages = {285--296},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2535838.2535877},
doi = {10.1145/2535838.2535877},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/BouajjaniEH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/EneaHIP14,
author = {Constantin Enea and
Peter Habermehl and
Omar Inverso and
Gennaro Parlato},
editor = {Adriano Peron and
Carla Piazza},
title = {On the Path-Width of Integer Linear Programming},
booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
pages = {74--87},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161.9},
doi = {10.4204/EPTCS.161.9},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EneaHIP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/EneaSS13,
author = {Constantin Enea and
Vlad Saveluc and
Mihaela Sighireanu},
editor = {Matthias Felleisen and
Philippa Gardner},
title = {Compositional Invariant Checking for Overlaid and Nested Linked Lists},
booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming,
{ESOP} 2013, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7792},
pages = {129--148},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37036-6\_9},
doi = {10.1007/978-3-642-37036-6\_9},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/EneaSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BouajjaniEEH13,
author = {Ahmed Bouajjani and
Michael Emmi and
Constantin Enea and
Jad Hamza},
editor = {Matthias Felleisen and
Philippa Gardner},
title = {Verifying Concurrent Programs against Sequential Specifications},
booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming,
{ESOP} 2013, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7792},
pages = {290--309},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37036-6\_17},
doi = {10.1007/978-3-642-37036-6\_17},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/BouajjaniEEH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/DragoiES13,
author = {Cezara Dragoi and
Constantin Enea and
Mihaela Sighireanu},
editor = {Francesco Logozzo and
Manuel F{\"{a}}hndrich},
title = {Local Shape Analysis for Overlaid Data Structures},
booktitle = {Static Analysis - 20th International Symposium, {SAS} 2013, Seattle,
WA, USA, June 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7935},
pages = {150--171},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38856-9\_10},
doi = {10.1007/978-3-642-38856-9\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/DragoiES13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/BozianuDE13,
author = {Rodica Bozianu and
Catalin Dima and
Constantin Enea},
editor = {Burkhard C. Schipper},
title = {Model checking an Epistemic mu-calculus with Synchronous and Perfect
Recall Semantics},
booktitle = {Proceedings of the 14th Conference on Theoretical Aspects of Rationality
and Knowledge {(TARK} 2013), Chennai, India, January 7-9, 2013},
year = {2013},
url = {http://www.tark.org/proceedings/tark\_jan7\_13/p175-bozianu.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tark/BozianuDE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BozianuDE13,
author = {Rodica Bozianu and
Catalin Dima and
Constantin Enea},
title = {Model Checking an Epistemic mu-calculus with Synchronous and Perfect
Recall Semantics},
journal = {CoRR},
volume = {abs/1310.6434},
year = {2013},
url = {http://arxiv.org/abs/1310.6434},
eprinttype = {arXiv},
eprint = {1310.6434},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BozianuDE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BouajjaniDES12,
author = {Ahmed Bouajjani and
Cezara Dragoi and
Constantin Enea and
Mihaela Sighireanu},
editor = {Supratik Chakraborty and
Madhavan Mukund},
title = {Accurate Invariant Checking for Programs Manipulating Lists and Arrays
with Infinite Data},
booktitle = {Automated Technology for Verification and Analysis - 10th International
Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7561},
pages = {167--182},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33386-6\_14},
doi = {10.1007/978-3-642-33386-6\_14},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/BouajjaniDES12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BouajjaniDES12,
author = {Ahmed Bouajjani and
Cezara Dragoi and
Constantin Enea and
Mihaela Sighireanu},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Abstract Domains for Automated Reasoning about List-Manipulating Programs
with Infinite Data},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {1--22},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_1},
doi = {10.1007/978-3-642-27940-9\_1},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BouajjaniDES12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-2087,
author = {Rodica Bozianu and
Catalin Dima and
Constantin Enea},
title = {Model-checking an Epistemic {\(\mu\)}-calculus with Synchronous and
Perfect Recall Semantics},
journal = {CoRR},
volume = {abs/1204.2087},
year = {2012},
url = {http://arxiv.org/abs/1204.2087},
eprinttype = {arXiv},
eprint = {1204.2087},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-2087.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/GuelevDE11,
author = {Dimitar P. Guelev and
Catalin Dima and
Constantin Enea},
title = {An alternating-time temporal logic with knowledge, perfect recall
and past: axiomatisation and model-checking},
journal = {J. Appl. Non Class. Logics},
volume = {21},
number = {1},
pages = {93--131},
year = {2011},
url = {https://doi.org/10.3166/jancl.21.93-131},
doi = {10.3166/JANCL.21.93-131},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/GuelevDE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BouajjaniDES11,
author = {Ahmed Bouajjani and
Cezara Dragoi and
Constantin Enea and
Mihaela Sighireanu},
editor = {Mary W. Hall and
David A. Padua},
title = {On inter-procedural analysis of programs with lists and data},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {578--589},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993566},
doi = {10.1145/1993498.1993566},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BouajjaniDES11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BouajjaniDERS10,
author = {Ahmed Bouajjani and
Cezara Dragoi and
Constantin Enea and
Ahmed Rezine and
Mihaela Sighireanu},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Invariant Synthesis for Programs Manipulating Lists with Unbounded
Data},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {72--88},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_8},
doi = {10.1007/978-3-642-14295-6\_8},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BouajjaniDERS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1006-1414,
author = {Catalin Dima and
Constantin Enea and
Dimitar P. Guelev},
editor = {Angelo Montanari and
Margherita Napoli and
Mimmo Parente},
title = {Model-Checking an Alternating-time Temporal Logic with Knowledge,
Imperfect Information, Perfect Recall and Communicating Coalitions},
booktitle = {Proceedings First Symposium on Games, Automata, Logic, and Formal
Verification, {GANDALF} 2010, Minori (Amalfi Coast), Italy, 17-18th
June 2010},
series = {{EPTCS}},
volume = {25},
pages = {103--117},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.25.12},
doi = {10.4204/EPTCS.25.12},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-1414.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-3126,
author = {Ahmed Bouajjani and
Cezara Dragoi and
Constantin Enea and
Yan Jurski and
Mihaela Sighireanu},
title = {A Generic Framework for Reasoning about Dynamic Networks of Infinite-State
Processes},
journal = {Log. Methods Comput. Sci.},
volume = {5},
number = {2},
year = {2009},
url = {http://arxiv.org/abs/0903.3126},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0903-3126.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BouajjaniDES09,
author = {Ahmed Bouajjani and
Cezara Dragoi and
Constantin Enea and
Mihaela Sighireanu},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {A Logic-Based Framework for Reasoning about Composite Data Structures},
booktitle = {{CONCUR} 2009 - Concurrency Theory, 20th International Conference,
{CONCUR} 2009, Bologna, Italy, September 1-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5710},
pages = {178--195},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04081-8\_13},
doi = {10.1007/978-3-642-04081-8\_13},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BouajjaniDES09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Enea08,
author = {Constantin Enea},
title = {Abstraction techniques for verification of concurrent systems. (Techniques
d'abstraction dans la verification des syst{\`{e}}mes concurrents)},
school = {University of Paris-Est, France},
year = {2008},
url = {https://tel.archives-ouvertes.fr/tel-00623170},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Enea08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/TipleaBEB08,
author = {Ferucio Laurentiu Tiplea and
Catalin V. B{\^{\i}}rjoveanu and
Constantin Enea and
Ioana Boureanu},
title = {Secrecy for bounded security protocols with freshness check is NEXPTIME-complete},
journal = {J. Comput. Secur.},
volume = {16},
number = {6},
pages = {689--712},
year = {2008},
url = {https://doi.org/10.3233/JCS-2007-0306},
doi = {10.3233/JCS-2007-0306},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/TipleaBEB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/Enea08,
author = {Constantin Enea},
title = {Counterexample Guided Abstraction Refinement is Better under Equational
Abstraction},
booktitle = {15th Annual {IEEE} International Conference and Workshop on Engineering
of Computer Based Systems {(ECBS} 2008), 31 March - 4 April 2008,
Belfast, Northern Ireland},
pages = {126--135},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ECBS.2008.40},
doi = {10.1109/ECBS.2008.40},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/Enea08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ceemas/EneaD07,
author = {Constantin Enea and
Catalin Dima},
editor = {Hans{-}Dieter Burkhard and
Gabriela Lindemann and
Rineke Verbrugge and
L{\'{a}}szl{\'{o}} Zsolt Varga},
title = {Abstractions of Multi-agent Systems},
booktitle = {Multi-Agent Systems and Applications V, 5th International Central
and Eastern European Conference on Multi-Agent Systems, {CEEMAS} 2007,
Leipzig, Germany, September 25-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4696},
pages = {11--21},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75254-7\_2},
doi = {10.1007/978-3-540-75254-7\_2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ceemas/EneaD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/DimaEGS07,
author = {Catalin Dima and
Constantin Enea and
Radu Gramatovici and
Alexandru Sofronia},
editor = {Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Daniela Zaharie},
title = {Strategy-Based and Knowledge-Based Models of Information Flow: Equivalence
and Decidability},
booktitle = {Proceedings of the Ninth International Symposium on Symbolic and Numeric
Algorithms for Scientific Computing, {SYNASC} 2007, Timisoara, Romania,
September 26-29, 2007},
pages = {33--40},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SYNASC.2007.67},
doi = {10.1109/SYNASC.2007.67},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/DimaEGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/TipleaE06,
author = {Ferucio Laurentiu Tiplea and
Constantin Enea},
title = {Abstractions of data types},
journal = {Acta Informatica},
volume = {42},
number = {8-9},
pages = {639--671},
year = {2006},
url = {https://doi.org/10.1007/s00236-006-0010-3},
doi = {10.1007/S00236-006-0010-3},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/TipleaE06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/Enea05,
author = {Constantin Enea},
editor = {Theodosis Dimitrakos and
Fabio Martinelli and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Unifying Decidability Results on Protection Systems Using Simulations},
booktitle = {Formal Aspects in Security and Trust, Third International Workshop,
{FAST} 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3866},
pages = {96--111},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11679219\_8},
doi = {10.1007/11679219\_8},
timestamp = {Sun, 02 Oct 2022 16:07:30 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/Enea05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissas/TipleaEB05,
author = {Ferucio Laurentiu Tiplea and
Constantin Enea and
Catalin V. B{\^{\i}}rjoveanu},
editor = {Edmund M. Clarke and
Marius Minea and
Ferucio Laurentiu Tiplea},
title = {Decidability and Complexity Results for Security Protocols},
booktitle = {Verification of Infinite-State Systems with Applications to Security,
Proceedings of the {NATO} Advanced Research Workshop "Verification
of Infinite State Systems with Applications to Security {VISSAS} 2005",
Timisoara, Romania, March 17-22, 2005},
series = {{NATO} Security through Science Series {D:} Information and Communication
Security},
volume = {1},
pages = {185--211},
publisher = {{IOS} Press},
year = {2005},
timestamp = {Wed, 29 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vissas/TipleaEB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/TipleaME02,
author = {Ferucio Laurentiu Tiplea and
Erkki M{\"{a}}kinen and
Constantin Enea},
title = {SE-Systems, Timing Mechanisms, and Time-Varying Codes},
journal = {Int. J. Comput. Math.},
volume = {79},
number = {10},
pages = {1083--1091},
year = {2002},
url = {https://doi.org/10.1080/00207160212709},
doi = {10.1080/00207160212709},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcm/TipleaME02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-10 23:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
