( en | de | ru )

 

Disambiguation of "Tyszberowicz, Shmuel S."

Author of the publication

copydeleteadd this publication to your clipboard
Deverywhere: Develop Software Everywhere.

, , , and . MOBILESoft, page 121-124. IEEE Computer Society, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ascher Ben-Shmuel

S Hilt

S Ulrich

S Bachmann

S Hüttelmaier

 

Other publications of authors with the same name

Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking., and . SBMF, volume 8195 of Lecture Notes in Computer Science, page 99-114. Springer, (2013)Reactive and Real-Time Systems Course: How to Get the Most Out of it., and . Real Time Syst., 25 (2-3): 231-253 (2003)Integration of Static and Dynamic Analysis Techniques for Checking Noninterference., , , and . 20 Years of KeY, volume 12345 of Lecture Notes in Computer Science, Springer, (2020)Specifying linked data structures in JML for combining formal verification and testing., and . Sci. Comput. Program., (2015)A lightweight approach for sound call graph approximation., , , and . SAC, page 1837-1844. ACM, (2022)GenUTest: A Unit Test and Mock Aspect Generation Tool., , and . Haifa Verification Conference, volume 4899 of Lecture Notes in Computer Science, page 252-266. Springer, (2007)Behavior-preserving abstraction of ESTEREL programs., and . FedCSIS, volume 5 of Annals of Computer Science and Information Systems, page 743-754. IEEE, (2015)Projective Template-Based Code Generation., and . CAiSE Forum, volume 998 of CEUR Workshop Proceedings, page 81-87. CEUR-WS.org, (2013)Granulated Code Generation of Interfering Functionalities., , and . FedCSIS, page 1333-1340. (2012)Runtime Verification of Generalized Test Tables., , , and . NFM, volume 12673 of Lecture Notes in Computer Science, page 358-374. Springer, (2021)