Author of the publication

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)

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

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)Exploring optimization and caching for efficient collection operations., , , and . Autom. Softw. Eng., 21 (1): 3-40 (2014)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)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)