Rainer Findenig

	2010
5		Wolfgang Ecker, Volkan Esen, Rainer Findenig, Thomas Steininger, Michael Velten: Model reduction techniques for the formal verification of hardware dependent software. HLDVT 2010: 148-153
4		Rainer Findenig, Thomas Leitner, Michael Velten, Wolfgang Ecker: Fast and accurate UML State Chart modeling using TLM+ control flow abstraction. HLDVT 2010: 97-102
	2009
3		Rainer Findenig, Florian Eibensteiner, Markus Pfaff: Optimizing the Hardware Usage of Parallel FSMs. EUROCAST 2009: 63-68
2		Florian Eibensteiner, Rainer Findenig, Markus Pfaff: SynPSL: Behavioral Synthesis of PSL Assertions. EUROCAST 2009: 69-74
	2007
1		Florian Eibensteiner, Rainer Findenig, Jürgen Tossold, Wilfried Kubinger, Josef Langer, Markus Pfaff: Embedded Robotic Solution: Integrating Robotics Interfaces with a High-Level CPU in a System-on-a-Chip. EUROCAST 2007: 1017-1024

Coauthor Index

1	Wolfgang Ecker	[4] [5]
2	Florian Eibensteiner	[1] [2] [3]
3	Volkan Esen	[5]
4	Wilfried Kubinger	[1]
5	Josef Langer	[1]
6	Thomas Leitner	[4]
7	Markus Pfaff	[1] [2] [3]
8	Thomas Steininger	[5]
9	Jürgen Tossold	[1]
10	Michael Velten	[4] [5]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page