19 citations
- University of MinnesotaUS2 papers
- Argonne National LaboratoryUS1 paper
- Centre de Recerca MatemàticaES1 paper
- Colorado State UniversityUS1 paper
- Institució Catalana de Recerca i Estudis AvançatsES1 paper
- Institut Català de Nanociència i NanotecnologiaES1 paper
- Rockwell Collins (United States)US1 paper
- Universitat Autònoma de BarcelonaES1 paper
- Universitat de BarcelonaES1 paper
- University of California, DavisUS1 paper
- University of California SystemUS1 paper
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2016★ 2 cited
Towards Synthesis from Assume-Guarantee Contracts involving Infinite Theories: A Preliminary Report
Andreas Katis, Michael W. Whalen, Andrew Gacek
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 ari…
cs.SE2015
Machine-Checked Proofs For Realizability Checking Algorithms
Andreas Katis, Andrew Gacek, Michael W. Whalen
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 quali…