Rainer Findenig

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 4

Top Topics

Grand Challenge

Abstraction Levels

Advanced Driver Assistance Systems

Formal Semantics

Top Venues

IEEE Signal Process. Mag.

Publications

Michael Gerstmair, Martin Gschwandtner, Rainer Findenig, Oliver Lang, Alexander Melzer, Mario Huemer
Miniaturized Advanced Driver Assistance Systems: A Low-Cost Educational Platform for Advanced Driver Assistance Systems and Autonomous Driving. IEEE Signal Process. Mag. 38 (3) (2021)
Michael Gerstmair, Martin Gschwandtner, Rainer Findenig, Alexander Melzer, Mario Huemer
Lego Radar Train - An Educational Workshop on Radar-based Advanced Driver Assistance Systems. EUSIPCO (2020)
Keerthikumara Devarajegowda, Johannes Schreiner, Rainer Findenig, Wolfgang Ecker
Python based framework for HDSLs with an underlying formal semantics: (Invited paper). ICCAD (2017)
Johannes Schreiner, Rainer Findenig, Wolfgang Ecker
Design centric modeling of digital hardware. HLDVT (2016)
Rainer Findenig, Thomas Leitner, Wolfgang Ecker
Transaction-Level Modeling and Refinement Using State Charts. EUROCAST (1) (2013)
Rainer Findenig, Thomas Leitner, Wolfgang Ecker
Single-source hardware modeling of different abstraction levels with State Charts. HLDVT (2012)
Wolfgang Ecker, Volkan Esen, Rainer Findenig, Thomas Steininger, Michael Velten
Model reduction techniques for the formal verification of hardware dependent software. HLDVT (2010)
Rainer Findenig, Thomas Leitner, Michael Velten, Wolfgang Ecker
control flow abstraction. HLDVT (2010)
Rainer Findenig, Wolfgang Ecker
State chart refinement validation from approximately timed to cycle callable models. SoC (2010)
Florian Eibensteiner, Rainer Findenig, Markus Pfaff
SynPSL: Behavioral Synthesis of PSL Assertions. EUROCAST (2009)
Rainer Findenig, Florian Eibensteiner, Markus Pfaff
Optimizing the Hardware Usage of Parallel FSMs. EUROCAST (2009)
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)