Martin Keim

68 papers A* 1A 19B 16C 1Misc 11Journal 7Unranked 12
YearRankTypeTitle / Venue / Authors
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