Institutes and Facilities: Avioniksysteme

Dehbashi, Mehdi and Fey, Görschwin (2012) Application of timing variation modeling to speedpath diagnosis. System, Software, SoC and Silicon Debug Conference (S4D), Vienna, Austria. Volltext nicht online.

Fey, Görschwin (2012) Assessing system vulnerability using formal verification techniques. In: Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS) – Revised Selected Papers Lecture Notes in Computer Science, 7119. Springer. pp. 47-56. Volltext nicht online.

Dehbashi, Mehdi and Fey, Görschwin (2012) Automated debugging from pre-silicon to post-silicon. IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, Tallinn, Estonia. Volltext nicht online.

Malburg, Jan and Finder, Alexander and Fey, Görschwin (2012) Automated feature localization for hardware designs using coverage metrics. The 49th Annual Design Automation Conference 2012, DAC '12, San Francisco, CA, USA. Volltext nicht online.

Dehbashi, Mehdi and Fey, Görschwin (2012) Automated post-silicon debugging of failing speedpaths. Asian Test Symposium (ATS), Niigata, Japan. Volltext nicht online.

Frehse, Stefan and Fey, Görschwin and Arbel , Eli and Yorav, Karen and Drechsler, Rolf (2012) Complete and effective robustness checking by means of interpolation. Formal Methods in Computer-Aided Design (FMCAD), Cambridge, UK. Volltext nicht online.

Finder, Alexander and Fey, Görschwin (2012) Evaluating debugging algorithms from a qualitative perspective. In: System Specification and Design Languages – Selected Contributions from FDL 2010 Lecture Notes in Electrical Engineering, 106. Springer. pp. 21-36. Volltext nicht online.

Riener, Heinz and Fey, Görschwin (2012) FAuST: A Framework for Formal Verification, Automated Debugging, and Software Test Generation. Springer. Model Checking Software - 19th International Workshop, SPIN , Oxford. ISSN 0302-9743 Volltext nicht online.

Bloem, Roderick and Drechsler, Rolf and Fey, Görschwin and Finder, Alexander and Hofferek, Georg and Könighofer, Robert and Raik, Jaan and Repinski , Urmas and Sülflow, Andre (2012) FoREnSiC - an automatic debugging environment for C programs. IBM Haifa Verification Conference (HVC), Haifa, Israel. Volltext nicht online.

Dehbashi, Mehdi and Fey, Görschwin and Roy, Kaushik and Raghunathan, Anand (2012) Functional analysis of circuits under timing variations. IEEE European Test Symposium 2012, Annecy, France. Volltext nicht online.

Frehse, Stefan and Riener, Heinz and Fey, Görschwin (2012) Hardware-Software-Co-Synthese zur Verbesserung der Fehlertoleranz. GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf (ZUE), Bremen, Deutschland. Volltext nicht online.

Riener, Heinz and Fey, Görschwin (2012) Model-based diagnosis versus error explanation. ACM/IEEE Int’l Conference on Formal Methods and Models for Codesign (MEMOCODE), Arlington, VA, USA. Volltext nicht online.

Dehbashi, Mehdi and Fey , Görschwin and Roy, Kaushik and Raghunathan, Anand (2012) On modeling and evaluation of logic circuits under timing variations. EUROMICRO Symposium on Digital System Design (DSD), Cesme, Izmir, Turkey. Volltext nicht online.

Toth, Norbert and Dannemann, Frank and Sergio, Montenegro and Thomas, Walter and Muhammad, Faisal (2012) Wireless Avionics for a Solar Sailer (GOSSAMER-1). DASIA, 14.-16. Mai 2012, Dubrovnik, Croatien. Volltext nicht online.