×

zbMATH — the first resource for mathematics

Akshay, S.

Compute Distance To:
Author ID: akshay.s Recent zbMATH articles by "Akshay, S."
Published as: Akshay, S.
Documents Indexed: 31 Publications since 2007, including 1 Book

Publications by Year

Citations contained in zbMATH

17 Publications have been cited 50 times in 38 Documents Cited by Year
Approximate verification of the symbolic dynamics of Markov chains. Zbl 1362.68162
Agrawal, Manindra; Akshay, S.; Genest, Blaise; Thiagarajan, P. S.
6
2012
Distributed timed automata with independently evolving clocks. Zbl 1160.68450
Akshay, S.; Bollig, Benedikt; Gastin, Paul; Mukund, Madhavan; Narayan Kumar, K.
5
2008
Analyzing timed systems using tree automata. Zbl 1392.68212
Akshay, S.; Gastin, Paul; Krishna, Shankara Narayanan
4
2016
On regularity of unary probabilistic automata. Zbl 1388.68156
Akshay, S.; Genest, Blaise; Karelovic, Bruno; Vyas, Nikhil
4
2016
Reachability problems for Markov chains. Zbl 1302.68204
Akshay, S.; Antonopoulos, Timos; Ouaknine, Joël; Worrell, James
4
2015
Implementing realistic asynchronous automata. Zbl 1359.68154
Akshay, S.; Dinca, Ionut; Genest, Blaise; Stefanescu, Alin
4
2013
Robustness of time Petri nets under guard enlargement. Zbl 1355.68187
Akshay, S.; Hélouët, Loïc; Jard, Claude; Reynier, Pierre-Alain
4
2012
Automata and logics for timed message sequence charts. Zbl 1135.68496
Akshay, S.; Bollig, Benedikt; Gastin, Paul
4
2007
Model checking time-constrained scenario-based specifications. Zbl 1245.68129
Akshay, S.; Gastin, Paul; Mukund, Madhavan; Kumar, K. Narayan
3
2010
Approximate verification of the symbolic dynamics of Markov chains. Zbl 1321.68367
Agrawal, Manindra; Akshay, S.; Genest, Blaise; Thiagarajan, P. S.
2
2015
Distributed timed automata with independently evolving clocks. Zbl 1298.68189
Akshay, S.; Bollig, Benedikt; Gastin, Paul; Mukund, Madhavan; Kumar, K. Narayan
2
2014
Symbolically bounding the drift in time-constrained MSC graphs. Zbl 1362.68163
Akshay, S.; Genest, Blaise; Hélouët, Loïc; Yang, Shaofa
2
2012
Checking coverage for infinite collections of timed scenarios. Zbl 1151.68501
Akshay, S.; Mukund, Madhavan; Kumar, K. Narayan
2
2007
Analyzing timed systems using tree automata. Zbl 1398.68290
Akshay, S.; Gastin, Paul; Krishna, Shankara Narayanan
1
2018
Robustness of time Petri nets under guard enlargement. Zbl 1357.68132
Akshay, S.; Hélouët, Loïc; Jard, Claude; Reynier, Pierre-Alain
1
2016
Decidable classes of unbounded Petri nets with time and urgency. Zbl 1346.68125
Akshay, S.; Genest, B.; Hélouët, L.
1
2016
Regular set of representatives for time-constrained MSC graphs. Zbl 1243.68218
Akshay, S.; Genest, Blaise; Hélouët, Loïc; Yang, Shaofa
1
2012
Analyzing timed systems using tree automata. Zbl 1398.68290
Akshay, S.; Gastin, Paul; Krishna, Shankara Narayanan
1
2018
Analyzing timed systems using tree automata. Zbl 1392.68212
Akshay, S.; Gastin, Paul; Krishna, Shankara Narayanan
4
2016
On regularity of unary probabilistic automata. Zbl 1388.68156
Akshay, S.; Genest, Blaise; Karelovic, Bruno; Vyas, Nikhil
4
2016
Robustness of time Petri nets under guard enlargement. Zbl 1357.68132
Akshay, S.; Hélouët, Loïc; Jard, Claude; Reynier, Pierre-Alain
1
2016
Decidable classes of unbounded Petri nets with time and urgency. Zbl 1346.68125
Akshay, S.; Genest, B.; Hélouët, L.
1
2016
Reachability problems for Markov chains. Zbl 1302.68204
Akshay, S.; Antonopoulos, Timos; Ouaknine, Joël; Worrell, James
4
2015
Approximate verification of the symbolic dynamics of Markov chains. Zbl 1321.68367
Agrawal, Manindra; Akshay, S.; Genest, Blaise; Thiagarajan, P. S.
2
2015
Distributed timed automata with independently evolving clocks. Zbl 1298.68189
Akshay, S.; Bollig, Benedikt; Gastin, Paul; Mukund, Madhavan; Kumar, K. Narayan
2
2014
Implementing realistic asynchronous automata. Zbl 1359.68154
Akshay, S.; Dinca, Ionut; Genest, Blaise; Stefanescu, Alin
4
2013
Approximate verification of the symbolic dynamics of Markov chains. Zbl 1362.68162
Agrawal, Manindra; Akshay, S.; Genest, Blaise; Thiagarajan, P. S.
6
2012
Robustness of time Petri nets under guard enlargement. Zbl 1355.68187
Akshay, S.; Hélouët, Loïc; Jard, Claude; Reynier, Pierre-Alain
4
2012
Symbolically bounding the drift in time-constrained MSC graphs. Zbl 1362.68163
Akshay, S.; Genest, Blaise; Hélouët, Loïc; Yang, Shaofa
2
2012
Regular set of representatives for time-constrained MSC graphs. Zbl 1243.68218
Akshay, S.; Genest, Blaise; Hélouët, Loïc; Yang, Shaofa
1
2012
Model checking time-constrained scenario-based specifications. Zbl 1245.68129
Akshay, S.; Gastin, Paul; Mukund, Madhavan; Kumar, K. Narayan
3
2010
Distributed timed automata with independently evolving clocks. Zbl 1160.68450
Akshay, S.; Bollig, Benedikt; Gastin, Paul; Mukund, Madhavan; Narayan Kumar, K.
5
2008
Automata and logics for timed message sequence charts. Zbl 1135.68496
Akshay, S.; Bollig, Benedikt; Gastin, Paul
4
2007
Checking coverage for infinite collections of timed scenarios. Zbl 1151.68501
Akshay, S.; Mukund, Madhavan; Kumar, K. Narayan
2
2007
all top 5

Cited by 89 Authors

10 Akshay, S.
5 Genest, Blaise
4 Bollig, Benedikt
4 Gastin, Paul
3 Bertrand, Nathalie
3 Hélouët, Loïc
2 André, Étienne
2 Dewaskar, Miheer
2 Gimbert, Hugo
2 Krishna, Shankara Narayanan
2 Muscholl, Anca
2 Quaas, Karin
2 Rossi, Matteo A. C.
2 Sangnier, Arnaud
2 Worrell, James B.
1 Abdulla, Parosh Aziz
1 Agrawal, Manindra
1 Aiswarya, Cyriac
1 Antonopoulos, Timos
1 Atig, Mohamed Faouzi
1 Balaguer, Sandie
1 Balaji, Nikhil
1 Baresi, Luciano
1 Basu, Samik
1 Baudru, Nicolas
1 Ben, Yue
1 Biscaia, M.
1 Bocchi, Laura
1 Bonchi, Filippo
1 Bouyer, Patricia
1 Brihaye, Thomas
1 Bultan, Tevfik
1 Cadilhac, Michaël
1 Carlier, Pierre
1 Chadha, Rohit
1 Chatain, Thomas
1 Cimatti, Alessandro
1 Clemente, Lorenzo
1 Daviaud, Laure
1 Dima, Cătălin
1 Dingel, Juergen
1 Dong, JinSong
1 Doyen, Laurent
1 Ferrucci, Luca
1 Fratani, Séverine
1 Godbole, Adwait Amit
1 Grindei, Manuela-Lidia
1 Haar, Stefan
1 Habermehl, Peter
1 Henriques, Denise Y. P.
1 Jurdziński, Marcin
1 Krebs, Andreas
1 Kumar, K. Narayan
1 Lanotte, Ruggero
1 Lasota, Sławomir
1 Lazić, Ranko
1 Legay, Axel
1 Lime, Didier
1 Liu, Yang
1 Mandrioli, Dino
1 Markey, Nicolas
1 Massart, Thierry Jacques
1 Mateus, Paulo C.
1 Mazowiecki, Filip
1 McKenzie, Pierre
1 Morzenti, Angelo
1 Mover, Sergio
1 Mukund, Madhavan
1 Neykova, Rumyana
1 Ortiz, James N.
1 Ouaknine, Joel O.
1 Pérez, Guillermo A.
1 Phawade, Ramchandra
1 Rudie, Karen
1 Sarkar, Ilias
1 Schobbens, Pierre-Yves
1 Shirmohammadi, Mahsa
1 Silva, Alexandra
1 Sistla, Aravinda Prasad
1 Sokolova, Ana
1 Sun, Jun
1 Thiagarajan, Pazhamaneri Subramaniam
1 Tonetta, Stefano
1 Viswanathan, Mahesh
1 Vyas, Nikhil
1 Waez, Md Tawhid Bin
1 Yang, Shaofa
1 Yoshida, Nobuko
1 Zhou, Yu

Citations by Year