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

Model checking CML: tool development and industrial applications., , , and . Formal Aspects Comput., 27 (5-6): 975-1001 (2015)Evaluating an Automatic Text-based Test Case Selection using a Non-Instrumented Code Coverage Analysis., , , and . SAST, page 5:1-5:9. ACM, (2017)Low Power WSN Protocol for Smart Green Homes., , and . ETFA, page 1411-1414. IEEE, (2019)An Aspect-based Approach for Concurrent Programming using CSP Features., , , , , , , and . ICSOFT (2), page 226-231. SciTePress, (2010)Unifying Models of Test Cases and Requirements., , and . CIbSE, page 113-126. (2008)SPt: A Text Mining Process to Extract Relevant Areas from SW Documents to Exploratory Tests., , , and . BRACIS, page 254-259. IEEE Computer Society, (2018)Model-based development of fault tolerant systems of systems., , , , and . SysCon, page 356-363. IEEE, (2013)Viewing CSP Specifications with UML-RT Diagrams, , and . Electronic Notes in Theoretical Computer Science, (January 2008)Formal MDE-Based Tool Development., , and . IRI (best papers), volume 263 of Advances in Intelligent Systems and Computing, page 105-125. Springer, (2013)Automatic Selection of Test Cases for Regression Testing., , , and . SAST, page 8:1-8:8. ACM, (2016)