| 2026 |
— |
conf |
TACAS (2)
Dirk Beyer, Po-Chun Chien, Bo-Yuan Huang, Nian-Ze Lee, Thomas Lemberger
|
| 2025 |
A* |
conf |
AAAI
Zhengyang Lu, Po-Chun Chien, Nian-Ze Lee, Vijay Ganesh
|
| 2025 |
— |
conf |
CAV (1)
Zhengyang Lu, Po-Chun Chien, Nian-Ze Lee, Arie Gurfinkel, Vijay Ganesh
|
| 2024 |
J |
jnl |
Proc. ACM Softw. Eng.
Dirk Beyer, Po-Chun Chien, Marek Jankola, Nian-Ze Lee
|
| 2024 |
J |
jnl |
CoRR
Dirk Beyer, Po-Chun Chien, Nian-Ze Lee
|
| 2024 |
— |
conf |
SPIN
Dirk Beyer, Po-Chun Chien, Nian-Ze Lee
|
| 2024 |
A* |
conf |
ASE
Dirk Beyer, Po-Chun Chien, Marek Jankola
|
| 2024 |
— |
conf |
TACAS (3)
Zsófia Ádám, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee, Nils Sirrenberg
|
| 2024 |
— |
conf |
TACAS (3)
Daniel Baier, Dirk Beyer, Po-Chun Chien, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Martin Spiessl, Henrik Wachowitz, Philipp Wendler
|
| 2024 |
— |
conf |
TACAS (3)
Po-Chun Chien, Nian-Ze Lee
|
| 2024 |
— |
conf |
VSTTE
Salih Ates, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee
|
| 2024 |
J |
jnl |
CoRR
Salih Ates, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee
|
| 2024 |
J |
jnl |
CoRR
Daniel Baier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, Philipp Wendler
|
| 2024 |
— |
conf |
FM (2)
Daniel Baier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, Philipp Wendler
|
| 2023 |
— |
conf |
TACAS (2)
Dirk Beyer, Po-Chun Chien, Nian-Ze Lee
|
| 2023 |
A* |
conf |
ASE
Dirk Beyer, Po-Chun Chien, Nian-Ze Lee
|
| 2021 |
A |
conf |
ICCAD
Yu-Neng Wang, Yun-Rong Luo, Po-Chun Chien, Ping-Lun Wang, Hao-Ren Wang, Wan-Hsuan Lin, Jie-Hong Roland Jiang, Chung-Yang Ric Huang
|
| 2021 |
A |
conf |
DATE
Shubham Rai, Walter Lau Neto, Yukio Miyasaka, Xinpei Zhang, Mingfei Yu, Qingyang Yi, Masahiro Fujita, Guilherme B. Manske, Matheus F. Pontes, Leomar S. da Rosa, Marilton S. de Aguiar, Paulo F. Butzen, Po-Chun Chien, Yu-Shan Huang, Hoa-Ren Wang, Jie-Hong R. Jiang, Jiaqi Gu, Zheng Zhao, Zixuan Jiang, David Z. Pan, Brunno A. Abreu, Isac de Souza Campos, Augusto Andre Souza Berndt, Cristina Meinhardt, Jônata Tyska Carvalho, Mateus Grellert, Sergio Bampi, Aditya Lohana, Akash Kumar, Wei Zeng, Azadeh Davoodi, Rasit Onur Topaloglu, Yuan Zhou, Jordan Dotzel, Yichi Zhang, Hanyu Wang, Zhiru Zhang, Valerio Tenace, Pierre-Emmanuel Gaillardon, Alan Mishchenko, Satrajit Chatterjee
|
| 2020 |
J |
jnl |
CoRR
Shubham Rai, Walter Lau Neto, Yukio Miyasaka, Xinpei Zhang, Mingfei Yu, Qingyang Yi, Masahiro Fujita, Guilherme B. Manske, Matheus F. Pontes, Leomar S. da Rosa Jr., Marilton S. de Aguiar, Paulo F. Butzen, Po-Chun Chien, Yu-Shan Huang, Hoa-Ren Wang, Jie-Hong R. Jiang, Jiaqi Gu, Zheng Zhao, Zixuan Jiang, David Z. Pan, Brunno A. Abreu, Isac de Souza Campos, Augusto Andre Souza Berndt, Cristina Meinhardt, Jônata Tyska Carvalho, Mateus Grellert, Sergio Bampi, Aditya Lohana, Akash Kumar, Wei Zeng, Azadeh Davoodi, Rasit Onur Topaloglu, Yuan Zhou, Jordan Dotzel, Yichi Zhang, Hanyu Wang, Zhiru Zhang, Valerio Tenace, Pierre-Emmanuel Gaillardon, Alan Mishchenko, Satrajit Chatterjee
|
| 2020 |
A* |
conf |
DAC
Po-Chun Chien, Jie-Hong R. Jiang
|
| 2019 |
A |
conf |
ICCAD
Po-Chun Chien, Jie-Hong R. Jiang
|