Jürgen Ruf

发表

Wolfgang Rosenstiel, Thomas Kropf, Djones Lettnin, 2012, MBMV.

Wolfgang Rosenstiel, Thomas Kropf, Jürgen Ruf, 2000, Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future.

Jürgen Ruf, Prakash Mohan Peranandam, Jürgen Ruf, 2003, MBMV.

Wolfgang Rosenstiel, Thomas Kropf, Djones Lettnin, 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

Wolfgang Müller, Stephan Flake, Jürgen Ruf, 2008 .

Wolfgang Rosenstiel, Thomas Kropf, Djones Lettnin, 2008, 2008 Design, Automation and Test in Europe.

Thomas Kropf, Jürgen Ruf, Jochen Klose, 2002, 15th International Symposium on System Synthesis, 2002..

Wolfgang Rosenstiel, Roland J. Weiss, Thomas Kropf, 2006, PDMC@ICALP.

Wolfgang Rosenstiel, Thomas Kropf, Thomas Greiner, 2014, MBMV.

Thomas Kropf, Jürgen Ruf, 1997, Proceedings European Design and Test Conference. ED & TC 97.

Wolfgang Rosenstiel, Thomas Kropf, Patrick Heckeler, 2014, MBMV.

Wolfgang Rosenstiel, Thomas Kropf, Djones Lettnin, 2011, MBMV.

Thomas Kropf, Jürgen Ruf, Jürgen Ruf, 2001, Informationstechnik Tech. Inform..

Wolfgang Rosenstiel, Thomas Kropf, Thomas Greiner, 2014, ICCSA.

Andreas Krebs, Jürgen Ruf, 2003, J. Univers. Comput. Sci..

Wolfgang Rosenstiel, Roland J. Weiss, Thomas Kropf, 2008, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

Wolfgang Reif, Gerhard Schellhorn, Jürgen Ruf, 2001, J. Univers. Comput. Sci..

Wolfgang Rosenstiel, Thomas Kropf, Jürgen Ruf, 2017 .

Wolfgang Rosenstiel, Thomas Kropf, Djones Lettnin, 2014, 2014 15th Latin American Test Workshop - LATW.

Wolfgang Rosenstiel, Thomas Kropf, Patrick Heckeler, 2013, MBMV.

Thomas Kropf, Jürgen Ruf, 1999, MBMV.

Thomas Kropf, Jürgen Ruf, Jürgen Ruf, 2002, Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002.

Wolfgang Rosenstiel, Thomas Kropf, Jörg Behrend, 2007, FDL.

Wolfgang Rosenstiel, Roland J. Weiss, Thomas Kropf, 2007, MBMV.

Wolfgang Rosenstiel, Roland J. Weiss, Thomas Kropf, 2004, Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940).

Thomas Kropf, Jürgen Ruf, 2003, Formal Methods Syst. Des..

Wolfgang Reif, Gerhard Schellhorn, Jürgen Ruf, 2000, FMCAD.

Thomas Kropf, Jürgen Ruf, 2002, MBMV.

Wolfgang Rosenstiel, Roland J. Weiss, Thomas Kropf, 2011, Softwaretechnik-Trends.

Wolfgang Rosenstiel, Thomas Kropf, Thomas Greiner, 2015, 2015 41st Euromicro Conference on Software Engineering and Advanced Applications.

Wolfgang Müller, Stephan Flake, Jürgen Ruf, 2000, MBMV.

Wolfgang Rosenstiel, Thomas Kropf, Djones Lettnin, 2011, 2011 Design, Automation & Test in Europe.

Markus M. Helms, Jürgen Ruf, T. Rower, 2009, IBM J. Res. Dev..

Wolfgang Rosenstiel, Thomas Kropf, Patrick Heckeler, 2014, SEFM.

Wolfgang Rosenstiel, Roland J. Weiss, Thomas Kropf, 2004, SoftSpez Final Report.

Wolfgang Rosenstiel, Roland J. Weiss, Thomas Kropf, 2010, FM+AM.

Wolfgang Rosenstiel, Thomas Kropf, Djones Lettnin, 2015, J. Electron. Test..

Wolfgang Rosenstiel, Roland J. Weiss, Thomas Kropf, 2005, FDL.

Wolfgang Rosenstiel, Thomas Kropf, Alexander Grünhage, 2014 .

Wolfgang Müller, Christian Geiger, Volker Paelke, 2001, Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises. WET ICE 2001.

Wolfgang Rosenstiel, Roland J. Weiss, Thomas Kropf, 2005 .

Thomas Kropf, Jürgen Ruf, 2000, DATE '00.

Jürgen Ruf, Jürgen Ruf, 2001, J. Univers. Comput. Sci..

Wolfgang Rosenstiel, Thomas Kropf, Djones Lettnin, 2007, IEEE Computer Society Annual Symposium on VLSI (ISVLSI '07).

Wolfgang Rosenstiel, Roland J. Weiss, Thomas Kropf, 2006, MBMV.

Thomas Kropf, Jürgen Ruf, Jürgen Ruf, 1999, CHARME.

Thomas Kropf, Oliver Bringmann, Jörg Behrend, 2014, MBMV.

Wolfgang Rosenstiel, Thomas Kropf, Jürgen Ruf, 2015, SEFM.

Wolfgang Rosenstiel, Thomas Kropf, Jürgen Ruf, 2003, FDL.

Thomas Kropf, Klaus Schneider, Jürgen Ruf, 1998 .

Wolfgang Rosenstiel, Thomas Kropf, Jürgen Ruf, 2012 .

Wolfgang Rosenstiel, Thomas Kropf, Jürgen Ruf, 2001, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.

Thomas Kropf, Jürgen Ruf, Jürgen Ruf, 1997, CHARME.

Wolfgang Rosenstiel, Roland J. Weiss, Thomas Kropf, 2006, 2006 43rd ACM/IEEE Design Automation Conference.

Wolfgang Rosenstiel, Thomas Kropf, Jürgen Ruf, 2000, Proceedings IEEE International High-Level Design Validation and Test Workshop (Cat. No.PR00786).

Ulrich Pape, Wolfgang Müller, Stephan Flake, 2004, SoftSpez Final Report.

Wolfgang Rosenstiel, Roland J. Weiss, Thomas Kropf, 2006 .

Jürgen Ruf, Rainer Dorsch, 2007, MBMV.

Wolfgang Rosenstiel, Thomas Kropf, Alexander Viehl, 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

Wolfgang Rosenstiel, Roland J. Weiss, Thomas Kropf, 2005, Tenth IEEE International High-Level Design Validation and Test Workshop, 2005..

Wolfgang Rosenstiel, Wolfgang Müller, Thomas Kropf, 2001, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.

Wolfgang Rosenstiel, Roland J. Weiss, Thomas Kropf, 2006, MBMV.

Wolfgang Rosenstiel, Wolfgang H. Müller, Jürgen Ruf, 2003 .

Wolfgang Rosenstiel, Thomas Kropf, Bastian Schlich, 2013, MBMV.

Thomas Kropf, Jürgen Ruf, Jürgen Ruf, 1998, FMCAD.

Thomas Kropf, Klaus Schneider, Jürgen Ruf, 1998, MBMV.

Wolfgang Rosenstiel, Wolfgang H. Müller, Jürgen Ruf, 2003 .