( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automatic Trigger Generation for Rule-based Smart Homes.

, и . PLAS@CCS, стр. 97-102. ACM, (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.

Michael D Segeritz

Michael D Swartz

Michael D Menger

Michael d' Orville

Michael D Breitenstein

 

Другие публикации лиц с тем же именем

Collaborative Verification of Information Flow for a High-Assurance App Store., , и . Software Engineering & Management, том P-239 из LNI, стр. 77. GI, (2015)Natural Language is a Programming Language: Applying Natural Language Processing to Software Development.. SNAPL, том 71 из LIPIcs, стр. 4:1-4:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Verification for legacy programs. VSTTE: Verified Software: Theories, Tools, Experiments, Zürich, Switzerland, (октября 2005)Automatic Trigger Generation for Rule-based Smart Homes., и . PLAS@CCS, стр. 97-102. ACM, (2016)Research Summary for Dynamic Detection of Program Invariants.. ICSE, стр. 718-719. ACM, (1999)Practical pluggable types for java., , , , и . ISSTA, стр. 201-212. ACM, (2008)Boolean Formulas for the Static Identification of Injection Attacks in Java., , , , и . LPAR, том 9450 из Lecture Notes in Computer Science, стр. 130-145. Springer, (2015)Reim & ReImInfer: checking and inference of reference immutability and method purity., , , и . OOPSLA, стр. 879-896. ACM, (2012)Ayudante: identifying undesired variable interactions., , и . WODA@SPLASH, стр. 8-13. ACM, (2015)A practical type system and language for reference immutability., и . OOPSLA, стр. 35-49. ACM, (2004)