TerraSwarm Member Directory

...     in 

 

 
Rafael Valle
    University of California, Berkeley, CNMAT

Username:rafaelvalle
 
 
 
 
(To view user contact information, please log in.)
Bio:  
Group memberships

Papers, Presentations and Reports Authored by Rafael Valle

  1. Privacy Aware Data Processing Using Partial Homomorphic Encryption, Yasser Shoukry, Rafael Valle, Konstantinos Gatsis, Stephane Lafortune, Mani Srivastava, Sanjit Seshia, Paulo Tabuad, George Pappas, October, 2016. Posted on 3 Nov 2016.
  2. ABROA: Audio-Based Room Occupancy with GMMs and HMMs, Rafael Valle, Adrian Freed, Sanjit Seshia, David Wessel, 26, October, 2016. Posted on 25 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 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.
  6. 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.
  7. 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.
  8. Machine Improvisation with Formal Specifications, Rafael Valle, Alexandre Donze, Ilge Akkaya, Sophie Libkind, Sanjit Seshia, David Wessel, ICMCSMC14, 2014. Posted on 12 May 2014.

Counts

  • 1 Journal article.
  • 2 Conference papers.
  • 2 Talk or presentations.
  • 2 Posters.
  • 2 Unpublished articles.

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.