B. Srivathsan

Available identifiers

zbMath Open srivathsan.bMaRDI QIDQ342705

List of research outcomes

Publication	Date of Publication	Type
Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods	2024-12-06	Paper
Simulations for event-clock automata	2024-09-04	Paper
Simulations for event-clock automata	2024-08-13	Paper
Checking timed Büchi automata emptiness using the local-time semantics	2024-08-13	Paper
A local-time semantics for negotiations	2024-05-03	Paper
Fast algorithms for handling diagonal constraints in timed automata	2024-02-16	Paper
A unified model for real-time systems: symbolic techniques and implementation	2024-02-01	Paper
Zone-based verification of timed automata: extrapolations, simulations and what next?	2023-01-18	Paper
https://portal.mardi4nfdi.de/entity/Q5009444	2021-08-04	Paper
Why Liveness for Timed Automata Is Hard, and What We Can Do About It	2020-09-11	Paper
Why Liveness for Timed Automata Is Hard, and What We Can Do About It	2018-04-19	Paper
Nesting Depth of Operators in Graph Database Queries: Expressiveness Vs. Evaluation Complexity	2017-12-19	Paper
Better Abstractions for Timed Automata	2017-05-16	Paper
Better abstractions for timed automata	2016-11-18	Paper
Coarse abstractions make Zeno behaviours difficult to detect	2013-04-09	Paper
Efficient emptiness check for timed Büchi automata	2012-09-27	Paper
Using non-convex approximations for efficient analysis of timed automata	2012-08-31	Paper
An alternate proof of Statman's finite completeness theorem	2012-07-25	Paper
Coarse Abstractions Make Zeno Behaviours Difficult to Detect	2011-09-02	Paper
Efficient on-the-fly emptiness check for timed Büchi automata	2010-10-04	Paper

Research outcomes over time

This page was built for person: B. Srivathsan