Author of the publication

Separation of Concerns with Transactional Regions.

, , and . SDL Forum, volume 7083 of Lecture Notes in Computer Science, page 168-185. Springer, (2011)

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)Insertion Modeling and Symbolic Verification of Large Systems., , , and . SDL Forum, volume 9369 of Lecture Notes in Computer Science, page 3-18. Springer, (2015)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)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)Performance Improvement for Collection Operations Using Join Query Optimization., , and . COMPSAC, page 668-673. IEEE Computer Society, (2011)Feature Interactions in Aspect-Oriented Scenario Models., , , and . ICFI, page 75-90. IOS Press, (2009)Structural Modeling with UML 2.0., , and . UML for Real, Kluwer, (2003)Model Based Architecting and Construction of Embedded Systems (ACES-MB 2011)., , , , , and . MoDELS (Workshops), volume 7167 of Lecture Notes in Computer Science, page 257-261. Springer, (2011)