Search results for: Jyotirmoy V. Deshmukh
Formal Methods in System Design > 2017 > 51 > 1 > 5-30
Formal Methods in System Design > 2017 > 50 > 2-3 > 168-206
IEEE Control Systems > 2016 > 36 > 6 > 45 - 64
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Parametrization and Slicing > 27-41
Electronic Notes in Theoretical Computer Science > 2015 > 317 > Complete > 19-25
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2015 > 34 > 11 > 1704 - 1717
52nd IEEE Conference on Decision and Control > 3918 - 3925
Automated Software Engineering > 2011 > 18 > 3-4 > 325-362