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.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
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

2017
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

2016
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

2014
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

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

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

2008
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

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

2006
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

2005
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

2004
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

2003
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

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

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

2000
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

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

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


  Loading...