( en | de | ru )

 

Disambiguierung von "Ernst, Michael D."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automatic Trigger Generation for Rule-based Smart Homes.

, und . PLAS@CCS, Seite 97-102. ACM, (2016)

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.

Michael D Segeritz

Michael D Swartz

Michael D Menger

Michael d' Orville

Michael D Breitenstein

 

Weitere Publikationen von Autoren mit dem selben Namen

Panel: Perspectives on Software Engineering., , , , und . ICSE, Seite 699-702. IEEE Computer Society, (2001)Inferring models of concurrent systems from logs of their behavior with CSight., , , und . ICSE, Seite 468-479. ACM, (2014)Automatic SAT-Compilation of Planning Problems., , und . IJCAI, Seite 1169-1177. Morgan Kaufmann, (1997)Summary: ICSE workshop on dynamic analysis (WODA 2003)., und . ACM SIGSOFT Softw. Eng. Notes, 28 (6): 4 (2003)How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback.. TAP@TOOLS, Volume 6143 von Lecture Notes in Computer Science, Seite 1-2. Springer, (2010)Mutation Analysis for the Real World: Effectiveness, Efficiency, and Proper Tool Support., , und . Software Engineering & Management, Volume P-239 von LNI, Seite 53-54. GI, (2015)Javari: adding reference immutability to Java., und . OOPSLA, Seite 211-230. ACM, (2005)An Empirical Study of Fault Localization Families and Their Combinations., , , , und . IEEE Trans. Software Eng., 47 (2): 332-347 (2021)A Data Programming CS1 Course., , , , und . SIGCSE, Seite 150-155. ACM, (2015)Invariant inference for static checking., und . SIGSOFT FSE, Seite 11-20. ACM, (2002)