Author of the publication

Unite: an adapter for transforming analysis tools to web services via OSLC.

, , , , , and . ESEC/SIGSOFT FSE, page 1408-1418. ACM, (2022)

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

Unite: an adapter for transforming analysis tools to web services via OSLC., , , , , and . ESEC/SIGSOFT FSE, page 1408-1418. ACM, (2022)A Uniform Classification of Common Concurrency Errors., , , and . EUROCAST (1), volume 6927 of Lecture Notes in Computer Science, page 519-526. Springer, (2011)Integrating OSLC Services into Eclipse., , , , and . EUROCAST, volume 13789 of Lecture Notes in Computer Science, page 240-249. Springer, (2022)Boosted decision trees for behaviour mining of concurrent programmes., , , , , , , and . Concurr. Comput. Pract. Exp., (2017)A platform for search-based testing of concurrent software., , , and . PDATAD, page 48-58. ACM, (2010)Discovering Concurrency Errors., , , and . Lectures on Runtime Verification, volume 10457 of Lecture Notes in Computer Science, Springer, (2018)Self-healing Assurance Based on Bounded Model Checking., , and . EUROCAST, volume 5717 of Lecture Notes in Computer Science, page 295-303. Springer, (2009)The AQUAS ECSEL Project Aggregated Quality Assurance for Systems: Co-Engineering Inside and Across the Product Life Cycle., , , , , , , , , and . Microprocess. Microsystems, (2019)Testing of Concurrent Programs Using Genetic Algorithms., , , , and . SSBSE, volume 7515 of Lecture Notes in Computer Science, page 152-167. Springer, (2012)Parallel State Space Generation and Exploration on Shared-Memory Architectures., , and . EUROCAST, volume 3643 of Lecture Notes in Computer Science, page 275-280. Springer, (2005)