Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Hofferek, Georg"'
Autor:
Hofferek, Georg, Gupta, Ashutosh, Könighofer, Bettina, Jiang, Jie-Hong Roland, Bloem, Roderick
It is often difficult to correctly implement a Boolean controller for a complex system, especially when concurrency is involved. Yet, it may be easy to formally specify a controller. For instance, for a pipelined processor it suffices to state that t
Externí odkaz:
http://arxiv.org/abs/1308.4767
Autor:
Bloem, Roderick, Gamauf, Hans-Jürgen, Hofferek, Georg, Könighofer, Bettina, Könighofer, Robert
Publikováno v:
EPTCS 84, 2012, pp. 47-53
Specifications for reactive systems often consist of environment assumptions and system guarantees. An implementation should not only be correct, but also robust in the sense that it behaves reasonably even when the assumptions are (temporarily) viol
Externí odkaz:
http://arxiv.org/abs/1207.1268
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Bloem, Roderick, Hofferek, Georg, Konighofer, Bettina, Konighofer, Robert, Auserlechner, Simon, Spork, Raphael
Publikováno v:
2014 Formal Methods in Computer-Aided Design (FMCAD); 2014, p35-42, 8p
Autor:
Hofferek, Georg, Gupta, Ashutosh
Publikováno v:
Hardware & Software: Verification & Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings; 2014, p68-74, 7p
Autor:
Bloem, Roderick, Drechsler, Rolf, Fey, Görschwin, Finder, Alexander, Hofferek, Georg, Könighofer, Robert, Raik, Jaan, Repinski, Urmas, Sülflow, André
Publikováno v:
Hardware & Software: Verification & Testing (9783642396106); 2013, p260-265, 6p
Publikováno v:
2012 Formal Methods in Computer-Aided Design (FMCAD); 1/ 1/2012, p91-100, 10p
Publikováno v:
Hardware & Software: Verification & Testing (9783642341878); 2012, p20-34, 15p