受强制性开放获取政策约束的文章 - Georg Hofferek了解详情
可在其他位置公开访问的文章：7 篇
Synthesizing robust systems
R Bloem, K Chatterjee, K Greimel, TA Henzinger, G Hofferek, ...
Acta Informatica 51, 193-220, 2014
强制性开放获取政策： Austrian Science Fund, European Commission
Symbolically synthesizing small circuits.
R Ehlers, R Könighofer, G Hofferek
FMCAD 12, 91-100, 2012
强制性开放获取政策： Austrian Science Fund, German Research Foundation
FoREnSiC– An Automatic Debugging Environment for C Programs
R Bloem, R Drechsler, G Fey, A Finder, G Hofferek, R Könighofer, J Raik, ...
Hardware and Software: Verification and Testing: 8th International Haifa …, 2013
强制性开放获取政策： Austrian Science Fund
Synthesis of synchronization using uninterpreted functions
R Bloem, G Hofferek, B Könighofer, R Könighofer, S Ausserlechner, ...
2014 Formal Methods in Computer-Aided Design (FMCAD), 35-42, 2014
强制性开放获取政策： Austrian Science Fund
Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof
G Hofferek, A Gupta, B Könighofer, JHR Jiang, R Bloem
arXiv preprint arXiv:1308.4767, 2013
强制性开放获取政策： Austrian Science Fund
Controller synthesis for pipelined circuits using uninterpreted functions
G Hofferek, R Bloem
Ninth ACM/IEEE International Conference on Formal Methods and Models for …, 2011
强制性开放获取政策： Austrian Science Fund
Suraq—A Controller Synthesis Tool Using Uninterpreted Functions
G Hofferek, A Gupta
Hardware and Software: Verification and Testing: 10th International Haifa …, 2014
强制性开放获取政策： Austrian Science Fund, European Commission
出版信息和资助信息由计算机程序自动确定