BibTeX records: Deepak D'Souza

download as .bib file

@article{DBLP:journals/pacmpl/EzudheenND0M18,
  author    = {P. Ezudheen and
               Daniel Neider and
               Deepak D'Souza and
               Pranav Garg and
               P. Madhusudan},
  title     = {Horn-ICE learning for synthesizing invariants and contracts},
  journal   = {{PACMPL}},
  volume    = {2},
  number    = {{OOPSLA}},
  pages     = {131:1--131:25},
  year      = {2018},
  url       = {http://doi.acm.org/10.1145/3276501},
  doi       = {10.1145/3276501},
  timestamp = {Fri, 26 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/pacmpl/EzudheenND0M18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/DSouzaL17,
  author    = {Deepak D'Souza and
               Akash Lal},
  title     = {Special issue on the 16th International Conference on Verification,
               Model Checking, and Abstract Interpretation},
  journal   = {Computer Languages, Systems {\&} Structures},
  volume    = {47},
  pages     = {1},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.cl.2016.06.002},
  doi       = {10.1016/j.cl.2016.06.002},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cl/DSouzaL17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/MukherjeePSDR17,
  author    = {Suvam Mukherjee and
               Oded Padon and
               Sharon Shoham and
               Deepak D'Souza and
               Noam Rinetzky},
  title     = {{RATCOP:} Relational Analysis Tool for Concurrent Programs},
  booktitle = {Hardware and Software: Verification and Testing - 13th International
               Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
               13-15, 2017, Proceedings},
  pages     = {229--233},
  year      = {2017},
  crossref  = {DBLP:conf/hvc/2017},
  url       = {https://doi.org/10.1007/978-3-319-70389-3\_18},
  doi       = {10.1007/978-3-319-70389-3\_18},
  timestamp = {Tue, 14 Nov 2017 14:53:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/hvc/MukherjeePSDR17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/MukherjeePSDR17,
  author    = {Suvam Mukherjee and
               Oded Padon and
               Sharon Shoham and
               Deepak D'Souza and
               Noam Rinetzky},
  title     = {Thread-Local Semantics and Its Efficient Sequential Abstractions for
               Race-Free Programs},
  booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
               NY, USA, August 30 - September 1, 2017, Proceedings},
  pages     = {253--276},
  year      = {2017},
  crossref  = {DBLP:conf/sas/2017},
  url       = {https://doi.org/10.1007/978-3-319-66706-5\_13},
  doi       = {10.1007/978-3-319-66706-5\_13},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sas/MukherjeePSDR17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/MukherjeeKD17,
  author    = {Suvam Mukherjee and
               Arun Kumar and
               Deepak D'Souza},
  title     = {Detecting All High-Level Dataraces in an {RTOS} Kernel},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 18th International
               Conference, {VMCAI} 2017, Paris, France, January 15-17, 2017, Proceedings},
  pages     = {405--423},
  year      = {2017},
  crossref  = {DBLP:conf/vmcai/2017},
  url       = {https://doi.org/10.1007/978-3-319-52234-0\_22},
  doi       = {10.1007/978-3-319-52234-0\_22},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/MukherjeeKD17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2017,
  editor    = {Deepak D'Souza and
               K. Narayan Kumar},
  title     = {Automated Technology for Verification and Analysis - 15th International
               Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10482},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-68167-2},
  doi       = {10.1007/978-3-319-68167-2},
  isbn      = {978-3-319-68166-5},
  timestamp = {Thu, 05 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-09418,
  author    = {Deepak D'Souza and
               P. Ezudheen and
               Pranav Garg and
               P. Madhusudan and
               Daniel Neider},
  title     = {Horn-ICE Learning for Synthesizing Invariants and Contracts},
  journal   = {CoRR},
  volume    = {abs/1712.09418},
  year      = {2017},
  url       = {http://arxiv.org/abs/1712.09418},
  archivePrefix = {arXiv},
  eprint    = {1712.09418},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1712-09418},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/DSouzaR16,
  author    = {Deepak D'Souza and
               Raghavendra K. Ramesh},
  title     = {Model-checking trace-based information flow properties for infinite-state
               systems},
  journal   = {Journal of Computer Security},
  volume    = {24},
  number    = {5},
  pages     = {617--643},
  year      = {2016},
  url       = {https://doi.org/10.3233/JCS-160549},
  doi       = {10.3233/JCS-160549},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jcs/DSouzaR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/PatilKDB16,
  author    = {Tejas Patil and
               Raghavan Komondoor and
               Deepak D'Souza and
               Indrajit Bhattacharya},
  title     = {An Optimization Approach for Matching Textual Domain Models with Existing
               Code},
  booktitle = {2016 {IEEE} International Conference on Software Maintenance and Evolution,
               {ICSME} 2016, Raleigh, NC, USA, October 2-7, 2016},
  pages     = {133--143},
  year      = {2016},
  crossref  = {DBLP:conf/icsm/2016},
  url       = {https://doi.org/10.1109/ICSME.2016.48},
  doi       = {10.1109/ICSME.2016.48},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsm/PatilKDB16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ChengWD15,
  author    = {Shu Cheng and
               Jim Woodcock and
               Deepak D'Souza},
  title     = {Using formal reasoning on a model of tasks for FreeRTOS},
  journal   = {Formal Asp. Comput.},
  volume    = {27},
  number    = {1},
  pages     = {167--192},
  year      = {2015},
  url       = {https://doi.org/10.1007/s00165-014-0308-9},
  doi       = {10.1007/s00165-014-0308-9},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/ChengWD15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DivakaranDKSSW15,
  author    = {Sumesh Divakaran and
               Deepak D'Souza and
               Anirudh Kushwah and
               Prahladavaradan Sampath and
               Nigamanth Sridhar and
               Jim Woodcock},
  title     = {Refinement-Based Verification of the FreeRTOS Scheduler in {VCC}},
  booktitle = {Formal Methods and Software Engineering - 17th International Conference
               on Formal Engineering Methods, {ICFEM} 2015, Paris, France, November
               3-5, 2015, Proceedings},
  pages     = {170--186},
  year      = {2015},
  crossref  = {DBLP:conf/icfem/2015},
  url       = {https://doi.org/10.1007/978-3-319-25423-4\_11},
  doi       = {10.1007/978-3-319-25423-4\_11},
  timestamp = {Tue, 03 Oct 2017 16:28:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/DivakaranDKSSW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/ChandrasekaranK14,
  author    = {Prakash Chandrasekaran and
               K. B. Shibu Kumar and
               Remish L. Minz and
               Deepak D'Souza and
               Lomesh Meshram},
  title     = {A multi-core version of FreeRTOS verified for datarace and deadlock
               freedom},
  booktitle = {Twelfth {ACM/IEEE} International Conference on Formal Methods and
               Models for Codesign, {MEMOCODE} 2014, Lausanne, Switzerland, October
               19-21, 2014},
  pages     = {62--71},
  year      = {2014},
  crossref  = {DBLP:conf/memocode/2014},
  url       = {https://doi.org/10.1109/MEMCOD.2014.6961844},
  doi       = {10.1109/MEMCOD.2014.6961844},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/memocode/ChandrasekaranK14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/DivakaranDS14,
  author    = {Sumesh Divakaran and
               Deepak D'Souza and
               Nigamanth Sridhar},
  title     = {Efficient Refinement Checking in {VCC}},
  booktitle = {Verified Software: Theories, Tools and Experiments - 6th International
               Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised
               Selected Papers},
  pages     = {21--36},
  year      = {2014},
  crossref  = {DBLP:conf/vstte/2014},
  url       = {https://doi.org/10.1007/978-3-319-12154-3\_2},
  doi       = {10.1007/978-3-319-12154-3\_2},
  timestamp = {Tue, 23 May 2017 01:06:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/DivakaranDS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2015,
  editor    = {Deepak D'Souza and
               Akash Lal and
               Kim Guldstrand Larsen},
  title     = {Verification, Model Checking, and Abstract Interpretation - 16th International
               Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8931},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-46081-8},
  doi       = {10.1007/978-3-662-46081-8},
  isbn      = {978-3-662-46080-1},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/KomondoorBDK13,
  author    = {Raghavan Komondoor and
               Indrajit Bhattacharya and
               Deepak D'Souza and
               Sachin Kale},
  title     = {Using relationships for matching textual domain models with existing
               code},
  booktitle = {20th Working Conference on Reverse Engineering, {WCRE} 2013, Koblenz,
               Germany, October 14-17, 2013},
  pages     = {371--380},
  year      = {2013},
  crossref  = {DBLP:conf/wcre/2013},
  url       = {https://doi.org/10.1109/WCRE.2013.6671312},
  doi       = {10.1109/WCRE.2013.6671312},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wcre/KomondoorBDK13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DemriDG12,
  author    = {St{\'{e}}phane Demri and
               Deepak D'Souza and
               R{\'{e}}gis Gascon},
  title     = {Temporal Logics of Repeating Values},
  journal   = {J. Log. Comput.},
  volume    = {22},
  number    = {5},
  pages     = {1059--1096},
  year      = {2012},
  url       = {https://doi.org/10.1093/logcom/exr013},
  doi       = {10.1093/logcom/exr013},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/logcom/DemriDG12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DeD12,
  author    = {Arnab De and
               Deepak D'Souza},
  title     = {Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates},
  booktitle = {{ECOOP} 2012 - Object-Oriented Programming - 26th European Conference,
               Beijing, China, June 11-16, 2012. Proceedings},
  pages     = {665--687},
  year      = {2012},
  crossref  = {DBLP:conf/ecoop/2012},
  url       = {https://doi.org/10.1007/978-3-642-31057-7\_29},
  doi       = {10.1007/978-3-642-31057-7\_29},
  timestamp = {Mon, 06 Nov 2017 16:35:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/DeD12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/DSouzaR12,
  author    = {Deepak D'Souza and
               K. R. Raghavendra},
  title     = {Model-Checking Bisimulation-Based Information Flow Properties for
               Infinite State Systems},
  booktitle = {Computer Security - {ESORICS} 2012 - 17th European Symposium on Research
               in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings},
  pages     = {591--608},
  year      = {2012},
  crossref  = {DBLP:conf/esorics/2012},
  url       = {https://doi.org/10.1007/978-3-642-33167-1\_34},
  doi       = {10.1007/978-3-642-33167-1\_34},
  timestamp = {Fri, 02 Jun 2017 20:48:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esorics/DSouzaR12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/DSouzaM12,
  author    = {Deepak D'Souza and
               Raj Mohan Matteplackel},
  title     = {A Compositional Hierarchical Monitoring Automaton Construction for
               {LTL}},
  booktitle = {Theoretical Aspects of Computing - {ICTAC} 2012 - 9th International
               Colloquium, Bangalore, India, September 24-27, 2012. Proceedings},
  pages     = {16--29},
  year      = {2012},
  crossref  = {DBLP:conf/ictac/2012},
  url       = {https://doi.org/10.1007/978-3-642-32943-2\_2},
  doi       = {10.1007/978-3-642-32943-2\_2},
  timestamp = {Tue, 23 May 2017 01:11:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/DSouzaM12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/automata2012/ChevalierDMP12,
  author    = {Fabrice Chevalier and
               Deepak D'Souza and
               Raj Mohan Matteplackel and
               Pavithra Prabhakar},
  title     = {Automata and Logics over Signals},
  booktitle = {Modern Applications of Automata Theory},
  pages     = {555--584},
  year      = {2012},
  url       = {https://doi.org/10.1142/9789814271059\_0018},
  doi       = {10.1142/9789814271059\_0018},
  timestamp = {Tue, 16 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/books/ws/automata2012/ChevalierDMP12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/ws/automata12,
  editor    = {Deepak D'Souza and
               Priti Shankar},
  title     = {Modern Applications of Automata Theory},
  series    = {IISc Research Monographs Series},
  volume    = {2},
  publisher = {World Scientific},
  year      = {2012},
  url       = {https://doi.org/10.1142/7237},
  doi       = {10.1142/7237},
  isbn      = {978-981-4271-04-2},
  timestamp = {Tue, 16 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/books/ws/automata12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2012,
  editor    = {Deepak D'Souza and
               Telikepalli Kavitha and
               Jaikumar Radhakrishnan},
  title     = {{IARCS} Annual Conference on Foundations of Software Technology and
               Theoretical Computer Science, {FSTTCS} 2012, December 15-17, 2012,
               Hyderabad, India},
  series    = {LIPIcs},
  volume    = {18},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2012},
  url       = {http://drops.dagstuhl.de/portals/extern/index.php?semnr=12014},
  isbn      = {978-3-939897-47-7},
  timestamp = {Wed, 29 Mar 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/DSouzaHRS11,
  author    = {Deepak D'Souza and
               Raveendra Holla and
               K. R. Raghavendra and
               Barbara Sprick},
  title     = {Model-checking trace-based information flow properties},
  journal   = {Journal of Computer Security},
  volume    = {19},
  number    = {1},
  pages     = {101--138},
  year      = {2011},
  url       = {https://doi.org/10.3233/JCS-2010-0400},
  doi       = {10.3233/JCS-2010-0400},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jcs/DSouzaHRS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DeDN11,
  author    = {Arnab De and
               Deepak D'Souza and
               Rupesh Nasre},
  title     = {Dataflow Analysis for Datarace-Free Programs},
  booktitle = {Programming Languages and Systems - 20th European Symposium on Programming,
               {ESOP} 2011, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken, Germany,
               March 26-April 3, 2011. Proceedings},
  pages     = {196--215},
  year      = {2011},
  crossref  = {DBLP:conf/esop/2011},
  url       = {https://doi.org/10.1007/978-3-642-19718-5\_11},
  doi       = {10.1007/978-3-642-19718-5\_11},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/esop/DeDN11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/NormandinWRLLMCDNH10,
  author    = {Marc D. Normandin and
               David Weinzimmer and
               Jim Ropchan and
               David Labaree and
               Kuo{-}Shyan Lin and
               Neale S. Mason and
               Richard E. Carson and
               Deepak D'Souza and
               Alexander Neumeister and
               Yiyun Huang},
  title     = {Modeling analysis of the {CB1} {PET} tracer {[11C]OMAR} in rhesus
               monkeys and humans},
  journal   = {NeuroImage},
  volume    = {52},
  number    = {Supplement-1},
  pages     = {S13},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.neuroimage.2010.04.198},
  doi       = {10.1016/j.neuroimage.2010.04.198},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/neuroimage/NormandinWRLLMCDNH10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/GuptaDKR10,
  author    = {Hari S. Gupta and
               Deepak D'Souza and
               Raghavan Komondoor and
               Girish M. Rama},
  title     = {A case study in matching service descriptions to implementations in
               an existing system},
  booktitle = {26th {IEEE} International Conference on Software Maintenance {(ICSM}
               2010), September 12-18, 2010, Timisoara, Romania},
  pages     = {1--10},
  year      = {2010},
  crossref  = {DBLP:conf/icsm/2010},
  url       = {https://doi.org/10.1109/ICSM.2010.5609688},
  doi       = {10.1109/ICSM.2010.5609688},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsm/GuptaDKR10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indiaSE/DivakaranDM10,
  author    = {Sumesh Divakaran and
               Deepak D'Souza and
               Raj Mohan Matteplackel},
  title     = {Conflict-tolerant specifications in temporal logic},
  booktitle = {Proceeding of the 3rd Annual India Software Engineering Conference,
               {ISEC} 2010, Mysore, India, February 25-27, 2010},
  pages     = {103--110},
  year      = {2010},
  crossref  = {DBLP:conf/indiaSE/2010},
  url       = {https://doi.org/10.1145/1730874.1730894},
  doi       = {10.1145/1730874.1730894},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/indiaSE/DivakaranDM10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/DeRD10,
  author    = {Arnab De and
               Abhik Roychoudhury and
               Deepak D'Souza},
  title     = {{WOMM:} {A} Weak Operational Memory Model},
  booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
               - 4th International Symposium on Leveraging Applications, ISoLA 2010,
               Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {I}},
  pages     = {519--534},
  year      = {2010},
  crossref  = {DBLP:conf/isola/2010-1},
  url       = {https://doi.org/10.1007/978-3-642-16558-0\_43},
  doi       = {10.1007/978-3-642-16558-0\_43},
  timestamp = {Fri, 02 Nov 2018 09:34:27 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isola/DeRD10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ChakrabortyDK10,
  author    = {Joy Chakraborty and
               Deepak D'Souza and
               K. Narayan Kumar},
  title     = {Analysing Message Sequence Graph Specifications},
  booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
               - 4th International Symposium on Leveraging Applications, ISoLA 2010,
               Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {I}},
  pages     = {549--563},
  year      = {2010},
  crossref  = {DBLP:conf/isola/2010-1},
  url       = {https://doi.org/10.1007/978-3-642-16558-0\_45},
  doi       = {10.1007/978-3-642-16558-0\_45},
  timestamp = {Fri, 02 Nov 2018 09:34:27 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isola/ChakrabortyDK10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/DivakaranDM10,
  author    = {Sumesh Divakaran and
               Deepak D'Souza and
               M. Raj Mohan},
  title     = {Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic},
  booktitle = {{TIME} 2010 - 17th International Symposium on Temporal Representation
               and Reasoning, Paris, France, 6-8 September 2010},
  pages     = {35--42},
  year      = {2010},
  crossref  = {DBLP:conf/time/2010},
  url       = {https://doi.org/10.1109/TIME.2010.23},
  doi       = {10.1109/TIME.2010.23},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/time/DivakaranDM10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1008-2458,
  author    = {Hari S. Gupta and
               Deepak D'Souza and
               Raghavan Komondoor and
               Girish M. Rama},
  title     = {A Case Study in Matching Service Descriptions to Implementations in
               an Existing System},
  journal   = {CoRR},
  volume    = {abs/1008.2458},
  year      = {2010},
  url       = {http://arxiv.org/abs/1008.2458},
  archivePrefix = {arXiv},
  eprint    = {1008.2458},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1008-2458},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ChevalierDMP09,
  author    = {Fabrice Chevalier and
               Deepak D'Souza and
               M. Raj Mohan and
               Pavithra Prabhakar},
  title     = {Automata and logics over finitely varying functions},
  journal   = {Ann. Pure Appl. Logic},
  volume    = {161},
  number    = {3},
  pages     = {324--336},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.apal.2009.07.007},
  doi       = {10.1016/j.apal.2009.07.007},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/apal/ChevalierDMP09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/DSouzaGRS09,
  author    = {Deepak D'Souza and
               Madhu Gopinathan and
               S. Ramesh and
               Prahladavaradan Sampath},
  title     = {Supervisory control for real-time systems based on conflict-tolerant
               controllers},
  booktitle = {{IEEE} Conference on Automation Science and Engineering, {CASE} 2009,
               Bangalore, India, 22-25 August, 2011},
  pages     = {555--560},
  year      = {2009},
  crossref  = {DBLP:conf/case/2009},
  url       = {https://doi.org/10.1109/COASE.2009.5234088},
  doi       = {10.1109/COASE.2009.5234088},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/case/DSouzaGRS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DSouzaG08,
  author    = {Deepak D'Souza and
               Madhu Gopinathan},
  title     = {Conflict-Tolerant Features},
  booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
               2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
  pages     = {227--239},
  year      = {2008},
  crossref  = {DBLP:conf/cav/2008},
  url       = {https://doi.org/10.1007/978-3-540-70545-1\_22},
  doi       = {10.1007/978-3-540-70545-1\_22},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/DSouzaG08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciss/DSouzaHKRS08,
  author    = {Deepak D'Souza and
               Raveendra Holla and
               Janardhan Kulkarni and
               Raghavendra K. Ramesh and
               Barbara Sprick},
  title     = {On the Decidability of Model-Checking Information Flow Properties},
  booktitle = {Information Systems Security, 4th International Conference, {ICISS}
               2008, Hyderabad, India, December 16-20, 2008. Proceedings},
  pages     = {26--40},
  year      = {2008},
  crossref  = {DBLP:conf/iciss/2008},
  url       = {https://doi.org/10.1007/978-3-540-89862-7\_2},
  doi       = {10.1007/978-3-540-89862-7\_2},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iciss/DSouzaHKRS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/DeRD08,
  author    = {Arnab De and
               Abhik Roychoudhury and
               Deepak D'Souza},
  title     = {Java memory model aware software validation},
  booktitle = {Proceedings of the 8th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
               Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia,
               November 9-10, 2008},
  pages     = {8--14},
  year      = {2008},
  crossref  = {DBLP:conf/paste/2008},
  url       = {https://doi.org/10.1145/1512475.1512478},
  doi       = {10.1145/1512475.1512478},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/paste/DeRD08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/DSouzaGRS08,
  author    = {Deepak D'Souza and
               Madhu Gopinathan and
               S. Ramesh and
               Prahladavaradan Sampath},
  title     = {Conflict-Tolerant Real-Time Features},
  booktitle = {Fifth International Conference on the Quantitative Evaluaiton of Systems
               {(QEST} 2008), 14-17 September 2008, Saint-Malo, France},
  pages     = {274--283},
  year      = {2008},
  crossref  = {DBLP:conf/qest/2008},
  url       = {https://doi.org/10.1109/QEST.2008.16},
  doi       = {10.1109/QEST.2008.16},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/DSouzaGRS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DemriD07,
  author    = {St{\'{e}}phane Demri and
               Deepak D'Souza},
  title     = {An automata-theoretic approach to constraint {LTL}},
  journal   = {Inf. Comput.},
  volume    = {205},
  number    = {3},
  pages     = {380--415},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.ic.2006.09.006},
  doi       = {10.1016/j.ic.2006.09.006},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/DemriD07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DSouzaP07,
  author    = {Deepak D'Souza and
               Pavithra Prabhakar},
  title     = {On the expressiveness of {MTL} in the pointwise and continuous semantics},
  journal   = {{STTT}},
  volume    = {9},
  number    = {1},
  pages     = {1--4},
  year      = {2007},
  url       = {https://doi.org/10.1007/s10009-005-0214-9},
  doi       = {10.1007/s10009-005-0214-9},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/DSouzaP07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/ChevalierDP07,
  author    = {Fabrice Chevalier and
               Deepak D'Souza and
               Pavithra Prabhakar},
  title     = {Counter-Free Input-Determined Timed Automata},
  booktitle = {Formal Modeling and Analysis of Timed Systems, 5th International Conference,
               {FORMATS} 2007, Salzburg, Austria, October 3-5, 2007, Proceedings},
  pages     = {82--97},
  year      = {2007},
  crossref  = {DBLP:conf/formats/2007},
  url       = {https://doi.org/10.1007/978-3-540-75454-1\_8},
  doi       = {10.1007/978-3-540-75454-1\_8},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/ChevalierDP07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/DemriDG07,
  author    = {St{\'{e}}phane Demri and
               Deepak D'Souza and
               R{\'{e}}gis Gascon},
  title     = {A Decidable Temporal Logic of Repeating Values},
  booktitle = {Logical Foundations of Computer Science, International Symposium,
               {LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
  pages     = {180--194},
  year      = {2007},
  crossref  = {DBLP:conf/lfcs/2007},
  url       = {https://doi.org/10.1007/978-3-540-72734-7\_13},
  doi       = {10.1007/978-3-540-72734-7\_13},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lfcs/DemriDG07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/PrabhakarD06,
  author    = {Pavithra Prabhakar and
               Deepak D'Souza},
  title     = {On the Expressiveness of {MTL} with Past Operators},
  booktitle = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
               {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  pages     = {322--336},
  year      = {2006},
  crossref  = {DBLP:conf/formats/2006},
  url       = {https://doi.org/10.1007/11867340\_23},
  doi       = {10.1007/11867340\_23},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/PrabhakarD06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ChevalierDP06,
  author    = {Fabrice Chevalier and
               Deepak D'Souza and
               Pavithra Prabhakar},
  title     = {On Continuous Timed Automata with Input-Determined Guards},
  booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
               Computer Science, 26th International Conference, Kolkata, India, December
               13-15, 2006, Proceedings},
  pages     = {369--380},
  year      = {2006},
  crossref  = {DBLP:conf/fsttcs/2006},
  url       = {https://doi.org/10.1007/11944836\_34},
  doi       = {10.1007/11944836\_34},
  timestamp = {Wed, 14 Feb 2018 13:29:27 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/ChevalierDP06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/DSouzaG06,
  author    = {Deepak D'Souza and
               Madhu Gopinathan},
  title     = {Computing Complete Test Graphs for Hierarchical Systems},
  booktitle = {Fourth {IEEE} International Conference on Software Engineering and
               Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages     = {70--79},
  year      = {2006},
  crossref  = {DBLP:conf/sefm/2006},
  url       = {https://doi.org/10.1109/SEFM.2006.13},
  doi       = {10.1109/SEFM.2006.13},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/DSouzaG06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0601096,
  author    = {Deepak D'Souza and
               Nicolas Tabareau},
  title     = {On timed automata with input-determined guards},
  journal   = {CoRR},
  volume    = {abs/cs/0601096},
  year      = {2006},
  url       = {http://arxiv.org/abs/cs/0601096},
  archivePrefix = {arXiv},
  eprint    = {cs/0601096},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-cs-0601096},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/DSouzaRS05,
  author    = {Deepak D'Souza and
               K. R. Raghavendra and
               Barbara Sprick},
  title     = {An Automata Based Approach for Verifying Information Flow Properties},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {135},
  number    = {1},
  pages     = {39--58},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2005.06.005},
  doi       = {10.1016/j.entcs.2005.06.005},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/DSouzaRS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BouyerCD05,
  author    = {Patricia Bouyer and
               Fabrice Chevalier and
               Deepak D'Souza},
  title     = {Fault Diagnosis Using Timed Automata},
  booktitle = {Foundations of Software Science and Computational Structures, 8th
               International Conference, {FOSSACS} 2005, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2005,
               Edinburgh, UK, April 4-8, 2005, Proceedings},
  pages     = {219--233},
  year      = {2005},
  crossref  = {DBLP:conf/fossacs/2005},
  url       = {https://doi.org/10.1007/978-3-540-31982-5\_14},
  doi       = {10.1007/978-3-540-31982-5\_14},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/BouyerCD05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DSouzaM05,
  author    = {Deepak D'Souza and
               M. Raj Mohan},
  title     = {Eventual Timed Automata},
  booktitle = {{FSTTCS} 2005: Foundations of Software Technology and Theoretical
               Computer Science, 25th International Conference, Hyderabad, India,
               December 15-18, 2005, Proceedings},
  pages     = {322--334},
  year      = {2005},
  crossref  = {DBLP:conf/fsttcs/2005},
  url       = {https://doi.org/10.1007/11590156\_26},
  doi       = {10.1007/11590156\_26},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/DSouzaM05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/DSouzaT04,
  author    = {Deepak D'Souza and
               Nicolas Tabareau},
  title     = {On Timed Automata with Input-Determined Guards},
  booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
               Systems, Joint International Conferences on Formal Modelling and Analysis
               of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
               and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
               22-24, 2004, Proceedings},
  pages     = {68--83},
  year      = {2004},
  crossref  = {DBLP:conf/formats/2004},
  url       = {https://doi.org/10.1007/978-3-540-30206-3\_7},
  doi       = {10.1007/978-3-540-30206-3\_7},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/DSouzaT04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Dsouza03,
  author    = {Deepak D'Souza},
  title     = {A Logical Characterisation of Event Clock Automata},
  journal   = {Int. J. Found. Comput. Sci.},
  volume    = {14},
  number    = {4},
  pages     = {625--640},
  year      = {2003},
  url       = {https://doi.org/10.1142/S0129054103001923},
  doi       = {10.1142/S0129054103001923},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijfcs/Dsouza03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BouyerDMP03,
  author    = {Patricia Bouyer and
               Deepak D'Souza and
               P. Madhusudan and
               Antoine Petit},
  title     = {Timed Control with Partial Observability},
  booktitle = {Computer Aided Verification, 15th International Conference, {CAV}
               2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
  pages     = {180--192},
  year      = {2003},
  crossref  = {DBLP:conf/cav/2003},
  url       = {https://doi.org/10.1007/978-3-540-45069-6\_18},
  doi       = {10.1007/978-3-540-45069-6\_18},
  timestamp = {Thu, 14 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cav/BouyerDMP03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/DSouzaM03,
  author    = {Deepak D'Souza and
               Madhavan Mukund},
  title     = {Checking Consistency of {SDL+MSC} Specifications},
  booktitle = {Model Checking Software, 10th International {SPIN} Workshop. Portland,
               OR, USA, May 9-10, 2003, Proceedings},
  pages     = {151--165},
  year      = {2003},
  crossref  = {DBLP:conf/spin/2003},
  url       = {https://doi.org/10.1007/3-540-44829-2\_10},
  doi       = {10.1007/3-540-44829-2\_10},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/DSouzaM03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DemriD02,
  author    = {St{\'{e}}phane Demri and
               Deepak D'Souza},
  title     = {An Automata-Theoretic Approach to Constraint {LTL}},
  booktitle = {{FST} {TCS} 2002: Foundations of Software Technology and Theoretical
               Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002,
               Proceedings},
  pages     = {121--132},
  year      = {2002},
  crossref  = {DBLP:conf/fsttcs/2002},
  url       = {https://doi.org/10.1007/3-540-36206-1\_12},
  doi       = {10.1007/3-540-36206-1\_12},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/DemriD02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/DSouzaM02,
  author    = {Deepak D'Souza and
               P. Madhusudan},
  title     = {Timed Control Synthesis for External Specifications},
  booktitle = {{STACS} 2002, 19th Annual Symposium on Theoretical Aspects of Computer
               Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings},
  pages     = {571--582},
  year      = {2002},
  crossref  = {DBLP:conf/stacs/2002},
  url       = {https://doi.org/10.1007/3-540-45841-7\_47},
  doi       = {10.1007/3-540-45841-7\_47},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stacs/DSouzaM02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/DSouza00,
  author    = {Deepak D'Souza},
  title     = {A Logical Characterisation of Event Recording Automata},
  booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
               Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  pages     = {240--251},
  year      = {2000},
  crossref  = {DBLP:conf/ftrtft/2000},
  url       = {https://doi.org/10.1007/3-540-45352-0\_20},
  doi       = {10.1007/3-540-45352-0\_20},
  timestamp = {Wed, 24 May 2017 15:40:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftrtft/DSouza00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DSouzaT99,
  author    = {Deepak D'Souza and
               P. S. Thiagarajan},
  title     = {Product Interval Automata: {A} Subclass of Timed Automata},
  booktitle = {Foundations of Software Technology and Theoretical Computer Science,
               19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
  pages     = {60--71},
  year      = {1999},
  crossref  = {DBLP:conf/fsttcs/1999},
  url       = {https://doi.org/10.1007/3-540-46691-6\_5},
  doi       = {10.1007/3-540-46691-6\_5},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/DSouzaT99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hvc/2017,
  editor    = {Ofer Strichman and
               Rachel Tzoref{-}Brill},
  title     = {Hardware and Software: Verification and Testing - 13th International
               Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
               13-15, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10629},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-70389-3},
  doi       = {10.1007/978-3-319-70389-3},
  isbn      = {978-3-319-70388-6},
  timestamp = {Tue, 14 Nov 2017 14:53:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/hvc/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2017,
  editor    = {Francesco Ranzato},
  title     = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
               NY, USA, August 30 - September 1, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10422},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66706-5},
  doi       = {10.1007/978-3-319-66706-5},
  isbn      = {978-3-319-66705-8},
  timestamp = {Tue, 22 Aug 2017 07:32:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2017,
  editor    = {Ahmed Bouajjani and
               David Monniaux},
  title     = {Verification, Model Checking, and Abstract Interpretation - 18th International
               Conference, {VMCAI} 2017, Paris, France, January 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10145},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-52234-0},
  doi       = {10.1007/978-3-319-52234-0},
  isbn      = {978-3-319-52233-3},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsm/2016,
  title     = {2016 {IEEE} International Conference on Software Maintenance and Evolution,
               {ICSME} 2016, Raleigh, NC, USA, October 2-7, 2016},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7807393},
  isbn      = {978-1-5090-3806-0},
  timestamp = {Wed, 18 Jan 2017 14:34:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icsm/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2015,
  editor    = {Michael J. Butler and
               Sylvain Conchon and
               Fatiha Za{\"{\i}}di},
  title     = {Formal Methods and Software Engineering - 17th International Conference
               on Formal Engineering Methods, {ICFEM} 2015, Paris, France, November
               3-5, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9407},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-25423-4},
  doi       = {10.1007/978-3-319-25423-4},
  isbn      = {978-3-319-25422-7},
  timestamp = {Tue, 03 Oct 2017 16:28:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/memocode/2014,
  title     = {Twelfth {ACM/IEEE} International Conference on Formal Methods and
               Models for Codesign, {MEMOCODE} 2014, Lausanne, Switzerland, October
               19-21, 2014},
  publisher = {{IEEE}},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6950639},
  timestamp = {Mon, 15 Jun 2015 17:14:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/memocode/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vstte/2014,
  editor    = {Dimitra Giannakopoulou and
               Daniel Kroening},
  title     = {Verified Software: Theories, Tools and Experiments - 6th International
               Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8471},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-12154-3},
  doi       = {10.1007/978-3-319-12154-3},
  isbn      = {978-3-319-12153-6},
  timestamp = {Tue, 23 May 2017 01:06:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcre/2013,
  editor    = {Ralf L{\"{a}}mmel and
               Rocco Oliveto and
               Romain Robbes},
  title     = {20th Working Conference on Reverse Engineering, {WCRE} 2013, Koblenz,
               Germany, October 14-17, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6656028},
  isbn      = {978-1-4799-2931-3},
  timestamp = {Tue, 14 Apr 2015 18:52:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wcre/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2012,
  editor    = {James Noble},
  title     = {{ECOOP} 2012 - Object-Oriented Programming - 26th European Conference,
               Beijing, China, June 11-16, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7313},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31057-7},
  doi       = {10.1007/978-3-642-31057-7},
  isbn      = {978-3-642-31056-0},
  timestamp = {Mon, 06 Nov 2017 16:35:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esorics/2012,
  editor    = {Sara Foresti and
               Moti Yung and
               Fabio Martinelli},
  title     = {Computer Security - {ESORICS} 2012 - 17th European Symposium on Research
               in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7459},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33167-1},
  doi       = {10.1007/978-3-642-33167-1},
  isbn      = {978-3-642-33166-4},
  timestamp = {Fri, 02 Jun 2017 20:48:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esorics/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2012,
  editor    = {Abhik Roychoudhury and
               Meenakshi D'Souza},
  title     = {Theoretical Aspects of Computing - {ICTAC} 2012 - 9th International
               Colloquium, Bangalore, India, September 24-27, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7521},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-32943-2},
  doi       = {10.1007/978-3-642-32943-2},
  isbn      = {978-3-642-32942-5},
  timestamp = {Tue, 23 May 2017 01:11:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2011,
  editor    = {Gilles Barthe},
  title     = {Programming Languages and Systems - 20th European Symposium on Programming,
               {ESOP} 2011, Held as Part of the Joint European Conferences on Theory
               and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken, Germany,
               March 26-April 3, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6602},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-19718-5},
  doi       = {10.1007/978-3-642-19718-5},
  isbn      = {978-3-642-19717-8},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsm/2010,
  title     = {26th {IEEE} International Conference on Software Maintenance {(ICSM}
               2010), September 12-18, 2010, Timisoara, Romania},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5604771},
  isbn      = {978-1-4244-8630-4},
  timestamp = {Wed, 10 Jun 2015 16:53:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsm/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/indiaSE/2010,
  editor    = {Srinivas Padmanabhuni and
               Sanjeev K. Aggarwal and
               Umesh Bellur},
  title     = {Proceeding of the 3rd Annual India Software Engineering Conference,
               {ISEC} 2010, Mysore, India, February 25-27, 2010},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-60558-922-0},
  timestamp = {Thu, 10 Mar 2011 19:22:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/indiaSE/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2010-1,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification, and Validation
               - 4th International Symposium on Leveraging Applications, ISoLA 2010,
               Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6415},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16558-0},
  doi       = {10.1007/978-3-642-16558-0},
  isbn      = {978-3-642-16557-3},
  timestamp = {Fri, 02 Nov 2018 09:34:27 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2010-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/time/2010,
  editor    = {Nicolas Markey and
               Jef Wijsen},
  title     = {{TIME} 2010 - 17th International Symposium on Temporal Representation
               and Reasoning, Paris, France, 6-8 September 2010},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5600467},
  isbn      = {978-0-7695-4187-7},
  timestamp = {Wed, 07 Jan 2015 16:47:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/time/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/case/2009,
  title     = {{IEEE} Conference on Automation Science and Engineering, {CASE} 2009,
               Bangalore, India, 22-25 August, 2011},
  publisher = {{IEEE}},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5227795},
  isbn      = {978-1-4244-4578-3},
  timestamp = {Wed, 16 Nov 2011 14:15:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/case/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2008,
  editor    = {Aarti Gupta and
               Sharad Malik},
  title     = {Computer Aided Verification, 20th International Conference, {CAV}
               2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5123},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-70545-1},
  doi       = {10.1007/978-3-540-70545-1},
  isbn      = {978-3-540-70543-7},
  timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iciss/2008,
  editor    = {R. Sekar and
               Arun K. Pujari},
  title     = {Information Systems Security, 4th International Conference, {ICISS}
               2008, Hyderabad, India, December 16-20, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5352},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-89862-7},
  doi       = {10.1007/978-3-540-89862-7},
  isbn      = {978-3-540-89861-0},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iciss/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/paste/2008,
  editor    = {Shriram Krishnamurthi and
               Michal Young},
  title     = {Proceedings of the 8th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
               Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia,
               November 9-10, 2008},
  publisher = {{ACM}},
  year      = {2008},
  url       = {http://dl.acm.org/citation.cfm?id=1512475},
  isbn      = {978-1-60558-382-2},
  timestamp = {Tue, 22 May 2012 15:24:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/paste/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qest/2008,
  title     = {Fifth International Conference on the Quantitative Evaluaiton of Systems
               {(QEST} 2008), 14-17 September 2008, Saint-Malo, France},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4634932},
  isbn      = {978-0-7695-3360-5},
  timestamp = {Fri, 08 Aug 2014 15:28:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2007,
  editor    = {Jean{-}Fran{\c{c}}ois Raskin and
               P. S. Thiagarajan},
  title     = {Formal Modeling and Analysis of Timed Systems, 5th International Conference,
               {FORMATS} 2007, Salzburg, Austria, October 3-5, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4763},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75454-1},
  doi       = {10.1007/978-3-540-75454-1},
  isbn      = {978-3-540-75453-4},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfcs/2007,
  editor    = {Sergei N. Art{\"{e}}mov and
               Anil Nerode},
  title     = {Logical Foundations of Computer Science, International Symposium,
               {LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4514},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-72734-7},
  doi       = {10.1007/978-3-540-72734-7},
  isbn      = {978-3-540-72732-3},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lfcs/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2006,
  editor    = {Eugene Asarin and
               Patricia Bouyer},
  title     = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
               {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4202},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11867340},
  doi       = {10.1007/11867340},
  isbn      = {3-540-45026-2},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2006,
  editor    = {S. Arun{-}Kumar and
               Naveen Garg},
  title     = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical
               Computer Science, 26th International Conference, Kolkata, India, December
               13-15, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4337},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11944836},
  doi       = {10.1007/11944836},
  isbn      = {3-540-49994-6},
  timestamp = {Wed, 14 Feb 2018 13:29:27 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sefm/2006,
  title     = {Fourth {IEEE} International Conference on Software Engineering and
               Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=11157},
  isbn      = {0-7695-2678-0},
  timestamp = {Thu, 28 May 2015 17:23:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sefm/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2005,
  editor    = {Vladimiro Sassone},
  title     = {Foundations of Software Science and Computational Structures, 8th
               International Conference, {FOSSACS} 2005, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2005,
               Edinburgh, UK, April 4-8, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3441},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b106850},
  doi       = {10.1007/b106850},
  isbn      = {3-540-25388-2},
  timestamp = {Tue, 23 May 2017 01:08:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2005,
  editor    = {Ramaswamy Ramanujam and
               Sandeep Sen},
  title     = {{FSTTCS} 2005: Foundations of Software Technology and Theoretical
               Computer Science, 25th International Conference, Hyderabad, India,
               December 15-18, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3821},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11590156},
  doi       = {10.1007/11590156},
  isbn      = {3-540-30495-9},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2004,
  editor    = {Yassine Lakhnech and
               Sergio Yovine},
  title     = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant
               Systems, Joint International Conferences on Formal Modelling and Analysis
               of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time
               and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September
               22-24, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3253},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b100824},
  doi       = {10.1007/b100824},
  isbn      = {3-540-23167-6},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/formats/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2003,
  editor    = {Warren A. Hunt Jr. and
               Fabio Somenzi},
  title     = {Computer Aided Verification, 15th International Conference, {CAV}
               2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2725},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b11831},
  doi       = {10.1007/b11831},
  isbn      = {3-540-40524-0},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2003,
  editor    = {Thomas Ball and
               Sriram K. Rajamani},
  title     = {Model Checking Software, 10th International {SPIN} Workshop. Portland,
               OR, USA, May 9-10, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2648},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44829-2},
  doi       = {10.1007/3-540-44829-2},
  isbn      = {3-540-40117-2},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2002,
  editor    = {Manindra Agrawal and
               Anil Seth},
  title     = {{FST} {TCS} 2002: Foundations of Software Technology and Theoretical
               Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2556},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-36206-1},
  doi       = {10.1007/3-540-36206-1},
  isbn      = {3-540-00225-1},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stacs/2002,
  editor    = {Helmut Alt and
               Afonso Ferreira},
  title     = {{STACS} 2002, 19th Annual Symposium on Theoretical Aspects of Computer
               Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2285},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45841-7},
  doi       = {10.1007/3-540-45841-7},
  isbn      = {3-540-43283-3},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stacs/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ftrtft/2000,
  editor    = {Mathai Joseph},
  title     = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
               Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1926},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-45352-0},
  doi       = {10.1007/3-540-45352-0},
  isbn      = {3-540-41055-4},
  timestamp = {Wed, 24 May 2017 15:40:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ftrtft/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/1999,
  editor    = {C. Pandu Rangan and
               Venkatesh Raman and
               Ramaswamy Ramanujam},
  title     = {Foundations of Software Technology and Theoretical Computer Science,
               19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1738},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-46691-6},
  doi       = {10.1007/3-540-46691-6},
  isbn      = {3-540-66836-5},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier