|
Anjali
Joshi
Department
of Computer Science and
Engineering
University
of Minnesota Software Engineering
Center
University
of Minnesota
Education - Ph.D.,
Computer Science, University of Minnesota,
Minneapolis,
2008
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:
Automatic Generation of Fault Trees from AADL
Models, Anjali Joshi, Pam Binns, and Steve Vestal. In
ICSE Workshop on Aerospace Software
Engineering, Minneapolis 2007. Behavioral
Fault Modeling for Model-based Safety
Analysis, Anjali Joshi, and Mats
P.E. Heimdahl. 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: 
|
