Travelled to:1 × Australia
1 × Germany
1 × Singapore
2 × France
8 × USA
Collaborated with:∅ J.D.Reese M.P.E.Heimdahl K.A.Weiss M.S.Jaffe J.L.Stolzy C.H.Fleming J.Thomas M.K.Zimmerman K.Lundqvist S.S.Cha T.J.Shimeall N.Dulac T.Viguier M.D.Storey F.Modugno K.Partridge S.D.Sandys
Talks about:softwar (7) specif (7) safeti (6) requir (5) analysi (4) use (3) languag (2) complet (2) formal (2) state (2)
Person: Nancy G. Leveson
DBLP: Leveson:Nancy_G=
Contributed to:
2012
2004
2002
2002
2002
199919981997199719951992199019891988
1985Wrote 15 papers:
- HILT-2012-LevesonFT #embedded #safety
- Safety of embedded software (NGL, CHF, JT), pp. 7–8.
- FSE-2004-LevesonW #embedded #reuse
- Making embedded software reuse practical and safe (NGL, KAW), pp. 171–178.
- CSEET-2002-Leveson #education #future of #re-engineering
- The Future of Software Engineering Education (NGL), p. 2.
- ICSE-2002-ZimmermanLL #readability #requirements #specification
- Investigating the readability of state-based formal requirements specification languages (MKZ, KL, NGL), pp. 33–43.
- RE-2002-DulacVLS #on the #requirements #specification #using #visualisation
- On the Use of Visualization in Formal Requirements Specification (ND, TV, NGL, MADS), pp. 71–80.
- ESEC-FSE-1999-LevesonHR #design #lessons learnt #process #specification
- Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future (NGL, MPEH, JDR), pp. 127–145.
- ICRE-1998-Leveson #approach #specification
- Intent Specifications: An Approach to Building Human-Centered Specifications (NGL), pp. 204–213.
- ICSE-1997-ReeseL #analysis
- Software Deviation Analysis (JDR, NGL), pp. 250–260.
- RE-1997-ModugnoLRPS #analysis #requirements #safety #specification
- Integrated Safety Analysis of Requirements Specifications (FM, NGL, JDR, KP, SDS), pp. 148–159.
- ICSE-1995-HeimdahlL #analysis #consistency #requirements
- Completeness and Consistency Analysis of State-Based Requirements (MPEH, NGL), pp. 3–14.
- ICSE-1992-Leveson
- High-Pressure Steam Engines and Computer Software (NGL), pp. 2–14.
- ICSE-1990-Leveson #evaluation #safety
- Evaluation of Software Safety (NGL), pp. 223–224.
- ICSE-1989-JaffeL #realtime #requirements #robust #safety #specification
- Completeness, Robustness, and Safety in Real-Time Software Requirements Specification (MSJ, NGL), pp. 302–311.
- ICSE-1988-ChaLS #analysis #fault #safety #using #verification
- Safety Verification in Murphy Using Fault Tree Analysis (SSC, NGL, TJS), pp. 377–387.
- CSE-1985-LevesonS #fault tolerance #petri net #safety #using
- Analyzing Safety and Fault Tolerance Using Time Petri Nets (NGL, JLS), pp. 339–355.