Person

Dr. Rainer Leonhard Findenig

ehemalige/r Mitarbeiter/in

2012
R. Findenig, T. Steininger, T. Leitner - Combining Various Meta-Models for the Generation of Control Structures in Hardware - Proceedings of MeCoES - Metamodelling and Code Generation for Embedded Systems,… mehr
2012
R. Findenig, T. Leitner, W. Ecker - Single-Source Hardware Modeling of Different Abstraction Levels with State Charts - High Level Design Validation and Test Workshop (HLDVT) 2012, Huntington Beach, Vereinigte… mehr
2011
R. Findenig, T. Leitner, V. Esen, W. Ecker - Consistent SystemC and VHDL Code Generation from State Charts for Virtual Prototyping and RTL Synthesis - Proceedings of DVCon 2011, San Jose, CA, Vereinigte… mehr
2011
W. Ecker, V. Esen, R. Findenig, T. Leitner, M. Velten - Comparison of TLM2-Quantum Keeping and TLM+-Resource Modeling with Regard to Timing in Virtual Prototypes - Proceedings of DVCon 2011, San Jose,… mehr
2010
R. Findenig, T. Leitner, M. Velten, W. Ecker - Transaction-Level State Charts in UML and SystemC with Zero-Time Evaluation - Proceedings of DVCon 2010, San Jose, CA, Vereinigte Staaten von Amerika, 2010,… mehr
2010
R. Findenig, T. Leitner, M. Velten, W. Ecker - Fast and accurate UML State Chart modeling using TLM+ control flow abstraction - High Level Design Validation and Test Workshop (HLDVT) 2010, Anaheim, Vereinigte… mehr
2010
W. Ecker, V. Esen, R. Findenig, T. Steininger, M. Velten - Model reduction techniques for the formal verification of hardware dependent software - High Level Design Validation and Test Workshop (HLDVT)… mehr
2010
R. Findenig, W. Ecker - State Chart Refinement Validation from Approximately Timed to Cycle Callable Models - Proc. 2010 International Symposium on System-on-Chip, Tampere, Finnland, 2010, pp. 72-75 mehr
2009
R. Findenig, F. Eibensteiner, M. Pfaff - Optimizing the Hardware Usage of Parallel FSMs - Proceedings of International Conference Computer Aided Systems Theory EUROCAST 2009, Las Palmas, Spanien, 2009,… mehr
2009
F. Eibensteiner, R. Findenig, M. Pfaff - SynPSL: Behavioral Synthesis of PSL Assertions - Proceedings of International Conference Computer Aided Systems Theory EUROCAST 2009, Las Palmas, Spanien, 2009,… mehr
2009
M. Hofstätter, G. Mayer, R. Findenig, F. Eibensteiner, M. Pfaff - RAM basiertes Entwurfskonzept für flächenoptimierte Multi-IP-Core-Designs - 3. Forschungsforum der Österreichischen Fachhochschulen,… mehr
2009
F. Pöschl, F. Eibensteiner, M. Bogner, R. Findenig - Vergleich skalierbarer Softcore-Prozessoren hinsichtlich Rechenleistung und Chipfläche - 3. Forschungsforum der Österreichischen Fachhochschulen,… mehr
2009
R. Findenig, W. Ecker - A SystemC Design Pattern for the Cosimulation of Transaction-Level and Refined Cycle-Callable Models - Proceedings Austrochip 2009, Graz, Österreich, 2009, pp. 123-128 mehr
2008
R. Findenig, F. Eibensteiner, M. Pfaff - Echtzeit-Überwachung von Hard- und Software mit PSL - Proceedings Austrochip 2008, Linz, Österreich, 2008, pp. 44-47 mehr
2007
R. Findenig, M. Pfaff, F. Eibensteiner, J. Langer - Effiziente Hardware-Abbildung von PSL-Assertions - Tagungsband Austrochip 2007, Graz, Österreich, 2007, pp. 85-90 mehr
2007
F. Eibensteiner, R. Findenig, M. Pfaff, J. Langer, J. Tossold, W. Kubinger - Embedded Robotic Solution: Integrating Robotics Interfaces with a High-Level CPU in a System-on-a-Chip - Proceedings of International… mehr
2005
NFC Near Field Communication ist ein Kooperationsprojekt zwischen NXP (ehem. Philips), mobilkom Austria und voestalpine und den beiden Studiengängen Hardware Software Systems Engineering und Mobile Computing.… mehr