The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Nancy G. Leveson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. Nancy G. Leveson
    The Future of Software Engineering Education. [Citation Graph (0, 0)][DBLP]
    CSEE&T, 2002, pp:2- [Conf]
  5. 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]
  6. Nancy G. Leveson
    An Approach to Designing Safe Embedded Software. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:15-29 [Conf]
  7. 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]
  8. Nancy G. Leveson
    Completeness in formal specification language design for process-control systems. [Citation Graph (0, 0)][DBLP]
    FMSP, 2000, pp:75-87 [Conf]
  9. 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]
  10. Nancy G. Leveson
    Software Fault Tolerance in Safety-Critical Applications. [Citation Graph (0, 0)][DBLP]
    Fehlertolerierende Rechensysteme, 1987, pp:1-12 [Conf]
  11. Nancy G. Leveson
    Intent Specifications: An Approach to Building Human-Centered Specifications. [Citation Graph (0, 0)][DBLP]
    ICRE, 1998, pp:204-213 [Conf]
  12. 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]
  13. 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]
  14. 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]
  15. Nancy G. Leveson
    Evaluation of Software Safety. [Citation Graph (0, 0)][DBLP]
    ICSE, 1990, pp:223-224 [Conf]
  16. Nancy G. Leveson
    High-Pressure Steam Engines and Computer Software. [Citation Graph (0, 0)][DBLP]
    ICSE, 1992, pp:2-14 [Conf]
  17. Jon Damon Reese, Nancy G. Leveson
    Software Deviation Analysis. [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:250-260 [Conf]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. Randell S. Flint, Nancy G. Leveson
    The PAMS Approach to Modeling Database Activity. [Citation Graph (0, 0)][DBLP]
    TFAIS, 1985, pp:222-236 [Conf]
  25. 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]
  26. Nancy G. Leveson
    Designing a Requirements Specification Language for Reactive Systems. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:135- [Conf]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. Nancy G. Leveson
    Safety as a System Property. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1995, v:38, n:11, pp:146- [Journal]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. 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]
  52. 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]
  53. 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.005secs, Finished in 0.010secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002