Rainer Findenig

12 papers A 1Journal 1Unranked 10

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Miniaturized Advanced Driver Assistance Systems: A Low-Cost Educational Platform for Advanced Driver Assistance Systems and Autonomous Driving. IEEE Signal Process. Mag. Michael Gerstmair, Martin Gschwandtner, Rainer Findenig, Oliver Lang, Alexander Melzer, Mario Huemer
2020	—	`conf`	Lego Radar Train - An Educational Workshop on Radar-based Advanced Driver Assistance Systems. EUSIPCO Michael Gerstmair, Martin Gschwandtner, Rainer Findenig, Alexander Melzer, Mario Huemer
2017	A	`conf`	Python based framework for HDSLs with an underlying formal semantics: (Invited paper). ICCAD Keerthikumara Devarajegowda, Johannes Schreiner, Rainer Findenig, Wolfgang Ecker
2016	—	`conf`	Design centric modeling of digital hardware. HLDVT Johannes Schreiner, Rainer Findenig, Wolfgang Ecker
2013	—	`conf`	Transaction-Level Modeling and Refinement Using State Charts. EUROCAST (1) Rainer Findenig, Thomas Leitner, Wolfgang Ecker
2012	—	`conf`	Single-source hardware modeling of different abstraction levels with State Charts. HLDVT Rainer Findenig, Thomas Leitner, Wolfgang Ecker
2010	—	`conf`	Fast and accurate UML State Chart modeling using TLM HLDVT Rainer Findenig, Thomas Leitner, Michael Velten, Wolfgang Ecker
2010	—	`conf`	Model reduction techniques for the formal verification of hardware dependent software. HLDVT Wolfgang Ecker, Volkan Esen, Rainer Findenig, Thomas Steininger, Michael Velten
2010	—	`conf`	State chart refinement validation from approximately timed to cycle callable models. SoC Rainer Findenig, Wolfgang Ecker
2009	—	`conf`	Optimizing the Hardware Usage of Parallel FSMs. EUROCAST Rainer Findenig, Florian Eibensteiner, Markus Pfaff
2009	—	`conf`	SynPSL: Behavioral Synthesis of PSL Assertions. EUROCAST Florian Eibensteiner, Rainer Findenig, Markus Pfaff
2007	—	`conf`	Embedded Robotic Solution: Integrating Robotics Interfaces with a High-Level CPU in a System-on-a-Chip. EUROCAST Florian Eibensteiner, Rainer Findenig, Jürgen Tossold, Wilfried Kubinger, Josef Langer, Markus Pfaff