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

Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski