4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.SE2010★ 4 cited
Optimizing Computation of Recovery Plans for BPEL Applications
Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik
Web service applications are distributed processes that are composed of dynamically bounded services. In our previous work [15], we have described a framework for performing runtim…
cs.LO2010
Robust Vacuity for Branching Temporal Logic
Arie Gurfinkel, Marsha Chechik
There is a growing interest in techniques for detecting whether a logic specification is satisfied too easily, or vacuously. For example, the specification "every request is eventu…