Search the dblp DataBase
Nancy G. Leveson :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Nancy G. Leveson Software Safety: Why, What, and How. [Citation Graph (2, 0)][DBLP ] ACM Comput. Surv., 1986, v:18, n:2, pp:125-163 [Journal ] Nancy G. Leveson , Anthony I. Wasserman , Daniel M. Berry BASIS: A Behavioral Approach to the Specification of Information Systems. [Citation Graph (2, 0)][DBLP ] Inf. Syst., 1983, v:8, n:1, pp:15-23 [Journal ] Nancy G. Leveson High Pressure Steam Engines and Computer Software (Abstract). [Citation Graph (0, 0)][DBLP ] ACM Conference on Computer Science, 1994, pp:414- [Conf ] Nancy G. Leveson The Future of Software Engineering Education. [Citation Graph (0, 0)][DBLP ] CSEE&T, 2002, pp:2- [Conf ] Nancy G. Leveson , Anthony I. Wasserman Logical Decentralization and Semantic Integrity in a Distributed Information System. [Citation Graph (0, 0)][DBLP ] DDSS, 1981, pp:243-253 [Conf ] Nancy G. Leveson An Approach to Designing Safe Embedded Software. [Citation Graph (0, 0)][DBLP ] EMSOFT, 2002, pp:15-29 [Conf ] Nancy G. Leveson , Mats Per Erik Heimdahl , Jon Damon Reese Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 1999, pp:127-145 [Conf ] Nancy G. Leveson Completeness in formal specification language design for process-control systems. [Citation Graph (0, 0)][DBLP ] FMSP, 2000, pp:75-87 [Conf ] Nancy G. Leveson Experiences in Designing and Using Formal Specification Languages for Embedded Control Software. [Citation Graph (0, 0)][DBLP ] HSCC, 2000, pp:3- [Conf ] Nancy G. Leveson Software Fault Tolerance in Safety-Critical Applications. [Citation Graph (0, 0)][DBLP ] Fehlertolerierende Rechensysteme, 1987, pp:1-12 [Conf ] Nancy G. Leveson Intent Specifications: An Approach to Building Human-Centered Specifications. [Citation Graph (0, 0)][DBLP ] ICRE, 1998, pp:204-213 [Conf ] Stephen S. Cha , Nancy G. Leveson , Timothy J. Shimeall Safety Verification in Murphy Using Fault Tree Analysis. [Citation Graph (0, 0)][DBLP ] ICSE, 1988, pp:377-387 [Conf ] Mats Per Erik Heimdahl , Nancy G. Leveson Completeness and Consistency Analysis of State-Based Requirements. [Citation Graph (0, 0)][DBLP ] ICSE, 1995, pp:3-14 [Conf ] Matthew S. Jaffe , Nancy G. Leveson Completeness, Robustness, and Safety in Real-Time Software Requirements Specification. [Citation Graph (0, 0)][DBLP ] ICSE, 1989, pp:302-311 [Conf ] Nancy G. Leveson Evaluation of Software Safety. [Citation Graph (0, 0)][DBLP ] ICSE, 1990, pp:223-224 [Conf ] Nancy G. Leveson High-Pressure Steam Engines and Computer Software. [Citation Graph (0, 0)][DBLP ] ICSE, 1992, pp:2-14 [Conf ] Jon Damon Reese , Nancy G. Leveson Software Deviation Analysis. [Citation Graph (0, 0)][DBLP ] ICSE, 1997, pp:250-260 [Conf ] Marc K. Zimmerman , Kristina Lundqvist , Nancy G. Leveson Investigating the readability of state-based formal requirements specification languages. [Citation Graph (0, 0)][DBLP ] ICSE, 2002, pp:33-43 [Conf ] Richard Denney , Richard A. Kemmerer , Nancy G. Leveson , Alberto Savoia Why State-of-the-Art is not State-of-the-Practice (Panel Abstract). [Citation Graph (0, 0)][DBLP ] ISSTA, 1996, pp:293- [Conf ] Nicolas Dulac , Thomas Viguier , Nancy G. Leveson , Margaret-Anne D. Storey On the Use of Visualization in Formal Requirements Specification. [Citation Graph (0, 0)][DBLP ] RE, 2002, pp:71-80 [Conf ] Francesmary Modugno , Nancy G. Leveson , Jon Damon Reese , Kurt Partridge , Sean D. Sandys Integrated Safety Analysis of Requirements Specifications. [Citation Graph (0, 0)][DBLP ] RE, 1997, pp:148-159 [Conf ] Nancy G. Leveson , Kathryn Anne Weiss Making embedded software reuse practical and safe. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 2004, pp:171-178 [Conf ] Nancy G. Leveson , Janice L. Stolzy Analyzing Safety and Fault Tolerance Using Time Petri Nets. [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.2, 1985, pp:339-355 [Conf ] Randell S. Flint , Nancy G. Leveson The PAMS Approach to Modeling Database Activity. [Citation Graph (0, 0)][DBLP ] TFAIS, 1985, pp:222-236 [Conf ] Nicolas Dulac , Nancy G. Leveson , David Zipkin , Stephen Friedenthal , Joel Cutcher-Gershenfeld , John Carroll , Betty Barrett Using system dynamics for safety and risk management in complex engineering systems. [Citation Graph (0, 0)][DBLP ] Winter Simulation Conference, 2005, pp:1311-1320 [Conf ] Nancy G. Leveson Designing a Requirements Specification Language for Reactive Systems. [Citation Graph (0, 0)][DBLP ] ZUM, 1998, pp:135- [Conf ] Maria M. Klawe , Nancy G. Leveson Woman in Computing - Where Are We Now? [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1995, v:38, n:1, pp:29-35 [Journal ] John C. Knight , Nancy G. Leveson Should software engineers be licensed?. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 2002, v:45, n:11, pp:87-90 [Journal ] John C. Knight , Nancy G. Leveson Software and higher education. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 2006, v:49, n:1, pp:160- [Journal ] Nancy G. Leveson Software Safety: In Embedded Computer Systems. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1991, v:34, n:2, pp:34-46 [Journal ] Nancy G. Leveson Safety as a System Property. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1995, v:38, n:11, pp:146- [Journal ] Nancy G. Leveson Software Engineering: Stretching the Limits of Complexity. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1997, v:40, n:2, pp:129-131 [Journal ] Nancy G. Leveson High-Pressure Steam Engines and Computer Software. [Citation Graph (0, 0)][DBLP ] IEEE Computer, 1994, v:27, n:10, pp:65-73 [Journal ] Nancy G. Leveson , Clark Savage Turner Investigation of the Therac-25 Accidents. [Citation Graph (0, 0)][DBLP ] IEEE Computer, 1993, v:26, n:7, pp:18-41 [Journal ] Nancy G. Leveson , Peter R. Harvey Software fault tree analysis. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1983, v:3, n:2, pp:173-181 [Journal ] Francesmary Modugno , Nancy G. Leveson , Jon Damon Reese , Kurt Partridge , Sean D. Sandys Integrated Safety Analysis of Requirements Specifications. [Citation Graph (0, 0)][DBLP ] Requir. Eng., 1997, v:2, n:2, pp:65-78 [Journal ] Victor R. Basili , Barry W. Boehm , Al Davis , Watts S. Humphrey , Nancy G. Leveson , Nancy R. Mead , John D. Musa , David Lorge Parnas , Shari Lawrence Pfleeger , Elaine J. Weyuker New Year's Resolutions for Software Quality. [Citation Graph (0, 0)][DBLP ] IEEE Software, 2004, v:21, n:1, pp:12-13 [Journal ] Nancy G. Leveson The Challenge of Building Process-Control Software. [Citation Graph (0, 0)][DBLP ] IEEE Software, 1990, v:7, n:6, pp:55-62 [Journal ] Nancy G. Leveson , Stephen S. Cha , Timothy J. Shimeall Safety Verification of Ada Programs Using Software Fault Trees. [Citation Graph (0, 0)][DBLP ] IEEE Software, 1991, v:8, n:4, pp:48-59 [Journal ] Nancy G. Leveson A Systems-Theoretic Approach to Safety in Software-Intensive Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Dependable Sec. Comput., 2004, v:1, n:1, pp:66-86 [Journal ] Susan S. Brilliant , John C. Knight , Nancy G. Leveson The Consistent Comparison Problem in N-Version Software. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1989, v:15, n:11, pp:1481-1485 [Journal ] Susan S. Brilliant , John C. Knight , Nancy G. Leveson Analysis of Faults in an N-Version Software Experiment. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1990, v:16, n:2, pp:238-247 [Journal ] Mats Per Erik Heimdahl , Nancy G. Leveson Completeness and Consistency in Hierarchical State-Based Requirements. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1996, v:22, n:6, pp:363-377 [Journal ] Matthew S. Jaffe , Nancy G. Leveson , Mats Per Erik Heimdahl , Bonnie E. Melhart Software Requirements Analysis for Real-Time Process-Control Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1991, v:17, n:3, pp:241-258 [Journal ] John C. Knight , Nancy G. Leveson An Experimental Evaluation of the Assumption of Independence in Multiversion Programming. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1986, v:12, n:1, pp:96-109 [Journal ] Nancy G. Leveson Intent Specifications: An Approach to Building Human-Centered Specifications. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2000, v:26, n:1, pp:15-35 [Journal ] Nancy G. Leveson Guest Editor's Introduction Formal Methods in Software Engineering. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1990, v:16, n:9, pp:929-931 [Journal ] Nancy G. Leveson , Stephen S. Cha , John C. Knight , Timothy J. Shimeall The Use of Self Checks and Voting in Software Error Detection: An Empirical Study. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1990, v:16, n:4, pp:432-443 [Journal ] Nancy G. Leveson , Peter R. Harvey Analyzing Software Safety. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1983, v:9, n:5, pp:569-579 [Journal ] Nancy G. Leveson , Mats Per Erik Heimdahl , Holly Hildreth , Jon Damon Reese Requirements Specification for Process-Control Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1994, v:20, n:9, pp:684-707 [Journal ] Nancy G. Leveson , Peter G. Neumann Introduction to Special Issue on Software for Critical Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1993, v:19, n:1, pp:1-2 [Journal ] Nancy G. Leveson , Janice L. Stolzy Safety Analysis Using Petri Nets. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1987, v:13, n:3, pp:386-397 [Journal ] Timothy J. Shimeall , Nancy G. Leveson An Empirical Comparison of Software Fault Tolerance and Fault Elimination. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1991, v:17, n:2, pp:173-182 [Journal ] Search in 0.003secs, Finished in 0.303secs