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
3 papers
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…
cond-mat.mtrl-sci2015★ 19 cited
New Reversal Mode in Exchange Coupled Antiferromagnetic/Ferromagnetic Disks: Distorted Viscous Vortex
Dustin A. Gilbert, Li Ye, Aïda Varea +10
Magnetic vortices have generated intense interest in recent years due to their unique reversal mechanisms, fascinating topological properties, and exciting potential applications.…
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…