@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 = {https://doi.org/10.1145/3276501},
doi = {10.1145/3276501},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
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}
}