| 2025 |
J |
jnl |
Trans. Mach. Learn. Res.
Victor Rielly, Kamel Lahouel, Ethan Lew, Nicholas Fisher, Vicky Haney, Michael Wells, Bruno M. Jedynak
|
| 2025 |
J |
jnl |
CoRR
Sandeep Neema, Susmit Jha, Adam Nagel, Ethan Lew, Chandrasekar Sureshkumar, Aleksa Gordic, Chase Shimmin, Hieu Nguygen, Paul Eremenko
|
| 2025 |
J |
jnl |
Formal Methods Syst. Des.
Stanley Bak, Sergiy Bogomolov, Brandon Hencey, Niklas Kochdumper, Ethan Lew, Kostiantyn Potomkin
|
| 2024 |
— |
conf |
HSCC
Stanley Bak, Sergiy Bogomolov, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati
|
| 2024 |
— |
conf |
ATVA (2)
Stanley Bak, Abdelrahman Hekal, Niklas Kochdumper, Ethan Lew, Andrew Mata, Amir Rahmati
|
| 2024 |
J |
jnl |
J. Comput. Phys.
Kamel Lahouel, Michael Wells, Victor Rielly, Ethan Lew, David Lovitz, Bruno M. Jedynak
|
| 2023 |
B |
conf |
ATVA
Ethan Lew, Abdelrahman Hekal, Kostiantyn Potomkin, Niklas Kochdumper, Brandon Hencey, Stanley Bak, Sergiy Bogomolov
|
| 2023 |
J |
jnl |
CoRR
Victor Rielly, Kamel Lahouel, Ethan Lew, Michael Wells, Vicky Haney, Bruno Jedynak
|
| 2023 |
J |
jnl |
CoRR
John M. Abowd, Tamara Adams, Robert Ashmead, David Darais, Sourya Dey, Simson L. Garfinkel, Nathan Goldschlag, Daniel Kifer, Philip Leclerc, Ethan Lew, Scott Moore, Rolando A. Rodríguez, Ramy N. Tadros, Lars Vilhuber
|
| 2022 |
J |
jnl |
CoRR
Kamel Lahouel, Michael Wells, David Lovitz, Victor Rielly, Ethan Lew, Bruno Jedynak
|
| 2022 |
— |
conf |
CAV (1)
Stanley Bak, Sergiy Bogomolov, Brandon Hencey, Niklas Kochdumper, Ethan Lew, Kostiantyn Potomkin
|