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)Validating Timed Component Contracts., , , , and . EUROMICRO-SEAA, page 245-249. IEEE Computer Society, (2015)The ENCOURAGE ICT architecture for heterogeneous smart grids., , , , , , , , , and 6 other author(s). EUROCON, page 1383-1390. IEEE, (2013)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)Modeling and Analysis of Component Faults and Reliability., , , and . From Action Systems to Distributed Systems, Chapman and Hall/CRC, (2016)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)User constraints for reliable user-defined smart home scenarios., , , , , and . J. Reliab. Intell. Environ., 2 (2): 75-91 (2016)Model Checking Feature Interactions., , , , and . ICSOFT (Selected Papers), volume 586 of Communications in Computer and Information Science, page 307-325. Springer, (2015)