PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Yeolekar, Anand"

Author of the publication

copydeleteadd this publication to your clipboard
Cross-Layer Interactions in CPS for Performance and Certification.

, , , , , , , , and . DATE, page 1439-1444. IEEE, (2019)

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.

Anand Venkatachalam University of Stuttgart

Mahathi Anand University of Stuttgart

 

Other publications of authors with the same name

Concurrent Program Verification with Invariant-Guided Underapproximation., , , , and . ATVA, volume 10482 of Lecture Notes in Computer Science, page 241-248. Springer, (2017)Sequentialization Using Timestamps., , , and . TAMC, volume 10185 of Lecture Notes in Computer Science, page 684-696. (2017)An integrated test generation tool for enhanced coverage of Simulink/Stateflow models., , , , , and . DATE, page 308-311. IEEE, (2012)Improving Dynamic Inference with Variable Dependence Graph.. RV, volume 8734 of Lecture Notes in Computer Science, page 301-306. Springer, (2014)AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems., , , , , and . CAV, volume 5123 of Lecture Notes in Computer Science, page 204-208. Springer, (2008)Cross-Layer Interactions in CPS for Performance and Certification., , , , , , , , and . DATE, page 1439-1444. IEEE, (2019)Assertion Checking Using Dynamic Inference., and . Haifa Verification Conference, volume 8244 of Lecture Notes in Computer Science, page 199-213. Springer, (2013)Scaling Model Checking for Test Generation Using Dynamic Inference., , , , and . ICST, page 184-191. IEEE Computer Society, (2013)Efficient coverage of parallel and hierarchical stateflow models for test case generation., , , and . Softw. Test., Verif. Reliab., 22 (7): 457-479 (2012)Refining Task Specifications using Model Checking., , , and . RTCSA, page 185-191. IEEE Computer Society, (2018)