Author of the publication

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.

 

Other publications of authors with the same name

Synthesis of Parallel Sorting Networks using SAT Solvers., and . MBMV, page 71-80. OFFIS-Institut für Informatik, (2011)Straightforward Specification of Adaptation-Architecture-Significant Requirements of IoT-enabled Cyber-Physical Systems., , , , and . ICSA Companion, page 19-26. IEEE Computer Society, (2018)Orchestration of IoT Device and Business Workflow Engine on Cloud., , , , , , and . CIoT, page 1-2. IEEE, (2018)Reprogramming Low-end IoT Devices from the Cloud., , , , , , , and . CIoT, page 1-6. IEEE, (2018)A LTL Fragment for GR(1)-Synthesis, and . iWIGP, volume 50 of EPTCS, page 33-45. (2011)Bridging the Gap between Architecture Specifications and Simulation Models., , , , and . ICSA Companion, page 77-80. IEEE Computer Society, (2018)Generating Deterministic $ømega$-Automata for most LTL Formulas by the Breakpoint Construction., , and . MBMV, page 119-128. Shaker, (2008)Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis, and . GANDALF, volume 25 of EPTCS, page 89-102. (2010)Solving Games Using Incremental Induction., , and . IFM, volume 7940 of Lecture Notes in Computer Science, page 177-191. Springer, (2013)Design and implementation of a platform for hyperconnected cyber physical systems., , , , , and . Internet Things, (2018)