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

To Do and Not to Do: Constrained Scenarios for Safe Smart House., , , and . Intelligent Environments, page 17-24. IEEE, (2015)A method for model checking feature interactions, , , and . 2015 10th International Joint Conference on Software Technologies (ICSOFT), 1, page 1--10. IEEE, (2015)Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego., , , , , and . Models, Algorithms, Logics and Tools, volume 10460 of Lecture Notes in Computer Science, page 603-622. Springer, (2017)The ENCOURAGE ICT architecture for heterogeneous smart grids., , , , , , , , , and 6 other author(s). EUROCON, page 1383-1390. IEEE, (2013)Validating Timed Component Contracts., , , , and . EUROMICRO-SEAA, page 245-249. IEEE Computer Society, (2015)Bitcoin Oracle Contracts: Discreet Log Contracts in Practice., , and . ICBC, page 1-8. IEEE, (2022)A Toolchain for Home Automation Controller Development., , , , , , and . EUROMICRO-SEAA, page 122-129. IEEE Computer Society, (2013)Model Checking Feature Interactions., , , , and . ICSOFT (Selected Papers), volume 586 of Communications in Computer and Information Science, page 307-325. Springer, (2015)HomePort: Middleware for heterogeneous home automation networks., , , , and . PerCom Workshops, page 627-633. IEEE Computer Society, (2013)ENCOURAGEing results on ICT for energy efficient buildings., , , , , , , , , and 1 other author(s). ETFA, page 1-8. IEEE, (2016)