Paul Roessler

List of publications from the DBLP Bibliography Server - FAQ

2006

2 EE Tilman Glökler, Jason Baumgartner, Devi Shanmugam, A. E. (Rick) Seigler, Gary A. Van Huben, Barinjato Ramanandray, Hari Mony, Paul Roessler: Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning. FMCAD 2006: 3-10

2005

1 EE Rebecca M. Gott, Jason Baumgartner, Paul Roessler, S. I. Joe: Functional formal verification on designs of pSeries microprocessors and communication subsystems. IBM Journal of Research and Development 49(4-5): 565-580 (2005)

2006
2	EE	Tilman Glökler, Jason Baumgartner, Devi Shanmugam, A. E. (Rick) Seigler, Gary A. Van Huben, Barinjato Ramanandray, Hari Mony, Paul Roessler: Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning. FMCAD 2006: 3-10
2005
1	EE	Rebecca M. Gott, Jason Baumgartner, Paul Roessler, S. I. Joe: Functional formal verification on designs of pSeries microprocessors and communication subsystems. IBM Journal of Research and Development 49(4-5): 565-580 (2005)

Coauthor Index

1	Jason Baumgartner	[1] [2]
2	Tilman Glökler	[2]
3	Rebecca M. Gott	[1]
4	Gary A. Van Huben	[2]
5	S. I. Joe	[1]
6	Hari Mony	[2]
7	Barinjato Ramanandray	[2]
8	A. E. (Rick) Seigler (Adrian E. Seigler)	[2]
9	Devi Shanmugam	[2]