3 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.LO2020★ 3 cited
Specification and Verification of Timing Properties in Interoperable Medical Systems
Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah +2
To support the dynamic composition of various devices/apps into a medical system at point-of-care, a set of communication patterns to describe the communication needs of devices ha…
cs.PL2013★ 2 cited
Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday
Anindya Banerjee, Olivier Danvy, Kyung-Goo Doh +1
This Liber Amicorum is a collection of essays ranging from personal memories to technical contributions. It is a tribute to Dave Schmidt and his career, and was composed at the occ…