Dr. P. Vijay Suman
Ph.D. in Computer Science
School of Technology and Computer Science
Tata Institute of Fundamental Research
Email: vsuman [AT] tifr [DOT] res [DOT] in
|
|
Dr. P. Vijay Suman |
About Me:
Publications in Refereed Conferences:
- Masking Boundary Value Coverage: Effectiveness and Efficiency. P. Vijay Suman and Paritosh K. Pandya.
To appear in TAIC PART'10: Testing: Academic & Industrial Conference Practice and Research Techniques, Windsor, U.K., 2009.- Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions. P. Vijay Suman and Paritosh K. Pandya.
LATA'09: Language and Automata Theory and Applications, Tarragona, Spain, 2009.
ABSTRACT | Springer Link | Slides | Technical Report- Timed and Hybrid Automata in SAL. P. Vijay Suman and Paritosh K. Pandya.
RTES'08: Real Time and Embedded Systems, Timisoara, Romania, 2008.
ABSTRACT | Slides | Technical Report- Timed Automata with Integer Resets: Language Inclusion and Expressiveness. P. Vijay Suman, Paritosh K. Pandya, Shankara Narayanan Krishna and Lakshmi Manasa.
FORMATS'08: Proceedings of Formal Modelling and Analysis of Timed Systems, Saint-Malo, France 2008.
ABSTRACT | Springer Link | Slides | Technical Report- Model Checking based Analysis of End-to-end Latency in Embedded, Real-time Systems with Clock Drifts. Swarup Mohalik, A. C. Rajeev, Manoj G. Dixit, S. Ramesh, P. Vijay Suman, Paritosh K. Pandya, and Shengbing Jiang.
DAC'08: Proceedings of Design Automaton Conference, Anaheim, California, 2008.
ABSTRACT | ACM Link | Slides | Technical Report
Technical Reports:
- TIFR-PPVS-GM-2006/1: Survey of Theory and Analysis of Timed/Hybrid Systems
- TIFR-PPVS-GM-2007/1: Stopwatch Automata Under Digitization And The Properties Of Event Recording Stopwatch Automata
- TIFR-PPVS-GM-2007/2: Modeling Timed Automata in SAL
- TIFR-PPVS-GM-2007/3: End-to-end Message Latency under Clock Drifts
- TIFR-PPVS-GM-2007/4: Determinization of Timed Automata with Integral Resets
- TIFR-SPKM-GM-2008/1: Timed Automata with Integer Resets: Language Inclusion and Expressivness
- TIFR-PPVS-2008/1: Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions
Presentations:
- Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions, Language and Automata Theory and Applications, Tarragona, Spain, April 6th, 2009.
- Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions, STCS Symposium, 2009
- Synopsis Presentation, February 3rd, 2009
- Determinization and Expressive Power of Integer Reset Timed Automata with Silent Transitions, Workshop on Automata, Concurrency and Timed Systems, CMI, January 30th, 2009
- Determinization of Timed Automata with Integral Resets, STCS Day, 2008
- Talks on the survey report on Foundations Of Timed And Hybrid Automata at GM R&D India Science Labs, Bangalore, December, 2006
- Impressive Power of Stopwatch Automata (Cassez et al) at Formal Methods Update Meeting, IIT Bombay, 2005
- Undecidability of Universality of Timed Automata
- Presentation to VSRP students, 2005
My Documents: