Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Katis, Andreas"'
Autor:
Katis, Andreas, Fedyukovich, Grigory, Chen, Jeffrey, Greve, David, Rayadurgam, Sanjai, Whalen, Michael W.
Diversity in the exhibited behavior of a given system is a desirable characteristic in a variety of application contexts. Synthesis of conformant implementations often proceeds by discovering witnessing Skolem functions, which are traditionally deter
Externí odkaz:
http://arxiv.org/abs/2009.12330
Autor:
Katis, Andreas, Fedyukovich, Grigory, Guo, Huajun, Gacek, Andrew, Backes, John, Gurfinkel, Arie, Whalen, Michael W.
Automated synthesis of reactive systems from specifications has been a topic of research for decades. Recently, a variety of approaches have been proposed to extend synthesis of reactive systems from proposi- tional specifications towards specificati
Externí odkaz:
http://arxiv.org/abs/1709.04986
Autor:
Katis, Andreas, Fedyukovich, Grigory, Gacek, Andrew, Backes, John, Gurfinkel, Arie, Whalen, Michael W.
The realizability problem in requirements engineering is to determine the existence of an implementation that meets the given formal requirements. A step forward after realizability is proven, is to construct such an implementation automatically, and
Externí odkaz:
http://arxiv.org/abs/1610.05867
In previous work, we have introduced a contract-based real- izability checking algorithm for assume-guarantee contracts involving infinite theories, such as linear integer/real arith- metic and uninterpreted functions over infinite domains. This algo
Externí odkaz:
http://arxiv.org/abs/1602.00148
Virtual integration techniques focus on building architectural models of systems that can be analyzed early in the design cycle to try to lower cost, reduce risk, and improve quality of complex embedded systems. Given appropriate architectural descri
Externí odkaz:
http://arxiv.org/abs/1502.03005
Virtual integration techniques focus on building architectural models of systems that can be analyzed early in the design cycle to try to lower cost, reduce risk, and improve quality of complex embedded systems. Given appropriate architectural descri
Externí odkaz:
http://arxiv.org/abs/1502.01292
Publikováno v:
Verified Software: Theories, Tools & Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers; 2016, p110-123, 14p
