Veröffentlichungen
Autoren:
Sidi Mohamed Beillahi,Ahmed Bouajjani,Constantin Enea
Veröffentlicht in:
30th International Conference on Concurrency Theory, {CONCUR} 2019, 2019, Seite(n) 30:1--30:18
Herausgeber:
"Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik}"
DOI:
10.4230/lipics.concur.2019.30
Autoren:
Ranadeep Biswas,Michael Emmi,Constantin Enea
Veröffentlicht in:
Computer Aided Verification - 31st International Conference, {CAV} 2019, 2019, Seite(n) 324--343
Herausgeber:
Springer
DOI:
10.1007/978-3-030-25543-5_19
Autoren:
Sidi Mohamed Beillahi,Ahmed Bouajjani,Constantin Enea
Veröffentlicht in:
Computer Aided Verification - 31st International Conference, {CAV} 2019, 2019, Seite(n) 286--304
Herausgeber:
Springer
DOI:
10.1007/978-3-030-25543-5_17
Autoren:
Hagit Attiya, Constantin Enea
Veröffentlicht in:
33rd International Symposium on Distributed Computing, {DISC} 2019, 2019, Seite(n) 2:1--2:17
Herausgeber:
"Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI:
10.4230/lipics.disc.2019.2
Autoren:
Michael Emmi, Constantin Enea
Veröffentlicht in:
Computer Aided Verification - 31st International Conference, {CAV} 2019, 2019, Seite(n) 534--546
Herausgeber:
Springer
DOI:
10.1007/978-3-030-25543-5_30
Autoren:
Sidi Mohamed Beillahi,Ahmed Bouajjani,Constantin Enea
Veröffentlicht in:
Programming Languages and Systems - 30th European Symposium on Programming, {ESOP} 2021, 2021
Herausgeber:
Springer
DOI:
10.1007/978-3-030-72019-3_4
Autoren:
Siddharth Krishna,Michael Emmi,Constantin Enea,Dejan Jovanovic
Veröffentlicht in:
Programming Languages and Systems - 29th European Symposium on Programming, {ESOP} 2020, 2020, Seite(n) 280--307
Herausgeber:
Springer
DOI:
10.1007/978-3-030-44914-8_11
Autoren:
Bernhard Kragl,Constantin Enea,Thomas A. Henzinger,Suha Orhun Mutluergil,Shaz Qadeer
Veröffentlicht in:
Proceedings of the 41st {ACM} {SIGPLAN} International Conference on Programming Language Design and Implementation, {PLDI} 2020, 2020, Seite(n) 227--242
Herausgeber:
ACM
DOI:
10.1145/3385412.3385980
Autoren:
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Burcu Kulahcioglu Ozkan, Serdar Tasiran
Veröffentlicht in:
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, Ausgabe 2017, 2017, Seite(n) 170-200
Herausgeber:
Springer Berlin Heidelberg
DOI:
10.1007/978-3-662-54434-1_7
Autoren:
Constantin Enea, Ondřej Lengál, Mihaela Sighireanu, Tomáš Vojnar
Veröffentlicht in:
{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, Ausgabe 2017, 2017, Seite(n) 302-309
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-57288-8_22
Autoren:
Ahmed Bouajjani, Constantin Enea, Rachid Guerraoui, Jad Hamza
Veröffentlicht in:
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017, Ausgabe 2017, 2017, Seite(n) 626-638, ISBN 9781-450346603
Herausgeber:
ACM Press
DOI:
10.1145/3009837.3009888
Autoren:
Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri
Veröffentlicht in:
Static Analysis - 24th International Symposium, {SAS} 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings, Ausgabe 2017, 2017, Seite(n) 46-65
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-66706-5_3
Autoren:
Ahmed Bouajjani, Michael Emmi, Constantin Enea, Suha Orhun Mutluergil
Veröffentlicht in:
Computer Aided Verification - 29th International Conference, {CAV} 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}, Ausgabe 2017, 2017, Seite(n) 542-563
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-63390-9_28
Autoren:
Ahmed Bouajjani, Constantin Enea, Chao Wang
Veröffentlicht in:
28th International Conference on Concurrency Theory, {CONCUR} 2017, September 5-8, 2017, Berlin, Germany, Ausgabe 2017, 2017, Seite(n) 16:1--16:16
Herausgeber:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.CONCUR.2017.16
Autoren:
Feldman, Yotam M. Y. ; Enea, Constantin ; Morrison, Adam ; Rinetzky, Noam ; Shoham, Sharon
Veröffentlicht in:
32nd International Symposium on Distributed Computing (DISC 2018), Ausgabe 2018, 2018, Seite(n) 23:1--23:21, ISBN 978-3-95977-092-7
Herausgeber:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.DISC.2018.23
Autoren:
Ahmed Bouajjani, Constantin Enea, Kailiang Ji, Shaz Qadeer
Veröffentlicht in:
Computer Aided Verification, Ausgabe 2018, 2018, Seite(n) 372-391, ISBN 978-3-319-96142-2
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-96142-2_23
Autoren:
Ahmed Bouajjani, Constantin Enea, Suha Orhun Mutluergil, Serdar Tasiran
Veröffentlicht in:
Computer Aided Verification, Ausgabe 2018, 2018, Seite(n) 336-353, ISBN 978-3-319-96142-2
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-96142-2_21
Autoren:
Michael Emmi, Constantin Enea
Veröffentlicht in:
Computer Aided Verification, Ausgabe 2018, 2018, Seite(n) 487-506, ISBN 978-3-319-96145-3
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-96145-3_26
Autoren:
Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang
Veröffentlicht in:
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering - ASE 2018, Ausgabe 2018, 2018, Seite(n) 656-666, ISBN 9781-450359375
Herausgeber:
ACM Press
DOI:
10.1145/3238147.3238211
Autoren:
Hagit Attiya,Constantin Enea,Jennifer L. Welch
Veröffentlicht in:
35th International Symposium on Distributed Computing, {DISC} 2021, 2021, Seite(n) 7:1--7:18
Herausgeber:
"Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI:
10.4230/lipics.disc.2021.7
Autoren:
Sidi Mohamed Beillahi,Gabriela F. Ciocarlie,Michael Emmi,Constantin Enea
Veröffentlicht in:
Proceedings of the 41st {ACM} {SIGPLAN} International Conference on Programming Language Design and Implementation, {PLDI} 2020, 2020, Seite(n) 470--486
Herausgeber:
ACM
DOI:
10.1145/3385412.3386022
Autoren:
Berk Cirisci,Constantin Enea,Azadeh Farzan,Suha Orhun Mutluergil
Veröffentlicht in:
Computer Aided Verification - 32nd International Conference, {CAV} 2020, 2020, Seite(n) 350--375
Herausgeber:
Springer
DOI:
10.1007/978-3-030-53288-8_17
Autoren:
Chao Wang, Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri
Veröffentlicht in:
Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2019, 2019, Seite(n) 980--993
Herausgeber:
ACM
DOI:
10.1145/3314221.3314617
Autoren:
Rachid Zennou,Ranadeep Biswas, Ahmed Bouajjani,Constantin Enea,Mohammed Erradi
Veröffentlicht in:
Networked Systems - 7th International Conference, {NETYS} 2019, 2019, Seite(n) 35--51
Herausgeber:
Springer
DOI:
10.1007/978-3-030-31277-0_3
Autoren:
Rachid Zennou,Ahmed Bouajjani,Constantin Enea,Mohammed Erradi
Veröffentlicht in:
Computer Aided Verification - 31st International Conference, {CAV} 2019, 2019, Seite(n) 267--285
Herausgeber:
Springer
DOI:
10.1007/978-3-030-25543-5_16
Autoren:
Yotam M. Y. Feldman,Artem Khyzha,Constantin Enea,Adam Morrison,Aleksandar Nanevski,Noam Rinetzky,Sharon Shoham
Veröffentlicht in:
Proc. {ACM} Program. Lang., Ausgabe {OOPSLA}, 2020, Seite(n) 128:1--128:29, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3428196
Autoren:
Michael Emmi,Constantin Enea
Veröffentlicht in:
Proc. {ACM} Program. Lang., Ausgabe {POPL}, 2019, Seite(n) 60:1--60:28, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3290373
Autoren:
Cezara Dragoi,Constantin Enea,Burcu Kulahcioglu Ozkan,Rupak Majumdar,Filip Niksic
Veröffentlicht in:
Proc. {ACM} Program. Lang., Ausgabe {OOPSLA}, 2020, Seite(n) 210:1--210:29, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3428278
Autoren:
Ranadeep Biswas,Diptanshu Kakwani,Jyothi Vedurada,Constantin Enea,Akash Lal
Veröffentlicht in:
Proc. {ACM} Program. Lang., Ausgabe {OOPSLA}, 2021, Seite(n) 1--27, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3485546
Autoren:
Ranadeep Biswas,Constantin Enea
Veröffentlicht in:
Proc. {ACM} Program. Lang., Ausgabe {OOPSLA}, 2019, Seite(n) 165:1--165:28, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3360591
Autoren:
Constantin Enea, Ondřej Lengál, Mihaela Sighireanu, Tomáš Vojnar
Veröffentlicht in:
Formal Methods in System Design, Ausgabe 51/3, 2017, Seite(n) 575-607, ISSN 0925-9856
Herausgeber:
Kluwer Academic Publishers
DOI:
10.1007/s10703-017-0289-4
Autoren:
Michael Emmi, Constantin Enea
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 2/POPL, 2017, Seite(n) 1-27, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3158113
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor