Papers, Presentations and Reports Authored by Daniel J. Fremont

  1. Maximum Model Counting, Daniel J. Fremont, Markus N. Rabe, Sanjit Seshia, Association for the Advancement of Artificial Intelligence (AAAI), February, 2017. Posted on 8 Nov 2016.
  2. Improvising Robot Patrol Routes, Tommaso Dreossi, Daniel J. Fremont, Sanjit Seshia, 26, October, 2016. Posted on 31 Oct 2016.
  3. Specification Mining For Machine Improvisation With Formal Specifications, Rafael Valle, Alexandre Donze, Daniel J. Fremont, Ilge Akkaya, Sanjit Seshia, Adrian Freed, David Wessel, October, 2015. Posted on 15 Oct 2015.
  4. Specification Mining For Machine Improvisation With Formal Specifications, Rafael Valle, Alexandre Donze, Daniel J. Fremont, Ilge Akkaya, Sanjit Seshia, Adrian Freed, David Wessel, 14, October, 2015. Posted on 14 Oct 2015.
  5. Control Improvisation, Daniel J. Fremont, Alexandre Donze, Sanjit Seshia, David Wessel, 14, October, 2015. Posted on 9 Oct 2015.
  6. Control Improvisation with Probabilistic Temporal Specifications, Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donze, Edward A. Lee, Sanjit Seshia, IEEE International Conference on Internet-of-Things Design and Implementation (IoTDI'16), 2016. Posted on 11 May 2015.
  7. Control Improvisation with Probabilistic Temporal Specifications, Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donze, Edward A. Lee, Sanjit Seshia, 23, October, 2015. Posted on 8 May 2015.
  8. Model Counting and Uniform Random Sampling: Theory, Algorithms and Applications, Daniel J. Fremont, 30, April, 2015. Posted on 5 Feb 2015.
  9. On Parallel Scalable Uniform SAT Witness Generation, Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit Seshia, Moshe Y. Vardi, 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings, Christel Baier, Cesare Tinelli, TACAS, 302-319, April, 2015. Posted on 2 Feb 2015.
  10. Control Improvisation, Daniel J. Fremont, Alexandre Donze, Sanjit Seshia, David Wessel, Proc. FSTTCS, December, 2015. Posted on 21 Nov 2014.
  11. Control Improvisation: Theory and Application to Residential Lighting, Ilge Akkaya, Alexandre Donze, Rafael Valle, Daniel J. Fremont, David Wessel, Sanjit Seshia, 30, October, 2014. Posted on 4 Nov 2014.
  12. Model Counting, Uniform Generation, and Quantitative Information Flow, Supratik Chakraborty, Daniel J. Fremont, Kuldeep Meel, Sanjit Seshia, Moshe Vardi, 29, October, 2014. Posted on 28 Oct 2014.
  13. Model Counting and Quantitative Information Flow, Daniel J. Fremont, 29, August, 2014. Posted on 29 Aug 2014.
  14. Distribution-Aware Sampling and Weighted Model Counting for SAT, Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit Seshia, Moshe Y. Vardi, Proc. of AAAI, 1722-1730, 2014. Posted on 22 Apr 2014.
  15. Speeding Up SMT-Based Quantitative Program Analysis, Daniel J. Fremont, Sanjit Seshia, 12th International Workshop on Satisfiability Modulo Theories, 3-13, 17, July, 2014. Posted on 20 Feb 2014.

Counts

  • 9 Conference papers.
  • 4 Talk or presentations.
  • 4 Posters.
  • 1 Unpublished article.
  • 1 Tutorial.

The counts above are from the publications database. The number of posters is derived from the presentations.

Note: A poster is a presentation that has the word 'poster' (case-insensitive) in the any of the text fields. Thus, the poster count might be somewhat inaccurate. The number of posters is deducted from the number of presentations and bother are reported.