| 2025 |
B |
conf |
ETS
Andy Chen, Vianney Choserot, Munish Kumar, Khushal Gelda, Shreyas Pramod Dixit, Wei Zou, Jongsin Yun, Harshitha Kodali, Albert Au, Lori Schramm, Martin Keim
|
| 2025 |
B |
conf |
ETS
Anshuman Chandra, Chi-Chun Yang, Quoc Phan, Martin Keim
|
| 2025 |
A |
conf |
ITC
Sebastian Huhn, Matthias Kampmann, Jan Burchard, Reinhard Meier, Kacper Czerniawski, Lori Schramm, Sandipan Sharma, Nikita Naresh, Wilson Pradeep, Prachi Sinha, Mayank Parasrampuria, Jonathan Gaudet, Martin Keim
|
| 2025 |
B |
conf |
ETS
Sina Bakhtavari Mamaghani, Jongsin Yun, Martin Keim, Mehdi Baradaran Tahoori
|
| 2025 |
— |
conf |
ATS
Sina Bakhtavari Mamaghani, Jongsin Yun, Martin Keim, Mehdi B. Tahoori
|
| 2025 |
B |
conf |
ETS
Vinayak Bharat Naik, Gregory Billus, Amit Kumar Shukla, Andre Vogel, Veit Kriegerstein, Patrick Scharf, Venkata Siva Komma, Johannes Mueller, Thomas Merbeth, Ralf Flemming, Ingolf Lorenz, Muthu Kumaran Nambi, Ee Ee Yeoh, Hemavathi Chaya, Siddharth Gupta, Yentsai Huang, Sushma Sambatur, Joerg Winkler, Tom Andre, Shane Hollmer, Steven Soss, Jongsin Yun, Wei Zou, Harshitha Kodali, Luc Romain, Albert Au, Lori Schramm, Martin Keim
|
| 2025 |
Misc |
conf |
VTS
Wei Zou, Artur Pogiel, Albert Au, Martin Keim
|
| 2025 |
A |
conf |
ITC
Jan Burchard, Matthias Kampmann, Ayush Patel, Marta Stepniewska, Przemyslaw Szymanski, Wojciech Janiszewski, Jean-François Côté, Michal Olejarz, Olga Przybysz, Lori Schramm, Jonathan Gaudet, Martin Keim
|
| 2025 |
B |
conf |
ETS
Anshuman Chandra, Nir Sever, Martin Keim
|
| 2024 |
B |
conf |
ETS
Luc Romain, Paul-Patrick Nordmann, Benoit Nadeau-Dostie, Lori Schramm, Martin Keim
|
| 2024 |
A |
conf |
ITC
Jaehoon Lee, HyeonUk Son, Seohyun Kang, Dahyun Kang, Dongkwan Han, Jongsin Yun, Artur Pogiel, Etienne Racine, Krzysztof Jurga, Lori Schramm, Martin Keim
|
| 2024 |
A |
conf |
ITC
Jonathan Gaudet, Jan Burchard, Matthias Kampmann, Jean-François Côté, Tim Callahan, Hung Ho Chai, Ivy Ee Hsia Lim, Lori Schramm, Olga Przybysz, Marta Stepniewska, Sascha Ochsenknecht, Michal Olejarz, Martin Keim
|
| 2024 |
Misc |
conf |
VTS
Erik Jan Marinissen, Vineet Pancholi, Po-Yao Chuang, Martin Keim
|
| 2024 |
A |
conf |
ITC
Sina Bakhtavari Mamaghani, Jongsin Yun, Martin Keim, Mehdi B. Tahoori
|
| 2024 |
B |
conf |
ETS
Jongsin Yun, Sina Bakhtavari Mamaghani, Mehdi B. Tahoori, Christopher Münch, Martin Keim
|
| 2024 |
Misc |
conf |
VTS
Sina Bakhtavari Mamaghani, Jongsin Yun, Martin Keim, Mehdi B. Tahoori
|
| 2024 |
B |
conf |
ETS
Erik Jan Marinissen, Adrian Evans, Po-Yao Chuang, Martin Keim, Anshuman Chandra
|
| 2024 |
A |
conf |
ITC
Sandeep Kumar Goel, Ankita Patidar, Moiz Khan, Frank Lee, Anshuman Chandra, Martin Keim, Naim Lemar, Jonathan Gaudet, Quoc Phan, Vidya Neerkundar
|
| 2024 |
B |
conf |
ETS
Michele Portolan, Martin Keim, J. F. Coté, Hans-Martin Von Staud
|
| 2023 |
Misc |
conf |
VTS
Michele Portolan, Martin Keim, Jeff Rearick, Heiko Ehrenberg
|
| 2023 |
A |
conf |
DATE
Sina Bakhtavari Mamaghani, Christopher Münch, Jongsin Yun, Martin Keim, Mehdi Baradaran Tahoori
|
| 2023 |
A |
conf |
ITC
Cyrille Dray, Khushal Gelda, Benoit Nadeau-Dostie, Wei Zou, Luc Romain, Jongsin Yun, Harshitha Kodali, Lori Schramm, Martin Keim
|
| 2022 |
J |
jnl |
IEEE Des. Test
Jean-François Côté, Jeff Fan, Sean Shen, Givargis Danialy, Marcin Lipinski, Michael Garbers, Wu Yang, Martin Keim, Andreas Glowatz, Joe Reynick, Ayush Patel, Joanna Michna
|
| 2022 |
A |
conf |
ITC
Michael Laisne, Alfred L. Crouch, Michele Portolan, Martin Keim, Hans Martin von Staudt, Bradford G. Van Treuren, Jeff Rearick, Songlin Zuo
|
| 2022 |
Misc |
conf |
VTS
Christopher Münch, Jongsin Yun, Martin Keim, Mehdi B. Tahoori
|
| 2021 |
B |
conf |
ETS
Bartosz Grzelak, Martin Keim, Artur Pogiel, Janusz Rajski, Jerzy Tyszer
|
| 2021 |
B |
conf |
ETS
Hans Martin von Staudt, Bradford G. Van Treuren, Jeff Rearick, Michele Portolan, Martin Keim
|
| 2021 |
B |
conf |
ETS
Christopher Münch, Jongsin Yun, Martin Keim, Mehdi B. Tahoori
|
| 2020 |
A |
conf |
ITC
Haiying Ma, Ligang Lu, Haitao Qian, Jing Han, Xin Wen, Fanjin Meng, Rahul Singhal, Martin Keim, Yu Huang, Wu Yang
|
| 2020 |
A |
conf |
ITC
Manu Baby, Bernd Büttner, Piet Engelke, Ulrike Pfannkuchen, Reinhard Meier, Jonathan Gaudet, Jean-François Côté, Givargis Danialy, Martin Keim, Lori Schramm
|
| 2020 |
B |
conf |
ETS
Michele Portolan, Jeff Rearick, Martin Keim
|
| 2020 |
B |
conf |
ETS
Jongsin Yun, Benoit Nadeau-Dostie, Martin Keim, Cyrille Dray, El Mehdi Boujamaa
|
| 2020 |
A |
conf |
ITC
Jongsin Yun, Benoit Nadeau-Dostie, Martin Keim, Lori Schramm, Cyrille Dray, El Mehdi Boujamaa, Khushal Gelda
|
| 2020 |
A |
conf |
ITC
Mike Laisne, Alfred L. Crouch, Michele Portolan, Martin Keim, Hans Martin von Staudt, M. Abdalwahab, Bradford G. Van Treuren, Jeff Rearick
|
| 2018 |
— |
conf |
ITC-Asia
Venkat Yellapragada, Suresh Raman, Banadappa Shivaray, Luc Romain, Benoit Nadeau-Dostie, Martin Keim, Jean-Francois Cote, Albert Au, Giri Podichetty, Ashok Anbalan
|
| 2018 |
Misc |
conf |
VTS
M. Casarsa, Gurgen Harutyunyan, Kaitlyn Chen, Ramesh Sharma, Giri Podichetty, Martin Keim, Sreejit Chakravarty, Ramesh C. Tekumalla
|
| 2017 |
— |
conf |
ITC-Asia
Jais Abraham, Uttam Garg, Glenn Colón-Bonet, Ramesh Sharma, Chennian Di, Benoit Nadeau-Dostie, Etienne Racine, Martin Keim
|
| 2017 |
J |
jnl |
Computer
Al Crouch, Michael Laisne, Martin Keim
|
| 2015 |
A |
conf |
ITC
Tassanee Payakapan, Senwen Kan, Ken Pham, Kathy Yang, Jean-Francois Cote, Martin Keim, Jennifer Dworak
|
| 2014 |
J |
jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Friedrich Hapke, Wilfried Redemund, Andreas Glowatz, Janusz Rajski, Michael Reese, Marek Hustava, Martin Keim, Juergen Schloeffel, Anja Fast
|
| 2014 |
— |
conf |
Aspekte der Technischen Informatik
Martin Keim
|
| 2013 |
C |
conf |
DSD
Martin Keim, Tom Waayers, Richard Morren, Friedrich Hapke, Rene Krenz-Baath
|
| 2013 |
J |
jnl |
IEEE Des. Test
Martin Keim
|
| 2012 |
B |
conf |
ETS
Xinli Gu, Jeff Rearick, Bill Eklow, Martin Keim, Jun Qian, Artur Jutman, Krishnendu Chakrabarty, Erik Larsson
|
| 2008 |
Misc |
conf |
VTS
Stefan Spinner, Ilia Polian, Piet Engelke, Bernd Becker, Martin Keim, Wu-Tung Cheng
|
| 2008 |
A |
conf |
ITC
Manish Sharma, Brady Benware, Lei Ling, David Abercrombie, Lincoln Lee, Martin Keim, Huaxing Tang, Wu-Tung Cheng, Ting-Pu Tai, Yi-Jung Chang, Reinhart Lin, Albert Mann
|
| 2008 |
A |
conf |
ITC
Stefan Hillebrecht, Ilia Polian, Piet Engelke, Bernd Becker, Martin Keim, Wu-Tung Cheng
|
| 2007 |
B |
conf |
ETS
Huaxing Tang, Manish Sharma, Janusz Rajski, Martin Keim, Brady Benware
|
| 2007 |
— |
conf |
ATS
Wu Yang, Wu-Tung Cheng, Yu Huang, Martin Keim, Randy Klingenberg
|
| 2007 |
Misc |
conf |
VTS
Chris Schuermyer, Jewel Pangilinan, Jay Jahangiri, Martin Keim, Janusz Rajski, Brady Benware
|
| 2006 |
A |
conf |
ITC
Martin Keim, Nagesh Tamarapalli, Huaxing Tang, Manish Sharma, Janusz Rajski, Chris Schuermyer, Brady Benware
|
| 2004 |
A |
conf |
ITC
Brady Benware, Cam Lu, John Van Slyke, Prabhu Krishnamurthy, Robert Madge, Martin Keim, Mark Kassab, Janusz Rajski
|
| 2003 |
J |
jnl |
Formal Methods Syst. Des.
Martin Keim, Rolf Drechsler, Bernd Becker, Michael Martin, Paul Molitor
|
| 2003 |
— |
— |
Martin Keim
|
| 2002 |
— |
conf |
IOLTW
Ilia Polian, Martin Keim, Nicolai Mallig, Bernd Becker
|
| 2001 |
J |
jnl |
J. Electron. Test.
Martin Keim, Nicole Drechsler, Rolf Drechsler, Bernd Becker
|
| 2000 |
— |
conf |
ETW
Piet Engelke, Bernd Becker, Martin Keim
|
| 1999 |
— |
conf |
ETW
Martin Keim, Ilia Polian, Harry Hengster, Bernd Becker
|
| 1999 |
— |
conf |
ASP-DAC
Martin Keim, Nicole Drechsler, Bernd Becker
|
| 1999 |
J |
jnl |
J. Electron. Test.
Bernd Becker, Martin Keim, Rolf Krieger
|
| 1998 |
— |
conf |
ISMVL
Martin Keim, Nicole Drechsler, Rolf Drechsler, Bernd Becker
|
| 1997 |
— |
conf |
ISMVL
Rolf Drechsler, Martin Keim, Bernd Becker
|
| 1997 |
Misc |
conf |
VTS
Can Ökmen, Martin Keim, Rolf Krieger, Bernd Becker
|
| 1997 |
Misc |
conf |
VTS
Martin Keim, Michael Martin, Bernd Becker, Rolf Drechsler, Paul Molitor
|
| 1997 |
— |
conf |
ISMVL
Rolf Drechsler, Martin Keim, Bernd Becker
|
| 1996 |
Misc |
conf |
VTS
Martin Keim, Bernd Becker, Birgitta Stenner
|
| 1995 |
A* |
conf |
DAC
Rolf Krieger, Bernd Becker, Martin Keim
|
| 1994 |
A |
conf |
ITC
Rolf Krieger, Bernd Becker, Martin Keim
|