Name Card

Full name Familienname, Vorname
Rathmair, Michael
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 36 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fischer, Clara ; Neuhold, Michael ; Steiner, Martin ; Haspl, Thomas ; Rathmair, Michael ; Schlund, Sebastian Collision Tests in Human-Robot Collaboration: Experiments on the Influence of Additional Impact Parameters on SafetyArticle Artikel 23-Oct-2023
2Fischer, Clara ; Haspl, Thomas ; Rathmair, Michael ; Schlund, Sebastian Sichere roboterbasierte Produktion: Trends und Revisionen in Europäischen Normen und RichtlinienArticle Artikel 7-Sep-2023
3Wilker, Stefan ; Leopold, Thomas ; Goranovic, Andrija ; Karat, Mirsad ; Estaji, Alireza ; Meisel, Marcus ; Syböck, Johannes ; Rathfux, Thomas ; Rathmair, Michael ; Zimmermann, Till ; Bliklen, Rebecca ; Rödig, Lisa ; Spengler, Laura ; Jepsen, Dirk ; Coyne, Mike ; Carlberg, Malin ; Chandler, Caroline Review Study of the Ecodesign Voluntary Agreement for the Product Group "Videogames Consoles"Bericht Report2019
4Kaindl, Hermann ; Hoch, Ralph ; Rathmair, Michael ; Luckeneder, Christoph Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative ModelsBuchbeitrag Book Contribution 2018
5Rathmair, Michael ; Luckeneder, Christoph ; Meisel, Marcus ; Wilker, Stefan In-Field Simulation for Process Tuning in Industry 4.0 ApplicationsKonferenzbeitrag Inproceedings2018
6Rathmair, Michael ; Bauer, Friedrich ; Meisel, Marcus LightClockV2 - A Motivation for Teaching Scalable Digital Hardware DesignKonferenzbeitrag Inproceedings 2018
7Mosbeck, Martin ; Meisel, Marcus ; Rathmair, Michael ; Jantsch, Axel VELS- VHDL E-Learning System for Automatic Generation and Evaluation of Per-Student Customized Tasks for Hardware Modeling CoursesKonferenzbeitrag Inproceedings2018
8Wilker, Stefan ; Meisel, Marcus ; Rathmair, Michael ; Sauter, Thilo ; Treytl, Albert ; Schidler, Susanne ; Leonhartsberger, Kurt ; Frantes, Bettina eNDUSTRIE 4.0 — A future-technologies qualification network for local businessesKonferenzbeitrag Inproceedings 2018
9Rathmair Michael - 2018 - Insight in analog systems a semi-symbolic approach...pdf.jpgRathmair, Michael Insight in analog systems: a semi-symbolic approach using enhanced deviation traceabilityThesis Hochschulschrift 2018
10Rathmair, Michael ; Luckeneder, Christoph ; Kaindl, Hermann ; Radojicic, Carna Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems [Best Paper Award]Konferenzbeitrag Inproceedings 2018
11Rathmair, Michael ; Mosbeck, Martin ; Meisel, Marcus ; Wilker, Stefan embedded systems design for industry 4.0Präsentation Presentation2017
12Luckeneder, Christoph ; Rathmair, Michael ; Kaindl, Hermann Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using SimulationKonferenzbeitrag Inproceedings 2017
13Radojicic, Carna ; Grimm, Christoph ; Jantsch, Axel ; Rathmair, Michael Towards verification of uncertain cyber-physical systemsKonferenzbeitrag Inproceedings 2017
14TaheriNejad, Nima ; Pudukotai Dinakarrao, Sai Manoj ; Rathmair, Michael ; Jantsch, Axel Fully digital write-in scheme for multi-bit memristive storageKonferenzbeitrag Inproceedings 2016
15Rathmair, Michael ; Schupfer, Florian Metrics for Formal Property Checking Against Undesired Circuit Behavior in Embedded SystemsKonferenzbeitrag Inproceedings 2016
16Hoch, Ralph ; Rathmair, Michael ; Kaindl, Hermann ; Popp, Roman Verification of Business Processes Against Business Rules Using Object Life CyclesKonferenzbeitrag Inproceedings 2016
17Rathmair, Michael ; Luckeneder, Christoph ; Kaindl, Hermann Minimalist Qualitative Models for Model Checking Cyber-physical Feature CoordinationKonferenzbeitrag Inproceedings 2016
18Wenninger, Joseph Gernot Otto ; Jantsch, Axel ; Rathmair, Michael ; Halmdienst, Christian ; Zucker, Gerhard ; Blöchle, Max Endbericht extrACT -- Automatische Funktions- und Ertragskontrolle für thermische Gebäudesysteme - Effizienzsteigerung DatenextraktionBericht Report2015
19Rathmair, Michael ; Schupfer, Florian VSS - VIENNA young SCIENTISTS SYMPOSIUMKonferenzbeitrag Inproceedings 2015
20Rathmair, Michael ; Hoch, Ralph ; Kaindl, Hermann ; Popp, Roman Consistently Formalizing a Business Process and its Properties for Verification: A Case StudyKonferenzbeitrag Inproceedings 2015

Contributing Publications Mitbeteiligte Publikationen

Results 1-5 of 5 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ceesay-Seitz Katharina - 2019 - Automated verification of a system-on-chip for...pdf.jpgCeesay-Seitz, Katharina Automated verification of a system-on-chip for radiation protection fulfilling safety integrity level 2Thesis Hochschulschrift 2019
2Schloegl Philipp - 2018 - An Energy harvesting powered sensor node for machine...pdf.jpgSchlögl, Philipp An Energy harvesting powered sensor node for machine condition monitoringThesis Hochschulschrift 2018
3Schrammel Hermann - 2017 - Analyse und Optimierung von USB-HPS-FPGA Datenpfaden.pdf.jpgSchrammel, Hermann Analyse und Optimierung von USB-HPS-FPGA DatenpfadenThesis Hochschulschrift 2017
4Tauber Christian - 2017 - Comparison of verification and productive firmware for...pdf.jpgTauber, Christian Comparison of verification and productive firmware for a wireless low-power system-on-chipThesis Hochschulschrift 2017
5Osterseher Karl - 2017 - Mittels Spektroskopie zum Faelschungsdetektor.pdf.jpgOsterseher, Karl Mittels Spektroskopie zum FälschungsdetektorThesis Hochschulschrift 2017