( en | de | ru )

 

Disambiguation of "Fix, Limor"

Author of the publication

copydeleteadd this publication to your clipboard
Systems Computing Challenges in the Internet of Things.

, , , , , , , , , , , , and . CoRR, (2016)

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.

Limor Riza

Oliver Fix

Birgit Fix

Jérémy Fix

August Fixson

 

Other publications of authors with the same name

Input Elimination and Abstraction in Model Checking., and . FMCAD, volume 1522 of Lecture Notes in Computer Science, page 304-320. Springer, (1998)The ForSpec Temporal Logic: A New Temporal Property-Specification Language., , , , , , , , , and 2 other author(s). TACAS, volume 2280 of Lecture Notes in Computer Science, page 296-211. Springer, (2002)Automatic Datapath Extraction for Efficient Usage of HDD., , and . CAV, volume 1254 of Lecture Notes in Computer Science, page 95-106. Springer, (1997)Program Composition via Unification., , and . ICALP, volume 623 of Lecture Notes in Computer Science, page 672-684. Springer, (1992)DAC Highlights., and . IEEE Des. Test Comput., 20 (3): 88-89 (2003)Sematics-Driven Decompositions for the Verification of Distributed Programs., , and . Programming Concepts and Methods, page 101-124. North-Holland, (1990)Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting., , , and . SMC@FLoC, volume 23 of Electronic Notes in Theoretical Computer Science, page 11-22. Elsevier, (1999)Deeper Bound in BMC by Combining Constant Propagation and Abstraction., , , , , , and . ASP-DAC, page 304-309. IEEE Computer Society, (2007)Formal Verification of Backward Compatibility of Microcode., , , , , , , , , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 185-198. Springer, (2005)A Determinizable Class of Timed Automata., , and . CAV, volume 818 of Lecture Notes in Computer Science, page 1-13. Springer, (1994)