2020

• Runtime Verification on FPGAs with LTLf Specifications
  Tommy Tracy II, Lucas M. Tabajara, Moshe Y. Vardi, Kevin Skadron
  Proceedings of Formal Methods in Computer-Aided Design (FMCAD), 2020


• LTLf Synthesis under Partial Observability: From Theory to Practice
  Lucas M. Tabajara, Moshe Y. Vardi
  Proceedings of International Symposium on Games, Automata, Logics, and Formal Verification (GandALF), 2020


• Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications
  Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi
  Proceedings of AAAI Conference on Artificial Intelligence (AAAI), 2020


• Witnessing Secure Compilation
  Kedar S. Namjoshi, Lucas M. Tabajara
  Proceedings of International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2020

2019

• Partitioning Techniques in LTLf Synthesis
  Lucas M. Tabajara, Moshe Y. Vardi
  Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 2019

2018

• Functional Synthesis via Input-Output Separation
  Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi
  Proceedings of of Formal Methods in Computer-Aided Design (FMCAD), 2018
  Tool: [link]

2017

• A Symbolic Approach to Safety LTL Synthesis
  Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
  Proceedings of Haifa Verification Conference (HVC), 2017
  Tool: [link]


• Factored Boolean Functional Synthesis
  Lucas M. Tabajara, Moshe Y. Vardi
  Proceedings of of Formal Methods in Computer-Aided Design (FMCAD), 2017
  Tool: [link]


• Symbolic LTLf Synthesis
  Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
  Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 2017
  Tool: [link]

2016

• BDD-Based Boolean Functional Synthesis
  Dror Fried, Lucas M. Tabajara, and Moshe Y. Vardi
  Proceedings of International Conference on Computer Aided Verification (CAV), 2016

2013

• Leveraging Collaboration: A Methodology for the Design of Social Problem-Solving Systems
  Lucas M. Tabajara, Marcelo O. R. Prates, Diego Noble, and Luís C. Lamb
  Proceedings of the First AAAI Conference on Human Computation and Crowdsourcing (HCOMP), 2013