 | 2006 |
|---|
| 53 |       | John C. Knight,
Nancy G. Leveson:
Software and higher education.
Commun. ACM 49(1): 160 (2006) |
| 2005 |
|---|
| 52 | | 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.
Winter Simulation Conference 2005: 1311-1320 |
| 2004 |
|---|
| 51 | | Nancy G. Leveson,
Kathryn Anne Weiss:
Making embedded software reuse practical and safe.
SIGSOFT FSE 2004: 171-178 |
| 50 | | 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.
IEEE Software 21(1): 12-13 (2004) |
| 49 | | Nancy G. Leveson:
A Systems-Theoretic Approach to Safety in Software-Intensive Systems.
IEEE Trans. Dependable Sec. Comput. 1(1): 66-86 (2004) |
| 2002 |
|---|
| 48 | | Nancy G. Leveson:
The Future of Software Engineering Education.
CSEE&T 2002: 2 |
| 47 | | Nancy G. Leveson:
An Approach to Designing Safe Embedded Software.
EMSOFT 2002: 15-29 |
| 46 | | Marc K. Zimmerman,
Kristina Lundqvist,
Nancy G. Leveson:
Investigating the readability of state-based formal requirements specification languages.
ICSE 2002: 33-43 |
| 45 | | Nicolas Dulac,
Thomas Viguier,
Nancy G. Leveson,
Margaret-Anne D. Storey:
On the Use of Visualization in Formal Requirements Specification.
RE 2002: 71-80 |
| 44 | | John C. Knight,
Nancy G. Leveson:
Should software engineers be licensed?.
Commun. ACM 45(11): 87-90 (2002) |
| 2000 |
|---|
| 43 | | Nancy G. Leveson:
Completeness in formal specification language design for process-control systems.
FMSP 2000: 75-87 |
| 42 | | Nancy G. Leveson:
Experiences in Designing and Using Formal Specification Languages for Embedded Control Software.
HSCC 2000: 3 |
| 41 | | Nancy G. Leveson:
Intent Specifications: An Approach to Building Human-Centered Specifications.
IEEE Trans. Software Eng. 26(1): 15-35 (2000) |
| 1999 |
|---|
| 40 | | Nancy 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 |
|---|
| 39 | | Nancy 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 |
|---|
| 37 | | Jon Damon Reese,
Nancy G. Leveson:
Software Deviation Analysis.
ICSE 1997: 250-260 |
| 36 | | Francesmary 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 |
|---|
| 33 | | Richard 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 |
| 32 | | Mats Per Erik Heimdahl,
Nancy G. Leveson:
Completeness and Consistency in Hierarchical State-Based Requirements.
IEEE Trans. Software Eng. 22(6): 363-377 (1996) |
| 1995 |
|---|
| 31 | | Mats 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 |
|---|
| 28 | | Nancy 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) |
| 26 | | Nancy 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) |
| 24 | | Nancy G. Leveson,
Peter G. Neumann:
Introduction to Special Issue on Software for Critical Systems.
IEEE Trans. Software Eng. 19(1): 1-2 (1993) |
| 1992 |
|---|
| 23 | | Nancy 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) |
| 20 | | Timothy J. Shimeall,
Nancy G. Leveson:
An Empirical Comparison of Software Fault Tolerance and Fault Elimination.
IEEE Trans. Software Eng. 17(2): 173-182 (1991) |
| 19 | | Matthew 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) |
| 16 | | Susan 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) |
| 15 | | 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.
IEEE Trans. Software Eng. 16(4): 432-443 (1990) |
| 14 | | Nancy 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 |
| 12 | | Susan 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 |
|---|
| 8 | | Nancy 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) |
| 2 | | Nancy 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 |
