Author of the publication

Automated verification of programs and Web systems.

, , , and . J. Log. Algebraic Methods Program., 85 (5): 653-654 (2016)

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

Teams of Pushdown Automata., , and . Ershov Memorial Conference, volume 2890 of Lecture Notes in Computer Science, page 329-337. Springer, (2003)Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking., , , and . FMSPLE, volume 182 of EPTCS, page 56-70. (2015)Coherent branching feature bisimulation., , and . FMSPLE, volume 182 of EPTCS, page 14-30. (2015)Sensoria Results Applied to the Case Studies.. Results of the SENSORIA Project, volume 6582 of Lecture Notes in Computer Science, Springer, (2011)Analysing Robot Movement Using the Sensoria Methods., , , and . Results of the SENSORIA Project, volume 6582 of Lecture Notes in Computer Science, Springer, (2011)Statistical Model Checking for Product Lines., , , and . ISoLA (1), volume 9952 of Lecture Notes in Computer Science, page 114-133. (2016)Supervisory Controller Synthesis for Product Lines Using CIF 3., , and . ISoLA (1), volume 9952 of Lecture Notes in Computer Science, page 856-873. (2016)Model Checking Groupware Protocols., , , and . COOP, page 179-194. IOS, (2004)A Deontic Logical Framework for Modelling Product Families., , , and . VaMoS, volume 37 of ICB-Research Report, page 37-44. Universität Duisburg-Essen, (2010)Infinite unfair shuffles and associativity., and . Theor. Comput. Sci., 380 (3): 401-410 (2007)