% csauthors.net - beta - BibTeX bibliography of Rupak Majumdar
@inproceedings{conf/asian/MajumdarS96,
title = {Design of Controllers for Linear Hybrid Systems.},
year = {1996},
booktitle = {ASIAN},
author = {{Rupak Majumdar} and {R. K. Shyamasundar}},
publisher = {Springer},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings}
}
@inproceedings{conf/concur/HenzingerHM99,
title = {Rectangular Hybrid Games.},
year = {1999},
booktitle = {CONCUR},
author = {{Thomas A. Henzinger} and {Benjamin Horowitz} and {Rupak Majumdar}},
publisher = {Springer},
booktitle = {CONCUR '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings}
}
@inproceedings{conf/hybrid/HenzingerHMW00,
title = {Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods.},
year = {2000},
booktitle = {HSCC},
author = {{Thomas A. Henzinger} and {Benjamin Horowitz} and {Rupak Majumdar} and {Howard Wong-Toi}},
publisher = {Springer},
booktitle = {Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings}
}
@inproceedings{conf/sas/HenzingerMMR00,
title = {Abstract Interpretation of Game Properties.},
year = {2000},
booktitle = {SAS},
author = {{Thomas A. Henzinger} and {Rupak Majumdar} and {Freddy Y. C. Mang} and {Jean-François Raskin}},
publisher = {Springer},
booktitle = {Static Analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, Proceedings}
}
@inproceedings{conf/stacs/HenzingerM00,
title = {A Classification of Symbolic Transition Systems.},
year = {2000},
booktitle = {STACS},
author = {{Thomas A. Henzinger} and {Rupak Majumdar}},
publisher = {Springer},
booktitle = {STACS 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000, Proceedings}
}
@inproceedings{conf/tacas/HenzingerM00,
title = {Symbolic Model Checking for Rectangular Hybrid Systems.},
year = {2000},
booktitle = {TACAS},
author = {{Thomas A. Henzinger} and {Rupak Majumdar}},
publisher = {Springer},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings}
}
@inproceedings{conf/concur/AlfaroHM01,
title = {Symbolic Algorithms for Infinite-State Games.},
year = {2001},
booktitle = {CONCUR},
author = {{Luca de Alfaro} and {Thomas A. Henzinger} and {Rupak Majumdar}},
publisher = {Springer},
booktitle = {CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings}
}
@inproceedings{conf/dac/MajumdarW01,
title = {Watermarking of SAT using Combinatorial Isolation Lemmas.},
year = {2001},
booktitle = {DAC},
author = {{Rupak Majumdar} and {Jennifer L. Wong}},
publisher = {ACM},
booktitle = {Proceedings of the 38th Design Automation Conference, DAC 2001, Las Vegas, NV, USA, June 18-22, 2001}
}
@inproceedings{conf/icse/AlurAGHKKMMW01,
title = {JMOCHA: A Model Checking Tool that Exploits Design Structure.},
year = {2001},
booktitle = {ICSE},
author = {{Rajeev Alur} and {Luca de Alfaro} and {Radu Grosu} and {Thomas A. Henzinger} and {M. Kang} and {Christoph M. Kirsch} and {Rupak Majumdar} and {Freddy Y. C. Mang} and {Bow-Yaw Wang}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, 12-19 May 2001, Toronto, Ontario, Canada}
}
@inproceedings{conf/lics/AlfaroHM01,
title = {From Verification to Control: Dynamic Programs for Omega-Regular Objectives.},
year = {2001},
booktitle = {LICS},
author = {{Luca de Alfaro} and {Thomas A. Henzinger} and {Rupak Majumdar}},
publisher = {IEEE Computer Society},
booktitle = {16th Annual IEEE Symposium on Logic in Computer Science, Boston, Massachusetts, USA, June 16-19, 2001, Proceedings}
}
@inproceedings{conf/cav/HenzingerJMNSW02,
title = {Temporal-Safety Proofs for Systems Code.},
year = {2002},
booktitle = {CAV},
author = {{Thomas A. Henzinger} and {Ranjit Jhala} and {Rupak Majumdar} and {George C. Necula} and {Grégoire Sutre} and {Westley Weimer}},
publisher = {Springer},
booktitle = {Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings}
}
@inproceedings{conf/emsoft/HenzingerKMM02,
title = {Time-Safety Checking for Embedded Programs.},
year = {2002},
booktitle = {EMSOFT},
author = {{Thomas A. Henzinger} and {Christoph M. Kirsch} and {Rupak Majumdar} and {Slobodan Matic}},
publisher = {Springer},
booktitle = {Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings}
}
@inproceedings{conf/popl/HenzingerJMS02,
title = {Lazy abstraction.},
year = {2002},
booktitle = {POPL},
author = {{Thomas A. Henzinger} and {Ranjit Jhala} and {Rupak Majumdar} and {Grégoire Sutre}},
publisher = {ACM},
booktitle = {Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, OR, USA, January 16-18, 2002}
}
@inproceedings{conf/birthday/HenzingerJMS03,
title = {Extreme Model Checking.},
year = {2003},
booktitle = {Verification: Theory and Practice},
author = {{Thomas A. Henzinger} and {Ranjit Jhala} and {Rupak Majumdar} and {Marco A. A. Sanvido}},
publisher = {Springer},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday}
}
@inproceedings{conf/cav/HenzingerJMQ03,
title = {Thread-Modular Abstraction Refinement.},
year = {2003},
booktitle = {CAV},
author = {{Thomas A. Henzinger} and {Ranjit Jhala} and {Rupak Majumdar} and {Shaz Qadeer}},
publisher = {Springer},
booktitle = {Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings}
}
@inproceedings{conf/concur/AlfaroFHMS03,
title = {The Element of Surprise in Timed Games.},
year = {2003},
booktitle = {CONCUR},
author = {{Luca de Alfaro} and {Marco Faella} and {Thomas A. Henzinger} and {Rupak Majumdar} and {Mariëlle Stoelinga}},
publisher = {Springer},
booktitle = {CONCUR 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings}
}
@inproceedings{conf/icalp/AlfaroHM03,
title = {Discounting the Future in Systems Theory.},
year = {2003},
booktitle = {ICALP},
author = {{Luca de Alfaro} and {Thomas A. Henzinger} and {Rupak Majumdar}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings}
}
@inproceedings{conf/icalp/HenzingerJM03,
title = {Counterexample-Guided Control.},
year = {2003},
booktitle = {ICALP},
author = {{Thomas A. Henzinger} and {Ranjit Jhala} and {Rupak Majumdar}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings}
}
@inproceedings{conf/spin/HenzingerJMS03,
title = {Software Verification with BLAST.},
year = {2003},
booktitle = {SPIN},
author = {{Thomas A. Henzinger} and {Ranjit Jhala} and {Rupak Majumdar} and {Grégoire Sutre}},
publisher = {Springer},
booktitle = {Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings}
}
@inproceedings{conf/tacas/HenzingerKM03,
title = {On the Universal and Existential Fragments of the µ-Calculus.},
year = {2003},
booktitle = {TACAS},
author = {{Thomas A. Henzinger} and {Orna Kupferman} and {Rupak Majumdar}},
publisher = {Springer},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings}
}
@inproceedings{conf/csl/ChatterjeeMJ04,
title = {On Nash Equilibria in Stochastic Games.},
year = {2004},
booktitle = {CSL},
author = {{Krishnendu Chatterjee} and {Rupak Majumdar} and {Marcin Jurdzinski}},
publisher = {Springer},
booktitle = {Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings}
}
@inproceedings{conf/icse/BeyerCM04,
title = {Generating Tests from Counterexamples.},
year = {2004},
booktitle = {ICSE},
author = {{Dirk Beyer 001} and {Adam Chlipala} and {Thomas A. Henzinger} and {Ranjit Jhala} and {Rupak Majumdar}},
publisher = {IEEE Computer Society},
booktitle = {26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom}
}
@inproceedings{conf/iwpc/BeyerHJM04,
title = {An Eclipse Plug-in for Model Checking.},
year = {2004},
booktitle = {IWPC},
author = {{Dirk Beyer 001} and {Thomas A. Henzinger} and {Ranjit Jhala} and {Rupak Majumdar}},
publisher = {IEEE Computer Society},
booktitle = {12th International Workshop on Program Comprehension (IWPC 2004), 24-26 June 2004, Bari, Italy}
}
@inproceedings{conf/pepm/BeyerCHJM04,
title = {Invited talk: the blast query language for software verification.},
year = {2004},
booktitle = {PEPM},
author = {{Dirk Beyer 001} and {Adam Chlipala} and {Thomas A. Henzinger} and {Ranjit Jhala} and {Rupak Majumdar}},
publisher = {ACM},
booktitle = {Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004}
}
@inproceedings{conf/pldi/HenzingerJM04,
title = {Race checking by context inference.},
year = {2004},
booktitle = {PLDI},
author = {{Thomas A. Henzinger} and {Ranjit Jhala} and {Rupak Majumdar}},
publisher = {ACM},
booktitle = {Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004}
}
@inproceedings{conf/sas/BeyerCHJM04,
title = {The Blast Query Language for Software Verification..},
year = {2004},
booktitle = {SAS},
author = {{Dirk Beyer 001} and {Adam Chlipala} and {Thomas A. Henzinger} and {Ranjit Jhala} and {Rupak Majumdar}},
publisher = {Springer},
booktitle = {Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings}
}
@article{journals/iandc/ChatterjeeMMZHP04,
title = {Stack size analysis for interrupt-driven programs.},
year = {2004},
journal = {Inf. Comput.},
author = {{Krishnendu Chatterjee} and {Di Ma} and {Rupak Majumdar} and {Tian Zhao 002} and {Thomas A. Henzinger} and {Jens Palsberg}}
}
@article{journals/jcss/AlfaroM04,
title = {Quantitative solution of omega-regular games.},
year = {2004},
journal = {J. Comput. Syst. Sci.},
author = {{Luca de Alfaro} and {Rupak Majumdar}}
}
@article{journals/tcad/WongMP04,
title = {Fair watermarking using combinatorial isolation lemmas.},
year = {2004},
journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.},
author = {{Jennifer L. Wong} and {Rupak Majumdar} and {Miodrag Potkonjak}}
}
@inproceedings{conf/charme/ChakrabartiCHKM05,
title = {Verifying Quantitative Properties Using Bound Functions.},
year = {2005},
booktitle = {CHARME},
author = {{Arindam Chakrabarti} and {Krishnendu Chatterjee} and {Thomas A. Henzinger} and {Orna Kupferman} and {Rupak Majumdar}},
publisher = {Springer},
booktitle = {Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings}
}
@inproceedings{conf/emsoft/AlfaroRFM05,
title = {Code aware resource management.},
year = {2005},
booktitle = {EMSOFT},
author = {{Luca de Alfaro} and {Vishwanath Raman} and {Marco Faella} and {Rupak Majumdar}},
publisher = {ACM},
booktitle = {EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings}
}
@inproceedings{conf/fase/BeyerHJM05,
title = {Checking Memory Safety with Blast.},
year = {2005},
booktitle = {FASE},
author = {{Dirk Beyer 001} and {Thomas A. Henzinger} and {Ranjit Jhala} and {Rupak Majumdar}},
publisher = {Springer},
booktitle = {Fundamental Approaches to Software Engineering, 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}
}
@inproceedings{conf/formats/HenzingerMP05,
title = {Quantifying Similarities Between Timed Systems.},
year = {2005},
booktitle = {FORMATS},
author = {{Thomas A. Henzinger} and {Rupak Majumdar} and {Vinayak S. Prabhu}},
publisher = {Springer},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings}
}
@inproceedings{conf/pldi/JhalaM05,
title = {Path slicing.},
year = {2005},
booktitle = {PLDI},
author = {{Ranjit Jhala} and {Rupak Majumdar}},
publisher = {ACM},
booktitle = {Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005}
}
@inproceedings{conf/sigsoft/FischerJM05,
title = {Joining dataflow with predicates.},
year = {2005},
booktitle = {ESEC/SIGSOFT FSE},
author = {{Jeffrey Fischer} and {Ranjit Jhala} and {Rupak Majumdar}},
publisher = {ACM},
booktitle = {Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005}
}
@inproceedings{conf/sigsoft/HenzingerJM05,
title = {Permissive interfaces.},
year = {2005},
booktitle = {ESEC/SIGSOFT FSE},
author = {{Thomas A. Henzinger} and {Ranjit Jhala} and {Rupak Majumdar}},
publisher = {ACM},
booktitle = {Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005}
}
@inproceedings{conf/spin/HenzingerJM05,
title = {The BLAST Software Verification System.},
year = {2005},
booktitle = {SPIN},
author = {{Thomas A. Henzinger} and {Ranjit Jhala} and {Rupak Majumdar}},
publisher = {Springer},
booktitle = {Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings}
}
@inproceedings{conf/uai/ChatterjeeHJM05,
title = {Counterexample-guided Planning.},
year = {2005},
booktitle = {UAI},
author = {{Krishnendu Chatterjee} and {Thomas A. Henzinger} and {Ranjit Jhala} and {Rupak Majumdar}},
publisher = {AUAI Press},
booktitle = {UAI '05, Proceedings of the 21st Conference in Uncertainty in Artificial Intelligence, Edinburgh, Scotland, July 26-29, 2005}
}
@article{journals/tcs/AlfaroFHMS05,
title = {Model checking discounted temporal properties.},
year = {2005},
journal = {Theor. Comput. Sci.},
author = {{Luca de Alfaro} and {Marco Faella} and {Thomas A. Henzinger} and {Rupak Majumdar} and {Mariëlle Stoelinga}}
}
@article{journals/tocl/HenzingerMR05,
title = {A classification of symbolic transition systems.},
year = {2005},
journal = {ACM Trans. Comput. Log.},
author = {{Thomas A. Henzinger} and {Rupak Majumdar} and {Jean-François Raskin}}
}
@inproceedings{conf/hybrid/EmmiM06,
title = {Decision Problems for the Verification of Real-Time Software.},
year = {2006},
booktitle = {HSCC},
author = {{Michael Emmi} and {Rupak Majumdar}},
publisher = {Springer},
booktitle = {Hybrid Systems: Computation and Control, 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings}
}
@inproceedings{conf/qest/ChatterjeeAFHMS06,
title = {Compositional Quantitative Reasoning.},
year = {2006},
booktitle = {QEST},
author = {{Krishnendu Chatterjee} and {Luca de Alfaro} and {Marco Faella} and {Thomas A. Henzinger} and {Rupak Majumdar} and {Mariëlle Stoelinga}},
publisher = {IEEE Computer Society},
booktitle = {Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA}
}
@inproceedings{conf/sas/JhalaMX06,
title = {Structural Invariants.},
year = {2006},
booktitle = {SAS},
author = {{Ranjit Jhala} and {Rupak Majumdar} and {Ru-Gang Xu}},
publisher = {Springer},
booktitle = {Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings}
}
@inproceedings{conf/sigsoft/JhalaM06,
title = {Bit level types for high level reasoning.},
year = {2006},
booktitle = {SIGSOFT FSE},
author = {{Ranjit Jhala} and {Rupak Majumdar}},
publisher = {ACM},
booktitle = {Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2006, Portland, Oregon, USA, November 5-11, 2006}
}
@inproceedings{conf/sigsoft/KapurMZ06,
title = {Interpolation for data structures.},
year = {2006},
booktitle = {SIGSOFT FSE},
author = {{Deepak Kapur} and {Rupak Majumdar} and {Calogero G. Zarba}},
publisher = {ACM},
booktitle = {Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2006, Portland, Oregon, USA, November 5-11, 2006}
}
@inproceedings{conf/stacs/ChatterjeeMH06,
title = {Markov Decision Processes with Multiple Objectives.},
year = {2006},
booktitle = {STACS},
author = {{Krishnendu Chatterjee} and {Rupak Majumdar} and {Thomas A. Henzinger}},
publisher = {Springer},
booktitle = {STACS 2006, 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings}
}
@article{journals/tcs/HenzingerKM06,
title = {On the universal and existential fragments of the mu-calculus.},
year = {2006},
journal = {Theor. Comput. Sci.},
author = {{Thomas A. Henzinger} and {Orna Kupferman} and {Rupak Majumdar}}
}
@inproceedings{conf/iccad/HuSMH07,
title = {Exploiting symmetry in SAT-based Boolean matching for heterogeneous FPGA technology mapping.},
year = {2007},
booktitle = {ICCAD},
author = {{Yu Hu 002} and {Victor Shih} and {Rupak Majumdar} and {Lei He 001}},
publisher = {IEEE Computer Society},
booktitle = {2007 International Conference on Computer-Aided Design, ICCAD 2007, San Jose, CA, USA, November 5-8, 2007}
}
@inproceedings{conf/icse/MajumdarS07,
title = {Hybrid Concolic Testing.},
year = {2007},
booktitle = {ICSE},
author = {{Rupak Majumdar} and {Koushik Sen}},
publisher = {IEEE Computer Society},
booktitle = {29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007}
}
@inproceedings{conf/issta/EmmiMS07,
title = {Dynamic test input generation for database applications.},
year = {2007},
booktitle = {ISSTA},
author = {{Michael Emmi} and {Rupak Majumdar} and {Koushik Sen}},
publisher = {ACM},
booktitle = {Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007}
}
@inproceedings{conf/kbse/FischerM07,
title = {Ensuring consistency in long running transactions.},
year = {2007},
booktitle = {ASE},
author = {{Jeffrey Fischer} and {Rupak Majumdar}},
publisher = {ACM},
booktitle = {22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA}
}
@inproceedings{conf/lics/AlfaroMRS07,
title = {Game Relations and Metrics.},
year = {2007},
booktitle = {LICS},
author = {{Luca de Alfaro} and {Rupak Majumdar} and {Vishwanath Raman} and {Mariëlle Stoelinga}},
publisher = {IEEE Computer Society},
booktitle = {22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings}
}
@inproceedings{conf/pepm/FischerMM07,
title = {Tasks: language support for event-driven programming.},
year = {2007},
booktitle = {PEPM},
author = {{Jeffrey Fischer} and {Rupak Majumdar} and {Todd D. Millstein}},
publisher = {ACM},
booktitle = {Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007}
}
@inproceedings{conf/pldi/BeyerHMR07,
title = {Path invariants.},
year = {2007},
booktitle = {PLDI},
author = {{Dirk Beyer 001} and {Thomas A. Henzinger} and {Rupak Majumdar} and {Andrey Rybalchenko}},
publisher = {ACM},
booktitle = {Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007}
}
@inproceedings{conf/popl/EmmiFJM07,
title = {Lock allocation.},
year = {2007},
booktitle = {POPL},
author = {{Michael Emmi} and {Jeffrey S. Fischer} and {Ranjit Jhala} and {Rupak Majumdar}},
publisher = {ACM},
booktitle = {Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007}
}
@inproceedings{conf/popl/JhalaM07,
title = {Interprocedural analysis of asynchronous programs.},
year = {2007},
booktitle = {POPL},
author = {{Ranjit Jhala} and {Rupak Majumdar}},
publisher = {ACM},
booktitle = {Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007}
}
@inproceedings{conf/sigsoft/MajumdarX07,
title = {Directed test generation using symbolic grammars.},
year = {2007},
booktitle = {ESEC/SIGSOFT FSE},
author = {{Rupak Majumdar} and {Ru-Gang Xu}},
publisher = {ACM},
booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007}
}
@inproceedings{conf/tacas/JhalaMX07,
title = {State of the Union: Type Inference Via Craig Interpolation.},
year = {2007},
booktitle = {TACAS},
author = {{Ranjit Jhala} and {Rupak Majumdar} and {Ru-Gang Xu}},
publisher = {Springer},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings}
}
@inproceedings{conf/vmcai/BeyerHMR07,
title = {Invariant Synthesis for Combined Theories.},
year = {2007},
booktitle = {VMCAI},
author = {{Dirk Beyer 001} and {Thomas A. Henzinger} and {Rupak Majumdar} and {Andrey Rybalchenko}},
publisher = {Springer},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings}
}
@inproceedings{conf/vmcai/EmmiM07,
title = {Verifying Compensating Transactions.},
year = {2007},
booktitle = {VMCAI},
author = {{Michael Emmi} and {Rupak Majumdar}},
publisher = {Springer},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings}
}
@article{journals/sttt/BeyerHJM07,
title = {The software model checker Blast.},
year = {2007},
journal = {Int. J. Softw. Tools Technol. Transf.},
author = {{Dirk Beyer 001} and {Thomas A. Henzinger} and {Ranjit Jhala} and {Rupak Majumdar}}
}
@inproceedings{conf/cav/BeyerZM08,
title = {CSIsat: Interpolation for LA+EUF.},
year = {2008},
booktitle = {CAV},
author = {{Dirk Beyer 001} and {Damien Zufferey} and {Rupak Majumdar}},
publisher = {Springer},
booktitle = {Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings}
}
@inproceedings{conf/dac/HuSMH08,
title = {FPGA area reduction by multi-output function based sequential resynthesis.},
year = {2008},
booktitle = {DAC},
author = {{Yu Hu 002} and {Victor Shih} and {Rupak Majumdar} and {Lei He 001}},
publisher = {ACM},
booktitle = {Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008}
}
@inproceedings{conf/fsttcs/ChatterjeeAMR08,
title = {Algorithms for Game Metrics.},
year = {2008},
booktitle = {FSTTCS},
author = {{Krishnendu Chatterjee} and {Luca de Alfaro} and {Rupak Majumdar} and {Vishwanath Raman}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India}
}
@inproceedings{conf/hybrid/ChatterjeeMH08,
title = {Controller Synthesis with Budget Constraints.},
year = {2008},
booktitle = {HSCC},
author = {{Krishnendu Chatterjee} and {Rupak Majumdar} and {Thomas A. Henzinger}},
publisher = {Springer},
booktitle = {Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings}
}
@inproceedings{conf/iccad/HuFHM08,
title = {Robust FPGA resynthesis based on fault-tolerant Boolean matching.},
year = {2008},
booktitle = {ICCAD},
author = {{Yu Hu 002} and {Zhe Feng 002} and {Lei He 001} and {Rupak Majumdar}},
publisher = {IEEE Computer Society},
booktitle = {2008 International Conference on Computer-Aided Design, ICCAD 2008, San Jose, CA, USA, November 10-13, 2008}
}
@inproceedings{conf/icws/FischerM08,
title = {A Theory of Role Composition.},
year = {2008},
booktitle = {ICWS},
author = {{Jeffrey Fischer} and {Rupak Majumdar}},
publisher = {IEEE Computer Society},
booktitle = {2008 IEEE International Conference on Web Services (ICWS 2008), September 23-26, 2008, Beijing, China}
}
@inproceedings{conf/issta/XuGM08,
title = {Testing for buffer overflows with length abstraction.},
year = {2008},
booktitle = {ISSTA},
author = {{Ru-Gang Xu} and {Patrice Godefroid} and {Rupak Majumdar}},
publisher = {ACM},
booktitle = {Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008}
}
@inproceedings{conf/kbse/FischerMS08,
title = {The Consistency of Web Conversations.},
year = {2008},
booktitle = {ASE},
author = {{Jeffrey Fischer} and {Rupak Majumdar} and {Francesco Sorrentino 002}},
publisher = {IEEE Computer Society},
booktitle = {23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 15-19 September 2008, L'Aquila, Italy}
}
@inproceedings{conf/popl/GuptaHMRX08,
title = {Proving non-termination.},
year = {2008},
booktitle = {POPL},
author = {{Ashutosh Gupta 001} and {Thomas A. Henzinger} and {Rupak Majumdar} and {Andrey Rybalchenko} and {Ru-Gang Xu}},
publisher = {ACM},
booktitle = {Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008}
}
@inproceedings{conf/sagt/ErcalIMM08,
title = {Frugal Routing on Wireless Ad-Hoc Networks.},
year = {2008},
booktitle = {SAGT},
author = {{Gunes Ercal} and {Rafit Izhak-Ratzin} and {Rupak Majumdar} and {Adam Meyerson}},
publisher = {Springer},
booktitle = {Algorithmic Game Theory, First International Symposium, SAGT 2008, Paderborn, Germany, April 30-May 2, 2008. Proceedings}
}
@article{journals/corr/abs-0809-1236,
title = {Parikh-Equivalent Bounded Underapproximations},
year = {2008},
journal = {CoRR},
author = {{Pierre Ganty} and {Rupak Majumdar} and {Benjamin Monmege}}
}
@article{journals/ijgt/ChatterjeeMH08,
title = {Stochastic limit-average games are in EXPTIME.},
year = {2008},
journal = {Int. J. Game Theory},
author = {{Krishnendu Chatterjee} and {Rupak Majumdar} and {Thomas A. Henzinger}}
}
@article{journals/lmcs/AlfaroMRS08,
title = {Game Refinement Relations and Metrics.},
year = {2008},
journal = {Log. Methods Comput. Sci.},
author = {{Luca de Alfaro} and {Rupak Majumdar} and {Vishwanath Raman} and {Mariëlle Stoelinga}}
}
@article{journals/tcad/HuSMH08,
title = {Exploiting Symmetries to Speed Up SAT-Based Boolean Matching for Logic Synthesis of FPGAs.},
year = {2008},
journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.},
author = {{Yu Hu 002} and {Victor Shih} and {Rupak Majumdar} and {Lei He 001}}
}
@inproceedings{conf/cav/MajumdarX09,
title = {Reducing Test Inputs Using Information Partitions.},
year = {2009},
booktitle = {CAV},
author = {{Rupak Majumdar} and {Ru-Gang Xu}},
publisher = {Springer},
booktitle = {Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings}
}
@inproceedings{conf/ecoop/FischerMMM09,
title = {Fine-Grained Access Control with Object-Sensitive Roles.},
year = {2009},
booktitle = {ECOOP},
author = {{Jeffrey Fischer} and {Daniel Marino} and {Rupak Majumdar} and {Todd D. Millstein}},
publisher = {Springer},
booktitle = {ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings}
}
@inproceedings{conf/formats/GantyM09,
title = {Analyzing Real-Time Event-Driven Programs.},
year = {2009},
booktitle = {FORMATS},
author = {{Pierre Ganty} and {Rupak Majumdar}},
publisher = {Springer},
booktitle = {Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings}
}
@inproceedings{conf/iccad/FengHHM09,
title = {IPR: In-Place Reconfiguration for FPGA fault tolerance.},
year = {2009},
booktitle = {ICCAD},
author = {{Zhe Feng 002} and {Yu Hu 002} and {Lei He 001} and {Rupak Majumdar}},
publisher = {ACM},
booktitle = {2009 International Conference on Computer-Aided Design, ICCAD 2009, San Jose, CA, USA, November 2-5, 2009}
}
@inproceedings{conf/icccn/Izhak-RatzinLM09,
title = {Team Incentives in BitTorrent Systems.},
year = {2009},
booktitle = {ICCCN},
author = {{Rafit Izhak-Ratzin} and {Nikitas Liogkas} and {Rupak Majumdar}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the 18th International Conference on Computer Communications and Networks, IEEE ICCCN 2009, San Francisco, California, USA, August 3-6, 2009}
}
@inproceedings{conf/isqed/LeeHMH09,
title = {Simultaneous test pattern compaction, ordering and X-filling for testing power reduction.},
year = {2009},
booktitle = {ISQED},
author = {{Ju-Yueh Lee} and {Yu Hu 002} and {Rupak Majumdar} and {Lei He 001}},
publisher = {IEEE Computer Society},
booktitle = {10th International Symposium on Quality of Electronic Design (ISQED 2009), 16-18 March 2009, San Jose, CA, USA}
}
@inproceedings{conf/popl/GantyMR09,
title = {Verifying liveness for asynchronous programs.},
year = {2009},
booktitle = {POPL},
author = {{Pierre Ganty} and {Rupak Majumdar} and {Andrey Rybalchenko}},
publisher = {ACM},
booktitle = {Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009}
}
@inproceedings{conf/rtss/MajumdarS09,
title = {Symbolic Robustness Analysis.},
year = {2009},
booktitle = {RTSS},
author = {{Rupak Majumdar} and {Indranil Saha}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the 30th IEEE Real-Time Systems Symposium, RTSS 2009, Washington, DC, USA, 1-4 December 2009}
}
@inproceedings{conf/tacas/EmmiJKM09,
title = {Verifying Reference Counting Implementations.},
year = {2009},
booktitle = {TACAS},
author = {{Michael Emmi} and {Ranjit Jhala} and {Eddie Kohler} and {Rupak Majumdar}},
publisher = {Springer},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings}
}
@article{journals/csur/JhalaM09,
title = {Software model checking.},
year = {2009},
journal = {ACM Comput. Surv.},
author = {{Ranjit Jhala} and {Rupak Majumdar}}
}
@inproceedings{conf/aspdac/LeeHMHL10,
title = {Fault-tolerant resynthesis with dual-output LUTs.},
year = {2010},
booktitle = {ASP-DAC},
author = {{Ju-Yueh Lee} and {Yu Hu 002} and {Rupak Majumdar} and {Lei He 001} and {Minming Li}},
publisher = {IEEE},
booktitle = {Proceedings of the 15th Asia South Pacific Design Automation Conference, ASP-DAC 2010, Taipei, Taiwan, January 18-21, 2010}
}
@inproceedings{conf/dac/JoseHMH10,
title = {Rewiring for robustness.},
year = {2010},
booktitle = {DAC},
author = {{Manu Jose} and {Yu Hu 002} and {Rupak Majumdar} and {Lei He 001}},
publisher = {ACM},
booktitle = {Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010}
}
@inproceedings{conf/date/LuckenbillLHMH10,
title = {RALF: Reliability Analysis for Logic Faults - An exact algorithm and its applications.},
year = {2010},
booktitle = {DATE},
author = {{Samuel B. Luckenbill} and {Ju-Yueh Lee} and {Yu Hu 002} and {Rupak Majumdar} and {Lei He 001}},
publisher = {IEEE Computer Society},
booktitle = {Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010}
}
@inproceedings{conf/emsoft/MartinezMST10,
title = {Automatic verification of control system implementations.},
year = {2010},
booktitle = {EMSOFT},
author = {{Adolfo Anta Martinez} and {Rupak Majumdar} and {Indranil Saha} and {Paulo Tabuada}},
publisher = {ACM},
booktitle = {Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010}
}
@inproceedings{conf/iccad/JoseHM10,
title = {On power and fault-tolerance optimization in FPGA physical synthesis.},
year = {2010},
booktitle = {ICCAD},
author = {{Manu Jose} and {Yu Hu 002} and {Rupak Majumdar}},
publisher = {IEEE},
booktitle = {2010 International Conference on Computer-Aided Design, ICCAD 2010, San Jose, CA, USA, November 7-11, 2010}
}
@inproceedings{conf/memocode/MajumdarSW10,
title = {Systematic testing for control applications.},
year = {2010},
booktitle = {MEMOCODE},
author = {{Rupak Majumdar} and {Indranil Saha} and {Zilong Wang 004}},
publisher = {IEEE Computer Society},
booktitle = {8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010}
}
@inproceedings{conf/pldi/EmmiMM10,
title = {Parameterized verification of transactional memories.},
year = {2010},
booktitle = {PLDI},
author = {{Michael Emmi} and {Rupak Majumdar} and {Roman Manevich}},
publisher = {ACM},
booktitle = {Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010}
}
@inproceedings{conf/vmcai/MarronMSK10,
title = {Shape Analysis with Reference Set Relations.},
year = {2010},
booktitle = {VMCAI},
author = {{Mark Marron} and {Rupak Majumdar} and {Darko Stefanovic} and {Deepak Kapur}},
publisher = {Springer},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings}
}
@article{journals/cj/Majumdar10,
title = {Paul Ammann and Jeff OffuttIntroduction to Software Testing. Cambridge University Press(2008). ISBN: 978-0-521-88038-1, 322 pp. Hardcover.},
year = {2010},
journal = {Comput. J.},
author = {{Rupak Majumdar}}
}
@article{journals/corr/abs-0809-4326,
title = {Algorithms for Game Metrics (Full Version)},
year = {2010},
journal = {Log. Methods Comput. Sci.},
author = {{Krishnendu Chatterjee} and {Luca de Alfaro} and {Rupak Majumdar} and {Vishwanath Raman}}
}
@article{journals/corr/abs-1004-2884,
title = {Refinement type inference via abstract interpretation},
year = {2010},
journal = {CoRR},
author = {{Ranjit Jhala} and {Rupak Majumdar} and {Andrey Rybalchenko}}
}
@inproceedings{journals/corr/abs-1006-1403,
title = {Discounting in Games across Time Scales},
year = {2010},
booktitle = {GANDALF},
author = {{Krishnendu Chatterjee} and {Rupak Majumdar}},
booktitle = {Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010.}
}
@article{journals/corr/abs-1010-5665,
title = {Safety-Guarantee Controller Synthesis for Cyber-Physical Systems},
year = {2010},
journal = {CoRR},
author = {{Pritam Roy} and {Paulo Tabuada} and {Rupak Majumdar}}
}
@article{journals/todaes/CongLMZ10,
title = {Behavior-Level Observability Analysis for Operation Gating in Low-Power Behavioral Synthesis.},
year = {2010},
journal = {ACM Trans. Design Autom. Electr. Syst.},
author = {{Jason Cong} and {Bin Liu 006} and {Rupak Majumdar} and {Zhiru Zhang}}
}
@inproceedings{conf/cav/JhalaMR11,
title = {HMC: Verifying Functional Programs Using Abstract Interpreters.},
year = {2011},
booktitle = {CAV},
author = {{Ranjit Jhala} and {Rupak Majumdar} and {Andrey Rybalchenko}},
publisher = {Springer},
booktitle = {Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings}
}
@inproceedings{conf/cav/JoseM11,
title = {Bug-Assist: Assisting Fault Localization in ANSI-C Programs.},
year = {2011},
booktitle = {CAV},
author = {{Manu Jose} and {Rupak Majumdar}},
publisher = {Springer},
booktitle = {Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings}
}
@inproceedings{conf/cdc/ZamaniM11,
title = {A Lyapunov approach in incremental stability.},
year = {2011},
booktitle = {CDC/ECC},
author = {{Majid Zamani 001} and {Rupak Majumdar}},
publisher = {IEEE},
booktitle = {50th IEEE Conference on Decision and Control and European Control Conference, 11th European Control Conference, CDC/ECC 2011, Orlando, FL, USA, December 12-15, 2011}
}
@inproceedings{conf/emsoft/MajumdarSZ11,
title = {Performance-aware scheduler synthesis for control systems.},
year = {2011},
booktitle = {EMSOFT},
author = {{Rupak Majumdar} and {Indranil Saha} and {Majid Zamani 001}},
publisher = {ACM},
booktitle = {Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011}
}
@inproceedings{conf/ershov/Majumdar11,
title = {End-to-End Guarantees in Embedded Control Systems - (Abstract).},
year = {2011},
booktitle = {Ershov Memorial Conference},
author = {{Rupak Majumdar}},
publisher = {Springer},
booktitle = {Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers}
}
@inproceedings{conf/formats/ChatterjeeM11,
title = {Minimum Attention Controller Synthesis for Omega-Regular Objectives.},
year = {2011},
booktitle = {FORMATS},
author = {{Krishnendu Chatterjee} and {Rupak Majumdar}},
publisher = {Springer},
booktitle = {Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings}
}
@inproceedings{conf/hybrid/MajumdarRT11,
title = {Robust discrete synthesis against unspecified disturbances.},
year = {2011},
booktitle = {HSCC},
author = {{Rupak Majumdar} and {Elaine Render} and {Paulo Tabuada}},
publisher = {ACM},
booktitle = {Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011}
}
@inproceedings{conf/hybrid/RoyTM11,
title = {Pessoa 2.0: a controller synthesis tool for cyber-physical systems.},
year = {2011},
booktitle = {HSCC},
author = {{Pritam Roy} and {Paulo Tabuada} and {Rupak Majumdar}},
publisher = {ACM},
booktitle = {Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011}
}
@inproceedings{conf/pldi/JoseM11,
title = {Cause clue clauses: error localization using maximum satisfiability.},
year = {2011},
booktitle = {PLDI},
author = {{Manu Jose} and {Rupak Majumdar}},
publisher = {ACM},
booktitle = {Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011}
}
@article{journals/corr/abs-1107-2681,
title = {Coordinate-invariant incremental Lyapunov functions},
year = {2011},
journal = {CoRR},
author = {{Majid Zamani 001} and {Rupak Majumdar}}
}
@article{journals/corr/abs-1108-3540,
title = {A theory of robust software synthesis},
year = {2011},
journal = {CoRR},
author = {{Rupak Majumdar} and {Elaine Render} and {Paulo Tabuada}}
}
@article{journals/ijdsn/ErcalIMM11,
title = {VCG with Communities on Random Ad Hoc Networks.},
year = {2011},
journal = {Int. J. Distributed Sens. Networks},
author = {{Gunes Ercal} and {Rafit Izhak-Ratzin} and {Rupak Majumdar} and {Adam Meyerson}}
}
@inproceedings{conf/atva/ChatterjeeCM12,
title = {Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games.},
year = {2012},
booktitle = {ATVA},
author = {{Krishnendu Chatterjee} and {Martin Chmelik} and {Rupak Majumdar}},
publisher = {Springer},
booktitle = {Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings}
}
@inproceedings{conf/cav/MajumdarZ12,
title = {Approximately Bisimilar Symbolic Models for Digital Control Systems.},
year = {2012},
booktitle = {CAV},
author = {{Rupak Majumdar} and {Majid Zamani 001}},
publisher = {Springer},
booktitle = {Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings}
}
@inproceedings{conf/emsoft/MajumdarSZ12,
title = {Synthesis of minimal-error control software.},
year = {2012},
booktitle = {EMSOFT},
author = {{Rupak Majumdar} and {Indranil Saha} and {Majid Zamani 001}},
publisher = {ACM},
booktitle = {Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012}
}
@inproceedings{conf/emsoft/SahaM12,
title = {Trigger memoization in self-triggered control.},
year = {2012},
booktitle = {EMSOFT},
author = {{Indranil Saha} and {Rupak Majumdar}},
publisher = {ACM},
booktitle = {Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012}
}
@inproceedings{conf/emsoft/TabuadaBCSM12,
title = {Input-output robustness for discrete systems.},
year = {2012},
booktitle = {EMSOFT},
author = {{Paulo Tabuada} and {Ayca Balkan} and {Sina Y. Caliskan} and {Yasser Shoukry} and {Rupak Majumdar}},
publisher = {ACM},
booktitle = {Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012}
}
@inproceedings{conf/eurosys/CarreiraRCM12,
title = {Scalable testing of file system checkers.},
year = {2012},
booktitle = {EuroSys},
author = {{João Carlos Menezes Carreira} and {Rodrigo Rodrigues 001} and {George Candea} and {Rupak Majumdar}},
publisher = {ACM},
booktitle = {European Conference on Computer Systems, Proceedings of the Seventh EuroSys Conference 2012, EuroSys '12, Bern, Switzerland, April 10-13, 2012}
}
@inproceedings{conf/fase/LongCMM12,
title = {Language-Theoretic Abstraction Refinement.},
year = {2012},
booktitle = {FASE},
author = {{Zhenyue Long} and {Georgel Calin} and {Rupak Majumdar} and {Roland Meyer 001}},
publisher = {Springer},
booktitle = {Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings}
}
@inproceedings{conf/lics/EsparzaGM12,
title = {A Perfect Model for Bounded Verification.},
year = {2012},
booktitle = {LICS},
author = {{Javier Esparza} and {Pierre Ganty} and {Rupak Majumdar}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012}
}
@inproceedings{conf/nfm/MajumdarSSW12,
title = {CLSE: Closed-Loop Symbolic Execution.},
year = {2012},
booktitle = {NASA Formal Methods},
author = {{Rupak Majumdar} and {Indranil Saha} and {K. C. Shashidhar} and {Zilong Wang 004}},
publisher = {Springer},
booktitle = {NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings}
}
@inproceedings{conf/pldi/FischerME12,
title = {Engage: a deployment management system.},
year = {2012},
booktitle = {PLDI},
author = {{Jeffrey Fischer} and {Rupak Majumdar} and {Shahram Esmaeilsabzali}},
publisher = {ACM},
booktitle = {ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012}
}
@inproceedings{conf/sas/LeePMH12,
title = {Efficient May Happen in Parallel Analysis for Async-Finish Parallelism.},
year = {2012},
booktitle = {SAS},
author = {{Jonathan K. Lee} and {Jens Palsberg} and {Rupak Majumdar} and {Hong Hong}},
publisher = {Springer},
booktitle = {Static Analysis - 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings}
}
@inproceedings{conf/vstte/Majumdar12,
title = {The Marriage of Exploration and Deduction.},
year = {2012},
booktitle = {VSTTE},
author = {{Rupak Majumdar}},
publisher = {Springer},
booktitle = {Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings}
}
@article{journals/dagstuhl-reports/BjornerCKM12,
title = {Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461).},
year = {2012},
journal = {Dagstuhl Reports},
author = {{Nikolaj S. Bjørner} and {Krishnendu Chatterjee} and {Laura Kovács} and {Rupak Majumdar}}
}
@article{journals/fmsd/GantyMM12,
title = {Bounded underapproximations.},
year = {2012},
journal = {Formal Methods Syst. Des.},
author = {{Pierre Ganty} and {Rupak Majumdar} and {Benjamin Monmege}}
}
@article{journals/ijfcs/ChatterjeeM12,
title = {Discounting and Averaging in Games across Time scales.},
year = {2012},
journal = {Int. J. Found. Comput. Sci.},
author = {{Krishnendu Chatterjee} and {Rupak Majumdar}}
}
@article{journals/sigplan/BallMMR12,
title = {Automatic predicate abstraction of C programs.},
year = {2012},
journal = {ACM SIGPLAN Notices},
author = {{Thomas Ball} and {Rupak Majumdar} and {Todd D. Millstein} and {Sriram K. Rajamani}}
}
@article{journals/toplas/GantyM12,
title = {Algorithmic verification of asynchronous programs.},
year = {2012},
journal = {ACM Trans. Program. Lang. Syst.},
author = {{Pierre Ganty} and {Rupak Majumdar}}
}
@incollection{series/natosec/Majumdar12,
title = {Lecture Notes on Software Model Checking.},
year = {2012},
booktitle = {Software Safety and Security},
author = {{Rupak Majumdar}},
publisher = {IOS Press},
booktitle = {Software Safety and Security - Tools for Analysis and Verification}
}
@inproceedings{conf/cav/KloosMNP13,
title = {Incremental, Inductive Coverability.},
year = {2013},
booktitle = {CAV},
author = {{Johannes Kloos} and {Rupak Majumdar} and {Filip Niksic} and {Ruzica Piskac}},
publisher = {Springer},
booktitle = {Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings}
}
@inproceedings{conf/ccs/FranzHMPV13,
title = {The first workshop on language support for privacy-enhancing technologies (PETShop'13).},
year = {2013},
booktitle = {CCS},
author = {{Martin Franz} and {Andreas Holzer} and {Rupak Majumdar} and {Bryan Parno} and {Helmut Veith}},
publisher = {ACM},
booktitle = {2013 ACM SIGSAC Conference on Computer and Communications Security, CCS'13, Berlin, Germany, November 4-8, 2013}
}
@inproceedings{conf/cdc/MajumdarSUY13,
title = {Compositional equivalence checking for models and code of control systems.},
year = {2013},
booktitle = {CDC},
author = {{Rupak Majumdar} and {Indranil Saha} and {Koichi Ueda} and {Hakan Yazarel}},
publisher = {IEEE},
booktitle = {Proceedings of the 52nd IEEE Conference on Decision and Control, CDC 2013, Florence, Italy, December 10-13, 2013}
}
@inproceedings{conf/cdc/ZamaniEMAL13,
title = {Bisimilar finite abstractions of stochastic control systems.},
year = {2013},
booktitle = {CDC},
author = {{Majid Zamani 001} and {Peyman Mohajerin Esfahani} and {Rupak Majumdar} and {Alessandro Abate} and {John Lygeros}},
publisher = {IEEE},
booktitle = {Proceedings of the 52nd IEEE Conference on Decision and Control, CDC 2013, Florence, Italy, December 10-13, 2013}
}
@inproceedings{conf/concur/HuchtingMM13,
title = {A Theory of Name Boundedness.},
year = {2013},
booktitle = {CONCUR},
author = {{Reiner Hüchting} and {Rupak Majumdar} and {Roland Meyer 001}},
publisher = {Springer},
booktitle = {CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings}
}
@inproceedings{conf/concur/MajumdarW13,
title = {Expand, Enlarge, and Check for Branching Vector Addition Systems.},
year = {2013},
booktitle = {CONCUR},
author = {{Rupak Majumdar} and {Zilong Wang 004}},
publisher = {Springer},
booktitle = {CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings}
}
@inproceedings{conf/date/KloosM13,
title = {Supervisor synthesis for controller upgrades.},
year = {2013},
booktitle = {DATE},
author = {{Johannes Kloos} and {Rupak Majumdar}},
publisher = {EDA Consortium San Jose, CA, USA / ACM DL},
booktitle = {Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013}
}
@inproceedings{conf/emsoft/DarulovaKMS13,
title = {Synthesis of fixed-point programs.},
year = {2013},
booktitle = {EMSOFT},
author = {{Eva Darulova} and {Viktor Kuncak} and {Rupak Majumdar} and {Indranil Saha}},
publisher = {IEEE},
booktitle = {Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013}
}
@inproceedings{conf/fsttcs/CalinDMM13,
title = {A Theory of Partitioned Global Address Spaces.},
year = {2013},
booktitle = {FSTTCS},
author = {{Georgel Calin} and {Egor Derevenetc} and {Rupak Majumdar} and {Roland Meyer 001}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India}
}
@inproceedings{conf/oopsla/TetaliLMM13,
title = {MrCrypt: static analysis for secure cloud computations.},
year = {2013},
booktitle = {OOPSLA},
author = {{Sai Deep Tetali} and {Mohsen Lesani} and {Rupak Majumdar} and {Todd D. Millstein}},
publisher = {ACM},
booktitle = {Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2013, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013}
}
@inproceedings{conf/rp/MajumdarMW13,
title = {Provenance Verification.},
year = {2013},
booktitle = {RP},
author = {{Rupak Majumdar} and {Roland Meyer 001} and {Zilong Wang 004}},
publisher = {Springer},
booktitle = {Reachability Problems - 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings}
}
@inproceedings{conf/sas/MajumdarMW13,
title = {Static Provenance Verification for Message Passing Programs.},
year = {2013},
booktitle = {SAS},
author = {{Rupak Majumdar} and {Roland Meyer 001} and {Zilong Wang 004}},
publisher = {Springer},
booktitle = {Static Analysis - 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings}
}
@inproceedings{conf/tacas/GligoricM13,
title = {Model Checking Database Applications.},
year = {2013},
booktitle = {TACAS},
author = {{Milos Gligoric 001} and {Rupak Majumdar}},
publisher = {Springer},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings}
}
@inproceedings{conf/wia/ChistikovM13,
title = {A Uniformization Theorem for Nested Word to Word Transductions.},
year = {2013},
booktitle = {CIAA},
author = {{Dmitry Chistikov 001} and {Rupak Majumdar}},
publisher = {Springer},
booktitle = {Implementation and Application of Automata - 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings}
}
@article{journals/corr/EsmaeilsabzaliMWZ13,
title = {A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages.},
year = {2013},
journal = {CoRR},
author = {{Shahram Esmaeilsabzali} and {Rupak Majumdar} and {Thomas Wies} and {Damien Zufferey}}
}
@article{journals/corr/EsmaeilsabzaliMWZ13a,
title = {Dynamic Package Interfaces - Extended Version.},
year = {2013},
journal = {CoRR},
author = {{Shahram Esmaeilsabzali} and {Rupak Majumdar} and {Thomas Wies} and {Damien Zufferey}}
}
@article{journals/fmsd/ChatterjeeAFMR13,
title = {Code aware resource management.},
year = {2013},
journal = {Formal Methods Syst. Des.},
author = {{Krishnendu Chatterjee} and {Luca de Alfaro} and {Marco Faella} and {Rupak Majumdar} and {Vishwanath Raman}}
}
@article{journals/ijfcs/ChatterjeeAM13,
title = {The Complexity of Coverage.},
year = {2013},
journal = {Int. J. Found. Comput. Sci.},
author = {{Krishnendu Chatterjee} and {Luca de Alfaro} and {Rupak Majumdar}}
}
@article{journals/scl/ZamaniWM13,
title = {Backstepping controller synthesis and characterizations of incremental stability.},
year = {2013},
journal = {Syst. Control. Lett.},
author = {{Majid Zamani 001} and {Nathan van de Wouw} and {Rupak Majumdar}}
}
@article{journals/sttt/GuptaMR13,
title = {From tests to proofs.},
year = {2013},
journal = {Int. J. Softw. Tools Technol. Transf.},
author = {{Ashutosh Gupta 001} and {Rupak Majumdar} and {Andrey Rybalchenko}}
}
@article{journals/tecs/MajumdarRT13,
title = {A theory of robust omega-regular software synthesis.},
year = {2013},
journal = {ACM Trans. Embed. Comput. Syst.},
author = {{Rupak Majumdar} and {Elaine Render} and {Paulo Tabuada}}
}
@inproceedings{conf/aaai/AlvinGMM14,
title = {Synthesis of Geometry Proof Problems.},
year = {2014},
booktitle = {AAAI},
author = {{Chris Alvin} and {Sumit Gulwani} and {Rupak Majumdar} and {Supratik Mukhopadhyay}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada.}
}
@inproceedings{conf/cav/EsparzaLMMN14,
title = {An SMT-Based Approach to Coverability Analysis.},
year = {2014},
booktitle = {CAV},
author = {{Javier Esparza} and {Ruslán Ledesma-Garza} and {Rupak Majumdar} and {Philipp J. Meyer} and {Filip Niksic}},
publisher = {Springer},
booktitle = {Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings}
}
@inproceedings{conf/cav/GligoricMSEM14,
title = {Regression Test Selection for Distributed Software Histories.},
year = {2014},
booktitle = {CAV},
author = {{Milos Gligoric 001} and {Rupak Majumdar} and {Rohan Sharma} and {Lamyaa Eloussi} and {Darko Marinov}},
publisher = {Springer},
booktitle = {Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings}
}
@inproceedings{conf/concur/HuchtingMM14,
title = {Bounds on Mobility.},
year = {2014},
booktitle = {CONCUR},
author = {{Reiner Hüchting} and {Rupak Majumdar} and {Roland Meyer 001}},
publisher = {Springer},
booktitle = {CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings}
}
@inproceedings{conf/emsoft/DimitrovaM14,
title = {Deductive control synthesis for alternating-time logics.},
year = {2014},
booktitle = {EMSOFT},
author = {{Rayna Dimitrova} and {Rupak Majumdar}},
publisher = {ACM},
booktitle = {2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014}
}
@inproceedings{conf/fase/EsmaeilsabzaliMWZ14,
title = {Dynamic Package Interfaces.},
year = {2014},
booktitle = {FASE},
author = {{Shahram Esmaeilsabzali} and {Rupak Majumdar} and {Thomas Wies} and {Damien Zufferey}},
publisher = {Springer},
booktitle = {Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings}
}
@inproceedings{conf/fmcad/MajumdarTW14,
title = {Kuai: A model checker for software-defined networks.},
year = {2014},
booktitle = {FMCAD},
author = {{Rupak Majumdar} and {Sai Deep Tetali} and {Zilong Wang 004}},
publisher = {IEEE},
booktitle = {Formal Methods in Computer-Aided Design, FMCAD 2014, Lausanne, Switzerland, October 21-24, 2014}
}
@inproceedings{conf/hybrid/ChatterjeeIM14,
title = {Edit distance for timed automata.},
year = {2014},
booktitle = {HSCC},
author = {{Krishnendu Chatterjee} and {Rasmus Ibsen-Jensen} and {Rupak Majumdar}},
publisher = {ACM},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014}
}
@inproceedings{conf/icalp/ChistikovM14,
title = {Unary Pushdown Automata and Straight-Line Programs.},
year = {2014},
booktitle = {ICALP (2)},
author = {{Dmitry Chistikov 001} and {Rupak Majumdar}},
publisher = {Springer},
booktitle = {Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II}
}
@inproceedings{conf/pldi/MaiyaKM14,
title = {Race detection for Android applications.},
year = {2014},
booktitle = {PLDI},
author = {{Pallavi Maiya} and {Aditya Kanade} and {Rupak Majumdar}},
publisher = {ACM},
booktitle = {ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014}
}
@article{journals/corr/MajumdarP14,
title = {Computing the Skorokhod Distance between Polygonal Traces (Full Paper).},
year = {2014},
journal = {CoRR},
author = {{Rupak Majumdar} and {Vinayak S. Prabhu}}
}
@article{journals/dagstuhl-reports/MajumdarMP14,
title = {Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122).},
year = {2014},
journal = {Dagstuhl Reports},
author = {{Rupak Majumdar} and {Richard M. Murray} and {Pavithra Prabhakar}}
}
@article{journals/sigplan/HenzingerJMM14,
title = {Abstractions from proofs.},
year = {2014},
journal = {ACM SIGPLAN Notices},
author = {{Thomas A. Henzinger} and {Ranjit Jhala} and {Rupak Majumdar} and {Kenneth L. McMillan}}
}
@article{journals/tac/TabuadaCRM14,
title = {Towards Robustness for Cyber-Physical Systems.},
year = {2014},
journal = {IEEE Trans. Autom. Control.},
author = {{Paulo Tabuada} and {Sina Yamac Caliskan} and {Matthias Rungger} and {Rupak Majumdar}}
}
@article{journals/tac/ZamaniEMAL14,
title = {Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions.},
year = {2014},
journal = {IEEE Trans. Autom. Control.},
author = {{Majid Zamani 001} and {Peyman Mohajerin Esfahani} and {Rupak Majumdar} and {Alessandro Abate} and {John Lygeros}}
}
@incollection{series/natosec/Majumdar14,
title = {Foundations of Infinite-State Verification.},
year = {2014},
booktitle = {Software Systems Safety},
author = {{Rupak Majumdar}},
publisher = {IOS Press},
booktitle = {Software Systems Safety}
}
@inproceedings{conf/cav/MajumdarW15,
title = {Bbs: A Phase-Bounded Model Checker for Asynchronous Programs.},
year = {2015},
booktitle = {CAV (1)},
author = {{Rupak Majumdar} and {Zilong Wang 004}},
publisher = {Springer},
booktitle = {Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I}
}
@inproceedings{conf/concur/GavranNKMV15,
title = {Rely/Guarantee Reasoning for Asynchronous Programs.},
year = {2015},
booktitle = {CONCUR},
author = {{Ivan Gavran} and {Filip Niksic} and {Aditya Kanade} and {Rupak Majumdar} and {Viktor Vafeiadis}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015}
}
@inproceedings{conf/concur/SoudjaniAM15,
title = {Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes.},
year = {2015},
booktitle = {CONCUR},
author = {{Sadegh Esmaeil Zadeh Soudjani} and {Alessandro Abate} and {Rupak Majumdar}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015}
}
@inproceedings{conf/ecoop/KloosMV15,
title = {Asynchronous Liquid Separation Types.},
year = {2015},
booktitle = {ECOOP},
author = {{Johannes Kloos} and {Rupak Majumdar} and {Viktor Vafeiadis}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {29th European Conference on Object-Oriented Programming, ECOOP 2015, July 5-10, 2015, Prague, Czech Republic}
}
@inproceedings{conf/esop/EmmiGMR15,
title = {Analysis of Asynchronous Programs with Event-Based Synchronization.},
year = {2015},
booktitle = {ESOP},
author = {{Michael Emmi} and {Pierre Ganty} and {Rupak Majumdar} and {Fernando Rosa-Velardo}},
publisher = {Springer},
booktitle = {Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings}
}
@inproceedings{conf/hybrid/MajumdarP15,
title = {Computing the Skorokhod distance between polygonal traces.},
year = {2015},
booktitle = {HSCC},
author = {{Rupak Majumdar} and {Vinayak S. Prabhu}},
publisher = {ACM},
booktitle = {Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015}
}
@inproceedings{conf/hybrid/SahaBM15,
title = {Dynamic scheduling for networked control systems.},
year = {2015},
booktitle = {HSCC},
author = {{Indranil Saha} and {Sanjoy K. Baruah} and {Rupak Majumdar}},
publisher = {ACM},
booktitle = {Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015}
}
@article{journals/corr/AlvinGMM15,
title = {Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System.},
year = {2015},
journal = {CoRR},
author = {{Chris Alvin} and {Sumit Gulwani} and {Rupak Majumdar} and {Supratik Mukhopadhyay}}
}
@article{journals/corr/DeshmukhMP15,
title = {Quantifying Conformance using the Skorokhod Metric (full version).},
year = {2015},
journal = {CoRR},
author = {{Jyotirmoy V. Deshmukh} and {Rupak Majumdar} and {Vinayak S. Prabhu}}
}
@article{journals/corr/MaiyaGKM15,
title = {A Partial Order Reduction Technique for Event-driven Multi-threaded Programs.},
year = {2015},
journal = {CoRR},
author = {{Pallavi Maiya} and {Rahul Gupta} and {Aditya Kanade} and {Rupak Majumdar}}
}
@article{journals/corr/SchmuckM15,
title = {Dynamic Hierarchical Reactive Controller Synthesis.},
year = {2015},
journal = {CoRR},
author = {{Anne-Kathrin Schmuck} and {Rupak Majumdar}}
}
@inproceedings{conf/atva/DeiningerDM16,
title = {Symbolic Model Checking for Factored Probabilistic Models.},
year = {2016},
booktitle = {ATVA},
author = {{David Deininger} and {Rayna Dimitrova} and {Rupak Majumdar}},
booktitle = {Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings}
}
@inproceedings{conf/cav/ChistikovMN16,
title = {Hitting Families of Schedules for Asynchronous Programs.},
year = {2016},
booktitle = {CAV (2)},
author = {{Dmitry Chistikov 001} and {Rupak Majumdar} and {Filip Niksic}},
publisher = {Springer},
booktitle = {Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II}
}
@inproceedings{conf/fsttcs/EsparzaGLM16,
title = {Model Checking Population Protocols.},
year = {2016},
booktitle = {FSTTCS},
author = {{Javier Esparza} and {Pierre Ganty} and {Jérôme Leroux} and {Rupak Majumdar}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India}
}
@inproceedings{conf/hybrid/MajumdarP16,
title = {Computing Distances between Reach Flowpipes.},
year = {2016},
booktitle = {HSCC},
author = {{Rupak Majumdar} and {Vinayak S. Prabhu}},
publisher = {ACM},
booktitle = {Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016}
}
@inproceedings{conf/scam/GaoHMW16,
title = {LLSPLAT: Improving Concolic Testing by Bounded Model Checking.},
year = {2016},
booktitle = {SCAM},
author = {{Min Gao 003} and {Lei He 001} and {Rupak Majumdar} and {Zilong Wang 004}},
publisher = {IEEE Computer Society},
booktitle = {16th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2016, Raleigh, NC, USA, October 2-3, 2016}
}
@inproceedings{conf/tacas/DimitrovaFHM16,
title = {Probabilistic CTL*: The Deductive Way.},
year = {2016},
booktitle = {TACAS},
author = {{Rayna Dimitrova} and {Luis María Ferrer Fioriti} and {Holger Hermanns} and {Rupak Majumdar}},
publisher = {Springer},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings}
}
@inproceedings{conf/tacas/MaiyaGKM16,
title = {Partial Order Reduction for Event-Driven Multi-threaded Programs.},
year = {2016},
booktitle = {TACAS},
author = {{Pallavi Maiya} and {Rahul Gupta} and {Aditya Kanade} and {Rupak Majumdar}},
publisher = {Springer},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings}
}
@inproceedings{conf/tacas/Majumdar16,
title = {Robots at the Edge of the Cloud.},
year = {2016},
booktitle = {TACAS},
author = {{Rupak Majumdar}},
publisher = {Springer},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings}
}
@inproceedings{conf/tacas/SoudjaniMA16,
title = {Safety Verification of Continuous-Space Pure Jump Markov Processes.},
year = {2016},
booktitle = {TACAS},
author = {{Sadegh Esmaeil Zadeh Soudjani} and {Rupak Majumdar} and {Alessandro Abate}},
publisher = {Springer},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings}
}
@article{journals/corr/MajumdarMS16,
title = {Compositional Synthesis of Finite State Abstractions.},
year = {2016},
journal = {CoRR},
author = {{Rupak Majumdar} and {Kaushik Mallik} and {Anne-Kathrin Schmuck}}
}
@article{journals/jacm/EsparzaGM16,
title = {Parameterized Verification of Asynchronous Shared-Memory Systems.},
year = {2016},
journal = {J. ACM},
author = {{Javier Esparza} and {Pierre Ganty} and {Rupak Majumdar}}
}
@inproceedings{conf/aied/AlvinGMM17,
title = {Synthesis of Problems for Shaded Area Geometry Reasoning.},
year = {2017},
booktitle = {AIED},
author = {{Chris Alvin} and {Sumit Gulwani} and {Rupak Majumdar} and {Supratik Mukhopadhyay}},
publisher = {Springer},
booktitle = {Artificial Intelligence in Education - 18th International Conference, AIED 2017, Wuhan, China, June 28 - July 1, 2017, Proceedings}
}
@inproceedings{conf/amcc/FarahaniMPS17,
title = {Shrinking Horizon Model Predictive Control with chance-constrained signal temporal logic specifications.},
year = {2017},
booktitle = {ACC},
author = {{Samira S. Farahani} and {Rupak Majumdar} and {Vinayak S. Prabhu} and {Sadegh Esmaeil Zadeh Soudjani}},
publisher = {IEEE},
booktitle = {2017 American Control Conference, ACC 2017, Seattle, WA, USA, May 24-26, 2017}
}
@inproceedings{conf/cdc/LavaeiSMZ17,
title = {Compositional abstractions of interconnected discrete-time stochastic control systems.},
year = {2017},
booktitle = {CDC},
author = {{Abolfazl Lavaei} and {Sadegh Esmaeil Zadeh Soudjani} and {Rupak Majumdar} and {Majid Zamani 001}},
publisher = {IEEE},
booktitle = {56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017}
}
@inproceedings{conf/cdc/MallikSSM17,
title = {Compositional construction of finite state abstractions for stochastic control systems.},
year = {2017},
booktitle = {CDC},
author = {{Kaushik Mallik} and {Sadegh Esmaeil Zadeh Soudjani} and {Anne-Kathrin Schmuck} and {Rupak Majumdar}},
publisher = {IEEE},
booktitle = {56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017}
}
@inproceedings{conf/concur/DimitrovaGMPS17,
title = {The Robot Routing Problem for Collecting Aggregate Stochastic Rewards.},
year = {2017},
booktitle = {CONCUR},
author = {{Rayna Dimitrova} and {Ivan Gavran} and {Rupak Majumdar} and {Vinayak S. Prabhu} and {Sadegh Esmaeil Zadeh Soudjani}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany}
}
@inproceedings{conf/flairs/AlvinGMM17,
title = {Synthesis of Solutions for Shaded Area Geometry Problems.},
year = {2017},
booktitle = {FLAIRS},
author = {{Chris Alvin} and {Sumit Gulwani} and {Rupak Majumdar} and {Supratik Mukhopadhyay}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2017, Marco Island, Florida, USA, May 22-24, 2017.}
}
@inproceedings{conf/fmcad/ConchonGKMR17,
title = {FAR-Cubicle - A new reachability algorithm for Cubicle.},
year = {2017},
booktitle = {FMCAD},
author = {{Sylvain Conchon} and {Amit Goel} and {Sava Krstic} and {Rupak Majumdar} and {Mattias Roux}},
publisher = {IEEE},
booktitle = {2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017}
}
@inproceedings{conf/hvc/KloosMM17,
title = {Deferrability Analysis for JavaScript.},
year = {2017},
booktitle = {Haifa Verification Conference},
author = {{Johannes Kloos} and {Rupak Majumdar} and {Frank McCabe}},
publisher = {Springer},
booktitle = {Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings}
}
@inproceedings{conf/hybrid/SoudjaniM17,
title = {Controller Synthesis for Reward Collecting Markov Processes in Continuous Space.},
year = {2017},
booktitle = {HSCC},
author = {{Sadegh Esmaeil Zadeh Soudjani} and {Rupak Majumdar}},
publisher = {ACM},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, April 18-20, 2017}
}
@inproceedings{conf/lpar/FischerM17,
title = {Programming by Composing Filters.},
year = {2017},
booktitle = {LPAR},
author = {{Jeffrey Fischer} and {Rupak Majumdar}},
publisher = {EasyChair},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017}
}
@inproceedings{conf/popl/HoenickeMP17,
title = {Thread modularity at many levels: a pearl in compositional verification.},
year = {2017},
booktitle = {POPL},
author = {{Jochen Hoenicke} and {Rupak Majumdar} and {Andreas Podelski}},
publisher = {ACM},
booktitle = {Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017}
}
@inproceedings{conf/qest/SoudjaniMN17,
title = {Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems.},
year = {2017},
booktitle = {QEST},
author = {{Sadegh Esmaeil Zadeh Soudjani} and {Rupak Majumdar} and {Tigran Nagapetyan}},
publisher = {Springer},
booktitle = {Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings}
}
@inproceedings{conf/tacas/LengalLMR17,
title = {Fair Termination for Parameterized Probabilistic Concurrent Systems.},
year = {2017},
booktitle = {TACAS (1)},
author = {{Ondrej Lengál} and {Anthony Widjaja Lin} and {Rupak Majumdar} and {Philipp Rümmer}},
booktitle = {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, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I}
}
@article{journals/acta/ChistikovDM17,
title = {Approximate counting in SMT and value estimation for probabilistic programs.},
year = {2017},
journal = {Acta Informatica},
author = {{Dmitry Chistikov 001} and {Rayna Dimitrova} and {Rupak Majumdar}}
}
@article{journals/acta/EsparzaGLM17,
title = {Verification of population protocols.},
year = {2017},
journal = {Acta Informatica},
author = {{Javier Esparza} and {Pierre Ganty} and {Jérôme Leroux} and {Rupak Majumdar}}
}
@article{journals/acta/SoudjaniAM17,
title = {Dynamic Bayesian networks for formal verification of structured stochastic processes.},
year = {2017},
journal = {Acta Informatica},
author = {{Sadegh Esmaeil Zadeh Soudjani} and {Alessandro Abate} and {Rupak Majumdar}}
}
@article{journals/corr/abs-1710-10756,
title = {Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report).},
year = {2017},
journal = {CoRR},
author = {{Ondrej Lengál} and {Anthony W. Lin} and {Rupak Majumdar} and {Philipp Rümmer}}
}
@article{journals/dagstuhl-reports/BeltaMZR17,
title = {Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201).},
year = {2017},
journal = {Dagstuhl Reports},
author = {{Calin Belta} and {Rupak Majumdar} and {Majid Zamani 001} and {Matthias Rungger}}
}
@article{journals/dagstuhl-reports/ChaudhuriKMW17,
title = {Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111).},
year = {2017},
journal = {Dagstuhl Reports},
author = {{Swarat Chaudhuri} and {Sampath Kannan} and {Rupak Majumdar} and {Michael J. Wooldridge}}
}
@article{journals/deds/SchmuckML17,
title = {Dynamic hierarchical reactive controller synthesis.},
year = {2017},
journal = {Discret. Event Dyn. Syst.},
author = {{Anne-Kathrin Schmuck} and {Rupak Majumdar} and {Adrian Leva}}
}
@article{journals/fmsd/BartocciM17,
title = {Introduction to the special issue on runtime verification.},
year = {2017},
journal = {Formal Methods Syst. Des.},
author = {{Ezio Bartocci} and {Rupak Majumdar}}
}
@article{journals/fmsd/DeshmukhMP17,
title = {Quantifying conformance using the Skorokhod metric.},
year = {2017},
journal = {Formal Methods Syst. Des.},
author = {{Jyotirmoy V. Deshmukh} and {Rupak Majumdar} and {Vinayak S. Prabhu}}
}
@article{journals/fmsd/Durand-Gasselin17,
title = {Model checking parameterized asynchronous shared-memory systems.},
year = {2017},
journal = {Formal Methods Syst. Des.},
author = {{Antoine Durand-Gasselin} and {Javier Esparza} and {Pierre Ganty} and {Rupak Majumdar}}
}
@article{journals/tecs/DeshmukhHJMP17,
title = {Testing Cyber-Physical Systems through Bayesian Optimization.},
year = {2017},
journal = {ACM Trans. Embed. Comput. Syst.},
author = {{Jyotirmoy V. Deshmukh} and {Marko Horvat 002} and {Xiaoqing Jin} and {Rupak Majumdar} and {Vinayak S. Prabhu}}
}
@article{journals/tecs/GavranMS17,
title = {Antlab: A Multi-Robot Task Server.},
year = {2017},
journal = {ACM Trans. Embed. Comput. Syst.},
author = {{Ivan Gavran} and {Rupak Majumdar} and {Indranil Saha}}
}
@inproceedings{conf/adhs/SoudjaniM18,
title = {Concentration of Measure for Chance-Constrained Optimization.},
year = {2018},
booktitle = {ADHS},
author = {{Sadegh Soudjani} and {Rupak Majumdar}},
publisher = {Elsevier},
booktitle = {6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018}
}
@inproceedings{conf/cdc/HsuMMS18,
title = {Lazy Abstraction-Based Control for Safety Specifications.},
year = {2018},
booktitle = {CDC},
author = {{Kyle Hsu} and {Rupak Majumdar} and {Kaushik Mallik} and {Anne-Kathrin Schmuck}},
publisher = {IEEE},
booktitle = {57th IEEE Conference on Decision and Control, CDC 2018, Miami, FL, USA, December 17-19, 2018}
}
@inproceedings{conf/chi/ReipschlagerOMG18,
title = {DebugAR: Mixed Dimensional Displays for Immersive Debugging of Distributed Systems.},
year = {2018},
booktitle = {CHI Extended Abstracts},
author = {{Patrick Reipschläger} and {Burcu Kulahcioglu Ozkan} and {Aman Shankar Mathur} and {Stefan Gumhold} and {Rupak Majumdar} and {Raimund Dachselt}},
publisher = {ACM},
booktitle = {Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems, CHI 2018, Montreal, QC, Canada, April 21-26, 2018}
}
@inproceedings{conf/concur/EsparzaGMW18,
title = {Verification of Immediate Observation Population Protocols.},
year = {2018},
booktitle = {CONCUR},
author = {{Javier Esparza} and {Pierre Ganty} and {Rupak Majumdar} and {Chana Weil-Kennedy}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China}
}
@inproceedings{conf/emsoft/AbbasSSEFGMU18,
title = {Embedded software for robotics: challenges and future directions: special session.},
year = {2018},
booktitle = {EMSOFT},
author = {{Houssam Abbas} and {Indranil Saha} and {Yasser Shoukry} and {Rüdiger Ehlers} and {Georgios Fainekos} and {Rajesh Gupta 001} and {Rupak Majumdar} and {Dogan Ulus}},
publisher = {IEEE},
booktitle = {Proceedings of the International Conference on Embedded Software, EMSOFT 2018, Torino, Italy, September 30 - October 5, 2018}
}
@inproceedings{conf/erlang/MathurOM18,
title = {iDeA: an immersive debugger for actors.},
year = {2018},
booktitle = {Erlang Workshop},
author = {{Aman Shankar Mathur} and {Burcu Kulahcioglu Ozkan} and {Rupak Majumdar}},
publisher = {ACM},
booktitle = {Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, ICFP 2018, St. Louis, MO, USA, September 23-29, 2018}
}
@inproceedings{conf/fsttcs/Majumdar18,
title = {Random Testing for Distributed Systems with Theoretical Guarantees (Invited Paper).},
year = {2018},
booktitle = {FSTTCS},
author = {{Rupak Majumdar}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11-13, 2018, Ahmedabad, India}
}
@inproceedings{conf/hybrid/HsuMMS18,
title = {Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems.},
year = {2018},
booktitle = {HSCC},
author = {{Kyle Hsu} and {Rupak Majumdar} and {Kaushik Mallik} and {Anne-Kathrin Schmuck}},
publisher = {ACM},
booktitle = {Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC 2018, Porto, Portugal, April 11-13, 2018}
}
@inproceedings{conf/iccps/DeshmukhJMP18,
title = {Parameter optimization in control software using statistical fault localization techniques.},
year = {2018},
booktitle = {ICCPS},
author = {{Jyotirmoy V. Deshmukh} and {Xiaoqing Jin} and {Rupak Majumdar} and {Vinayak S. Prabhu}},
publisher = {IEEE Computer Society / ACM},
booktitle = {Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2018, Porto, Portugal, April 11-13, 2018}
}
@inproceedings{conf/qest/SalamatiSM18,
title = {Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach.},
year = {2018},
booktitle = {QEST},
author = {{Mahmoud Salamati} and {Sadegh Soudjani} and {Rupak Majumdar}},
publisher = {Springer},
booktitle = {Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings}
}
@article{journals/acta/DimitrovaM18,
title = {Reachability analysis of reversal-bounded automata on series-parallel graphs.},
year = {2018},
journal = {Acta Informatica},
author = {{Rayna Dimitrova} and {Rupak Majumdar}}
}
@article{journals/corr/abs-1803-02238,
title = {Precise but Natural Specification for Robot Tasks.},
year = {2018},
journal = {CoRR},
author = {{Brendon Boldt} and {Ivan Gavran} and {Eva Darulova} and {Rupak Majumdar}}
}
@article{journals/corr/abs-1804-02722,
title = {Lazy Abstraction-Based Control for Reachability.},
year = {2018},
journal = {CoRR},
author = {{Kyle Hsu} and {Rupak Majumdar} and {Kaushik Mallik} and {Anne-Kathrin Schmuck}}
}
@inproceedings{journals/corr/abs-1901-00589,
title = {Causality Analysis for Concurrent Reactive Systems (Extended Abstract).},
year = {2018},
booktitle = {CREST@ETAPS},
author = {{Rayna Dimitrova} and {Rupak Majumdar} and {Vinayak S. Prabhu}},
booktitle = {Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018.}
}
@article{journals/pacmpl/MajumdarN18,
title = {Why is random testing effective for partition tolerance bugs?},
year = {2018},
journal = {Proc. ACM Program. Lang.},
author = {{Rupak Majumdar} and {Filip Niksic}}
}
@article{journals/pacmpl/OzkanMNBW18,
title = {Randomized testing of distributed systems with probabilistic guarantees.},
year = {2018},
journal = {Proc. ACM Program. Lang.},
author = {{Burcu Kulahcioglu Ozkan} and {Rupak Majumdar} and {Filip Niksic} and {Mitra Tabaei Befrouei} and {Georg Weissenbacher}}
}
@incollection{reference/mc/MajumdarR18,
title = {Symbolic Model Checking in Non-Boolean Domains.},
year = {2018},
booktitle = {Handbook of Model Checking},
author = {{Rupak Majumdar} and {Jean-François Raskin}},
publisher = {Springer},
booktitle = {Handbook of Model Checking.}
}
@inproceedings{conf/atva/HsuMMS19,
title = {Lazy Abstraction-Based Controller Synthesis.},
year = {2019},
booktitle = {ATVA},
author = {{Kyle Hsu} and {Rupak Majumdar} and {Kaushik Mallik} and {Anne-Kathrin Schmuck}},
publisher = {Springer},
booktitle = {Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings}
}
@inproceedings{conf/cav/HongLMR19,
title = {Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols).},
year = {2019},
booktitle = {CAV (1)},
author = {{Chih-Duo Hong} and {Anthony W. Lin} and {Rupak Majumdar} and {Philipp Rümmer}},
publisher = {Springer},
booktitle = {Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I}
}
@inproceedings{conf/cdc/BaiMSZM19,
title = {Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment.},
year = {2019},
booktitle = {CDC},
author = {{Yunjun Bai} and {Kaushik Mallik} and {Anne-Kathrin Schmuck} and {Damien Zufferey} and {Rupak Majumdar}},
publisher = {IEEE},
booktitle = {58th IEEE Conference on Decision and Control, CDC 2019, Nice, France, December 11-13, 2019}
}
@inproceedings{conf/ecoop/MajumdarPYZ19,
title = {Motion Session Types for Robotic Interactions (Brave New Idea Paper).},
year = {2019},
booktitle = {ECOOP},
author = {{Rupak Majumdar} and {Marcus Pirron} and {Nobuko Yoshida} and {Damien Zufferey}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom.}
}
@inproceedings{conf/ecrts/GujaratiNMB19,
title = {From Iteration to System Failure: Characterizing the FITness of Periodic Weakly-Hard Systems.},
year = {2019},
booktitle = {ECRTS},
author = {{Arpan Gujarati} and {Mitra Nasri} and {Rupak Majumdar} and {Björn B. Brandenburg}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {31st Euromicro Conference on Real-Time Systems, ECRTS 2019, July 9-12, 2019, Stuttgart, Germany.}
}
@inproceedings{conf/iccps/BanusicMPSZ19,
title = {PGCD: robot programming and verification with geometry, concurrency, and dynamics.},
year = {2019},
booktitle = {ICCPS},
author = {{Gregor B. Banusic} and {Rupak Majumdar} and {Marcus Pirron} and {Anne-Kathrin Schmuck} and {Damien Zufferey}},
publisher = {ACM},
booktitle = {Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, Montreal, QC, Canada, April 16-18, 2019}
}
@inproceedings{conf/iccps/FischerM19,
title = {Programming event processors with thingflow.},
year = {2019},
booktitle = {ICCPS},
author = {{Jeffrey M. Fischer} and {Rupak Majumdar}},
publisher = {ACM},
booktitle = {Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, Montreal, QC, Canada, April 16-18, 2019}
}
@inproceedings{conf/ppopp/OzkanMN19,
title = {Checking linearizability using hitting families.},
year = {2019},
booktitle = {PPoPP},
author = {{Burcu Kulahcioglu Ozkan} and {Rupak Majumdar} and {Filip Niksic}},
publisher = {ACM},
booktitle = {Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019}
}
@inproceedings{conf/tacas/MajumdarPS19,
title = {Environmentally-Friendly GR(1) Synthesis.},
year = {2019},
booktitle = {TACAS (2)},
author = {{Rupak Majumdar} and {Nir Piterman} and {Anne-Kathrin Schmuck}},
publisher = {Springer},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II}
}
@article{journals/corr/abs-1901-06834,
title = {Perception-in-the-Loop Adversarial Examples.},
year = {2019},
journal = {CoRR},
author = {{Mahmoud Salamati} and {Sadegh Soudjani} and {Rupak Majumdar}}
}
@article{journals/corr/abs-1902-01084,
title = {Paracosm: A Language and Tool for Testing Autonomous Driving Systems.},
year = {2019},
journal = {CoRR},
author = {{Rupak Majumdar} and {Aman Shankar Mathur} and {Marcus Pirron} and {Laura Stegner} and {Damien Zufferey}}
}
@article{journals/corr/abs-1909-06112,
title = {Generalised Bisimulations for Time Bounded Reachability of CTMCs and CTMDPs.},
year = {2019},
journal = {CoRR},
author = {{Mahmoud Salamati} and {Sadegh Soudjani} and {Rupak Majumdar}}
}
@article{journals/pacmpl/OzkanMO19,
title = {Trace aware random testing for distributed systems.},
year = {2019},
journal = {Proc. ACM Program. Lang.},
author = {{Burcu Kulahcioglu Ozkan} and {Rupak Majumdar} and {Simin Oraee}}
}
@article{journals/tac/FarahaniMPS19,
title = {Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances.},
year = {2019},
journal = {IEEE Trans. Autom. Control.},
author = {{Samira S. Farahani} and {Rupak Majumdar} and {Vinayak S. Prabhu} and {Sadegh Soudjani}}
}
@article{journals/tac/MallikSSM19,
title = {Compositional Synthesis of Finite-State Abstractions.},
year = {2019},
journal = {IEEE Trans. Autom. Control.},
author = {{Kaushik Mallik} and {Anne-Kathrin Schmuck} and {Sadegh Soudjani} and {Rupak Majumdar}}
}
@article{journals/tecs/SalamatiSDSM19,
title = {Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control.},
year = {2019},
journal = {ACM Trans. Embed. Comput. Syst.},
author = {{Mahmoud Salamati} and {Rocco Salvia} and {Eva Darulova} and {Sadegh Soudjani} and {Rupak Majumdar}}
}
@inproceedings{conf/aips/0005GAMNT020,
title = {Joint Inference of Reward Machines and Policies for Reinforcement Learning.},
year = {2020},
booktitle = {ICAPS},
author = {{Zhe Xu 005} and {Ivan Gavran} and {Yousef Ahmad} and {Rupak Majumdar} and {Daniel Neider} and {Ufuk Topcu} and {Bo Wu 005}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020}
}
@inproceedings{conf/concur/MajumdarOP020,
title = {Algebraic Invariants for Linear Hybrid Automata.},
year = {2020},
booktitle = {CONCUR},
author = {{Rupak Majumdar} and {Joël Ouaknine} and {Amaury Pouly} and {James Worrell 001}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference).}
}
@inproceedings{conf/hybrid/MajumdarMS20,
title = {Symbolic controller synthesis for Büchi specifications on stochastic systems.},
year = {2020},
booktitle = {HSCC},
author = {{Rupak Majumdar} and {Kaushik Mallik} and {Sadegh Soudjani}},
publisher = {ACM},
booktitle = {HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020}
}
@inproceedings{conf/hybrid/MajumdarOS20,
title = {On abstraction-based controller design with output feedback.},
year = {2020},
booktitle = {HSCC},
author = {{Rupak Majumdar} and {Necmiye Ozay} and {Anne-Kathrin Schmuck}},
publisher = {ACM},
booktitle = {HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020}
}
@inproceedings{conf/icalp/BaumannMTZ20,
title = {The Complexity of Bounded Context Switching with Dynamic Thread Creation.},
year = {2020},
booktitle = {ICALP},
author = {{Pascal Baumann 001} and {Rupak Majumdar} and {Ramanathan S. Thinniyam} and {Georg Zetzsche}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, July 8-11, 2020, Saarbrücken, Germany (Virtual Conference).}
}
@inproceedings{conf/icalp/MajumdarSS20,
title = {On Decidability of Time-Bounded Reachability in CTMDPs.},
year = {2020},
booktitle = {ICALP},
author = {{Rupak Majumdar} and {Mahmoud Salamati} and {Sadegh Soudjani}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, July 8-11, 2020, Saarbrücken, Germany (Virtual Conference).}
}
@inproceedings{conf/iconip/BilbeisiAM20,
title = {DeepEquaL: Deep Learning Based Mathematical Equation to Latex Generation.},
year = {2020},
booktitle = {ICONIP (5)},
author = {{Ghaith Bilbeisi} and {Sheraz Ahmed} and {Rupak Majumdar}},
publisher = {Springer},
booktitle = {Neural Information Processing - 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 18-22, 2020, Proceedings, Part V}
}
@article{journals/corr/abs-2007-01773,
title = {Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game.},
year = {2020},
journal = {CoRR},
author = {{Rupak Majumdar} and {Anne-Kathrin Schmuck}}
}
@article{journals/corr/abs-2011-02413,
title = {Probabilistic Bisimulation for Parameterized Systems (Technical Report).},
year = {2020},
journal = {CoRR},
author = {{Chih-Duo Hong} and {Anthony W. Lin} and {Rupak Majumdar} and {Philipp Rümmer}}
}
@article{journals/deds/SchmuckMM20,
title = {On the relation between reactive synthesis and supervisory control of non-terminating processes.},
year = {2020},
journal = {Discret. Event Dyn. Syst.},
author = {{Anne-Kathrin Schmuck} and {Thomas Moor} and {Rupak Majumdar}}
}
@article{journals/pacmpl/DragoiEOMN20,
title = {Testing consensus implementations using communication closure.},
year = {2020},
journal = {Proc. ACM Program. Lang.},
author = {{Cezara Dragoi} and {Constantin Enea} and {Burcu Kulahcioglu Ozkan} and {Rupak Majumdar} and {Filip Niksic}}
}
@article{journals/pacmpl/GavranDM20,
title = {Interactive synthesis of temporal specifications from examples and natural language.},
year = {2020},
journal = {Proc. ACM Program. Lang.},
author = {{Ivan Gavran} and {Eva Darulova} and {Rupak Majumdar}}
}
@article{journals/pacmpl/MajumdarYZ20,
title = {Multiparty motion coordination: from choreographies to robotics programs.},
year = {2020},
journal = {Proc. ACM Program. Lang.},
author = {{Rupak Majumdar} and {Nobuko Yoshida} and {Damien Zufferey}}
}
@article{journals/tcad/MajumdarMSZ20,
title = {Assume-Guarantee Distributed Synthesis.},
year = {2020},
journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.},
author = {{Rupak Majumdar} and {Kaushik Mallik} and {Anne-Kathrin Schmuck} and {Damien Zufferey}}
}
@article{journals/tompecs/SalamatiSM20,
title = {A Lyapunov Approach for Time-Bounded Reachability of CTMCs and CTMDPs.},
year = {2020},
journal = {ACM Trans. Model. Perform. Evaluation Comput. Syst.},
author = {{Mahmoud Salamati} and {Sadegh Soudjani} and {Rupak Majumdar}}
}
@inproceedings{conf/aaai/Baier0M21,
title = {Responsibility Attribution in Parameterized Markovian Models.},
year = {2021},
booktitle = {AAAI},
author = {{Christel Baier} and {Florian Funke 002} and {Rupak Majumdar}},
publisher = {AAAI Press},
booktitle = {Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021}
}
@inproceedings{conf/aaai/FickertGF0MR21,
title = {Choosing the Initial State for Online Replanning.},
year = {2021},
booktitle = {AAAI},
author = {{Maximilian Fickert} and {Ivan Gavran} and {Ivan Fedotov} and {Jörg Hoffmann 001} and {Rupak Majumdar} and {Wheeler Ruml}},
publisher = {AAAI Press},
booktitle = {Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021}
}
@inproceedings{conf/adhs/MajumdarMSS21,
title = {Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games.},
year = {2021},
booktitle = {ADHS},
author = {{Rupak Majumdar} and {Kaushik Mallik} and {Anne-Kathrin Schmuck} and {Sadegh Soudjani}},
publisher = {Elsevier},
booktitle = {7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021}
}
@inproceedings{conf/concur/MajumdarMSZ21,
title = {Generalising Projection in Asynchronous Multiparty Session Types.},
year = {2021},
booktitle = {CONCUR},
author = {{Rupak Majumdar} and {Madhavan Mukund} and {Felix Stutz} and {Damien Zufferey}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference.}
}
@inproceedings{conf/cpp/BeckerBGDM21,
title = {Lassie: HOL4 tactics by example.},
year = {2021},
booktitle = {CPP},
author = {{Heiko Becker} and {Nathaniel Bos} and {Ivan Gavran} and {Eva Darulova} and {Rupak Majumdar}},
publisher = {ACM},
booktitle = {CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, Virtual Event, Denmark, January 17-19, 2021}
}
@inproceedings{conf/fase/MajumdarMPSZ21,
title = {Paracosm: A Test Framework for Autonomous Driving Simulations.},
year = {2021},
booktitle = {FASE},
author = {{Rupak Majumdar} and {Aman Shankar Mathur} and {Marcus Pirron} and {Laura Stegner} and {Damien Zufferey}},
publisher = {Springer},
booktitle = {Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings}
}
@inproceedings{conf/hybrid/MajumdarS21,
title = {The computability of LQR and LQG control.},
year = {2021},
booktitle = {HSCC},
author = {{Rupak Majumdar} and {Sadegh Soudjani}},
publisher = {ACM},
booktitle = {HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, May 19-21, 2021}
}
@inproceedings{conf/icalp/BaierD0JMPZ21,
title = {From Verification to Causality-Based Explications (Invited Talk).},
year = {2021},
booktitle = {ICALP},
author = {{Christel Baier} and {Clemens Dubslaff} and {Florian Funke 002} and {Simon Jantsch} and {Rupak Majumdar} and {Jakob Piribauer} and {Robin Ziemek}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference).}
}
@inproceedings{conf/iccps/MajumdarMSSZ21,
title = {Symbolic reach-avoid control of multi-agent systems.},
year = {2021},
booktitle = {ICCPS},
author = {{Rupak Majumdar} and {Kaushik Mallik} and {Mahmoud Salamati} and {Sadegh Soudjani} and {Mehrdad Zareian}},
publisher = {ACM},
booktitle = {ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, Nashville, Tennessee, USA, May 19-21, 2021}
}
@inproceedings{conf/ijcai/Baier0M21,
title = {A Game-Theoretic Account of Responsibility Allocation.},
year = {2021},
booktitle = {IJCAI},
author = {{Christel Baier} and {Florian Funke 002} and {Rupak Majumdar}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021.}
}
@inproceedings{conf/mfcs/DCostaKMOSS021,
title = {The Pseudo-Skolem Problem is Decidable.},
year = {2021},
booktitle = {MFCS},
author = {{Julian D'Costa} and {Toghrul Karimov} and {Rupak Majumdar} and {Joël Ouaknine} and {Mahmoud Salamati} and {Sadegh Soudjani} and {James Worrell 001}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia.}
}
@article{journals/corr/abs-2101-00834,
title = {Symbolic Control for Stochastic Systems via Parity Games.},
year = {2021},
journal = {CoRR},
author = {{Rupak Majumdar} and {Kaushik Mallik} and {Anne-Kathrin Schmuck} and {Sadegh Soudjani}}
}
@article{journals/corr/abs-2105-09533,
title = {From Verification to Causality-based Explications.},
year = {2021},
journal = {CoRR},
author = {{Christel Baier} and {Clemens Dubslaff} and {Florian Funke 002} and {Simon Jantsch} and {Rupak Majumdar} and {Jakob Piribauer} and {Robin Ziemek}}
}
@article{journals/lmcs/LinM21,
title = {Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility.},
year = {2021},
journal = {Log. Methods Comput. Sci.},
author = {{Anthony W. Lin} and {Rupak Majumdar}}
}
@article{journals/pacmpl/BaumannMTZ21,
title = {Context-bounded verification of liveness properties for multithreaded shared-memory programs.},
year = {2021},
journal = {Proc. ACM Program. Lang.},
author = {{Pascal Baumann 001} and {Rupak Majumdar} and {Ramanathan S. Thinniyam} and {Georg Zetzsche}}
}
@article{journals/tcad/UrabeM21,
title = {Verifying Asymptotic Temporal Properties of Continuous-State Probabilistic Systems.},
year = {2021},
journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.},
author = {{Natsuki Urabe} and {Rupak Majumdar}}
}
@inproceedings{conf/aaai/GanMRS22,
title = {Bayesian Persuasion in Sequential Decision-Making.},
year = {2022},
booktitle = {AAAI},
author = {{Jiarui Gan} and {Rupak Majumdar} and {Goran Radanovic} and {Adish Singla}},
publisher = {AAAI Press},
booktitle = {Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022}
}
@inproceedings{conf/concur/GanMRS22,
title = {Sequential Decision Making With Information Asymmetry (Invited Talk).},
year = {2022},
booktitle = {CONCUR},
author = {{Jiarui Gan} and {Rupak Majumdar} and {Goran Radanovic} and {Adish Singla}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland.}
}
@inproceedings{conf/icalp/GanardiMPSZ22,
title = {Reachability in Bidirected Pushdown VASS.},
year = {2022},
booktitle = {ICALP},
author = {{Moses Ganardi} and {Rupak Majumdar} and {Andreas Pavlogiannis} and {Lia Schütze} and {Georg Zetzsche}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {49th International Colloquium on Automata, Languages, and Programming, ICALP 2022, July 4-8, 2022, Paris, France.}
}
@inproceedings{conf/lics/GanardiMZ22,
title = {The Complexity of Bidirected Reachability in Valence Systems.},
year = {2022},
booktitle = {LICS},
author = {{Moses Ganardi} and {Rupak Majumdar} and {Georg Zetzsche}},
publisher = {ACM},
booktitle = {LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022}
}
@inproceedings{conf/mfcs/DCostaKMOSW22,
title = {The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems.},
year = {2022},
booktitle = {MFCS},
author = {{Julian D'Costa} and {Toghrul Karimov} and {Rupak Majumdar} and {Joël Ouaknine} and {Mahmoud Salamati} and {James Worrell 001}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022, August 22-26, 2022, Vienna, Austria.}
}
@inproceedings{conf/nips/GanMSR22,
title = {Envy-free Policy Teaching to Multiple Agents.},
year = {2022},
booktitle = {NeurIPS},
author = {{Jiarui Gan} and {Rupak Majumdar} and {Adish Singla} and {Goran Radanovic}},
booktitle = {Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans, LA, USA, November 28 - December 9, 2022.}
}
@inproceedings{conf/tacas/BanerjeeMMSS22,
title = {A Direct Symbolic Algorithm for Solving Stochastic Rabin Games.},
year = {2022},
booktitle = {TACAS (2)},
author = {{Tamajit Banerjee} and {Rupak Majumdar} and {Kaushik Mallik} and {Anne-Kathrin Schmuck} and {Sadegh Soudjani}},
publisher = {Springer},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II}
}
@article{journals/corr/abs-2206-08069,
title = {Data-Driven Abstraction-Based Control Synthesis.},
year = {2022},
journal = {CoRR},
author = {{Milad Kazemi} and {Rupak Majumdar} and {Mahmoud Salamati} and {Sadegh Soudjani} and {Ben Wooding}}
}
@article{journals/lmcs/MajumdarTZ22,
title = {General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond.},
year = {2022},
journal = {Log. Methods Comput. Sci.},
author = {{Rupak Majumdar} and {Ramanathan S. Thinniyam} and {Georg Zetzsche}}
}
@article{journals/pacmpl/BaumannMTZ22,
title = {Context-bounded verification of thread pools.},
year = {2022},
journal = {Proc. ACM Program. Lang.},
author = {{Pascal Baumann 001} and {Rupak Majumdar} and {Ramanathan S. Thinniyam} and {Georg Zetzsche}}
}
@article{journals/pacmpl/ChistikovMS22,
title = {Subcubic certificates for CFL reachability.},
year = {2022},
journal = {Proc. ACM Program. Lang.},
author = {{Dmitry Chistikov 001} and {Rupak Majumdar} and {Philipp Schepper}}
}
@inproceedings{conf/aaai/GanHMMR23,
title = {Markov Decision Processes with Time-Varying Geometric Discounting.},
year = {2023},
booktitle = {AAAI},
author = {{Jiarui Gan} and {Annika Hennes} and {Rupak Majumdar} and {Debmalya Mandal} and {Goran Radanovic}},
publisher = {AAAI Press},
booktitle = {Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023}
}
@inproceedings{conf/aaai/MandalRGSM23,
title = {Online Reinforcement Learning with Uncertain Episode Lengths.},
year = {2023},
booktitle = {AAAI},
author = {{Debmalya Mandal} and {Goran Radanovic} and {Jiarui Gan} and {Adish Singla} and {Rupak Majumdar}},
publisher = {AAAI Press},
booktitle = {Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023}
}
@inproceedings{conf/cav/CouillardCEM23,
title = {Making sf IP=sf PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms.},
year = {2023},
booktitle = {CAV (3)},
author = {{Eszter Couillard} and {Philipp Czerner} and {Javier Esparza} and {Rupak Majumdar}},
publisher = {Springer},
booktitle = {Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III}
}
@inproceedings{conf/cav/LotzGDKKMN23,
title = {Solving String Constraints Using SAT.},
year = {2023},
booktitle = {CAV (2)},
author = {{Kevin Lotz} and {Amit Goel} and {Bruno Dutertre} and {Benjamin Kiesl-Reiter} and {Soonho Kong} and {Rupak Majumdar} and {Dirk Nowotka}},
publisher = {Springer},
booktitle = {Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II}
}
@inproceedings{conf/cav/MajumdarMRSS23,
title = {A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.},
year = {2023},
booktitle = {CAV (3)},
author = {{Rupak Majumdar} and {Kaushik Mallik} and {Mateusz Rychlicki} and {Anne-Kathrin Schmuck} and {Sadegh Soudjani}},
publisher = {Springer},
booktitle = {Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III}
}
@inproceedings{conf/concur/KrishnaMMP23,
title = {Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete.},
year = {2023},
booktitle = {CONCUR},
author = {{Shankara Narayanan Krishna} and {Khushraj Nanik Madnani} and {Rupak Majumdar} and {Paritosh K. Pandya}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium}
}
@inproceedings{conf/edm/PhungCGKMSS23,
title = {Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models.},
year = {2023},
booktitle = {EDM},
author = {{Tung Phung} and {José Cambronero} and {Sumit Gulwani} and {Tobias Kohn} and {Rupak Majumdar} and {Adish Singla} and {Gustavo Soares}},
publisher = {International Educational Data Mining Society},
booktitle = {Proceedings of the 16th International Conference on Educational Data Mining, EDM 2023, Bengaluru, India, July 11-14, 2023}
}
@inproceedings{conf/fsttcs/FinkelKMMZ23,
title = {Counter Machines with Infrequent Reversals.},
year = {2023},
booktitle = {FSTTCS},
author = {{Alain Finkel} and {Shankara Narayanan Krishna} and {Khushraj Madnani} and {Rupak Majumdar} and {Georg Zetzsche}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2023, December 18-20, 2023, IIIT Hyderabad, Telangana, India}
}
@inproceedings{conf/hybrid/MajumdarMRSS23,
title = {Poster Abstract: A Toolchain for Accelerated Symbolic Control.},
year = {2023},
booktitle = {HSCC},
author = {{Rupak Majumdar} and {Kaushik Mallik} and {Mateusz Rychlicki} and {Anne-Kathrin Schmuck} and {Sadegh Soudjani}},
publisher = {ACM},
booktitle = {Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2023, San Antonio, TX, USA, May 9-12, 2023}
}
@inproceedings{conf/icalp/0001GMTZ23,
title = {Context-Bounded Analysis of Concurrent Programs (Invited Talk).},
year = {2023},
booktitle = {ICALP},
author = {{Pascal Baumann 001} and {Moses Ganardi} and {Rupak Majumdar} and {Ramanathan S. Thinniyam} and {Georg Zetzsche}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {50th International Colloquium on Automata, Languages, and Programming, ICALP 2023, July 10-14, 2023, Paderborn, Germany}
}
@inproceedings{conf/icalp/0001GMTZ23a,
title = {Checking Refinement of Asynchronous Programs Against Context-Free Specifications.},
year = {2023},
booktitle = {ICALP},
author = {{Pascal Baumann 001} and {Moses Ganardi} and {Rupak Majumdar} and {Ramanathan S. Thinniyam} and {Georg Zetzsche}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {50th International Colloquium on Automata, Languages, and Programming, ICALP 2023, July 10-14, 2023, Paderborn, Germany}
}
@inproceedings{conf/icer/PhungPCGKMSS22,
title = {Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors.},
year = {2023},
booktitle = {ICER (2)},
author = {{Tung Phung} and {Victor-Alexandru Padurean} and {José Cambronero} and {Sumit Gulwani} and {Tobias Kohn} and {Rupak Majumdar} and {Adish Singla} and {Gustavo Soares}},
publisher = {ACM},
booktitle = {Proceedings of the 2023 ACM Conference on International Computing Education Research - Volume 2, ICER 2023, Chicago, IL, USA, August 7-11, 2023}
}
@article{journals/corr/abs-2305-11813,
title = {Making IP=PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms.},
year = {2023},
journal = {CoRR},
author = {{Eszter Couillard} and {Philipp Czerner} and {Javier Esparza} and {Rupak Majumdar}}
}
@article{journals/corr/abs-2306-03832,
title = {Sequential Principal-Agent Problems with Communication: Efficient Computation and Learning.},
year = {2023},
journal = {CoRR},
author = {{Jiarui Gan} and {Rupak Majumdar} and {Debmalya Mandal} and {Goran Radanovic}}
}
@article{journals/tac/MajumdarS23,
title = {Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game.},
year = {2023},
journal = {IEEE Trans. Autom. Control.},
author = {{Rupak Majumdar} and {Anne-Kathrin Schmuck}}
}
@article{journals/theoretics/BanerjeeMMSS23,
title = {Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness.},
year = {2023},
journal = {TheoretiCS},
author = {{Tamajit Banerjee} and {Rupak Majumdar} and {Kaushik Mallik} and {Anne-Kathrin Schmuck} and {Sadegh Soudjani}}
}
@article{journals/pacmpl/BaumannGMTZ23,
title = {Context-Bounded Verification of Context-Free Specifications.},
year = {2023},
month = {January},
journal = {Proc. ACM Program. Lang.},
author = {{Pascal Baumann 001} and {Moses Ganardi} and {Rupak Majumdar} and {Ramanathan S. Thinniyam} and {Georg Zetzsche}}
}
@article{journals/tecs/MajumdarSS23,
title = {Neural Abstraction-Based Controller Synthesis and Deployment.},
year = {2023},
month = {October},
journal = {ACM Trans. Embed. Comput. Syst.},
author = {{Rupak Majumdar} and {Mahmoud Salamati} and {Sadegh Soudjani}}
}
@article{journals/corr/abs-2401-07548,
title = {Rabin Games and Colourful Universal Trees.},
year = {2024},
journal = {CoRR},
author = {{Rupak Majumdar} and {Irmak Saglam} and {K. S. Thejaswini}}
}
@article{journals/pacmpl/BalasubramanianMTZ24,
title = {Reachability in Continuous Pushdown VASS.},
year = {2024},
month = {January},
journal = {Proc. ACM Program. Lang.},
author = {{A. R. Balasubramanian} and {Rupak Majumdar} and {Ramanathan S. Thinniyam} and {Georg Zetzsche}}
}
@article{journals/pacmpl/MajumdarS24,
title = {Positive Almost-Sure Termination: Complexity and Proof Rules.},
year = {2024},
month = {January},
journal = {Proc. ACM Program. Lang.},
author = {{Rupak Majumdar} and {V. R. Sathiyanarayana}}
}