1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.SE2025
A Simple Trace Semantics for Asynchronous Sequence Diagrams
David Faitelson, Shmuel Tyszberowicz
Sequence diagrams are a popular technique for describing interactions between software entities. However, because the OMG group's UML standard is not based on a rigorous mathematic…
cs.SE2021★ 1 cited
Verifying Time Complexity of Binary Search using Dafny
Shiri Morshtein, Ran Ettinger, Shmuel Tyszberowicz
Formal software verification techniques are widely used to specify and prove the functional correctness of programs. However, nonfunctional properties such as time complexity are u…
cs.PL2021
NoCFG: A Lightweight Approach for Sound Call Graph Approximation
Aharon Abadi, Bar Makovitzki, Ron Shemer +1
Interprocedural analysis refers to gathering information about the entire program rather than for a single procedure only, as in intraprocedural analysis. Interprocedural analysis…