Rajeev Joshi
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Toward a theory of maximally concurrent programs (shortened version) Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing | 2015-03-03 | Paper |
| Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning Annals of Mathematics and Artificial Intelligence | 2014-09-26 | Paper |
| Theorem proving using lazy proof explication. Lecture Notes in Computer Science | 2010-04-20 | Paper |
| New Challenges in Model Checking 25 Years of Model Checking | 2008-07-15 | Paper |
| Extending Model Checking with Dynamic Analysis Lecture Notes in Computer Science | 2008-04-04 | Paper |
| Model Checking Software Lecture Notes in Computer Science | 2007-09-28 | Paper |
| A mini challenge: build a verifiable filesystem Formal Aspects of Computing | 2007-08-23 | Paper |
| Annotation inference for modular checkers Information Processing Letters | 2002-07-25 | Paper |
| Maximally concurrent programs Formal Aspects of Computing | 2001-05-07 | Paper |
| A semantic approach to secure information flow Science of Computer Programming | 2000-06-04 | Paper |
Research outcomes over time
This page was built for person: Rajeev Joshi
