Spremljaj
Prakash Saivasan
Prakash Saivasan
Preverjeni e-poštni naslov na imsc.res.in - Domača stran
Naslov
Navedeno
Navedeno
Leto
Linear-time model-checking for multithreaded programs under scope-bounding
MF Atig, A Bouajjani, K Narayan Kumar, P Saivasan
International Symposium on Automated Technology for Verification and …, 2012
272012
Regular separability of well structured transition systems
W Czerwiński, S Lasota, R Meyer, S Muskalla, KN Kumar, P Saivasan
arXiv preprint arXiv:1702.05334, 2017
242017
Deciding reachability under persistent x86-TSO
PA Abdulla, MF Atig, A Bouajjani, KN Kumar, P Saivasan
Proceedings of the ACM on Programming Languages 5 (POPL), 1-32, 2021
222021
Adjacent Ordered Multi-Pushdown Systems
PS M F Atig, K. N Kumar
17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21 …, 2013
19*2013
On the complexity of bounded context switching
P Chini, J Kolberg, A Krebs, R Meyer, P Saivasan
arXiv preprint arXiv:1609.09728, 2016
182016
Fine-grained complexity of safety verification
P Chini, R Meyer, P Saivasan
Journal of Automated Reasoning 64 (7), 1419-1444, 2020
152020
The complexity of regular abstractions of one-counter languages
MF Atig, D Chistikov, P Hofman, KN Kumar, P Saivasan, G Zetzsche
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
152016
On bounded reachability analysis of shared memory systems
MF Atig, A Bouajjani, K Narayan Kumar, P Saivasan
34th International Conference on Foundation of Software Technology and …, 2014
152014
Liveness in broadcast networks
P Chini, R Meyer, P Saivasan
International Conference on Networked Systems, 52-66, 2019
132019
Complexity of liveness in parameterized systems
P Chini, R Meyer, P Saivasan
arXiv preprint arXiv:1909.12004, 2019
82019
Parity games on bounded phase multi-pushdown systems
MF Atig, A Bouajjani, K Narayan Kumar, P Saivasan
Networked Systems: 5th International Conference, NETYS 2017, Marrakech …, 2017
82017
Model checking branching-time properties of multi-pushdown systems is hard
MF Atig, A Bouajjani, KN Kumar, P Saivasan
arXiv preprint arXiv:1205.6928, 2012
82012
A framework for consistency algorithms
P Chini, P Saivasan
arXiv preprint arXiv:2007.11398, 2020
62020
Separability and non-determinizability of WSTS
W Czerwiński, E Keskin, S Lasota, R Meyer, S Muskalla, KN Kumar, ...
arXiv preprint arXiv:2305.02736, 2023
52023
On the upward/downward closures of Petri nets
MF Atig, R Meyer, S Muskalla, P Saivasan
arXiv preprint arXiv:1701.02927, 2017
52017
Acceleration in multi-pushdown systems
MF Atig, K Narayan Kumar, P Saivasan
International Conference on Tools and Algorithms for the Construction and …, 2016
42016
Weighted One-Deterministic-Counter Automata
P Mathew, V Penelle, P Saivasan, AV Sreejith
arXiv preprint arXiv:2301.13456, 2023
32023
On the satisfiability of context-free string constraints with subword-ordering
C Aiswarya, S Mal, P Saivasan
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
32022
Verifying reachability for TSO programs with dynamic thread creation
PA Abdulla, MF Atig, A Bouajjani, K Narayan Kumar, P Saivasan
International Conference on Networked Systems, 283-300, 2022
32022
Temporal tracing of on-chip signals using timeprints
R Massoud, HM Le, P Chini, P Saivasan, R Meyer, R Drechsler
Proceedings of the 56th Annual Design Automation Conference 2019, 1-6, 2019
22019
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–20