Eric Vin

12 papers B 2Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2025 B conf
LeanLTL: A Unifying Framework for Linear Temporal Logics in Lean (Short Paper).
ITP
Eric Vin, Kyle A. Miller, Daniel J. Fremont
2025 J jnl
LeanLTL: A unifying framework for linear temporal logics in Lean.
CoRR
Eric Vin, Kyle A. Miller, Daniel J. Fremont
2025 J jnl
ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems.
CoRR
Eric Vin, Kyle A. Miller, Inigo Incer, Sanjit A. Seshia, Daniel J. Fremont
2023 — conf
3D Environment Modeling for Falsification and Beyond with Scenic 3.0.
CAV (1)
Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2023 J jnl
3D Environment Modeling for Falsification and Beyond with Scenic 3.0.
CoRR
Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2023 — conf
Symbiotic CPS Design-Space Exploration through Iterated Optimization.
CPS-IoT Week Workshops
Sheng-Jung Yu, Inigo Incer, Valmik Prabhu, Anwesha Chattoraj, Eric Vin, Daniel J. Fremont, Ankur Mehta, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry, Sanjit A. Seshia
2023 — conf
Tackling simulation inconsistencies in the robot design process by selective empirical evaluation.
CPS-IoT Week Workshops
Anwesha Chattoraj, Eric Vin, Yusuke Tanaka, Jillian Naldrien Pantig, Daniel J. Fremont, Ankur Mehta
2022 — conf
A Novel IoT System For Patient-Centric Pressure Ulcer Prevention Using Sensor Embedded Dressings.
PerCom Workshops
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
2022 — conf
Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.
CAV (2)
Andreas Gittis, Eric Vin, Daniel J. Fremont
2022 J jnl
Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.
CoRR
Andreas Gittis, Eric Vin, Daniel J. Fremont
2021 — conf
An IoT System for Autonomous, Continuous, Real-Time Patient Monitoring and Its Application to Pressure Injury Management.
ICDH
Sam Mansfield, Eric Vin, Katia Obraczka
2021 B conf
An IoT-Based System for Autonomous, Continuous, Real-Time Patient Monitoring and Its Application to Pressure Injury Management.
DCOSS
Sam Mansfield, Eric Vin, Katia Obraczka