Visitenkarte

Univ.Ass. Dipl.-Ing. Dr.techn. Michael Rathmair ,
Univ.Ass. Dipl.-Ing. Dr.techn. Michael Rathmair

Kontaktinformation

Telefon:
+43 (1) 58801 38471
E-Mail:
michael.rathmair@tuwien.ac.at
Raum:
CA0217
TISS:
TISS
Aufklappen um alle Publikationen (TU Wien) zu sehen

Alle Publikationen

  • C. Radojicic, C. Grimm, F. Schupfer, M. Rathmair, Verification of Mixed-Signal Systems with Affine Arithmetic Assertions. VLSI Design, Bd. 2013, 2013, S. 1 - 14.
  • C. Radojicic, F. Schupfer, M. Rathmair, C. Grimm, Checking Property Specifications of Analog Systems with Affine Arithmetic, in Informationstagung Mikroelektronik 2012, 2012, S. 184 - 188.
  • C. Radojicic, F. Schupfer, M. Rathmair, C. Grimm, Assertion-based Verification of Signal Processing Systems with Affine Arithmetic, in Proceedings of the 2012 forum on specification and design languages (FDL 2012), 2012, S. 20 - 26.
  • M. Rathmair, J. Haase, Android Based Home Appliances Simulator, in Proceedings of the 2012 Forum on specification & Design Languages, S. 8, Wien, 2012.
  • M. Rathmair, F. Schupfer, C. Radojicic, C. Grimm, Extended Framework for System Simulation with Affine Arithmetic, in Proceedings of the 2012 Forum on specification & Design Languages (FDL 2012), 2012, S. 161 - 168.
  • M. Rathmair, J. Haase, Simulator for Smart Load Management in Home Appliances, in The Fourth International Conference on Advances in System Simulation, S. 6, Lisbon, Portugal, 2012.
  • M. Rathmair, J. Haase, Load Identification and Management Framework for Private Households, in Proceedings ot the IECON13, 39th Annual Conference of the IEEE Industrial Electronics Society, 2013, S. 5727 - 5732.
  • M. Rathmair, F. Schupfer, Hardware Trojan Detection by Specifying Malicious Circuit Properties, in Proceedings of 2013 IEEE 4th International Conference on Electronics Information and Emergency Communication, 2013, S. 394 - 397.
  • C. Radojicic, C. Grimm, F. Schupfer, M. Rathmair, Worst Case, Noise and Sensitivity Analysis of Sigma Delta Modulator with Affine Arithmetic, in Proceedings of 16th Workshop Analog Circuits 2014, 2014, S. 6 - 7.
  • M. Rathmair, F. Schupfer, C. Grimm, C. Radojicic, Simulationsgestützte Analyse der inneren Eigenschaften von Mixed-Signal Systemen, in Proceedings of 16th Workshop Analog Circuits 2014, 2014, S. 10 - 11.
  • M. Rathmair, F. Schupfer, C. Krieg, Applied Formal Methods for Hardware Trojan Detection, in Proceedings of ISCAS2014, International Symposium on Circuits and Systems, 2014, S. 169 - 172.
  • C. Krieg, M. Rathmair, F. Schupfer, A Process for the Detection of Design-Level Hardware Trojans Using Verification Methods, in Proceedings of the 11th IEEE International Conference on Embedded Software and Systems (ICESS 2014), S. 6, France, Paris, 2014.
  • M. Rathmair, F. Schupfer: Structural System Analysis from Design Level down to Netlist Level. in Formal Methods in Computer-Aided Design (FMCAD 2014), Lausanne, Switzerland, 2014.
  • M. Rathmair, F. Schupfer, VSS - VIENNA young SCIENTISTS SYMPOSIUM, in VSS - VIENNA young SCIENTISTS SYMPOSIUM, 2015, S. 34 - 35.
  • M. Rathmair, R. Hoch, H. Kaindl, R. Popp, Consistently Formalizing a Business Process and its Properties for Verification: A Case Study, in Proceedings of the Practice of Enterprise Modeling 8th IFIP WG 8.1. Working Conference (PoEM 2015), 2015, S. 126 - 140.
  • R. Hoch, M. Rathmair, H. Kaindl, R. Popp, Verification of Business Processes Against Business Rules Using Object Life Cycles, in Advances in Intelligent Systems and Computing Proceedings of the 4th World Conference on Information Systems and Technologies (WorldCist 2016), 2016, S. 589 - 598.
  • M. Rathmair, F. Schupfer, Metrics for Formal Property Checking Against Undesired Circuit Behavior in Embedded Systems, in ITG-Fachbericht ANALOG 2016, 2016, S. 64 - 69.
  • N. TaheriNejad, S. Pudukotai Dinakarrao, M. Rathmair, A. Jantsch, Fully digital write-in scheme for multi-bit memristive storage, in 13th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE), 2016, S. 1 - 6.
  • M. Rathmair, C. Luckeneder, H. Kaindl, Minimalist Qualitative Models for Model Checking Cyber-physical Feature Coordination, in Proceedings of the 23rd Asia-Pacific Software Engineering Conference (APSEC 2016), S. 8, Hamilton, Neuseeland, 2016.
  • C. Luckeneder, M. Rathmair, H. Kaindl, Investigating and Coordinating Safety-critical Feature Interactions in Automotive Systems Using Simulation, in Proceedings of the 50th Hawaii International Conference on System Sciences 2017, 2017, S. 6151 - 6160.
  • C. Radojicic, C. Grimm, A. Jantsch, M. Rathmair, Towards verification of uncertain cyber-physical systems, in Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, S. 17, Uppsala, 2017.
  • C. Radojicic, C. Grimm, F. Schupfer, M. Rathmair, Assertion-based Verification of Phase-Locked Loop Circuit with Affine Arithmetic, Presentation: Frontiers in Analog CAD, Berkeley, CA 94704.
  • M. Rathmair, Range Based Analysis of Inner Systems Characteristics, Presentation: Design, Automation and Test in Europe (DATE), Grenoble.
  • M. Rathmair, M. Mosbeck, M. Meisel, S. Wilker, embedded systems design for industry 4.0, Presentation: eNDUSTRIE 4.0 Hackathon (invited), Sonnenwelt Großschönau.
  • J.G.O. Wenninger, A. Jantsch, M. Rathmair, C. Halmdienst, G. Zucker, M. Blöchle, Endbericht extrACT -- Automatische Funktions- und Ertragskontrolle für thermische Gebäudesysteme - Effizienzsteigerung Datenextraktion, tech. report, Institute of Computer Technology, Vienna University of Technology, for: FFG, 2015.