Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conferen... von Graf, Susanne, Viswanathan, Mahesh

Volltext

Exact quantitative probabilistic model checking through rational search von Mathur, Umang, Bauer, Matthew S., Chadha, Rohit, Sistla, A. Prasad, Viswanathan, Mahesh

Volltext

Verification of Bounded Discrete Horizon Hybrid Automata von Vladimerou, V., Prabhakar, P., Viswanathan, M., Dullerud, G.

Volltext

Optimal prediction of synchronization-preserving races von Mathur, Umang, Pavlogiannis, Andreas, Viswanathan, Mahesh

Volltext

Statistical model checking: challenges and perspectives von Legay, Axel, Viswanathan, Mahesh

Volltext

Controller Synthesis for Linear System With Reach-Avoid Specifications von Fan, Chuchu, Qin, Zengyi, Mathur, Umang, Ning, Qiang, Mitra, Sayan, Viswanathan, Mahesh

Volltext

Optimal Translation of LTL to Limit Deterministic Automata von Kini, Dileep, Viswanathan, Mahesh

Volltext

What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detection von Mathur, Umang, Kini, Dileep, Viswanathan, Mahesh

Volltext

Reachability under Contextual Locking von Bonnet, Remi, Chadha, Rohit, Viswanathan, Mahesh, Madhusudan, P.

Volltext

Stability Preserving Simulations and Bisimulations for Hybrid Systems von Prabhakar, Pavithra, Dullerud, Geir, Viswanathan, Mahesh

Volltext

A counterexample-guided abstraction-refinement framework for markov decision processes von Chadha, Rohit, Viswanathan, Mahesh

Volltext

Stability Analysis of Switched Linear Systems Defined by Regular Languages von Yu Wang, Roohi, Nima, Dullerud, Geir E., Viswanathan, Mahesh

Volltext

Power of Randomization in Automata on Infinite Strings von Chadha, Rohit, Sistla, A. Prasad, Viswanathan, Mahesh

Volltext

Statistical model checking for unbounded until formulas von Roohi, Nima, Viswanathan, Mahesh

Volltext

Measuring speech quality for text-to-speech systems: development and assessment of a modified mean opinion score (MOS) scale von Viswanathan, Mahesh, Viswanathan, Madhubalan

Volltext

Modelchecking Safety Properties in Randomized Security Protocols von Bauer, Matthew S., Chadha, Rohit, Viswanathan, Mahesh

Volltext

Decidable verification of uninterpreted programs von Mathur, Umang, Madhusudan, P., Viswanathan, Mahesh

Volltext

Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields von Damiani, Ferruccio, Viroli, Mirko, Pianini, Danilo, Beal, Jacob

Volltext

Model Checking Multithreaded Programs with Asynchronous Atomic Methods von Sen, Koushik, Viswanathan, Mahesh

Volltext

Decidable and expressive classes of probabilistic automata von Ben, Yue, Chadha, Rohit, Sistla, A. Prasad, Viswanathan, Mahesh

Volltext