( en | de | ru )

 

Disambiguation of "Ruah, Sitvanit"

Author of the publication

copydeleteadd this publication to your clipboard
Parameterized Verification with Automatically Computed Inductive Assertions.

, , , , and . CAV, volume 2102 of Lecture Notes in Computer Science, page 221-234. Springer, (2001)

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.

No persons found for author name Ruah, Sitvanit
add a person with the name Ruah, Sitvanit
 

Other publications of authors with the same name

Improving Representative Computation in ExpliSAT., , and . Haifa Verification Conference, volume 8244 of Lecture Notes in Computer Science, page 359-364. Springer, (2013)Analyzing the behavior of event processing applications., , , and . DEBS, page 223-234. ACM, (2010)On the Decisional Complexity of Problems Over the Reals., and . ISTCS, page 176-187. IEEE Computer Society, (1996)Automatic Deductive Verification with Invisible Invariants., , and . TACAS, volume 2031 of Lecture Notes in Computer Science, page 82-97. Springer, (2001)Herbrand Automata for Hardware Verification., , and . CONCUR, volume 1466 of Lecture Notes in Computer Science, page 67-83. Springer, (1998)Main Results of PROSYD - Methodologies and Tools for Writing Reusable PSL Assertions.. FDL, page 263-264. ECSI, (2006)Parameterized Verification with Automatically Computed Inductive Assertions., , , , and . CAV, volume 2102 of Lecture Notes in Computer Science, page 221-234. Springer, (2001)Lightweight Static Analysis Check of Upgrades in C/C++ Software., and . Validation of Evolving Software, Springer, (2015)On the Decisional Complexity of Problems Over the Reals., and . Inf. Comput., 167 (1): 27-45 (2001)Verification of software changes with ExpliSAT., and . HotSWUp, page 31-35. IEEE Computer Society, (2012)