BibTeX records: Lucas M. Tabajara

download as .bib file

@inproceedings{DBLP:conf/atva/BansalLTVW23,
  author       = {Suguman Bansal and
                  Yong Li and
                  Lucas M. Tabajara and
                  Moshe Y. Vardi and
                  Andrew M. Wells},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Model Checking Strategies from Synthesis over Finite Traces},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14215},
  pages        = {227--247},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45329-8\_11},
  doi          = {10.1007/978-3-031-45329-8\_11},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/BansalLTVW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2305-08319,
  author       = {Suguman Bansal and
                  Yong Li and
                  Lucas Martinelli Tabajara and
                  Moshe Y. Vardi and
                  Andrew M. Wells},
  title        = {On Strategies in Synthesis Over Finite Traces},
  journal      = {CoRR},
  volume       = {abs/2305.08319},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.08319},
  doi          = {10.48550/ARXIV.2305.08319},
  eprinttype    = {arXiv},
  eprint       = {2305.08319},
  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-08319.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/ChakrabortyFTV22,
  author       = {Supratik Chakraborty and
                  Dror Fried and
                  Lucas M. Tabajara and
                  Moshe Y. Vardi},
  title        = {Functional synthesis via input-output separation},
  journal      = {Formal Methods Syst. Des.},
  volume       = {60},
  number       = {2},
  pages        = {228--258},
  year         = {2022},
  url          = {https://doi.org/10.1007/s10703-023-00410-5},
  doi          = {10.1007/S10703-023-00410-5},
  timestamp    = {Sat, 29 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/ChakrabortyFTV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/GiacomoSTVZ22,
  author       = {Giuseppe De Giacomo and
                  Antonio Di Stasio and
                  Lucas M. Tabajara and
                  Moshe Y. Vardi and
                  Shufang Zhu},
  title        = {Finite-trace and generalized-reactivity specifications in temporal
                  synthesis},
  journal      = {Formal Methods Syst. Des.},
  volume       = {61},
  number       = {2},
  pages        = {139--163},
  year         = {2022},
  url          = {https://doi.org/10.1007/s10703-023-00413-2},
  doi          = {10.1007/S10703-023-00413-2},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/GiacomoSTVZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/LinTV22,
  author       = {Yi Lin and
                  Lucas M. Tabajara and
                  Moshe Y. Vardi},
  editor       = {Dana Fisman and
                  Grigore Rosu},
  title        = {{ZDD} Boolean Synthesis},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 28th International Conference, {TACAS} 2022, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13243},
  pages        = {64--83},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99524-9\_4},
  doi          = {10.1007/978-3-030-99524-9\_4},
  timestamp    = {Fri, 29 Apr 2022 14:50:36 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/LinTV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/TabajaraV21,
  author       = {Lucas M. Tabajara and
                  Moshe Y. Vardi},
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {Linear Temporal Logic - From Infinite to Finite Horizon},
  booktitle    = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {3--12},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5\_1},
  doi          = {10.1007/978-3-030-88885-5\_1},
  timestamp    = {Mon, 18 Oct 2021 08:49:54 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/TabajaraV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/AmramBFTVW21,
  author       = {Gal Amram and
                  Suguman Bansal and
                  Dror Fried and
                  Lucas Martinelli Tabajara and
                  Moshe Y. Vardi and
                  Gera Weiss},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Adapting Behaviors via Reactive Synthesis},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12759},
  pages        = {870--893},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81685-8\_41},
  doi          = {10.1007/978-3-030-81685-8\_41},
  timestamp    = {Fri, 23 Jul 2021 16:41:31 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/AmramBFTVW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ijcai/Giacomo0TV021,
  author       = {Giuseppe De Giacomo and
                  Antonio Di Stasio and
                  Lucas M. Tabajara and
                  Moshe Y. Vardi and
                  Shufang Zhu},
  editor       = {Zhi{-}Hua Zhou},
  title        = {Finite-Trace and Generalized-Reactivity Specifications in Temporal
                  Synthesis},
  booktitle    = {Proceedings of the Thirtieth International Joint Conference on Artificial
                  Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
                  August 2021},
  pages        = {1852--1858},
  publisher    = {ijcai.org},
  year         = {2021},
  url          = {https://doi.org/10.24963/ijcai.2021/255},
  doi          = {10.24963/IJCAI.2021/255},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Giacomo0TV021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2008-06790,
  author       = {Shufang Zhu and
                  Lucas M. Tabajara and
                  Geguang Pu and
                  Moshe Y. Vardi},
  editor       = {Pierre Ganty and
                  Davide Bresolin},
  title        = {On the Power of Automata Minimization in Temporal Synthesis},
  booktitle    = {Proceedings 12th International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September
                  2021},
  series       = {{EPTCS}},
  volume       = {346},
  pages        = {117--134},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.346.8},
  doi          = {10.4204/EPTCS.346.8},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2008-06790.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2105-13837,
  author       = {Gal Amram and
                  Suguman Bansal and
                  Dror Fried and
                  Lucas M. Tabajara and
                  Moshe Y. Vardi and
                  Gera Weiss},
  title        = {Adapting Behaviors via Reactive Synthesis},
  journal      = {CoRR},
  volume       = {abs/2105.13837},
  year         = {2021},
  url          = {https://arxiv.org/abs/2105.13837},
  eprinttype    = {arXiv},
  eprint       = {2105.13837},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-13837.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/BansalLTV20,
  author       = {Suguman Bansal and
                  Yong Li and
                  Lucas M. Tabajara and
                  Moshe Y. Vardi},
  title        = {Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon
                  Specifications},
  booktitle    = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2020, The Thirty-Second Innovative Applications of Artificial Intelligence
                  Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
                  Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
                  February 7-12, 2020},
  pages        = {9766--9774},
  publisher    = {{AAAI} Press},
  year         = {2020},
  url          = {https://doi.org/10.1609/aaai.v34i06.6528},
  doi          = {10.1609/AAAI.V34I06.6528},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BansalLTV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/TracyTVS20,
  author       = {Tommy Tracy II and
                  Lucas M. Tabajara and
                  Moshe Y. Vardi and
                  Kevin Skadron},
  title        = {Runtime Verification on FPGAs with LTLf Specifications},
  booktitle    = {2020 Formal Methods in Computer Aided Design, {FMCAD} 2020, Haifa,
                  Israel, September 21-24, 2020},
  pages        = {36--46},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6\_10},
  doi          = {10.34727/2020/ISBN.978-3-85448-042-6\_10},
  timestamp    = {Thu, 14 Jan 2021 08:55:22 +0100},
  biburl       = {https://dblp.org/rec/conf/fmcad/TracyTVS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/NamjoshiT20,
  author       = {Kedar S. Namjoshi and
                  Lucas M. Tabajara},
  editor       = {Dirk Beyer and
                  Damien Zufferey},
  title        = {Witnessing Secure Compilation},
  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        = {1--22},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-39322-9\_1},
  doi          = {10.1007/978-3-030-39322-9\_1},
  timestamp    = {Thu, 16 Jan 2020 17:28:31 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/NamjoshiT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-10875,
  author       = {Lucas M. Tabajara and
                  Moshe Y. Vardi},
  editor       = {Jean{-}Fran{\c{c}}ois Raskin and
                  Davide Bresolin},
  title        = {LTLf Synthesis under Partial Observability: From Theory to Practice},
  booktitle    = {Proceedings 11th International Symposium on Games, Automata, Logics,
                  and Formal Verification, GandALF 2020, Brussels, Belgium, September
                  21-22, 2020},
  series       = {{EPTCS}},
  volume       = {326},
  pages        = {1--17},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.326.1},
  doi          = {10.4204/EPTCS.326.1},
  timestamp    = {Thu, 10 Dec 2020 15:19:59 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-10875.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ijcai/TabajaraV19,
  author       = {Lucas Martinelli Tabajara and
                  Moshe Y. Vardi},
  editor       = {Sarit Kraus},
  title        = {Partitioning Techniques in LTLf Synthesis},
  booktitle    = {Proceedings of the Twenty-Eighth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
                  2019},
  pages        = {5599--5606},
  publisher    = {ijcai.org},
  year         = {2019},
  url          = {https://doi.org/10.24963/ijcai.2019/777},
  doi          = {10.24963/IJCAI.2019/777},
  timestamp    = {Tue, 20 Aug 2019 16:18:18 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/TabajaraV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1911-05866,
  author       = {Kedar S. Namjoshi and
                  Lucas M. Tabajara},
  title        = {Witnessing Secure Compilation},
  journal      = {CoRR},
  volume       = {abs/1911.05866},
  year         = {2019},
  url          = {http://arxiv.org/abs/1911.05866},
  eprinttype    = {arXiv},
  eprint       = {1911.05866},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1911-05866.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1911-08145,
  author       = {Suguman Bansal and
                  Yong Li and
                  Lucas M. Tabajara and
                  Moshe Y. Vardi},
  title        = {Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon
                  Specifications},
  journal      = {CoRR},
  volume       = {abs/1911.08145},
  year         = {2019},
  url          = {http://arxiv.org/abs/1911.08145},
  eprinttype    = {arXiv},
  eprint       = {1911.08145},
  timestamp    = {Fri, 01 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1911-08145.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/ChakrabortyFTV18,
  author       = {Supratik Chakraborty and
                  Dror Fried and
                  Lucas M. Tabajara and
                  Moshe Y. Vardi},
  editor       = {Nikolaj S. Bj{\o}rner and
                  Arie Gurfinkel},
  title        = {Functional Synthesis via Input-Output Separation},
  booktitle    = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
                  TX, USA, October 30 - November 2, 2018},
  pages        = {1--9},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.23919/FMCAD.2018.8603000},
  doi          = {10.23919/FMCAD.2018.8603000},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/ChakrabortyFTV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1808-08190,
  author       = {Supratik Chakraborty and
                  Dror Fried and
                  Lucas M. Tabajara and
                  Moshe Y. Vardi},
  title        = {Functional Synthesis via Input-Output Separation},
  journal      = {CoRR},
  volume       = {abs/1808.08190},
  year         = {2018},
  url          = {http://arxiv.org/abs/1808.08190},
  eprinttype    = {arXiv},
  eprint       = {1808.08190},
  timestamp    = {Sun, 02 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1808-08190.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/TabajaraV17,
  author       = {Lucas M. Tabajara and
                  Moshe Y. Vardi},
  editor       = {Daryl Stewart and
                  Georg Weissenbacher},
  title        = {Factored boolean functional synthesis},
  booktitle    = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
                  Austria, October 2-6, 2017},
  pages        = {124--131},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.23919/FMCAD.2017.8102250},
  doi          = {10.23919/FMCAD.2017.8102250},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/TabajaraV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/ZhuTLPV17,
  author       = {Shufang Zhu and
                  Lucas M. Tabajara and
                  Jianwen Li and
                  Geguang Pu and
                  Moshe Y. Vardi},
  editor       = {Ofer Strichman and
                  Rachel Tzoref{-}Brill},
  title        = {A Symbolic Approach to Safety ltl Synthesis},
  booktitle    = {Hardware and Software: Verification and Testing - 13th International
                  Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
                  13-15, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10629},
  pages        = {147--162},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-70389-3\_10},
  doi          = {10.1007/978-3-319-70389-3\_10},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/ZhuTLPV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ijcai/ZhuTLPV17,
  author       = {Shufang Zhu and
                  Lucas M. Tabajara and
                  Jianwen Li and
                  Geguang Pu and
                  Moshe Y. Vardi},
  editor       = {Carles Sierra},
  title        = {Symbolic LTLf Synthesis},
  booktitle    = {Proceedings of the Twenty-Sixth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
                  19-25, 2017},
  pages        = {1362--1369},
  publisher    = {ijcai.org},
  year         = {2017},
  url          = {https://doi.org/10.24963/ijcai.2017/189},
  doi          = {10.24963/IJCAI.2017/189},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/ZhuTLPV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/ZhuTLPV17,
  author       = {Shufang Zhu and
                  Lucas M. Tabajara and
                  Jianwen Li and
                  Geguang Pu and
                  Moshe Y. Vardi},
  title        = {Symbolic LTLf Synthesis},
  journal      = {CoRR},
  volume       = {abs/1705.08426},
  year         = {2017},
  url          = {http://arxiv.org/abs/1705.08426},
  eprinttype    = {arXiv},
  eprint       = {1705.08426},
  timestamp    = {Fri, 30 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ZhuTLPV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1709-07495,
  author       = {Shufang Zhu and
                  Lucas M. Tabajara and
                  Jianwen Li and
                  Geguang Pu and
                  Moshe Y. Vardi},
  title        = {A Symbolic Approach to Safety {LTL} Synthesis},
  journal      = {CoRR},
  volume       = {abs/1709.07495},
  year         = {2017},
  url          = {http://arxiv.org/abs/1709.07495},
  eprinttype    = {arXiv},
  eprint       = {1709.07495},
  timestamp    = {Fri, 30 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1709-07495.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/FriedTV16,
  author       = {Dror Fried and
                  Lucas M. Tabajara and
                  Moshe Y. Vardi},
  editor       = {Swarat Chaudhuri and
                  Azadeh Farzan},
  title        = {BDD-Based Boolean Functional Synthesis},
  booktitle    = {Computer Aided Verification - 28th International Conference, {CAV}
                  2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9780},
  pages        = {402--421},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-41540-6\_22},
  doi          = {10.1007/978-3-319-41540-6\_22},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/FriedTV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hcomp/TabajaraPNL13,
  author       = {Lucas M. Tabajara and
                  Marcelo O. R. Prates and
                  Diego Noble and
                  Lu{\'{\i}}s C. Lamb},
  editor       = {Bj{\"{o}}rn Hartman and
                  Eric Horvitz},
  title        = {Leveraging Collaboration: {A} Methodology for the Design of Social
                  Problem-Solving Systems},
  booktitle    = {Proceedings of the First {AAAI} Conference on Human Computation and
                  Crowdsourcing, {HCOMP} 2013, November 7-9, 2013, Palm Springs, CA,
                  {USA}},
  pages        = {174--181},
  publisher    = {{AAAI}},
  year         = {2013},
  url          = {https://doi.org/10.1609/hcomp.v1i1.13071},
  doi          = {10.1609/HCOMP.V1I1.13071},
  timestamp    = {Tue, 05 Sep 2023 11:10:11 +0200},
  biburl       = {https://dblp.org/rec/conf/hcomp/TabajaraPNL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.