Rajeev Joshi

According to our database1, Rajeev Joshi authored at least 37 papers between 1997 and 2018.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.



In proceedings 
PhD thesis 


On csauthors.net:


Inferring event stream abstractions.
Formal Methods in System Design, 2018

Modeling with Scala.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Modeling and Monitoring of Hierarchical State Machines in Scala.
Proceedings of the Software Engineering for Resilient Systems - 9th International Workshop, 2017

Modeling Rover Communication Using Hierarchical State Machines with Scala.
Proceedings of the Computer Safety, Reliability, and Security, 2017

nfer - A Notation and System for Inferring Event Stream Abstractions.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Towards a Logic for Inferring Properties of Event Streams.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning.
Ann. Math. Artif. Intell., 2014

Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior.
Proceedings of the Formal Methods and Software Engineering, 2014

Experience with Rule-Based Analysis of Spacecraft Logs.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

Swarm Verification Techniques.
IEEE Trans. Software Eng., 2011

Programming with Miracles.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Exploiting traces in static program analysis: better model checking through printf{{\tt printf}}s.
STTT, 2008

Model driven code checking.
Autom. Softw. Eng., 2008

Extending Model Checking with Dynamic Analysis.
Proceedings of the Verification, 2008

Verifying Multi-threaded C Programs with SPIN.
Proceedings of the Model Checking Software, 2008

New Challenges in Model Checking.
Proceedings of the 25 Years of Model Checking - History, Achievements, Perspectives, 2008

Tackling Large Verification Problems with the Swarm Tool.
Proceedings of the Model Checking Software, 2008

Automated Testing of Planning Models.
Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

Swarm Verification.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Random testing and model checking: building a common framework for nondeterministic exploration.
Proceedings of the 2008 International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), 2008

Randomized Differential Testing as a Prelude to Formal Verification.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Denali: A practical algorithm for generating optimal code.
ACM Trans. Program. Lang. Syst., 2006

Exploiting Traces in Program Analysis.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

A Mini Challenge: Build a Verifiable Filesystem.
Proceedings of the Verified Software: Theories, 2005

Reliable Software Systems Design: Defect Prevention, Detection, and Containment.
Proceedings of the Verified Software: Theories, 2005

Model-Driven Software Verification.
Proceedings of the Model Checking Software, 2004

Automated Generation of Resource Configurations through Policies.
Proceedings of the 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), 2004

Automated policy-based resource construction in utility computing environments.
Proceedings of the Managing Next Generation Convergence Networks and Services, 2004

Checking Cache-Coherence Protocols with TLA+.
Formal Methods in System Design, 2003

Theorem Proving Using Lazy Proof Explication.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

Denali: A Goal-directed Superoptimizer.
Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

Annotation inference for modular checkers.
Inf. Process. Lett., 2001

A semantic approach to secure information flow.
Sci. Comput. Program., 2000

Maximally Concurrent Programs.
Formal Asp. Comput., 2000

Toward a theory of maximally concurrent programs (shortened version).
Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, 2000

A Semantic Approach to Secure Information Flow.
Proceedings of the Mathematics of Program Construction, 1998

Seuss: What the Doctor Ordered.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1997