Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Nancy G. Leveson
@article{DBLP:journals/cacm/LevesonT23,
author = {Nancy G. Leveson and
John P. Thomas},
title = {Certification of Safety-Critical Systems},
journal = {Commun. {ACM}},
volume = {66},
number = {10},
pages = {22--26},
year = {2023},
url = {https://doi.org/10.1145/3615860},
doi = {10.1145/3615860},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/LevesonT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Leveson20,
author = {Nancy Leveson},
title = {Are you sure your software will not kill anyone?},
journal = {Commun. {ACM}},
volume = {63},
number = {2},
pages = {25--28},
year = {2020},
url = {https://doi.org/10.1145/3376127},
doi = {10.1145/3376127},
timestamp = {Fri, 24 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Leveson20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacic/ScarinciQROPL19,
author = {Andrea Scarinci and
Amanda Quilici and
Danilo Ribeiro and
Felipe Oliveira and
Daniel Patrick and
Nancy G. Leveson},
title = {Requirement Generation for Highly Integrated Aircraft Systems Through
{STPA:} An Application},
journal = {J. Aerosp. Inf. Syst.},
volume = {16},
number = {1},
pages = {9--21},
year = {2019},
url = {https://doi.org/10.2514/1.i010602},
doi = {10.2514/1.I010602},
timestamp = {Fri, 29 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacic/ScarinciQROPL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Leveson17,
author = {Nancy G. Leveson},
title = {The Therac-25: 30 Years Later},
journal = {Computer},
volume = {50},
number = {11},
pages = {8--11},
year = {2017},
url = {https://doi.org/10.1109/MC.2017.4041349},
doi = {10.1109/MC.2017.4041349},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Leveson17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/FlemingL16,
author = {Cody H. Fleming and
Nancy G. Leveson},
title = {Early Concept Development and Safety Analysis of Future Transportation
Systems},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {17},
number = {12},
pages = {3512--3523},
year = {2016},
url = {https://doi.org/10.1109/TITS.2016.2561409},
doi = {10.1109/TITS.2016.2561409},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tits/FlemingL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Abdulkhaleq0L16,
author = {Asim Abdulkhaleq and
Stefan Wagner and
Nancy Leveson},
title = {A comprehensive safety engineering approach for software-intensive
systems based on {STPA}},
journal = {CoRR},
volume = {abs/1612.03109},
year = {2016},
url = {http://arxiv.org/abs/1612.03109},
eprinttype = {arXiv},
eprint = {1612.03109},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Abdulkhaleq0L16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/Leveson15,
author = {Nancy G. Leveson},
title = {A systems approach to risk management through leading safety indicators},
journal = {Reliab. Eng. Syst. Saf.},
volume = {136},
pages = {17--34},
year = {2015},
url = {https://doi.org/10.1016/j.ress.2014.10.008},
doi = {10.1016/J.RESS.2014.10.008},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/Leveson15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/AlemzadehCLKRLI15,
author = {Homa Alemzadeh and
Daniel Chen and
Andrew Lewis and
Zbigniew T. Kalbarczyk and
Jaishankar Raman and
Nancy Leveson and
Ravishankar K. Iyer},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Systems-Theoretic Safety Assessment of Robotic Telesurgical Systems},
booktitle = {Computer Safety, Reliability, and Security - 34th International Conference,
{SAFECOMP} 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9337},
pages = {213--227},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24255-2\_16},
doi = {10.1007/978-3-319-24255-2\_16},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/AlemzadehCLKRLI15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlemzadehIKLR15,
author = {Homa Alemzadeh and
Ravishankar K. Iyer and
Zbigniew T. Kalbarczyk and
Nancy Leveson and
Jai Raman},
title = {Adverse Events in Robotic Surgery: {A} Retrospective Study of 14 Years
of {FDA} Data},
journal = {CoRR},
volume = {abs/1507.03518},
year = {2015},
url = {http://arxiv.org/abs/1507.03518},
eprinttype = {arXiv},
eprint = {1507.03518},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlemzadehIKLR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/YoungL14,
author = {William Young and
Nancy G. Leveson},
title = {An integrated approach to safety and security based on systems theory},
journal = {Commun. {ACM}},
volume = {57},
number = {2},
pages = {31--35},
year = {2014},
url = {https://doi.org/10.1145/2556938},
doi = {10.1145/2556938},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/YoungL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacic/FlemingL14,
author = {Cody Harrison Fleming and
Nancy G. Leveson},
title = {Improving Hazard Analysis and Certification of Integrated Modular
Avionics},
journal = {J. Aerosp. Inf. Syst.},
volume = {11},
number = {6},
pages = {397--411},
year = {2014},
url = {https://doi.org/10.2514/1.I010164},
doi = {10.2514/1.I010164},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacic/FlemingL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Leveson14,
author = {Nancy G. Leveson},
editor = {Erhard Pl{\"{o}}dereder and
Lars Grunske and
Eric Schneider and
Dominik Ull},
title = {Using {STAMP} to Develop Leading Indicators},
booktitle = {44. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Big Data
- Komplexit{\"{a}}t meistern, {INFORMATIK} 2014, Stuttgart, Germany,
September 22-26, 2014},
series = {{LNI}},
volume = {{P-232}},
pages = {597--600},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/2951},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/Leveson14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/JohnsonL14,
author = {Kip Johnson and
Nancy G. Leveson},
editor = {Erhard Pl{\"{o}}dereder and
Lars Grunske and
Eric Schneider and
Dominik Ull},
title = {Investigating Safety and Cybersecurity Design Tradespace for Manned-Unmanned
Aerial Systems Integration Using Systems Theoretic Process Analysis},
booktitle = {44. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Big Data
- Komplexit{\"{a}}t meistern, {INFORMATIK} 2014, Stuttgart, Germany,
September 22-26, 2014},
series = {{LNI}},
volume = {{P-232}},
pages = {643--647},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/2960},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/JohnsonL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Leveson13,
author = {Nancy G. Leveson},
title = {Learning from the past to face the risks of today},
journal = {Commun. {ACM}},
volume = {56},
number = {6},
pages = {38--42},
year = {2013},
url = {https://doi.org/10.1145/2461256.2461270},
doi = {10.1145/2461256.2461270},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Leveson13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/YoungL13,
author = {William Young and
Nancy G. Leveson},
editor = {Charles N. Payne Jr.},
title = {Systems thinking for safety and security},
booktitle = {Annual Computer Security Applications Conference, {ACSAC} '13, New
Orleans, LA, USA, December 9-13, 2013},
pages = {1--8},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2523649.2530277},
doi = {10.1145/2523649.2530277},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsac/YoungL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/LevesonFT12,
author = {Nancy G. Leveson and
Cody Harrison Fleming and
John Thomas},
editor = {Ben Brosgol and
Jeff Boleng and
S. Tucker Taft},
title = {Safety of embedded software},
booktitle = {Proceedings of the 2012 {ACM} Conference on High Integrity Language
Technology, {HILT} '12, December 2-6, 2012, Boston, Massachusetts,
{USA}},
pages = {7--8},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2402676.2402681},
doi = {10.1145/2402676.2402681},
timestamp = {Fri, 25 Mar 2022 14:21:18 +0100},
biburl = {https://dblp.org/rec/conf/sigada/LevesonFT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csdm/Leveson11,
author = {Nancy G. Leveson},
editor = {Omar Hammami and
Daniel Krob and
Jean{-}Luc Voirin},
title = {Complexity and Safety},
booktitle = {Complex Systems Design {\&} Management - Proceedings of the Second
International Conference on Complex Systems Design {\&} Management,
{CSDM} 2011, Paris, France, 7-9 December 2011},
pages = {27--39},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25203-7\_2},
doi = {10.1007/978-3-642-25203-7\_2},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csdm/Leveson11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/StringfellowLO10,
author = {Margaret V. Stringfellow and
Nancy G. Leveson and
Brandon Owens},
title = {Safety-Driven Design for Software-Intensive Aerospace and Automotive
Systems},
journal = {Proc. {IEEE}},
volume = {98},
number = {4},
pages = {515--525},
year = {2010},
url = {https://doi.org/10.1109/JPROC.2009.2039551},
doi = {10.1109/JPROC.2009.2039551},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/StringfellowLO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/NavarroLL10,
author = {Israel Navarro and
Nancy G. Leveson and
Kristina Lundqvist},
title = {Semantic decoupling: reducing the impact of requirement changes},
journal = {Requir. Eng.},
volume = {15},
number = {4},
pages = {419--437},
year = {2010},
url = {https://doi.org/10.1007/s00766-010-0109-5},
doi = {10.1007/S00766-010-0109-5},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/re/NavarroLL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scss/Leveson09,
author = {Nancy G. Leveson},
editor = {Chris Dale and
Tom Anderson},
title = {The Need for New Paradigms in Safety Engineering},
booktitle = {Safety-Critical Systems: Problems, Process and Practice - Proceedings
of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK,
February 3-5, 2009},
pages = {3--20},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-1-84882-349-5\_1},
doi = {10.1007/978-1-84882-349-5\_1},
timestamp = {Fri, 15 May 2020 12:05:38 +0200},
biburl = {https://dblp.org/rec/conf/scss/Leveson09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jamia/WalkerCLPTCBS08,
author = {James M. Walker and
Pascale Carayon and
Nancy G. Leveson and
Ronald A. Paulus and
John Tooker and
Homer L. Chin and
Albert Bothe Jr. and
Walter F. Stewart},
title = {Viewpoint Paper: {EHR} Safety: The Way Forward to Safe and Effective
Systems},
journal = {J. Am. Medical Informatics Assoc.},
volume = {15},
number = {3},
pages = {272--277},
year = {2008},
url = {https://doi.org/10.1197/jamia.M2618},
doi = {10.1197/JAMIA.M2618},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jamia/WalkerCLPTCBS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/KnightL06,
author = {John C. Knight and
Nancy G. Leveson},
title = {Software and higher education},
journal = {Commun. {ACM}},
volume = {49},
number = {1},
pages = {160},
year = {2006},
url = {https://doi.org/10.1145/1107458.1107486},
doi = {10.1145/1107458.1107486},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/KnightL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacic/WeissDCDZL06,
author = {Kathryn Anne Weiss and
Nicolas Dulac and
Stephanie Chiesi and
Mirna Daouk and
David Zipkin and
Nancy G. Leveson},
title = {Engineering Spacecraft Mission Software using a Model-Based and Safety-Driven
Design Methodology},
journal = {J. Aerosp. Comput. Inf. Commun.},
volume = {3},
number = {11},
pages = {562--586},
year = {2006},
url = {https://doi.org/10.2514/1.24677},
doi = {10.2514/1.24677},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacic/WeissDCDZL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/DulacLZFCCB05,
author = {Nicolas Dulac and
Nancy G. Leveson and
David Zipkin and
Stephen Friedenthal and
Joel Cutcher{-}Gershenfeld and
John S. Carroll and
Betty Barrett},
title = {Using system dynamics for safety and risk management in complex engineering
systems},
booktitle = {Proceedings of the 37th Winter Simulation Conference, Orlando, FL,
USA, December 4-7, 2005},
pages = {1311--1320},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/WSC.2005.1574392},
doi = {10.1109/WSC.2005.1574392},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsc/DulacLZFCCB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/BasiliBDHLMMPPJ04,
author = {Victor R. Basili and
Barry W. Boehm and
Al Davis and
Watts S. Humphrey and
Nancy G. Leveson and
Nancy R. Mead and
John D. Musa and
David Lorge Parnas and
Shari Lawrence Pfleeger and
Elaine J. Weyuker},
title = {New Year's Resolutions for Software Quality},
journal = {{IEEE} Softw.},
volume = {21},
number = {1},
pages = {12--13},
year = {2004},
url = {https://doi.org/10.1109/MS.2004.1259165},
doi = {10.1109/MS.2004.1259165},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/BasiliBDHLMMPPJ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/Leveson04,
author = {Nancy G. Leveson},
title = {A Systems-Theoretic Approach to Safety in Software-Intensive Systems},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {1},
number = {1},
pages = {66--86},
year = {2004},
url = {https://doi.org/10.1109/TDSC.2004.1},
doi = {10.1109/TDSC.2004.1},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tdsc/Leveson04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LevesonW04,
author = {Nancy G. Leveson and
Kathryn Anne Weiss},
editor = {Richard N. Taylor and
Matthew B. Dwyer},
title = {Making embedded software reuse practical and safe},
booktitle = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
October 31 - November 6, 2004},
pages = {171--178},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1029894.1029897},
doi = {10.1145/1029894.1029897},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LevesonW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/KnightL02,
author = {John C. Knight and
Nancy G. Leveson},
title = {Should software engineers be licensed?},
journal = {Commun. {ACM}},
volume = {45},
number = {11},
pages = {87--90},
year = {2002},
url = {https://doi.org/10.1145/581571.581601},
doi = {10.1145/581571.581601},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/KnightL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/Leveson02,
author = {Nancy G. Leveson},
title = {The Future of Software Engineering Education},
booktitle = {15th Conference on Software Engineering Education and Training (CSEET'02),
25-27 February 2002, Covington, Kentucky, {USA}},
pages = {2},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/CSEE.2002.995190},
doi = {10.1109/CSEE.2002.995190},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csee/Leveson02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/Leveson02,
author = {Nancy G. Leveson},
editor = {Alberto L. Sangiovanni{-}Vincentelli and
Joseph Sifakis},
title = {An Approach to Designing Safe Embedded Software},
booktitle = {Embedded Software, Second International Conference, {EMSOFT} 2002,
Grenoble, France, October 7-9, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2491},
pages = {15--29},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45828-X\_2},
doi = {10.1007/3-540-45828-X\_2},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/Leveson02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZimmermanLL02,
author = {Marc K. Zimmerman and
Kristina Lundqvist and
Nancy G. Leveson},
editor = {Will Tracz and
Michal Young and
Jeff Magee},
title = {Investigating the readability of state-based formal requirements specification
languages},
booktitle = {Proceedings of the 24th International Conference on Software Engineering,
{ICSE} 2002, 19-25 May 2002, Orlando, Florida, {USA}},
pages = {33--43},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/581339.581347},
doi = {10.1145/581339.581347},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ZimmermanLL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/DulacVLS02,
author = {Nicolas Dulac and
Thomas Viguier and
Nancy G. Leveson and
Margaret{-}Anne D. Storey},
title = {On the Use of Visualization in Formal Requirements Specification},
booktitle = {10th Anniversary {IEEE} Joint International Conference on Requirements
Engineering {(RE} 2002), 9-13 September 2002, Essen, Germany},
pages = {71--80},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ICRE.2002.1048507},
doi = {10.1109/ICRE.2002.1048507},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/DulacVLS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Leveson00,
author = {Nancy G. Leveson},
title = {Intent Specifications: An Approach to Building Human-Centered Specifications},
journal = {{IEEE} Trans. Software Eng.},
volume = {26},
number = {1},
pages = {15--35},
year = {2000},
url = {https://doi.org/10.1109/32.825764},
doi = {10.1109/32.825764},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Leveson00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmsp/Leveson00,
author = {Nancy G. Leveson},
editor = {Mats Per Erik Heimdahl},
title = {Completeness in formal specification language design for process-control
systems},
booktitle = {Proceedings of the Third Workshop on Formal Methods in Software Practice,
2000, Portland, Oregon, {USA}},
pages = {75--87},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/349360.351140},
doi = {10.1145/349360.351140},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmsp/Leveson00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Leveson00,
author = {Nancy G. Leveson},
editor = {Nancy A. Lynch and
Bruce H. Krogh},
title = {Experiences in Designing and Using Formal Specification Languages
for Embedded Control Software},
booktitle = {Hybrid Systems: Computation and Control, Third International Workshop,
{HSCC} 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1790},
pages = {3},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46430-1\_2},
doi = {10.1007/3-540-46430-1\_2},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Leveson00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BasiliBBBBDFGLL99,
author = {Victor R. Basili and
Laszlo A. Belady and
Barry W. Boehm and
Frederick P. Brooks Jr. and
James Browne and
Richard A. DeMillo and
Stuart I. Feldman and
Cordell Green and
Butler W. Lampson and
Duncan H. Lawrie and
Nancy G. Leveson and
Nancy A. Lynch and
Mark D. Weiser and
Jeannette M. Wing},
title = {{NSF} workshop on a software research program for the 21st century},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {24},
number = {3},
pages = {37--44},
year = {1999},
url = {https://doi.org/10.1145/311963.311993},
doi = {10.1145/311963.311993},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/BasiliBBBBDFGLL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/LevesonHR99,
author = {Nancy G. Leveson and
Mats Per Erik Heimdahl and
Jon Damon Reese},
editor = {Oscar Nierstrasz and
Michel Lemoine},
title = {Designing Specification Languages for Process Control Systems: Lessons
Learned and Steps to the Future},
booktitle = {Software Engineering - ESEC/FSE'99, 7th European Software Engineering
Conference, Held Jointly with the 7th {ACM} {SIGSOFT} Symposium on
the Foundations of Software Engineering, Toulouse, France, September
1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1687},
pages = {127--145},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48166-4\_9},
doi = {10.1007/3-540-48166-4\_9},
timestamp = {Wed, 04 May 2022 13:01:10 +0200},
biburl = {https://dblp.org/rec/conf/esec/LevesonHR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icre/Leveson98,
author = {Nancy G. Leveson},
title = {Intent Specifications: An Approach to Building Human-Centered Specifications},
booktitle = {3rd International Conference on Requirements Engineering {(ICRE} '98),
Putting Requirements Engineering to Practice, April 6-10, 1998, Colorado
Springs, CO, USA, Proceedings},
pages = {204--213},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICRE.1998.667827},
doi = {10.1109/ICRE.1998.667827},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icre/Leveson98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Leveson98,
author = {Nancy G. Leveson},
editor = {Jonathan P. Bowen and
Andreas Fett and
Michael G. Hinchey},
title = {Designing a Requirements Specification Language for Reactive Systems},
booktitle = {{ZUM} '98: The {Z} Formal Specification Notation, 11th International
Conference of {Z} Users, Berlin, Germany, September 24-26, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1493},
pages = {135},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-540-49676-2\_10},
doi = {10.1007/978-3-540-49676-2\_10},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/zum/Leveson98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Leveson97,
author = {Nancy G. Leveson},
title = {Software Engineering: Stretching the Limits of Complexity},
journal = {Commun. {ACM}},
volume = {40},
number = {2},
pages = {129--131},
year = {1997},
url = {https://doi.org/10.1145/253671.253754},
doi = {10.1145/253671.253754},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Leveson97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/ModugnoLRPS97,
author = {Francesmary Modugno and
Nancy G. Leveson and
Jon Damon Reese and
Kurt Partridge and
Sean D. Sandys},
title = {Integrated Safety Analysis of Requirements Specifications},
journal = {Requir. Eng.},
volume = {2},
number = {2},
pages = {65--78},
year = {1997},
url = {https://doi.org/10.1007/BF02813026},
doi = {10.1007/BF02813026},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/re/ModugnoLRPS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ReeseL97,
author = {Jon Damon Reese and
Nancy G. Leveson},
editor = {W. Richards Adrion and
Alfonso Fuggetta and
Richard N. Taylor and
Anthony I. Wasserman},
title = {Software Deviation Analysis},
booktitle = {Pulling Together, Proceedings of the 19th International Conference
on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997},
pages = {250--260},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/253228.253281},
doi = {10.1145/253228.253281},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ReeseL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/ModugnoLRPS97,
author = {Francesmary Modugno and
Nancy G. Leveson and
Jon Damon Reese and
Kurt Partridge and
Sean D. Sandys},
title = {Integrated Safety Analysis of Requirements Specifications},
booktitle = {3rd {IEEE} International Symposium on Requirements Engineering (RE'97),
January 5-8, 1997, Annapolis, MD, {USA}},
pages = {148--159},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ISRE.1997.566862},
doi = {10.1109/ISRE.1997.566862},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/ModugnoLRPS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HeimdahlL96,
author = {Mats Per Erik Heimdahl and
Nancy G. Leveson},
title = {Completeness and Consistency in Hierarchical State-Based Requirements},
journal = {{IEEE} Trans. Software Eng.},
volume = {22},
number = {6},
pages = {363--377},
year = {1996},
url = {https://doi.org/10.1109/32.508311},
doi = {10.1109/32.508311},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HeimdahlL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/DenneyKLS96,
author = {Richard Denney and
Richard A. Kemmerer and
Nancy G. Leveson and
Alberto Savoia},
editor = {Steve J. Zeil and
Will Tracz},
title = {Why State-of-the-Art is not State-of-the-Practice (Panel Abstract)},
booktitle = {Proceedings of the 1996 International Symposium on Software Testing
and Analysis, {ISSTA} 1996, San Diego, CA, USA, January 8-10, 1996},
pages = {293},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/229000.226327},
doi = {10.1145/229000.226327},
timestamp = {Thu, 03 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/DenneyKLS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0090600,
author = {Nancy G. Leveson},
title = {Safeware - system safety and computers: a guide to preventing accidents
and losses caused by technology},
publisher = {Addison-Wesley},
year = {1995},
isbn = {978-0-201-11972-5},
timestamp = {Thu, 28 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0090600.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/KlaweL95,
author = {Maria M. Klawe and
Nancy G. Leveson},
title = {Woman in Computing - Where Are We Now?},
journal = {Commun. {ACM}},
volume = {38},
number = {1},
pages = {29--35},
year = {1995},
url = {https://doi.org/10.1145/204865.204874},
doi = {10.1145/204865.204874},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/KlaweL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Leveson95,
author = {Nancy G. Leveson},
title = {Safety as a System Property},
journal = {Commun. {ACM}},
volume = {38},
number = {11},
pages = {146},
year = {1995},
url = {https://doi.org/10.1145/219717.219816},
doi = {10.1145/219717.219816},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Leveson95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HeimdahlL95,
author = {Mats Per Erik Heimdahl and
Nancy G. Leveson},
editor = {Dewayne E. Perry and
Ross Jeffery and
David Notkin},
title = {Completeness and Consistency Analysis of State-Based Requirements},
booktitle = {17th International Conference on Software Engineering, Seattle, Washington,
USA, April 23-30, 1995, Proceedings},
pages = {3--14},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/225014.225015},
doi = {10.1145/225014.225015},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/HeimdahlL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Leveson94,
author = {Nancy G. Leveson},
title = {High-Pressure Steam Engines and Computer Software},
journal = {Computer},
volume = {27},
number = {10},
pages = {65--73},
year = {1994},
url = {https://doi.org/10.1109/2.318597},
doi = {10.1109/2.318597},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Leveson94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LevesonHHR94,
author = {Nancy G. Leveson and
Mats Per Erik Heimdahl and
Holly Hildreth and
Jon Damon Reese},
title = {Requirements Specification for Process-Control Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {20},
number = {9},
pages = {684--707},
year = {1994},
url = {https://doi.org/10.1109/32.317428},
doi = {10.1109/32.317428},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/LevesonHHR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/Leveson94,
author = {Nancy G. Leveson},
editor = {John Werth and
Laurie Honour Werth},
title = {High Pressure Steam Engines and Computer Software (Abstract)},
booktitle = {Proceedings of the {ACM} 22rd Annual Computer Science Conference on
Scaling up: Meeting the Challenge of Complexity in Real-World Computing
Applications, {CSC} '94, Phoenix, Arizona, USA, March 8-10, 1994},
pages = {414},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/197530.197676},
doi = {10.1145/197530.197676},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acm/Leveson94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/LevesonT93,
author = {Nancy G. Leveson and
Clark Savage Turner},
title = {Investigation of the Therac-25 Accidents},
journal = {Computer},
volume = {26},
number = {7},
pages = {18--41},
year = {1993},
url = {https://doi.org/10.1109/MC.1993.274940},
doi = {10.1109/MC.1993.274940},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/LevesonT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LevesonN93,
author = {Nancy G. Leveson and
Peter G. Neumann},
title = {Introduction to Special Issue on Software for Critical Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {1},
pages = {1--2},
year = {1993},
url = {http://doi.ieeecomputersociety.org/10.1109/TSE.1993.10000},
doi = {10.1109/TSE.1993.10000},
timestamp = {Thu, 10 Dec 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/LevesonN93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Leveson92,
author = {Nancy Leveson},
title = {Formal methods},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {17},
number = {1},
pages = {49--50},
year = {1992},
url = {https://doi.org/10.1145/134292.134298},
doi = {10.1145/134292.134298},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/Leveson92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Leveson92,
author = {Nancy G. Leveson},
editor = {Tony Montgomery and
Lori A. Clarke and
Carlo Ghezzi},
title = {High-Pressure Steam Engines and Computer Software},
booktitle = {Proceedings of the 14th International Conference on Software Engineering,
Melbourne, Australia, May 11-15, 1992},
pages = {2--14},
publisher = {{ACM} Press},
year = {1992},
url = {https://doi.org/10.1145/143062.143076},
doi = {10.1145/143062.143076},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Leveson92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Leveson91,
author = {Nancy G. Leveson},
title = {Software Safety: In Embedded Computer Systems},
journal = {Commun. {ACM}},
volume = {34},
number = {2},
pages = {34--46},
year = {1991},
url = {https://doi.org/10.1145/102792.102799},
doi = {10.1145/102792.102799},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Leveson91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/LevesonCS91,
author = {Nancy G. Leveson and
Stephen S. Cha and
Timothy J. Shimeall},
title = {Safety Verification of Ada Programs Using Software Fault Trees},
journal = {{IEEE} Softw.},
volume = {8},
number = {4},
pages = {48--59},
year = {1991},
url = {https://doi.org/10.1109/52.300036},
doi = {10.1109/52.300036},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/LevesonCS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ShimeallL91,
author = {Timothy J. Shimeall and
Nancy G. Leveson},
title = {An Empirical Comparison of Software Fault Tolerance and Fault Elimination},
journal = {{IEEE} Trans. Software Eng.},
volume = {17},
number = {2},
pages = {173--182},
year = {1991},
url = {https://doi.org/10.1109/32.67598},
doi = {10.1109/32.67598},
timestamp = {Tue, 05 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ShimeallL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/JaffeLHM91,
author = {Matthew S. Jaffe and
Nancy G. Leveson and
Mats Per Erik Heimdahl and
Bonnie E. Melhart},
title = {Software Requirements Analysis for Real-Time Process-Control Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {17},
number = {3},
pages = {241--258},
year = {1991},
url = {https://doi.org/10.1109/32.75414},
doi = {10.1109/32.75414},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/JaffeLHM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/LevesonHHRO91,
author = {Nancy G. Leveson and
Mats P. E. Heimdahl and
Holly Hildreth and
Jon Damon Reese and
R. Ortega},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {Experiences using statecharts for a system requirements specification},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {31--41},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952792},
doi = {10.5555/952786.952792},
timestamp = {Fri, 13 May 2022 15:04:49 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/LevesonHHRO91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/KnightL90,
author = {John C. Knight and
Nancy G. Leveson},
title = {A reply to the criticisms of the Knight {\&} Leveson experiment},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {15},
number = {1},
pages = {24--35},
year = {1990},
url = {https://doi.org/10.1145/382294.382710},
doi = {10.1145/382294.382710},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/KnightL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Leveson90,
author = {Nancy G. Leveson},
title = {The Challenge of Building Process-Control Software},
journal = {{IEEE} Softw.},
volume = {7},
number = {6},
pages = {55--62},
year = {1990},
url = {https://doi.org/10.1109/52.60589},
doi = {10.1109/52.60589},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Leveson90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BrilliantKL90,
author = {Susan S. Brilliant and
John C. Knight and
Nancy G. Leveson},
title = {Analysis of Faults in an N-Version Software Experiment},
journal = {{IEEE} Trans. Software Eng.},
volume = {16},
number = {2},
pages = {238--247},
year = {1990},
url = {https://doi.org/10.1109/32.44387},
doi = {10.1109/32.44387},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BrilliantKL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LevesonCKS90,
author = {Nancy G. Leveson and
Stephen S. Cha and
John C. Knight and
Timothy J. Shimeall},
title = {The Use of Self Checks and Voting in Software Error Detection: An
Empirical Study},
journal = {{IEEE} Trans. Software Eng.},
volume = {16},
number = {4},
pages = {432--443},
year = {1990},
url = {https://doi.org/10.1109/32.54295},
doi = {10.1109/32.54295},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LevesonCKS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Leveson90,
author = {Nancy G. Leveson},
title = {Guest Editor's Introduction Formal Methods in Software Engineering},
journal = {{IEEE} Trans. Software Eng.},
volume = {16},
number = {9},
pages = {929--931},
year = {1990},
url = {http://doi.ieeecomputersociety.org/10.1109/TSE.1990.10003},
doi = {10.1109/TSE.1990.10003},
timestamp = {Thu, 10 Dec 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/Leveson90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Leveson90,
author = {Nancy G. Leveson},
editor = {Fran{\c{c}}ois{-}R{\'{e}}gis Valette and
Peter A. Freeman and
Marie{-}Claude Gaudel},
title = {Evaluation of Software Safety},
booktitle = {Proceedings of the 12th International Conference on Software Engineering,
Nice, France, March 26-30, 1990},
pages = {223--224},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {http://dl.acm.org/citation.cfm?id=100327},
timestamp = {Mon, 14 May 2012 18:17:13 +0200},
biburl = {https://dblp.org/rec/conf/icse/Leveson90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BrilliantKL89,
author = {Susan S. Brilliant and
John C. Knight and
Nancy G. Leveson},
title = {The Consistent Comparison Problem in N-Version Software},
journal = {{IEEE} Trans. Software Eng.},
volume = {15},
number = {11},
pages = {1481--1485},
year = {1989},
url = {https://doi.org/10.1109/32.41339},
doi = {10.1109/32.41339},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BrilliantKL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/JaffeL01,
author = {Matthew S. Jaffe and
Nancy G. Leveson},
editor = {Larry E. Druffel and
Dick Fairley and
Dines Bj{\o}rner},
title = {Completeness, Robustness, and Safety in Real-Time Software Requirements
Specification},
booktitle = {Proceedings of the 11th International Conference on Software Engineering,
Pittsburg, PA, USA, May 15-18, 1989},
pages = {302--311},
publisher = {{IEEE} Computer Society / {ACM} Press},
year = {1989},
url = {https://doi.org/10.1145/74587.74628},
doi = {10.1145/74587.74628},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/JaffeL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/MelhartLJ89,
author = {Bonnie E. Melhart and
Nancy G. Leveson and
Matthew S. Jaffe},
editor = {Sol J. Greenspan},
title = {Analysis capabilities for requirements specified in statecharts},
booktitle = {Proceedings of the 5th International Workshop on Software Specification
and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
pages = {100--103},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/75199.75215},
doi = {10.1145/75199.75215},
timestamp = {Fri, 18 Feb 2022 16:26:12 +0100},
biburl = {https://dblp.org/rec/conf/iwssd/MelhartLJ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChaLS88,
author = {Stephen S. Cha and
Nancy G. Leveson and
Timothy J. Shimeall},
editor = {Tan Chin Nam and
Larry E. Druffel and
Bertrand Meyer},
title = {Safety Verification in Murphy Using Fault Tree Analysis},
booktitle = {Proceedings, 10th International Conference on Software Engineering,
Singapore, Singapore, April 11-15, 1988},
pages = {377--387},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {http://dl.acm.org/citation.cfm?id=55860},
timestamp = {Mon, 30 Oct 2017 11:35:10 +0100},
biburl = {https://dblp.org/rec/conf/icse/ChaLS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BrilliantKL87,
author = {Susan S. Brilliant and
John C. Knight and
Nancy G. Leveson},
title = {The consistent comparison problem in \emph{N}-version software},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {12},
number = {1},
pages = {29--34},
year = {1987},
url = {https://doi.org/10.1145/24574.24575},
doi = {10.1145/24574.24575},
timestamp = {Fri, 04 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/BrilliantKL87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Leveson87,
author = {Nancy Leveson},
title = {A scary tale - Sperry avionics module-testing bites the dust?},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {12},
number = {2},
pages = {23--25},
year = {1987},
url = {https://doi.org/10.1145/24562.24563},
doi = {10.1145/24562.24563},
timestamp = {Fri, 04 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/Leveson87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LevesonS87,
author = {Nancy G. Leveson and
Janice L. Stolzy},
title = {Safety Analysis Using Petri Nets},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {3},
pages = {386--397},
year = {1987},
url = {https://doi.org/10.1109/TSE.1987.233170},
doi = {10.1109/TSE.1987.233170},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LevesonS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icftcs/Leveson87,
author = {Nancy G. Leveson},
editor = {Fevzi Belli and
Winfried G{\"{o}}rke},
title = {Software Fault Tolerance in Safety-Critical Applications},
booktitle = {Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems,
3. Internationale GI/ITG/GMA-Fachtagung, Bremerhaven, Deutschland,
9.-11. September 1987, Proceedings},
series = {Informatik-Fachberichte},
volume = {147},
pages = {1--12},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/978-3-642-45628-2\_1},
doi = {10.1007/978-3-642-45628-2\_1},
timestamp = {Sat, 23 Jun 2018 18:44:44 +0200},
biburl = {https://dblp.org/rec/conf/icftcs/Leveson87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Leveson86,
author = {Nancy G. Leveson},
title = {Software Safety: Why, What, and How},
journal = {{ACM} Comput. Surv.},
volume = {18},
number = {2},
pages = {125--163},
year = {1986},
url = {https://doi.org/10.1145/7474.7528},
doi = {10.1145/7474.7528},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Leveson86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/LandwehrGMGL86,
author = {Carl E. Landwehr and
Susan L. Gerhart and
John D. McLean and
Donald I. Good and
Nancy Leveson},
title = {{NRL} invitational workshop on testing and proving: two approaches
to assurance},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {11},
number = {5},
pages = {63--85},
year = {1986},
url = {https://doi.org/10.1145/382298.382373},
doi = {10.1145/382298.382373},
timestamp = {Wed, 02 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/LandwehrGMGL86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KnightL86,
author = {John C. Knight and
Nancy G. Leveson},
title = {An Experimental Evaluation of the Assumption of Independence in Multiversion
Programming},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {1},
pages = {96--109},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312924},
doi = {10.1109/TSE.1986.6312924},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KnightL86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/LevesonS85,
author = {Nancy G. Leveson and
Janice L. Stolzy},
editor = {Hartmut Ehrig and
Christiane Floyd and
Maurice Nivat and
James W. Thatcher},
title = {Analyzing Safety and Fault Tolerance Using Time Petri Nets},
booktitle = {Mathematical Foundations of Software Development, Proceedings of the
International Joint Conference on Theory and Practice of Software
Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume
2: Colloquium on Software Engineering {(CSE)}},
series = {Lecture Notes in Computer Science},
volume = {186},
pages = {339--355},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15199-0\_22},
doi = {10.1007/3-540-15199-0\_22},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/LevesonS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfais/FlintL85,
author = {Randell S. Flint and
Nancy G. Leveson},
editor = {Am{\'{\i}}lcar Sernadas and
Janis A. Bubenko Jr. and
Antoni Oliv{\'{e}}},
title = {The {PAMS} Approach to Modeling Database Activity},
booktitle = {Information Systems - Theoretical and Formal Aspects, {TFAIS} 1985,
Proceedings of the {IFIP} {WG8.1} Working Conference, Sitges, Spain,
16-18 April 1985},
pages = {222--236},
publisher = {Elsevier/North-Holland},
year = {1985},
timestamp = {Mon, 29 Jul 2019 14:27:38 +0200},
biburl = {https://dblp.org/rec/conf/tfais/FlintL85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Leveson84,
author = {Nancy G. Leveson},
title = {Software Safety in Computer-Controlled Systems},
journal = {Computer},
volume = {17},
number = {2},
pages = {48--55},
year = {1984},
url = {https://doi.org/10.1109/MC.1984.1659054},
doi = {10.1109/MC.1984.1659054},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Leveson84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/LevesonWB83,
author = {Nancy G. Leveson and
Anthony I. Wasserman and
Daniel M. Berry},
title = {{BASIS:} {A} Behavioral Approach to the Specification of Information
Systems},
journal = {Inf. Syst.},
volume = {8},
number = {1},
pages = {15--23},
year = {1983},
url = {https://doi.org/10.1016/0306-4379(83)90025-X},
doi = {10.1016/0306-4379(83)90025-X},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/LevesonWB83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/LevesonH83,
author = {Nancy G. Leveson and
Peter R. Harvey},
title = {Software fault tree analysis},
journal = {J. Syst. Softw.},
volume = {3},
number = {2},
pages = {173--181},
year = {1983},
url = {https://doi.org/10.1016/0164-1212(83)90030-4},
doi = {10.1016/0164-1212(83)90030-4},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/LevesonH83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LevesonH83,
author = {Nancy G. Leveson and
Peter R. Harvey},
title = {Analyzing Software Safety},
journal = {{IEEE} Trans. Software Eng.},
volume = {9},
number = {5},
pages = {569--579},
year = {1983},
url = {https://doi.org/10.1109/TSE.1983.235116},
doi = {10.1109/TSE.1983.235116},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LevesonH83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Leveson82,
author = {Nancy G. Leveson},
title = {Software safety},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {7},
number = {2},
pages = {21--24},
year = {1982},
url = {https://doi.org/10.1145/1005937.1005940},
doi = {10.1145/1005937.1005940},
timestamp = {Mon, 21 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/Leveson82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddss/LevesonW81,
author = {Nancy G. Leveson and
Anthony I. Wasserman},
editor = {Reind P. van de Riet and
Witold Litwin},
title = {Logical Decentralization and Semantic Integrity in a Distributed Information
System},
booktitle = {Distributed Data Sharing Systems, Proceedings of the Second International
Seminar on Distributed Data Sharing Systems, {DDSS} 1981, Amsterdam,
The Netherlands, 3-5 June, 1981},
pages = {243--253},
publisher = {North-Holland},
year = {1981},
timestamp = {Wed, 17 Jul 2019 09:25:34 +0200},
biburl = {https://dblp.org/rec/conf/ddss/LevesonW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-02 23:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
