dblp.uni-trier.dewww.uni-trier.de

Nancy G. Leveson

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2006
53EEJohn C. Knight, Nancy G. Leveson: Software and higher education. Commun. ACM 49(1): 160 (2006)
2005
52EENicolas 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. Winter Simulation Conference 2005: 1311-1320
2004
51EENancy G. Leveson, Kathryn Anne Weiss: Making embedded software reuse practical and safe. SIGSOFT FSE 2004: 171-178
50EEVictor 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. IEEE Software 21(1): 12-13 (2004)
49EENancy G. Leveson: A Systems-Theoretic Approach to Safety in Software-Intensive Systems. IEEE Trans. Dependable Sec. Comput. 1(1): 66-86 (2004)
2002
48EENancy G. Leveson: The Future of Software Engineering Education. CSEE&T 2002: 2
47EENancy G. Leveson: An Approach to Designing Safe Embedded Software. EMSOFT 2002: 15-29
46EEMarc K. Zimmerman, Kristina Lundqvist, Nancy G. Leveson: Investigating the readability of state-based formal requirements specification languages. ICSE 2002: 33-43
45EENicolas Dulac, Thomas Viguier, Nancy G. Leveson, Margaret-Anne D. Storey: On the Use of Visualization in Formal Requirements Specification. RE 2002: 71-80
44EEJohn C. Knight, Nancy G. Leveson: Should software engineers be licensed?. Commun. ACM 45(11): 87-90 (2002)
2000
43EENancy G. Leveson: Completeness in formal specification language design for process-control systems. FMSP 2000: 75-87
42EENancy G. Leveson: Experiences in Designing and Using Formal Specification Languages for Embedded Control Software. HSCC 2000: 3
41EENancy G. Leveson: Intent Specifications: An Approach to Building Human-Centered Specifications. IEEE Trans. Software Eng. 26(1): 15-35 (2000)
1999
40EENancy G. Leveson, Mats Per Erik Heimdahl, Jon Damon Reese: Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future. ESEC / SIGSOFT FSE 1999: 127-145
1998
39EENancy G. Leveson: Intent Specifications: An Approach to Building Human-Centered Specifications. ICRE 1998: 204-213
38 Nancy G. Leveson: Designing a Requirements Specification Language for Reactive Systems. ZUM 1998: 135
1997
37EEJon Damon Reese, Nancy G. Leveson: Software Deviation Analysis. ICSE 1997: 250-260
36EEFrancesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys: Integrated Safety Analysis of Requirements Specifications. RE 1997: 148-159
35 Nancy G. Leveson: Software Engineering: Stretching the Limits of Complexity. Commun. ACM 40(2): 129-131 (1997)
34 Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys: Integrated Safety Analysis of Requirements Specifications. Requir. Eng. 2(2): 65-78 (1997)
1996
33EERichard Denney, Richard A. Kemmerer, Nancy G. Leveson, Alberto Savoia: Why State-of-the-Art is not State-of-the-Practice (Panel Abstract). ISSTA 1996: 293
32EEMats Per Erik Heimdahl, Nancy G. Leveson: Completeness and Consistency in Hierarchical State-Based Requirements. IEEE Trans. Software Eng. 22(6): 363-377 (1996)
1995
31EEMats Per Erik Heimdahl, Nancy G. Leveson: Completeness and Consistency Analysis of State-Based Requirements. ICSE 1995: 3-14
30 Maria M. Klawe, Nancy G. Leveson: Woman in Computing - Where Are We Now? Commun. ACM 38(1): 29-35 (1995)
29 Nancy G. Leveson: Safety as a System Property. Commun. ACM 38(11): 146 (1995)
1994
28EENancy G. Leveson: High Pressure Steam Engines and Computer Software (Abstract). ACM Conference on Computer Science 1994: 414
27 Nancy G. Leveson: High-Pressure Steam Engines and Computer Software. IEEE Computer 27(10): 65-73 (1994)
26EENancy G. Leveson, Mats Per Erik Heimdahl, Holly Hildreth, Jon Damon Reese: Requirements Specification for Process-Control Systems. IEEE Trans. Software Eng. 20(9): 684-707 (1994)
1993
25 Nancy G. Leveson, Clark Savage Turner: Investigation of the Therac-25 Accidents. IEEE Computer 26(7): 18-41 (1993)
24EENancy G. Leveson, Peter G. Neumann: Introduction to Special Issue on Software for Critical Systems. IEEE Trans. Software Eng. 19(1): 1-2 (1993)
1992
23EENancy G. Leveson: High-Pressure Steam Engines and Computer Software. ICSE 1992: 2-14
1991
22 Nancy G. Leveson: Software Safety: In Embedded Computer Systems. Commun. ACM 34(2): 34-46 (1991)
21 Nancy G. Leveson, Stephen S. Cha, Timothy J. Shimeall: Safety Verification of Ada Programs Using Software Fault Trees. IEEE Software 8(4): 48-59 (1991)
20EETimothy J. Shimeall, Nancy G. Leveson: An Empirical Comparison of Software Fault Tolerance and Fault Elimination. IEEE Trans. Software Eng. 17(2): 173-182 (1991)
19EEMatthew S. Jaffe, Nancy G. Leveson, Mats Per Erik Heimdahl, Bonnie E. Melhart: Software Requirements Analysis for Real-Time Process-Control Systems. IEEE Trans. Software Eng. 17(3): 241-258 (1991)
1990
18 Nancy G. Leveson: Evaluation of Software Safety. ICSE 1990: 223-224
17 Nancy G. Leveson: The Challenge of Building Process-Control Software. IEEE Software 7(6): 55-62 (1990)
16EESusan S. Brilliant, John C. Knight, Nancy G. Leveson: Analysis of Faults in an N-Version Software Experiment. IEEE Trans. Software Eng. 16(2): 238-247 (1990)
15EENancy 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. IEEE Trans. Software Eng. 16(4): 432-443 (1990)
14EENancy G. Leveson: Guest Editor's Introduction Formal Methods in Software Engineering. IEEE Trans. Software Eng. 16(9): 929-931 (1990)
1989
13 Matthew S. Jaffe, Nancy G. Leveson: Completeness, Robustness, and Safety in Real-Time Software Requirements Specification. ICSE 1989: 302-311
12EESusan S. Brilliant, John C. Knight, Nancy G. Leveson: The Consistent Comparison Problem in N-Version Software. IEEE Trans. Software Eng. 15(11): 1481-1485 (1989)
1988
11 Stephen S. Cha, Nancy G. Leveson, Timothy J. Shimeall: Safety Verification in Murphy Using Fault Tree Analysis. ICSE 1988: 377-387
1987
10 Nancy G. Leveson: Software Fault Tolerance in Safety-Critical Applications. Fehlertolerierende Rechensysteme 1987: 1-12
9 Nancy G. Leveson, Janice L. Stolzy: Safety Analysis Using Petri Nets. IEEE Trans. Software Eng. 13(3): 386-397 (1987)
1986
8EENancy G. Leveson: Software Safety: Why, What, and How. ACM Comput. Surv. 18(2): 125-163 (1986)
7 John C. Knight, Nancy G. Leveson: An Experimental Evaluation of the Assumption of Independence in Multiversion Programming. IEEE Trans. Software Eng. 12(1): 96-109 (1986)
1985
6 Nancy G. Leveson, Janice L. Stolzy: Analyzing Safety and Fault Tolerance Using Time Petri Nets. TAPSOFT, Vol.2 1985: 339-355
5 Randell S. Flint, Nancy G. Leveson: The PAMS Approach to Modeling Database Activity. TFAIS 1985: 222-236
1983
4 Nancy G. Leveson, Peter R. Harvey: Analyzing Software Safety. IEEE Trans. Software Eng. 9(5): 569-579 (1983)
3 Nancy G. Leveson, Anthony I. Wasserman, Daniel M. Berry: BASIS: A Behavioral Approach to the Specification of Information Systems. Inf. Syst. 8(1): 15-23 (1983)
2EENancy G. Leveson, Peter R. Harvey: Software fault tree analysis. Journal of Systems and Software 3(2): 173-181 (1983)
1981
1 Nancy G. Leveson, Anthony I. Wasserman: Logical Decentralization and Semantic Integrity in a Distributed Information System. DDSS 1981: 243-253

Coauthor Index

1Betty Barrett [52]
2Victor R. Basili [50]
3Daniel M. Berry [3]
4Barry W. Boehm [50]
5Susan S. Brilliant [12] [16]
6John A. Carroll (John Carroll) [52]
7Stephen S. Cha [11] [15] [21]
8Joel Cutcher-Gershenfeld [52]
9Al Davis [50]
10Richard Denney [33]
11Nicolas Dulac [45] [52]
12Randell S. Flint [5]
13Stephen Friedenthal [52]
14Peter R. Harvey [2] [4]
15Mats Per Erik Heimdahl [19] [26] [31] [32] [40]
16Holly Hildreth [26]
17Watts S. Humphrey [50]
18Matthew S. Jaffe [13] [19]
19Richard A. Kemmerer [33]
20Maria M. Klawe [30]
21John C. Knight [7] [12] [15] [16] [44] [53]
22Kristina Lundqvist [46]
23Nancy R. Mead [50]
24Bonnie E. Melhart [19]
25Francesmary Modugno [34] [36]
26John D. Musa [50]
27Peter G. Neumann [24]
28David Lorge Parnas [50]
29Kurt Partridge [34] [36]
30Shari Lawrence Pfleeger [50]
31Jon Damon Reese [26] [34] [36] [37] [40]
32Sean D. Sandys [34] [36]
33Alberto Savoia [33]
34Timothy J. Shimeall [11] [15] [20] [21]
35Janice L. Stolzy [6] [9]
36Margaret-Anne D. Storey [45]
37Clark Savage Turner [25]
38Thomas Viguier [45]
39Anthony I. Wasserman [1] [3]
40Kathryn Anne Weiss [51]
41Elaine J. Weyuker [50]
42Marc K. Zimmerman [46]
43David Zipkin [52]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)