| 
Anjali Joshi Graduate Student
Department of Computer Science and Engineering
University of Minnesota Software Engineering Center
University of Minnesota
Education - Ph.D. Candidate, University of Minnesota, Minneapolis
Advisor : Mats P.E. Heimdahl - M.S., Computer Science, University of Minnesota, Minneapolis, 2003
- B.E., Computer Engineering, P.I.C.T affiliated to University of Pune, India, 2000
Research Interests: - Formal Methods in Software Engineering
- Model-based (Specification-centered) Development and Analysis
- System Safety Analysis
- Software Architectures
Papers: Behavioral Fault Modeling for Model-based Safety Analysis, Anjali Joshi, and Mats P.E. Heimdahl. To appear in Proceedings of 10th IEEE High Assurance Systems Engineering Symposium (HASE'07), Dallas, November 2007. Automatic Generation of Static Fault Trees from AADL Models, Anjali Joshi, Steve Vestal, and Pam Binns. In DSN Workshop on Architecting Dependable Systems, Edinburgh, Scotland - UK, June 2007. A Proposal for Model-Based Safety Analysis, by Anjali Joshi, Steven Miller, Michael Whalen, Mats P.E. Heimdahl. Proceedings of the 24th Digital Avionics Systems Conference (Awarded Best Paper of the Open Systems Architecture Track), Washington DC, November 2005. Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier, by Anjali Joshi, Mats P.E. Heimdahl. Proceedings of the 24th International Conference on Computer Safety, Reliability and Security (SAFECOMP), Fredrikstad, Norway, September 2005. Using PVS to prove Properties of Systems Modelled in a Synchronous Dataflow Language, by Sanjai Rayadurgam, Anjali Joshi, Mats P.E. Heimdahl. Proceedings of the 5th International Conference on Formal Engineering Methods (ICFEM'03), Singapore, November 2003. Mode Confusion Analysis of a Flight Guidance System Using Formal Models, by Anjali Joshi, Steven Miller, Mats P.E. Heimdahl. Proceedings of 22nd IEEE Digital Avionics Systems Conference, Indianapolis, October 2003.
Contact Information: Email: 
Lab: 6-216 EE/CSci Building (map to EE/CSci)
Postal Address:
Anjali Joshi
Dept. of Computer Science and Engineering
4-192 EE/CSci Bldg
University of Minnesota
200 SE Union Street
Minneapolis, MN 55455
USA
Phone Numbers:
+1 612 624 7590 - lab
+1 612 625 4002 - department office
+1 612 625 0572 - department fax  |
