Embedded Robotic Solution: Integrating Robotics Interfaces with a High-Level CPU in a System-on-a-Chip. - Florian Eibensteiner; Rainer Findenig; Jürgen Tossold; Wilfried Kubinger; Josef Langer; Markus Pfaff (EUROCAST, 2007)

SynPSL: Behavioral Synthesis of PSL Assertions. - Florian Eibensteiner; Rainer Findenig; Markus Pfaff (EUROCAST, 2009)

Optimizing the Hardware Usage of Parallel FSMs. - Rainer Findenig; Florian Eibensteiner; Markus Pfaff (EUROCAST, 2009)

Model reduction techniques for the formal verification of hardware dependent software. - Wolfgang Ecker; Volkan Esen; Rainer Findenig; Thomas Steininger; Michael Velten (HLDVT, 2010)

Fast and accurate UML State Chart modeling using TLM+ control flow abstraction. - Rainer Findenig; Thomas Leitner; Michael Velten; Wolfgang Ecker (HLDVT, 2010)

State chart refinement validation from approximately timed to cycle callable models. - Rainer Findenig; Wolfgang Ecker (SoC, 2010)

Single-source hardware modeling of different abstraction levels with State Charts. - Rainer Findenig; Thomas Leitner; Wolfgang Ecker (HLDVT, 2012)

Transaction-Level Modeling and Refinement Using State Charts. - Rainer Findenig; Thomas Leitner; Wolfgang Ecker (EUROCAST (1), 2013)

Design centric modeling of digital hardware. - Johannes Schreiner; Rainer Findenig; Wolfgang Ecker (HLDVT, 2016)

Python based framework for HDSLs with an underlying formal semantics: (Invited paper). - Keerthikumara Devarajegowda; Johannes Schreiner; Rainer Findenig; Wolfgang Ecker (ICCAD, 2017)

Lego Radar Train - An Educational Workshop on Radar-based Advanced Driver Assistance Systems. - Michael Gerstmair; Martin Gschwandtner; Rainer Findenig; Alexander Melzer; Mario Huemer (EUSIPCO, 2020)

Miniaturized Advanced Driver Assistance Systems: A Low-Cost Educational Platform for Advanced Driver Assistance Systems and Autonomous Driving. - Michael Gerstmair; Martin Gschwandtner; Rainer Findenig; Oliver Lang; Alexander Melzer; Mario Huemer (IEEE Signal Process. Mag., 2021)