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

Control and Validation Mechanisms for Information, Resources, and Deployments in Distributed Real-time and Embedded Systems.. Vanderbilt University, Nashville, Tennessee, USA, (2012)base-search.net (ftvanderbilt:oai:ir.vanderbilt.edu:1803/11402).Approximation Techniques for Maintaining Real-Time Deployments Informed by User-Provided Dataflows within a Cloud., , and . SRDS, page 372-377. IEEE Computer Society, (2012)Extensible collaborative autonomy using GAMS., , and . SAC, page 281-283. ACM, (2016)Toward parameterized verification of synchronous distributed applications., and . SPIN, page 109-112. ACM, (2014)Model-Driven Verifying Compilation of Synchronous Distributed Applications., and . MoDELS, volume 8767 of Lecture Notes in Computer Science, page 201-217. Springer, (2014)Design of a Scalable Reasoning Engine for Distributed, Real-Time and Embedded Systems., and . KSEM, volume 7091 of Lecture Notes in Computer Science, page 221-232. Springer, (2011)Unit Testing Non-functional Concerns of Component-based Distributed Systems., , , and . ICST, page 406-415. IEEE Computer Society, (2009)QoS-Enabled Distributed Mutual Exclusion in Public Clouds., , and . OTM Conferences (2), volume 7045 of Lecture Notes in Computer Science, page 542-559. Springer, (2011)Automating testing of service-oriented mobile applications with distributed knowledge and reasoning., , and . SOCA, page 1-4. IEEE Computer Society, (2011)M Pivot Sort - Replacing Quick Sort.. AMCS, page 47-53. CSREA Press, (2005)