3 citations · 6 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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.LO2017
Reliable Restricted Process Theory
Fatemeh Ghassemi, Wan Fokkink
Malfunctions of a mobile ad hoc network (MANET) protocol caused by a conceptual mistake in the protocol design, rather than unreliable communication, can often be detected only by…