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

Exploring optimization and caching for efficient collection operations., , , and . Autom. Softw. Eng., 21 (1): 3-40 (2014)Introduction to UML and the Modeling of Embedded Systems., , and . Embedded Systems Handbook, CRC Press, (2005)System Validation., , , and . Embedded Systems Handbook, CRC Press, (2005)Insertion Modeling and Symbolic Verification of Large Systems., , , and . SDL Forum, volume 9369 of Lecture Notes in Computer Science, page 3-18. Springer, (2015)Performance Improvement for Collection Operations Using Join Query Optimization., , and . COMPSAC, page 668-673. IEEE Computer Society, (2011)Verifiable Coverage Criteria for Automated Testing., , and . SDL Forum, volume 7083 of Lecture Notes in Computer Science, page 79-89. Springer, (2011)Generating Test Suites to Validate Legacy Systems., , , , , , , , and . SAM, volume 11753 of Lecture Notes in Computer Science, page 3-23. Springer, (2019)Structural Modeling with UML 2.0., , and . UML for Real, Kluwer, (2003)Feature Interactions in Aspect-Oriented Scenario Models., , , and . ICFI, page 75-90. IOS Press, (2009)Extending data flow coverage with redefinition analysis., , and . IDT, page 293-296. IEEE, (2021)