Author of the publication

Model Checking Feature Interactions.

, , , , and . ICSOFT (Selected Papers), volume 586 of Communications in Computer and Information Science, page 307-325. Springer, (2015)

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

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)Validating Timed Component Contracts., , , , and . EUROMICRO-SEAA, page 245-249. IEEE Computer Society, (2015)Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools., , , , and . FMICS, volume 9128 of Lecture Notes in Computer Science, page 47-61. Springer, (2015)Model-Based Testing of Industrial Transformational Systems., , and . ICTSS, volume 7019 of Lecture Notes in Computer Science, page 131-145. Springer, (2011)opaal: A Lattice Model Checker., , , , , , and . NASA Formal Methods, volume 6617 of Lecture Notes in Computer Science, page 487-493. Springer, (2011)Automata Learning through Counterexample Guided Abstraction Refinement., , , , and . FM, volume 7436 of Lecture Notes in Computer Science, page 10-27. Springer, (2012)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)ENCOURAGEing results on ICT for energy efficient buildings., , , , , , , , , and 1 other author(s). ETFA, page 1-8. IEEE, (2016)HomePort: Middleware for heterogeneous home automation networks., , , , and . PerCom Workshops, page 627-633. IEEE Computer Society, (2013)