( en | de | ru )

 

Disambiguierung von "Mador-Haim, Sela"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Input Elimination and Abstraction in Model Checking.

, und . FMCAD, Volume 1522 von Lecture Notes in Computer Science, Seite 304-320. Springer, (1998)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Uwe Sela

Stefania Maria Selanski

Haim Taubenhaus

Gerhard Haim

Haim Abramowitsch

 

Weitere Publikationen von Autoren mit dem selben Namen

An Axiomatic Memory Model for POWER Multiprocessors., , , , , , , , , und . CAV, Volume 7358 von Lecture Notes in Computer Science, Seite 495-512. Springer, (2012)TRANSIT: specifying protocols with concolic snippets., , , , , und . PLDI, Seite 287-296. ACM, (2013)Formal Verification of Backward Compatibility of Microcode., , , , , , , , , und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 185-198. Springer, (2005)Generating Litmus Tests for Contrasting Memory Consistency Models., , und . CAV, Volume 6174 von Lecture Notes in Computer Science, Seite 273-287. Springer, (2010)Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation., , , , und . TACAS, Volume 2619 von Lecture Notes in Computer Science, Seite 176-191. Springer, (2003)Executing United States Bills into Law: A Working Application in the United States House., und . JURIX, Volume 379 von Frontiers in Artificial Intelligence and Applications, Seite 237-246. IOS Press, (2023)"Comparative Prints Suite" of the United States House of Representatives: NLP for Tracking Changes in Bills and Laws., und . JURIX, Volume 379 von Frontiers in Artificial Intelligence and Applications, Seite 379-382. IOS Press, (2023)The ForSpec Temporal Logic: A New Temporal Property-Specification Language., , , , , , , , , und 2 andere Autor(en). TACAS, Volume 2280 von Lecture Notes in Computer Science, Seite 296-211. Springer, (2002)Input Elimination and Abstraction in Model Checking., und . FMCAD, Volume 1522 von Lecture Notes in Computer Science, Seite 304-320. Springer, (1998)Litmus tests for comparing memory consistency models: how long do they need to be?, , und . DAC, Seite 504-509. ACM, (2011)