Deepak D'Souza
Orcid: 0000-0002-6629-6604
According to our database1,
Deepak D'Souza
authored at least 69 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Proceedings of the 40th IEEE International Conference on Data Engineering, 2024
Proceedings of the Programming Languages and Systems, 2024
2023
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., October, 2023
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023
Proceedings of the Formal Methods in Computer-Aided Design, 2023
2022
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Proceedings of the Programming Languages and Systems, 2022
2021
Formal Methods Syst. Des., 2021
GenSys: a scalable fixed-point engine for maximal controller synthesis over infinite state spaces.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021
Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021
2020
CoRR, 2020
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020
Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020
Proceedings of the Automated Technology for Verification and Analysis, 2020
2019
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019
Proceedings of the Programming Languages and Systems, 2019
2018
Proc. ACM Program. Lang., 2018
2017
Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation.
Comput. Lang. Syst. Struct., 2017
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017
Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs.
Proceedings of the Static Analysis - 24th International Symposium, 2017
Proceedings of the Hardware and Software: Verification and Testing, 2017
2016
J. Comput. Secur., 2016
Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016
2015
Formal Aspects Comput., 2015
Proceedings of the Formal Methods and Software Engineering, 2015
2014
Proceedings of the Verified Software: Theories, Tools and Experiments, 2014
Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014
2013
Proceedings of the 20th Working Conference on Reverse Engineering, 2013
2012
Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012
Model-Checking Bisimulation-Based Information Flow Properties for Infinite State Systems.
Proceedings of the Computer Security - ESORICS 2012, 2012
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012
Proceedings of the Modern Applications of Automata Theory., 2012
2011
Proceedings of the Programming Languages and Systems, 2011
2010
Proceedings of the TIME 2010, 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Proceedings of the Proceeding of the 3rd Annual India Software Engineering Conference, 2010
A case study in matching service descriptions to implementations in an existing system.
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010
2009
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009
2008
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008
Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2008
Proceedings of the Information Systems Security, 4th International Conference, 2008
Proceedings of the Computer Aided Verification, 20th International Conference, 2008
2007
Int. J. Softw. Tools Technol. Transf., 2007
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007
2006
Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006
Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006
2005
Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis, 2005
Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005
Proceedings of the Foundations of Software Science and Computational Structures, 2005
2004
Proceedings of the Formal Techniques, 2004
2003
Int. J. Found. Comput. Sci., 2003
Proceedings of the Model Checking Software, 2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
2002
Proceedings of the STACS 2002, 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes, 2002
2000
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000
1999
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999