Institut für Rechnerarchitektur und Parallelrechner

Prof. Dr. Wolfgang J. Paul

Universität des Saarlandes		Gebäude 45
FR 6.2 Informatik		Raum 305
Postfach 151150		Tel.: +49 (0)681 302-2436
D-66041 Saarbrücken		Fax: +49 (0)681 302-4290
Germany		eMail: wjp@cs.uni-sb.de

Lebenslauf

1951		Geboren
1970 - 1972		Informatikstudium in Saarbrücken
1972		Diplom
1973		Promotion bei Prof. G. Hotz
1974 - 1976		Post Doc an der Cornell University
1976 - 1982		Wissenschaftlicher Rat und Professor für Mathematik in Bielefeld
1982		Gesellenbrief als Koch
1982 - 1986		Research Staff Member am IBM-Forschungslabor in San Jose
1986		IBM Invention Achievement Award
1986		Professor in Saarbrücken
1987		Leibniz-Preis
1987 - 1991		Kommissarischer Leiter des Universitätsrechenzentrums
1990 - 1992		Prodekan des Fachbereichs Informatik
1998 - 2000		Dekan der Technischen Fakultät
2004		Ehrenpromotion durch die Khabarovsk State University of Technology (Russland)

Forschungsinteressen

Hardware Design

Computer Architecture

Formal Verification of Processors and Microkernels

ausgewählte Publikationen (zeige alle Publikationen)

Ernie Cohen and Eyad Alkassar and Vladimir Boyarinov and Markus Dahlweid and Ulan Degenbaev and Mark Hillebrand and Bruno Langenstein and Dirk Leinenbach and Micha{\l} Moskal and Steven Obua and Wolfgang Paul and Hristo Pentchev and Elena Petrova and Thomas Santen and Norbert Schirmer and Sabine Schmaltz and Wolfram Schulte and Andrey Shadrin and Stephan Tobies and Alexandra Tsyban and Sergey Tverdyshev		BibTeX
Invariants, Modularity, and Rights.
In Perspectives of Systems Informatics (PSI 2009),
Lecture Notes in Computer Science, Springer, 2009.

Knapp, Steffen and Paul, Wolfgang J.	EE	BibTeX
Pervasive Verification of Distributed Realtime Systems.
In M. Broy, J. Grünbauer, T. Hoare, editors, Software System Reliability and Security,
NATO Security Through Science Series. Sub-Series: Information and Communication Vol.9, IOS Press, 2007.
ISBN 978-1-58603-731

Schmittler, J. and Woop, S. and Wagner, D. and Paul, W.J. and Slusallek, P.	EE	BibTeX
Realtime Ray Tracing of Dynamic Scenes on an FPGA Chip.
In Akenine-Möller, T. and McCool, M., editors, Graphics Hardware 2004,
Eurographics Association, 2004.

Beyer, S. and Jacobi, C. and Kröning, D. and Leinenbach, D. and Paul, W.J.	EE	BibTeX
Instantiating uninterpreted functional units and memory system: functional verification of the VAMP.
In Geist, D. and Tronci, E., editors, CHARME 2003,
volume 2860 of LNCS, pages 51-65, Springer, 2003.

Bach, P. and Bosch, M. and Fischer, J. and Lichtenau, C. and Paul, W.J. and Röhrig, J.	EE	BibTeX
Real PRAM Programming.
In Europar 2002,
Paderborn, Germany
volume 2400 of LNCS, Springer, 2002.

Even, G. and Paul, W.J.	EE	BibTeX
On the design of IEEE compliant floating point units.
volume 49 of IEEE Transactions On Computers, pages 398--413, IEEE Computer Society, 2000.

Müller, S.M. and Paul, W.J.	EE	BibTeX
Computer Architecture, Complexity and Correctness.
Springer Verlag, 2000.
ISBN 3-540-67481-0