Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

9 Results
authFullName_s : Shankara Narayanan Krishna
Image document

A Regular Metric Temporal Logic

Shankara Narayanan Krishna , Khushraj Madnani , Paritosh Pandya
Preprints, Working Papers, ... hal-01483315v1
Image document

Adding Negative Prices to Priced Timed Games

Thomas Brihaye , Gilles Geeraerts , Shankara Narayanan Krishna , Lakshmi Manasa , Benjamin Monmege et al.
25th International Conference on Concurrency Theory (CONCUR'14), Sep 2014, Rome, Italy. pp.560-575, ⟨10.1007/978-3-662-44584-6_38⟩
Conference papers hal-01273480v1

Compositional Verification of Software Product Lines

Jean-Vivien Millo , S. Ramesh , Shankara Narayanan Krishna , Ganesh Khandu Narwane
iFM 2013 - 10th International Conference on integrated Formal Methods, Jun 2013, Turku, Finland. pp.109-123, ⟨10.1007/978-3-642-38613-8_8⟩
Conference papers istex hal-00799108v1
Image document

Timed Systems through the Lens of Logic

S. Akshay , Paul Gastin , Vincent Juge , Shankara Narayanan Krishna
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2019, Vancouver, Canada. ⟨10.1109/LICS.2019.8785684⟩
Conference papers hal-03185736v1
Image document

Efficient Construction of Reversible Transducers from Regular Transducer Expressions

Paul Gastin , Luc Dartois , R. Govind , Shankara Narayanan Krishna
37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS ’22), Aug 2022, Haifa, Israel
Conference papers hal-03772628v1

Tracing SPLs precisely and efficiently

Swarup Mohalik , S. Ramesh , Jean-Vivien Millo , Shankara Narayanan Krishna , Ganesh Narwane et al.
SPLC '12 - Proceedings of the 16th International Software Product Line Conference, Sep 2012, Salvador, Brazil. pp.186-195, ⟨10.1145/2362536.2362562⟩
Conference papers hal-00799104v1
Image document

Compositional Verification of Evolving SPL

Jean-Vivien Millo , S. Ramesh , Shankara Narayanan Krishna , Ganesh Khandu Narwane
[Research Report] RR-8125, INRIA. 2012, pp.34
Reports hal-00747533v1
Image document

Analyzing Timed Systems Using Tree Automata

Sunil Akshay , Paul Gastin , Shankara Narayanan Krishna
27th International Conference on Concurrency Theory (CONCUR 2016), 2016, Québec City, Canada. pp.27:1-27:14, ⟨10.4230/LIPIcs.CONCUR.2016.27⟩
Conference papers hal-01407942v1
Image document

Traceability analyses between features and assets in software product lines

Ganesh Khandu Narwane , José Angel Galindo Duarte , Shankara Narayanan Krishna , David Benavides , Jean-Vivien Millo et al.
Entropy, 2016, 18 (8), pp.269. ⟨10.3390/e18080269⟩
Journal articles hal-01342351v1