-
Domain-Driven Approaches for Constrained Counting and Sampling.
Aditya A. Shrotri, Ph.D., Rice University, 2022/05.
-
Exploring Finite-Word Automata for Reactive Synthesis.
Lucas Martinelli Tabajara, Ph.D., Rice University, 2021/08.
-
Planning and Execution for Discrete Integration.
Jeffrey M. Dudek, Ph.D., Rice University, 2021/08.
-
Solving Hybrid Boolean Constraints by Fourier Expansions and Continuous Optimization.
Zhiwei Zhang, M.S., Rice University, 2020/06.
-
FPRAS Approximation of the Matrix Permanent in Practice.
James Newman, M.S., Rice University, 2020/06.
-
Automata-Based Quantitative Verification.
Suguman Bansal, Ph.D., Rice University, 2020/05.
-
Weighted Model Counting with Algebraic Decision Diagrams.
Vu Hoang Nguyen Phan, M.S., Rice University, 2019/12.
-
Evaluating Performance of Automaton Universality Checking Algorithms.
Corey Fisher, M.S., Rice University, 2019/03.
-
BDD-Based Boolean Synthesis.
Lucas Martinelli Tabajara, M.S., Rice University, 2018/04.
-
On Hashing-Based Approaches to Approximate DNF-Counting.
Aditya A. Shrotri, M.S., Rice University, 2017/10.
-
Random CNF-XOR Formulas.
Jeffrey Dudek, M.S., Rice University, 2017/04.
- Constrained Counting and Sampling: Bridging the Gap between Theory and Practice Kuldeep S. Meel, Ph.D., Rice University, 2017.
- Sampling Techniques for Boolean Satisfiability Kuldeep S. Meel, M.S., Rice University, 2014.
- Assertion-Based Flow Monitoring of SystemC Models Sonali Dutta, M.S., Rice University, 2014.
- Büchi Automata as
Specifications for Reactive Systems (Experimental Materials).
Seth Fogarty, Ph.D., Rice University, 2012.
-
Explicit or Symbolic Translation of Linear Temporal Logic to Automata.
Kristin Rozier, Ph.D., Rice University, 2012.
- Dynamic
Assertion-Based Verification for SystemC.
Deian Tabakov, Ph.D., Rice University, 2010.
- Büchi Complementation
and Size Change Termination.
Seth Fogarty, M.Sc., Rice University, 2007.
- Intelligate: An
Algorithm for Learning Boolean Functions for Dynamic Power Reduction.
Roni Wiener, M.Sc. Thesis, University of Haifa, 2007.
- Complexity and Structural
Heuristics for Propositional and Quantified Satisfiability.
Guoqiang Pan, Ph.D., Rice University, 2006.
- Experimental
Evaluation of Explicit and Symbolic Automata-Theoretic Algorithms.
Deian Tabakov, M.Sc., Rice University, 2006.
- Enhanced Vacuity Detection
in Linear Temporal Logic (pdf).
Alon Flaisher, M.Sc. Thesis, TECHNION - Israel Institute of
Technology, 2005.
- Verification of
Infinite-state Systems. Nir Piterman, Ph.D. Thesis, the Weizmann
Institute of Science, 2004.
- Analysis on the Assignment
Landscape of 3-SAT problems.
Xiaoxu Wang, M.Sc. Thesis, Rice University, 2004.
- Eliminating Incoherence from
Subjective Estimates of Chance.
Spiridon Tsavachidis, M.Sc. Thesis, Rice University, 2003.
- BDD-based decision procedures for
modal logic K (pdf).
Guoqiang Pan, M.Sc. Thesis, Rice University, 2003.
- Probabilistic phenomena in random
combinatorial problems (pdf)
Demetrios D. Demopoulos, M.Sc. Thesis, Rice University, 2003.
- Extending temporal logic with
omega-automata (pdf). Nir Piterman, M.Sc. Thesis, the Weizmann
Institute of Science and
Rice University, 2000.
- Performance Analysis of Symbolic
Reachability Algorithms in Model Checking. Zijiang (James) Yang,
M.Sc. Thesis, Rice University, 1999.
- Advances in Planning as Model Checking (pdf).
Marco Daniele, PhD Thesis, University of Rome "La Sapienza", 1999.