Eric Vin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ITP | LeanLTL: A Unifying Framework for Linear Temporal Logics in Lean (Short Paper). | Eric Vin, Kyle A. Miller, Daniel J. Fremont |
| 2023 | CAV | 3D Environment Modeling for Falsification and Beyond with Scenic 3.0. | Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2022 | CAV | Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation. | Andreas Gittis, Eric Vin, Daniel J. Fremont |
| 2022 | PERCOM | A Novel IoT System For Patient-Centric Pressure Ulcer Prevention Using Sensor Embedded Dressings. | Sachin Rangarajan, Young Lee, Vinith Johnson, Kaelan Schorger, Hanmin Lee, Dung Nguyen, Mohammad H. Behfar, Elina Jansson, Jari Rekil, Jussi Hiltunen, Eric Vin, Katia Obraczka |
| 2021 | DCOSS | An IoT-Based System for Autonomous, Continuous, Real-Time Patient Monitoring and Its Application to Pressure Injury Management. | Sam Mansfield, Eric Vin, Katia Obraczka |