18 citations · 18 across the 2 of their papers we have counts for
2 papers
cs.SE2022
Syntheto: A Surface Language for APT and ACL2
Alessandro Coglio, Eric McCarthy, Stephen Westfold +3
Syntheto is a surface language for carrying out formally verified program synthesis by transformational refinement in ACL2 using the APT toolkit. Syntheto aims at providing more fa…
cs.DC2017★ 18 cited
Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems
Gabor Karsai, Daniel Balasubramanian, Abhishek Dubey +1
Cyber-physical systems increasingly rely on distributed computing platforms where sensing, computing, actuation, and communication resources are shared by a multitude of applicatio…