Author of the publication

Beyond boolean product-line model checking: dealing with feature attributes and multi-features.

, , , and . ICSE, page 472-481. IEEE Computer Society, (2013)

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

Formal semantics, modular specification, and symbolic verification of product-line behaviour., , , , and . Sci. Comput. Program., (2014)A modal specification theory for components with data., , , , and . Sci. Comput. Program., (2014)A framework for the rigorous design of highly adaptive timed systems., , , and . FormaliSE@ICSE, page 64-70. IEEE Computer Society, (2013)Formal verification of probabilistic SystemC models with statistical model checking., and . Journal of Software: Evolution and Process, (2018)Lightweight Monte Carlo Algorithm for Markov Decision Processes., and . CoRR, (2013)History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps, and . CoRR, (2012)On (Omega-)regular model checking., and . ACM Trans. Comput. Log., 12 (1): 2:1-2:46 (2010)Compatibility flooding: measuring interaction of services interfaces., , , and . SAC, page 1334-1340. ACM, (2017)Navigation assistance and guidance of older adults across complex public spaces: the DALi approach., , , , , , , , , and 9 other author(s). Intelligent Service Robotics, 8 (2): 77-92 (2015)Trace checking for dynamic software product lines., , , and . SEAMS@ICSE, page 69-75. ACM, (2018)