Filter
Conference contribution

Search results

  • 2023

    Deciding Differential Privacy of Online Algorithms with Multiple Variables

    Chadha, R., Prasad Sistla, A., Viswanathan, M. & Bhusal, B., Nov 15 2023, CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 1761-1775 15 p. (CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • RTAEval: A Framework for Evaluating Runtime Assurance Logic

    Miller, K., Zeitler, C. K., Shen, W., Viswanathan, M. & Mitra, S., 2023, Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Proceedings. André, É. & Sun, J. (eds.). Springer, p. 302-313 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14216 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Stack-Aware Hyperproperties

    Bajwa, A., Zhang, M., Chadha, R. & Viswanathan, M., 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). Springer, p. 308-325 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13993 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • 2022

    A Tree Clock Data Structure for Causal Orderings in Concurrent Executions

    Mathur, U., Pavlogiannis, A., Tunc, H. C. & Viswanathan, M., Feb 28 2022, ASPLOS 2022 - Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. Falsafi, B., Ferdman, M., Lu, S. & Wenisch, T. F. (eds.). Association for Computing Machinery, p. 710-725 16 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Proof Blocks: Autogradable Scaffolding Activities for Learning to Write Proofs

    Poulsen, S., Viswanathan, M., Herman, G. L. & West, M., Jul 7 2022, ITiCSE 2022 - Proceedings of the 27th ACM Conference on Innovation and Technology in Computer Science Education. Association for Computing Machinery, p. 428-434 7 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE; vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • 2021

    Checking LTL[F,G,X] on compressed traces in polynomial time

    Zhang, M., Mathur, U. & Viswanathan, M., Aug 20 2021, ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Spinellis, D. (ed.). Association for Computing Machinery, p. 131-143 13 p. (ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Evaluating Proof Blocks Problems as Exam Questions

    Poulsen, S., Viswanathan, M., Herman, G. L. & West, M., Aug 16 2021, ICER 2021 - Proceedings of the 17th ACM Conference on International Computing Education Research. Association for Computing Machinery, p. 157-168 12 p. (ICER 2021 - Proceedings of the 17th ACM Conference on International Computing Education Research).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs

    Chadha, R., Sistla, A. P. & Viswanathan, M., Jun 29 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Institute of Electrical and Electronics Engineers Inc., 9470708. (Proceedings - Symposium on Logic in Computer Science; vol. 2021-June).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • 2020

    Atomicity checking in linear time using vector clocks

    Mathur, U. & Viswanathan, M., Mar 9 2020, ASPLOS 2020 - 25th International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 183-199 17 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Decidable Synthesis of Programs with Uninterpreted Functions

    Krogmeier, P., Mathur, U., Murali, A., Madhusudan, P. & Viswanathan, M., 2020, Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings. Lahiri, S. K. & Wang, C. (eds.). Springer, p. 634-657 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12225 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Deciding Differential Privacy for Programs with Finite Inputs and Outputs

    Barthe, G., Chadha, R., Jagannath, V., Sistla, A. P. & Viswanathan, M., Jul 8 2020, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020. Association for Computing Machinery, p. 141-154 14 p. 3394796. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Statistically Model Checking PCTL Specifications on Markov Decision Processes via Reinforcement Learning

    Wang, Y., Roohi, N., West, M., Viswanathan, M. & Dullerud, G. E., Dec 14 2020, 2020 59th IEEE Conference on Decision and Control, CDC 2020. Institute of Electrical and Electronics Engineers Inc., p. 1392-1397 6 p. 9303982. (Proceedings of the IEEE Conference on Decision and Control; vol. 2020-December).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • STMC: Statistical Model Checker with Stratified and Antithetic Sampling

    Roohi, N., Wang, Y., West, M., Dullerud, G. E. & Viswanathan, M., 2020, Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings. Lahiri, S. K. & Wang, C. (eds.). Springer, p. 448-460 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12225 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • The Complexity of Dynamic Data Race Prediction

    Mathur, U., Pavlogiannis, A. & Viswanathan, M., Jul 8 2020, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020. Association for Computing Machinery, p. 713-727 15 p. 3394783. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • What’s Decidable About Program Verification Modulo Axioms?

    Mathur, U., Madhusudan, P. & Viswanathan, M., 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II. Biere, A. & Parker, D. (eds.). Springer, p. 158-177 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • 2019

    A Retrospective Look at the Monitoring and Checking (MaC) Framework

    Kannan, S., Kim, M., Lee, I., Sokolsky, O. & Viswanathan, M., 2019, Runtime Verification - 19th International Conference, RV 2019, Proceedings. Finkbeiner, B. & Mariani, L. (eds.). Springer, p. 1-14 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11757 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • 2018

    A decidable fragment of second order logic with applications to synthesis

    Madhusudan, P., Mathur, U., Saha, S. & Viswanathan, M., Aug 1 2018, Computer Science Logic 2018, CSL 2018. Ghica, D. R. & Jung, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 31. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 119).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Approximating probabilistic automata by regular languages

    Chadha, R., Sistla, A. P. & Viswanathan, M., Aug 1 2018, Computer Science Logic 2018, CSL 2018. Ghica, D. R. & Jung, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 14. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 119).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Complexity of model checking MDPs against LTL specifications

    Kini, D. & Viswanathan, M., Jan 1 2018, 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017. Lokam, S. & Ramanujam, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 35. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 93).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics

    Fan, C., Mathur, U., Mitra, S. & Viswanathan, M., 2018, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Weissenbacher, G. & Chockler, H. (eds.). Springer, p. 347-366 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10981 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Data race detection on compressed traces

    Kini, D., Mathur, U. & Viswanathan, M., Oct 26 2018, ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering. Garci, A., Pasareanu, C. S. & Leavens, G. T. (eds.). Association for Computing Machinery, p. 26-37 12 p. (ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Model checking indistinguishability of randomized security protocols

    Bauer, M. S., Chadha, R., Prasad Sistla, A. & Viswanathan, M., 2018, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Weissenbacher, G. & Chockler, H. (eds.). Springer, p. 117-135 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10982 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Relating syntactic and semantic perturbations of hybrid automata

    Roohi, N., Prabhakar, P. & Viswanathan, M., Aug 1 2018, 29th International Conference on Concurrency Theory, CONCUR 2018. Schewe, S. & Zhang, L. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 26. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 118).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Revisiting MITL to fix decision procedures

    Roohi, N. & Viswanathan, M., 2018, Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Proceedings. Dillig, I. & Palsberg, J. (eds.). Springer, p. 474-494 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10747 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • 2017

    Dryvr: Data-driven verification and compositional reasoning for automotive systems

    Fan, C., Qi, B., Mitra, S. & Viswanathan, M., 2017, Computer Aided Verification - 29th International Conference, CAV 2017, Proceedings. Kuncak, V. & Majumdar, R. (eds.). Springer, p. 441-461 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10426 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Dynamic race prediction in linear time

    Kini, D., Mathur, U. & Viswanathan, M., Jun 14 2017, PLDI 2017 - Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Cohen, A. & Vechev, M. (eds.). Association for Computing Machinery, p. 157-170 14 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. Part F128414).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Emptiness under isolation and the value problem for hierarchical probabilistic automata

    Chadha, R., Sistla, A. P. & Viswanathan, M., 2017, Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Esparza, J. & Murawski, A. S. (eds.). Springer, p. 231-247 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10203 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Exact quantitative probabilistic model checking through rational search

    Bauer, M. S., Mathur, U., Chadha, R., Sistla, A. P. & Viswanathan, M., Nov 8 2017, Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, FMCAD 2017. Weissenbacher, G. & Stewart, D. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 92-99 8 p. 8102246. (Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, FMCAD 2017).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Extending Parikh’s theorem to weighted and probabilistic context-free grammars

    Bhattiprolu, V., Gordon, S. & Viswanathan, M., 2017, Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Proceedings. Bertrand, N. & Bortolussi, L. (eds.). Springer, p. 3-19 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10503 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • HARE: A hybrid abstraction refinement engine for verifying non-linear hybrid automata

    Roohi, N., Prabhakar, P. & Viswanathan, M., 2017, Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Margaria, T. & Legay, A. (eds.). Springer, p. 573-588 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10205 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Modular verification of protocol equivalence in the presence of randomness

    Bauer, M. S., Chadha, R. & Viswanathan, M., 2017, Computer Security – ESORICS 2017 - 22nd European Symposium on Research in Computer Security, Proceedings. Snekkenes, E., Foley, S. N. & Gollmann, D. (eds.). Springer, p. 187-205 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10492 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Optimal translation of LTL to limit deterministic automata

    Kini, D. & Viswanathan, M., 2017, Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Margaria, T. & Legay, A. (eds.). Springer, p. 113-129 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10206 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Robust model checking of timed automata under clock drifts

    Roohi, N., Prabhakar, P. & Viswanathan, M., Apr 13 2017, HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week). Association for Computing Machinery, p. 153-162 10 p. (HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Statistical verification of the Toyota Powertrain Control Verification Benchmark

    Roohi, N., Wang, Y., West, M., Dullerud, G. E. & Viswanathan, M., Apr 13 2017, HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week). Association for Computing Machinery, p. 65-70 6 p. (HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Verification of randomized security protocols

    Chadha, R., Sistla, A. P. & Viswanathan, M., Aug 8 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. Institute of Electrical and Electronics Engineers Inc., 8005126. (Proceedings - Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • 2016

    Analyzing Real Time Linear Control Systems Using Software Verification

    Duggirala, P. S. & Viswanathan, M., Jan 14 2016, Proceedings - 2015 IEEE 36th Real-Time Systems Symposium, RTSS 2015. Institute of Electrical and Electronics Engineers Inc., p. 216-226 11 p. 7383579. (Proceedings - Real-Time Systems Symposium; vol. 2016-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Automatic reachability analysis for nonlinear hybrid models with C2E2

    Fan, C., Qi, B., Mitra, S., Viswanathan, M. & Duggirala, P. S., 2016, Computer Aided Verification - 28th International Conference, CAV 2016, Proceedings. Farzan, A. & Chaudhuri, S. (eds.). Springer, p. 531-538 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9779).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Composing protocols with randomized actions

    Bauer, M. S., Chadha, R. & Viswanathan, M., 2016, Principles of Security and Trust - 5th International Conference, POST 2016 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Viganò, L. & Piessens, F. (eds.). Springer, p. 189-210 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9635).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Floating time transition system: More efficient analysis of timed actors

    Khamespanah, E., Sirjani, M., Viswanathan, M. & Khosravi, R., 2016, Formal Aspects of Component Software - 12th International Conference, FACS 2015, Revised Selected Papers. Braga, C. & Ölveczky, P. C. (eds.). Springer, p. 237-255 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9539).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Hybridization based CEGAR for hybrid automata with affine dynamics

    Roohi, N., Prabhakar, P. & Viswanathan, M., 2016, Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016 and Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Raskin, J-F. & Chechik, M. (eds.). Springer, p. 752-769 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9636).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Parsimonious, simulation based verification of linear systems

    Duggirala, P. S. & Viswanathan, M., 2016, Computer Aided Verification - 28th International Conference, CAV 2016, Proceedings. Farzan, A. & Chaudhuri, S. (eds.). Springer, p. 477-494 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9779).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP

    Duggirala, P. S., Fan, C., Potok, M., Qi, B., Mitra, S., Viswanathan, M., Bak, S., Bogomolov, S., Johnson, T. T., Nguyen, L. V., Schilling, C., Sogokon, A., Tran, H. D. & Xiang, W., Oct 10 2016, 2016 IEEE Conference on Control Applications, CCA 2016. Institute of Electrical and Electronics Engineers Inc., p. 1024-1029 6 p. 7587948. (2016 IEEE Conference on Control Applications, CCA 2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction

    Wang, Y., Roohi, N., West, M., Viswanathan, M. & Dullerud, G. E., Dec 27 2016, 2016 IEEE 55th Conference on Decision and Control, CDC 2016. Institute of Electrical and Electronics Engineers Inc., p. 3012-3017 6 p. 7798719. (2016 IEEE 55th Conference on Decision and Control, CDC 2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2015

    C2E2: A verification tool for stateflow models

    Duggirala, P. S., Mitra, S., Viswanathan, M. & Potok, M., 2015, Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, Proceedings. Tinelli, C. & Baier, C. (eds.). Springer, p. 68-82 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9035).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Decidable and expressive classes of probabilistic automata

    Chadha, R., Sistla, A. P., Viswanathan, M. & Ben, Y., 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Pitts, A. (ed.). Springer, p. 200-214 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9034).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Deciding concurrent planar monotonic linear hybrid systems

    Prabhakar, P., Roohi, N. & Viswanathan, M., 2015, Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Proceedings. Sankaranarayanan, S. & Vicario, E. (eds.). Springer, p. 256-269 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9268).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Demo: C2E2 - A tool for verifying annotated hybrid systems

    Duggirala, P. S., Potok, M., Mitra, S. & Viswanathan, M., Apr 14 2015, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015. Association for Computing Machinery, p. 307-308 2 p. (Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 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 conference on distributed computing techniques, discotec 2015 grenoble, france, june 2-4, 2015 proceedings

    Graf, S. & Viswanathan, M., 2015, 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 Conference on Distributed Computing Techniques, DisCoTec 2015, Proceedings. Graf, S. & Viswanathan, M. (eds.). Springer, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9039).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Limit deterministic and probabilistic automata for LTL\GU

    Kini, D. & Viswanathan, M., 2015, Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, Proceedings. Tinelli, C. & Baier, C. (eds.). Springer, p. 628-642 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9035).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Meeting a powertrain verification challenge

    Duggirala, P. S., Fan, C., Mitra, S. & Viswanathan, M., 2015, Computer Aided Verification - 27th International Conference, CAV 2015, Proceedings. Pasareanu, C. S., Kroening, D., Pasareanu, C. S. & Kroening, D. (eds.). Springer, p. 536-543 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9206).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access