×

zbMATH — the first resource for mathematics

Srivathsan, B

Compute Distance To:
Author ID: srivathsan.b Recent zbMATH articles by "Srivathsan, B"
Published as: Srivathsan, B; Srivathsan, B.
Documents Indexed: 11 Publications since 2010

Publications by Year

Citations contained in zbMATH

7 Publications have been cited 12 times in 9 Documents Cited by Year
Using non-convex approximations for efficient analysis of timed automata. Zbl 1246.68145
Herbreteau, Frédéric; Kini, Dileep; Srivathsan, B.; Walukiewicz, Igor
3
2011
Better abstractions for timed automata. Zbl 1360.68560
Herbreteau, Frédéric; Srivathsan, B.; Walukiewicz, Igor
2
2012
Efficient emptiness check for timed Büchi automata. Zbl 1247.68143
Herbreteau, Frédéric; Srivathsan, B.; Walukiewicz, Igor
2
2012
Efficient on-the-fly emptiness check for timed Büchi automata. Zbl 1305.68114
Herbreteau, Frédéric; Srivathsan, B
2
2010
Coarse abstractions make Zeno behaviours difficult to detect. Zbl 1260.68205
Herbreteau, Frédéric; Srivathsan, B.
1
2013
An alternate proof of Statman’s finite completeness theorem. Zbl 1243.03017
Srivathsan, B.; Walukiewicz, Igor
1
2012
Coarse abstractions make Zeno behaviours difficult to detect. Zbl 1343.68139
Herbreteau, Frédéric; Srivathsan, B.
1
2011
Coarse abstractions make Zeno behaviours difficult to detect. Zbl 1260.68205
Herbreteau, Frédéric; Srivathsan, B.
1
2013
Better abstractions for timed automata. Zbl 1360.68560
Herbreteau, Frédéric; Srivathsan, B.; Walukiewicz, Igor
2
2012
Efficient emptiness check for timed Büchi automata. Zbl 1247.68143
Herbreteau, Frédéric; Srivathsan, B.; Walukiewicz, Igor
2
2012
An alternate proof of Statman’s finite completeness theorem. Zbl 1243.03017
Srivathsan, B.; Walukiewicz, Igor
1
2012
Using non-convex approximations for efficient analysis of timed automata. Zbl 1246.68145
Herbreteau, Frédéric; Kini, Dileep; Srivathsan, B.; Walukiewicz, Igor
3
2011
Coarse abstractions make Zeno behaviours difficult to detect. Zbl 1343.68139
Herbreteau, Frédéric; Srivathsan, B.
1
2011
Efficient on-the-fly emptiness check for timed Büchi automata. Zbl 1305.68114
Herbreteau, Frédéric; Srivathsan, B
2
2010

Citations by Year