Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Marcelo Sousa
@article{DBLP:journals/fmsd/CotiPRS21,
author = {Camille Coti and
Laure Petrucci and
C{\'{e}}sar Rodr{\'{\i}}guez and
Marcelo Sousa},
title = {Quasi-optimal partial order reduction},
journal = {Formal Methods Syst. Des.},
volume = {57},
number = {1},
pages = {3--33},
year = {2021},
url = {https://doi.org/10.1007/s10703-020-00350-4},
doi = {10.1007/S10703-020-00350-4},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/CotiPRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Sousa18,
author = {Marcelo Sousa},
title = {Abstractions and independence},
school = {University of Oxford, {UK}},
year = {2018},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.780457},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Sousa18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SousaDL18,
author = {Marcelo Sousa and
Isil Dillig and
Shuvendu K. Lahiri},
title = {Verified three-way program merge},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{OOPSLA}},
pages = {165:1--165:29},
year = {2018},
url = {https://doi.org/10.1145/3276535},
doi = {10.1145/3276535},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SousaDL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NguyenRSCP18,
author = {Huyen T. T. Nguyen and
C{\'{e}}sar Rodr{\'{\i}}guez and
Marcelo Sousa and
Camille Coti and
Laure Petrucci},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Quasi-Optimal Partial Order Reduction},
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 = {354--371},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96142-2\_22},
doi = {10.1007/978-3-319-96142-2\_22},
timestamp = {Fri, 09 Apr 2021 18:35:26 +0200},
biburl = {https://dblp.org/rec/conf/cav/NguyenRSCP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-03950,
author = {Huyen T. T. Nguyen and
C{\'{e}}sar Rodr{\'{\i}}guez and
Marcelo Sousa and
Camille Coti and
Laure Petrucci},
title = {Quasi-Optimal Partial Order Reduction},
journal = {CoRR},
volume = {abs/1802.03950},
year = {2018},
url = {http://arxiv.org/abs/1802.03950},
eprinttype = {arXiv},
eprint = {1802.03950},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-03950.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-06551,
author = {Marcelo Sousa and
Isil Dillig and
Shuvendu K. Lahiri},
title = {Verifying Semantic Conflict-Freedom in Three-Way Program Merges},
journal = {CoRR},
volume = {abs/1802.06551},
year = {2018},
url = {http://arxiv.org/abs/1802.06551},
eprinttype = {arXiv},
eprint = {1802.06551},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-06551.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SousaRDK17,
author = {Marcelo Sousa and
C{\'{e}}sar Rodr{\'{\i}}guez and
Vijay Victor D'Silva and
Daniel Kroening},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Abstract Interpretation with Unfoldings},
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 = {197--216},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63390-9\_11},
doi = {10.1007/978-3-319-63390-9\_11},
timestamp = {Tue, 16 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/SousaRDK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DSilvaKS17,
author = {Vijay Victor D'Silva and
Daniel Kroening and
Marcelo Sousa},
editor = {Ahmed Bouajjani and
David Monniaux},
title = {Independence Abstractions and Models of Concurrency},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 18th International
Conference, {VMCAI} 2017, Paris, France, January 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10145},
pages = {151--168},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-52234-0\_9},
doi = {10.1007/978-3-319-52234-0\_9},
timestamp = {Sat, 09 Apr 2022 12:46:16 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/DSilvaKS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DSilvaS17,
author = {Vijay Victor D'Silva and
Marcelo Sousa},
editor = {Ahmed Bouajjani and
David Monniaux},
title = {Complete Abstractions and Subclassical Modal Logics},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 18th International
Conference, {VMCAI} 2017, Paris, France, January 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10145},
pages = {169--186},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-52234-0\_10},
doi = {10.1007/978-3-319-52234-0\_10},
timestamp = {Tue, 16 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/DSilvaS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SousaRDK17,
author = {Marcelo Sousa and
C{\'{e}}sar Rodr{\'{\i}}guez and
Vijay Victor D'Silva and
Daniel Kroening},
title = {Abstract Interpretation with Unfoldings},
journal = {CoRR},
volume = {abs/1705.00595},
year = {2017},
url = {http://arxiv.org/abs/1705.00595},
eprinttype = {arXiv},
eprint = {1705.00595},
timestamp = {Tue, 16 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/SousaRDK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SousaD16,
author = {Marcelo Sousa and
Isil Dillig},
editor = {Chandra Krintz and
Emery D. Berger},
title = {Cartesian hoare logic for verifying k-safety properties},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
USA, June 13-17, 2016},
pages = {57--69},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2908080.2908092},
doi = {10.1145/2908080.2908092},
timestamp = {Sat, 30 Sep 2023 09:54:48 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SousaD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/RodriguezSSK15,
author = {C{\'{e}}sar Rodr{\'{\i}}guez and
Marcelo Sousa and
Subodh Sharma and
Daniel Kroening},
editor = {Luca Aceto and
David de Frutos{-}Escrig},
title = {Unfolding-based Partial Order Reduction},
booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
Madrid, Spain, September 1.4, 2015},
series = {LIPIcs},
volume = {42},
pages = {456--469},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.456},
doi = {10.4230/LIPICS.CONCUR.2015.456},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/RodriguezSSK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RodriguezSSK15,
author = {C{\'{e}}sar Rodr{\'{\i}}guez and
Marcelo Sousa and
Subodh Sharma and
Daniel Kroening},
title = {Unfolding-based Partial Order Reduction},
journal = {CoRR},
volume = {abs/1507.00980},
year = {2015},
url = {http://arxiv.org/abs/1507.00980},
eprinttype = {arXiv},
eprint = {1507.00980},
timestamp = {Mon, 04 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/RodriguezSSK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SousaDVDG14,
author = {Marcelo Sousa and
Isil Dillig and
Dimitrios Vytiniotis and
Thomas Dillig and
Christos Gkantsidis},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Consolidation of queries with user-defined functions},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {554--564},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594305},
doi = {10.1145/2594291.2594305},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SousaDVDG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/et/SousaS13,
author = {Marcelo Sousa and
Alper Sen},
title = {{LLVMVF:} {A} Generic Approach for Verification of Multicore Software},
journal = {J. Electron. Test.},
volume = {29},
number = {5},
pages = {635--646},
year = {2013},
url = {https://doi.org/10.1007/s10836-013-5405-9},
doi = {10.1007/S10836-013-5405-9},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/et/SousaS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/SousaS12,
author = {Marcelo Sousa and
Alper Sen},
editor = {Ahmed Jerraya and
Luca P. Carloni and
Naehyuck Chang and
Franco Fummi},
title = {Generation of {TLM} testbenches using mutation testing},
booktitle = {Proceedings of the 10th International Conference on Hardware/Software
Codesign and System Synthesis, {CODES+ISSS} 2012, part of ESWeek '12
Eighth Embedded Systems Week, Tampere, Finland, October 7-12, 2012},
pages = {323--332},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2380445.2380498},
doi = {10.1145/2380445.2380498},
timestamp = {Mon, 26 Nov 2018 12:14:45 +0100},
biburl = {https://dblp.org/rec/conf/codes/SousaS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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 2023-09-27 22:43 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:
