Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jeannette M. Wing
@article{DBLP:journals/cacm/NorvigSWWFT23,
author = {Peter Norvig and
Alfred Z. Spector and
Chris Wiggins and
Jeannette M. Wing and
Ben Fried and
Michael Tingley},
title = {More Than Just Algorithms},
journal = {Commun. {ACM}},
volume = {66},
number = {8},
pages = {53--61},
year = {2023},
url = {https://doi.org/10.1145/3600099},
doi = {10.1145/3600099},
timestamp = {Wed, 16 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/NorvigSWWFT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/queue/SpectorNWWFT23,
author = {Alfred Z. Spector and
Peter Norvig and
Chris Wiggins and
Jeannette M. Wing and
Ben Fried and
Michael Tingley},
title = {More Than Just Algorithms: {A} discussion with Alfred Spector, Peter
Norvig, Chris Wiggins, Jeannette Wing, Ben Fried, and Michael Tingley},
journal = {{ACM} Queue},
volume = {21},
number = {1},
pages = {102--129},
year = {2023},
url = {https://doi.org/10.1145/3587481},
doi = {10.1145/3587481},
timestamp = {Thu, 18 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/queue/SpectorNWWFT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Wing21,
author = {Jeannette M. Wing},
title = {Trustworthy {AI}},
journal = {Commun. {ACM}},
volume = {64},
number = {10},
pages = {64--71},
year = {2021},
url = {https://doi.org/10.1145/3448248},
doi = {10.1145/3448248},
timestamp = {Wed, 20 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/Wing21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/Wing20,
author = {Jeannette M. Wing},
editor = {Xintao Wu and
Chris Jermaine and
Li Xiong and
Xiaohua Hu and
Olivera Kotevska and
Siyuan Lu and
Weija Xu and
Srinivas Aluru and
Chengxiang Zhai and
Eyhab Al{-}Masri and
Zhiyuan Chen and
Jeff Saltz},
title = {Data for Good: Ensuring the Responsible Use of Data to Benefit Society},
booktitle = {2020 {IEEE} International Conference on Big Data {(IEEE} BigData 2020),
Atlanta, GA, USA, December 10-13, 2020},
pages = {1--2},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/BigData50022.2020.9378214},
doi = {10.1109/BIGDATA50022.2020.9378214},
timestamp = {Fri, 19 Nov 2021 16:08:20 +0100},
biburl = {https://dblp.org/rec/conf/bigdataconf/Wing20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fods/BernsteinVW20,
author = {Ryan Bernstein and
Matthijs V{\'{a}}k{\'{a}}r and
Jeannette M. Wing},
editor = {Jeannette M. Wing and
David Madigan},
title = {Transforming Probabilistic Programs for Model Checking},
booktitle = {{FODS} '20: {ACM-IMS} Foundations of Data Science Conference, Virtual
Event, USA, October 19-20, 2020},
pages = {149--159},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3412815.3416896},
doi = {10.1145/3412815.3416896},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fods/BernsteinVW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/MandalDJWH20,
author = {Debmalya Mandal and
Samuel Deng and
Suman Jana and
Jeannette M. Wing and
Daniel J. Hsu},
editor = {Hugo Larochelle and
Marc'Aurelio Ranzato and
Raia Hadsell and
Maria{-}Florina Balcan and
Hsuan{-}Tien Lin},
title = {Ensuring Fairness Beyond the Training Data},
booktitle = {Advances in Neural Information Processing Systems 33: Annual Conference
on Neural Information Processing Systems 2020, NeurIPS 2020, December
6-12, 2020, virtual},
year = {2020},
url = {https://proceedings.neurips.cc/paper/2020/hash/d6539d3b57159babf6a72e106beb45bd-Abstract.html},
timestamp = {Tue, 19 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/MandalDJWH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fods/2020,
editor = {Jeannette M. Wing and
David Madigan},
title = {{FODS} '20: {ACM-IMS} Foundations of Data Science Conference, Virtual
Event, USA, October 19-20, 2020},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3412815},
doi = {10.1145/3412815},
isbn = {978-1-4503-8103-1},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fods/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-05658,
author = {Jeannette M. Wing},
title = {Ten Research Challenge Areas in Data Science},
journal = {CoRR},
volume = {abs/2002.05658},
year = {2020},
url = {https://arxiv.org/abs/2002.05658},
eprinttype = {arXiv},
eprint = {2002.05658},
timestamp = {Fri, 14 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-05658.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-06276,
author = {Jeannette M. Wing},
title = {Trustworthy {AI}},
journal = {CoRR},
volume = {abs/2002.06276},
year = {2020},
url = {https://arxiv.org/abs/2002.06276},
eprinttype = {arXiv},
eprint = {2002.06276},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-06276.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-06029,
author = {Debmalya Mandal and
Samuel Deng and
Suman Jana and
Jeannette M. Wing and
Daniel Hsu},
title = {Ensuring Fairness Beyond the Training Data},
journal = {CoRR},
volume = {abs/2007.06029},
year = {2020},
url = {https://arxiv.org/abs/2007.06029},
eprinttype = {arXiv},
eprint = {2007.06029},
timestamp = {Mon, 20 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-06029.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-09680,
author = {Ryan Bernstein and
Matthijs V{\'{a}}k{\'{a}}r and
Jeannette M. Wing},
title = {Transforming Probabilistic Programs for Model Checking},
journal = {CoRR},
volume = {abs/2008.09680},
year = {2020},
url = {https://arxiv.org/abs/2008.09680},
eprinttype = {arXiv},
eprint = {2008.09680},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-09680.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/Wing18,
author = {Jeannette M. Wing},
editor = {Yike Guo and
Faisal Farooq},
title = {Data for Good: Abstract},
booktitle = {Proceedings of the 24th {ACM} {SIGKDD} International Conference on
Knowledge Discovery {\&} Data Mining, {KDD} 2018, London, UK,
August 19-23, 2018},
pages = {4},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3219819.3219942},
doi = {10.1145/3219819.3219942},
timestamp = {Wed, 21 Nov 2018 12:44:27 +0100},
biburl = {https://dblp.org/rec/conf/kdd/Wing18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/ProvostHWYN18,
author = {Foster J. Provost and
James Hodson and
Jeannette M. Wing and
Qiang Yang and
Jennifer Neville},
editor = {Yike Guo and
Faisal Farooq},
title = {Societal Impact of Data Science and Artificial Intelligence},
booktitle = {Proceedings of the 24th {ACM} {SIGKDD} International Conference on
Knowledge Discovery {\&} Data Mining, {KDD} 2018, London, UK,
August 19-23, 2018},
pages = {2872--2873},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3219819.3226071},
doi = {10.1145/3219819.3226071},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kdd/ProvostHWYN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/Wing17,
author = {Jeannette M. Wing},
editor = {Michael E. Caspersen and
Stephen H. Edwards and
Tiffany Barnes and
Daniel D. Garcia},
title = {Embracing Uncertainty},
booktitle = {Proceedings of the 2017 {ACM} {SIGCSE} Technical Symposium on Computer
Science Education, {SIGCSE} 2017, Seattle, WA, USA, March 8-11, 2017},
pages = {7},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3017680.3025045},
doi = {10.1145/3017680.3025045},
timestamp = {Tue, 23 Mar 2021 10:54:19 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/Wing17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/WingS16,
author = {Jeannette M. Wing and
Dan Stanzione},
title = {Progress in computational thinking, and expanding the {HPC} community},
journal = {Commun. {ACM}},
volume = {59},
number = {7},
pages = {10--11},
year = {2016},
url = {https://doi.org/10.1145/2933410},
doi = {10.1145/2933410},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/WingS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/GurevichW16,
author = {Yuri Gurevich and
Jeannette M. Wing},
title = {Inverse privacy},
journal = {Commun. {ACM}},
volume = {59},
number = {7},
pages = {38--42},
year = {2016},
url = {https://doi.org/10.1145/2838730},
doi = {10.1145/2838730},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/GurevichW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socc/WingZ16,
author = {Jeannette M. Wing and
Danella Zhao},
editor = {Karan S. Bhatia and
Massimo Alioto and
Danella Zhao and
Andrew Marshall and
Ramalingam Sridhar},
title = {Opening keynote: Crashing drones and hijacked cameras: Cybertrust
meets cyberphysical},
booktitle = {29th {IEEE} International System-on-Chip Conference, {SOCC} 2016,
Seattle, WA, USA, September 6-9, 2016},
pages = {1--3},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/SOCC.2016.7905417},
doi = {10.1109/SOCC.2016.7905417},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/socc/WingZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/TschantzDDW15,
author = {Michael Carl Tschantz and
Amit Datta and
Anupam Datta and
Jeannette M. Wing},
editor = {C{\'{e}}dric Fournet and
Michael W. Hicks and
Luca Vigan{\`{o}}},
title = {A Methodology for Information Flow Experiments},
booktitle = {{IEEE} 28th Computer Security Foundations Symposium, {CSF} 2015, Verona,
Italy, 13-17 July, 2015},
pages = {554--568},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/CSF.2015.40},
doi = {10.1109/CSF.2015.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/TschantzDDW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GurevichHW15,
author = {Yuri Gurevich and
Efim Hudis and
Jeannette M. Wing},
title = {Inverse Privacy},
journal = {CoRR},
volume = {abs/1510.03311},
year = {2015},
url = {http://arxiv.org/abs/1510.03311},
eprinttype = {arXiv},
eprint = {1510.03311},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GurevichHW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/SenGDRTW14,
author = {Shayak Sen and
Saikat Guha and
Anupam Datta and
Sriram K. Rajamani and
Janice Y. Tsai and
Jeannette M. Wing},
title = {Bootstrapping Privacy Compliance in Big Data Systems},
booktitle = {2014 {IEEE} Symposium on Security and Privacy, {SP} 2014, Berkeley,
CA, USA, May 18-21, 2014},
pages = {327--342},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SP.2014.28},
doi = {10.1109/SP.2014.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/SenGDRTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TschantzDDW14,
author = {Michael Carl Tschantz and
Amit Datta and
Anupam Datta and
Jeannette M. Wing},
title = {A Methodology for Information Flow Experiments},
journal = {CoRR},
volume = {abs/1405.2376},
year = {2014},
url = {http://arxiv.org/abs/1405.2376},
eprinttype = {arXiv},
eprint = {1405.2376},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TschantzDDW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/WingG13,
author = {Jeannette M. Wing and
Mark Guzdial},
title = {Encouraging {IT} usage in future healthcare, quality in {CS} education},
journal = {Commun. {ACM}},
volume = {56},
number = {5},
pages = {14--15},
year = {2013},
url = {https://doi.org/10.1145/2447976.2447981},
doi = {10.1145/2447976.2447981},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/WingG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/TschantzDW13,
author = {Michael Carl Tschantz and
Anupam Datta and
Jeannette M. Wing},
editor = {Jason Crampton and
Sushil Jajodia and
Keith Mayes},
title = {Purpose Restrictions on Information Use},
booktitle = {Computer Security - {ESORICS} 2013 - 18th European Symposium on Research
in Computer Security, Egham, UK, September 9-13, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8134},
pages = {610--627},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40203-6\_34},
doi = {10.1007/978-3-642-40203-6\_34},
timestamp = {Wed, 25 Sep 2019 18:03:15 +0200},
biburl = {https://dblp.org/rec/conf/esorics/TschantzDW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/Wing13,
author = {Jeannette M. Wing},
editor = {Jeff Boleng and
S. Tucker Taft},
title = {Formal methods: an industrial perspective},
booktitle = {Proceedings of the 2013 {ACM} SIGAda annual conference on High integrity
language technology, {HILT} 2013, Pittsburgh, Pennsylvania, USA, November
10-14, 2013},
pages = {85--86},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2527269.2527291},
doi = {10.1145/2527269.2527291},
timestamp = {Tue, 06 Nov 2018 16:57:53 +0100},
biburl = {https://dblp.org/rec/conf/sigada/Wing13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/TschantzDW12,
author = {Michael Carl Tschantz and
Anupam Datta and
Jeannette M. Wing},
title = {Formalizing and Enforcing Purpose Restrictions in Privacy Policies},
booktitle = {{IEEE} Symposium on Security and Privacy, {SP} 2012, 21-23 May 2012,
San Francisco, California, {USA}},
pages = {176--190},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SP.2012.21},
doi = {10.1109/SP.2012.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/TschantzDW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/WingC11,
author = {Jeannette M. Wing and
Ed H. Chi},
title = {Reviewing peer review},
journal = {Commun. {ACM}},
volume = {54},
number = {7},
pages = {10--11},
year = {2011},
url = {https://doi.org/10.1145/1965724.1965728},
doi = {10.1145/1965724.1965728},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/WingC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/WingB11,
author = {Jeannette M. Wing and
Valerie Barr},
title = {Jeannette M. Wing @ PCAST; Barbara Liskov keynote},
journal = {Commun. {ACM}},
volume = {54},
number = {9},
pages = {10--11},
year = {2011},
url = {https://doi.org/10.1145/1995376.1995380},
doi = {10.1145/1995376.1995380},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/WingB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ManadhataW11,
author = {Pratyusa K. Manadhata and
Jeannette M. Wing},
title = {An Attack Surface Metric},
journal = {{IEEE} Trans. Software Eng.},
volume = {37},
number = {3},
pages = {371--386},
year = {2011},
url = {https://doi.org/10.1109/TSE.2010.60},
doi = {10.1109/TSE.2010.60},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ManadhataW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spw/GligorW11,
author = {Virgil D. Gligor and
Jeannette M. Wing},
editor = {Bruce Christianson and
Bruno Crispo and
James A. Malcolm and
Frank Stajano},
title = {Towards a Theory of Trust in Networks of Humans and Computers},
booktitle = {Security Protocols {XIX} - 19th International Workshop, Cambridge,
UK, March 28-30, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7114},
pages = {223--242},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25867-1\_22},
doi = {10.1007/978-3-642-25867-1\_22},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/spw/GligorW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/Wing11,
author = {Jeannette M. Wing},
editor = {Gennaro Costagliola and
Amy J. Ko and
Allen Cypher and
Jeffrey Nichols and
Christopher Scaffidi and
Caitlin Kelleher and
Brad A. Myers},
title = {Computational thinking},
booktitle = {2011 {IEEE} Symposium on Visual Languages and Human-Centric Computing,
{VL/HCC} 2011, Pittsburgh, PA, USA, September 18-22, 2011},
pages = {3},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/VLHCC.2011.6070404},
doi = {10.1109/VLHCC.2011.6070404},
timestamp = {Sun, 26 Nov 2023 00:57:51 +0100},
biburl = {https://dblp.org/rec/conf/vl/Wing11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ais/ManadhataW11,
author = {Pratyusa K. Manadhata and
Jeannette M. Wing},
editor = {Sushil Jajodia and
Anup K. Ghosh and
Vipin Swarup and
Cliff Wang and
Xiaoyang Sean Wang},
title = {A Formal Model for a System's Attack Surface},
booktitle = {Moving Target Defense - Creating Asymmetric Uncertainty for Cyber
Threats},
series = {Advances in Information Security},
volume = {54},
pages = {1--28},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-1-4614-0977-9\_1},
doi = {10.1007/978-1-4614-0977-9\_1},
timestamp = {Tue, 16 May 2017 14:24:25 +0200},
biburl = {https://dblp.org/rec/series/ais/ManadhataW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1102-4326,
author = {Michael Carl Tschantz and
Anupam Datta and
Jeannette M. Wing},
title = {On the Semantics of Purpose Requirements in Privacy Policies},
journal = {CoRR},
volume = {abs/1102.4326},
year = {2011},
url = {http://arxiv.org/abs/1102.4326},
eprinttype = {arXiv},
eprint = {1102.4326},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-4326.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/WingR10,
author = {Jeannette M. Wing and
Daniel Reed},
title = {{NSF} funding advice: 21st century innovation},
journal = {Commun. {ACM}},
volume = {53},
number = {5},
pages = {10--11},
year = {2010},
url = {https://doi.org/10.1145/1735223.1735228},
doi = {10.1145/1735223.1735228},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/WingR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jocs/SeidelW10,
author = {Edward Seidel and
Jeannette M. Wing},
title = {Preface},
journal = {J. Comput. Sci.},
volume = {1},
number = {1},
pages = {1--2},
year = {2010},
url = {https://doi.org/10.1016/j.jocs.2010.04.004},
doi = {10.1016/J.JOCS.2010.04.004},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jocs/SeidelW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/WingRG09,
author = {Jeannette M. Wing and
Daniel Reed and
Mark Guzdial},
title = {An {ICT} research agenda, {HPC} and innovation, and why only the developed
world lacks women in computing},
journal = {Commun. {ACM}},
volume = {52},
number = {8},
pages = {12--13},
year = {2009},
url = {https://doi.org/10.1145/1536616.1536620},
doi = {10.1145/1536616.1536620},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/WingRG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/WingG09,
author = {Jeannette M. Wing and
Mark Guzdial},
title = {{CS} woes: deadline-driven research, academic inequality},
journal = {Commun. {ACM}},
volume = {52},
number = {12},
pages = {8--9},
year = {2009},
url = {https://doi.org/10.1145/1610252.1610257},
doi = {10.1145/1610252.1610257},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/WingG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/ManadhataKW09,
author = {Pratyusa K. Manadhata and
Y{\"{u}}cel Karabulut and
Jeannette M. Wing},
editor = {Fabio Massacci and
Samuel T. Redwine Jr. and
Nicola Zannone},
title = {Report: Measuring the Attack Surfaces of Enterprise Software},
booktitle = {Engineering Secure Software and Systems, First International Symposium
ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5429},
pages = {91--100},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00199-4\_8},
doi = {10.1007/978-3-642-00199-4\_8},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/essos/ManadhataKW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/TschantzW09,
author = {Michael Carl Tschantz and
Jeannette M. Wing},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Formal Methods for Privacy},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {1--15},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_1},
doi = {10.1007/978-3-642-05089-3\_1},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fm/TschantzW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Wing08,
author = {Jeannette M. Wing},
title = {Five deep questions in computing},
journal = {Commun. {ACM}},
volume = {51},
number = {1},
pages = {58--60},
year = {2008},
url = {https://doi.org/10.1145/1327452.1327479},
doi = {10.1145/1327452.1327479},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Wing08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/Wing08,
author = {Jeannette M. Wing},
title = {Computational thinking and thinking about computing},
booktitle = {22nd {IEEE} International Symposium on Parallel and Distributed Processing,
{IPDPS} 2008, Miami, Florida USA, April 14-18, 2008},
pages = {1},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/IPDPS.2008.4536091},
doi = {10.1109/IPDPS.2008.4536091},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/Wing08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/TschantzW08,
author = {Michael Carl Tschantz and
Jeannette M. Wing},
editor = {Antonio Cerone and
Stefan Gruner},
title = {Extracting Conditional Confidentiality Policies},
booktitle = {Sixth {IEEE} International Conference on Software Engineering and
Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November
2008},
pages = {107--116},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SEFM.2008.46},
doi = {10.1109/SEFM.2008.46},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/TschantzW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/HendersonCW07,
author = {Peter B. Henderson and
Thomas J. Cortina and
Jeannette M. Wing},
editor = {Ingrid Russell and
Susan M. Haller and
J. D. Dougherty and
Susan H. Rodger},
title = {Computational thinking},
booktitle = {Proceedings of the 38th {SIGCSE} Technical Symposium on Computer Science
Education, {SIGCSE} 2007, Covington, Kentucky, USA, March 7-11, 2007},
pages = {195--196},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1227310.1227378},
doi = {10.1145/1227310.1227378},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/HendersonCW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/Wing07,
author = {Jeannette M. Wing},
title = {Software Security},
booktitle = {First Joint {IEEE/IFIP} Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2007, June 5-8, 2007, Shanghai, China},
pages = {21},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/TASE.2007.45},
doi = {10.1109/TASE.2007.45},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/Wing07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Wing06,
author = {Jeannette M. Wing},
title = {Computational thinking},
journal = {Commun. {ACM}},
volume = {49},
number = {3},
pages = {33--35},
year = {2006},
url = {https://doi.org/10.1145/1118178.1118215},
doi = {10.1145/1118178.1118215},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Wing06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/ManadhataWFM06,
author = {Pratyusa K. Manadhata and
Jeannette M. Wing and
Mark Flynn and
Miles McQueen},
editor = {G{\"{u}}nter Karjoth and
Fabio Massacci},
title = {Measuring the attack surfaces of two {FTP} daemons},
booktitle = {Proceedings of the 2nd {ACM} Workshop on Quality of Protection, QoP
2006, Alexandria, VA, USA, October 30, 2006},
pages = {3--10},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1179494.1179497},
doi = {10.1145/1179494.1179497},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/ManadhataWFM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/Wing06,
author = {Jeannette M. Wing},
editor = {Ferng{-}Ching Lin and
Der{-}Tsai Lee and
Bao{-}Shuh Paul Lin and
Shiuhpyng Shieh and
Sushil Jajodia},
title = {Attack graph generation and analysis},
booktitle = {Proceedings of the 2006 {ACM} Symposium on Information, Computer and
Communications Security, {ASIACCS} 2006, Taipei, Taiwan, March 21-24,
2006},
pages = {14},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1128817.1128822},
doi = {10.1145/1128817.1128822},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/Wing06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/raid/MehtaBZCW06,
author = {Vaibhav Mehta and
Constantinos Bartzis and
Haifeng Zhu and
Edmund M. Clarke and
Jeannette M. Wing},
editor = {Diego Zamboni and
Christopher Kr{\"{u}}gel},
title = {Ranking Attack Graphs},
booktitle = {Recent Advances in Intrusion Detection, 9th International Symposium,
{RAID} 2006, Hamburg, Germany, September 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4219},
pages = {127--144},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11856214\_7},
doi = {10.1007/11856214\_7},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/raid/MehtaBZCW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisec/LyeW05,
author = {Kong{-}wei Lye and
Jeannette M. Wing},
title = {Game strategies in network security},
journal = {Int. J. Inf. Sec.},
volume = {4},
number = {1-2},
pages = {71--86},
year = {2005},
url = {https://doi.org/10.1007/s10207-004-0060-x},
doi = {10.1007/S10207-004-0060-X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijisec/LyeW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/PincusW05,
author = {Jonathan D. Pincus and
Jeannette M. Wing},
editor = {Gianfranco Ciardo and
Philippe Darondeau},
title = {Towards an Algebra for Security Policies},
booktitle = {Applications and Theory of Petri Nets 2005, 26th International Conference,
{ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3536},
pages = {17--25},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494744\_3},
doi = {10.1007/11494744\_3},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/PincusW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissas/Wing05,
author = {Jeannette M. Wing},
editor = {Edmund M. Clarke and
Marius Minea and
Ferucio Laurentiu Tiplea},
title = {Scenario Graphs Applied to Security (Extended Abstract)},
booktitle = {Verification of Infinite-State Systems with Applications to Security,
Proceedings of the {NATO} Advanced Research Workshop "Verification
of Infinite State Systems with Applications to Security {VISSAS} 2005",
Timisoara, Romania, March 17-22, 2005},
series = {{NATO} Security through Science Series {D:} Information and Communication
Security},
volume = {1},
pages = {229--234},
publisher = {{IOS} Press},
year = {2005},
timestamp = {Thu, 07 Sep 2006 10:46:10 +0200},
biburl = {https://dblp.org/rec/conf/vissas/Wing05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeesp/Wing03,
author = {Jeannette M. Wing},
title = {A Call to Action: Look Beyond the Horizon},
journal = {{IEEE} Secur. Priv.},
volume = {1},
number = {6},
pages = {62--67},
year = {2003},
url = {https://doi.org/10.1109/MSECP.2003.1253571},
doi = {10.1109/MSECP.2003.1253571},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieeesp/Wing03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Wing03,
author = {Jeannette M. Wing},
title = {Platitudes and attitudes},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {4},
number = {3},
pages = {261--265},
year = {2003},
url = {https://doi.org/10.1007/s10009-002-0105-2},
doi = {10.1007/S10009-002-0105-2},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Wing03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/SheynerW03,
author = {Oleg Sheyner and
Jeannette M. Wing},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Tools for Generating and Analyzing Attack Graphs},
booktitle = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
pages = {344--372},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-30101-1\_17},
doi = {10.1007/978-3-540-30101-1\_17},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/SheynerW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/JhaSW02,
author = {Somesh Jha and
Oleg Sheyner and
Jeannette M. Wing},
title = {Two Formal Analys s of Attack Graphs},
booktitle = {15th {IEEE} Computer Security Foundations Workshop {(CSFW-15} 2002),
24-26 June 2002, Cape Breton, Nova Scotia, Canada},
pages = {49--63},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/CSFW.2002.1021806},
doi = {10.1109/CSFW.2002.1021806},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/JhaSW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Wing02,
author = {Jeannette M. Wing},
editor = {Eerke A. Boiten and
Bernhard M{\"{o}}ller},
title = {Mathematics in Computer Science Curricula},
booktitle = {Mathematics of Program Construction, 6th International Conference,
{MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2386},
pages = {22},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45442-X\_3},
doi = {10.1007/3-540-45442-X\_3},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Wing02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sisw/WongWW02,
author = {Theodore M. Wong and
Chenxi Wang and
Jeannette M. Wing},
title = {Verifiable Secret Redistribution for Archive System},
booktitle = {Proceedings of the First International {IEEE} Security in Storage
Workshop, {SISW} 2002, Greenbelt, Maryland, USA, December 11, 2002},
pages = {94--106},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/SISW.2002.1183515},
doi = {10.1109/SISW.2002.1183515},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sisw/WongWW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/SheynerHJLW02,
author = {Oleg Sheyner and
Joshua W. Haines and
Somesh Jha and
Richard Lippmann and
Jeannette M. Wing},
title = {Automated Generation and Analysis of Attack Graphs},
booktitle = {2002 {IEEE} Symposium on Security and Privacy, Berkeley, California,
USA, May 12-15, 2002},
pages = {273--284},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/SECPRI.2002.1004377},
doi = {10.1109/SECPRI.2002.1004377},
timestamp = {Thu, 21 Sep 2023 15:57:30 +0200},
biburl = {https://dblp.org/rec/conf/sp/SheynerHJLW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/Wing02,
author = {Jeannette M. Wing},
title = {Vulnerability Analysis of Networked Systems},
booktitle = {11th {IEEE} International Workshops on Enabling Technologies: Infrastructure
for Collaborative Enterprises {(WETICE} 2002), 10-12 June 2002, Pittsburgh,
PA, {USA}},
pages = {4},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.ieeecomputersociety.org/10.1109/WETICE.2002.10000},
doi = {10.1109/WETICE.2002.10000},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wetice/Wing02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Wing01,
author = {Jeannette M. Wing},
editor = {Myungchul Kim and
Byoungmoon Chin and
Sungwon Kang and
Danhyung Lee},
title = {Survivability Analysis of Networked Systems},
booktitle = {Formal Techniques for Networked and Distributed Systems, {FORTE} 2001,
{IFIP} {TC6/WG6.1} - 21\({}^{\mbox{st}}\) International Conference
on Formal Techniques for Networked and Distributed Systems, August
28-31, 2001, Cheju Island, Korea},
series = {{IFIP} Conference Proceedings},
volume = {197},
pages = {459},
publisher = {Kluwer},
year = {2001},
timestamp = {Mon, 05 Oct 2020 12:53:08 +0200},
biburl = {https://dblp.org/rec/conf/forte/Wing01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/JhaW01,
author = {Somesh Jha and
Jeannette M. Wing},
editor = {Hausi A. M{\"{u}}ller and
Mary Jean Harrold and
Wilhelm Sch{\"{a}}fer},
title = {Survivability Analysis of Network Systems},
booktitle = {Proceedings of the 23rd International Conference on Software Engineering,
{ICSE} 2001, 12-19 May 2001, Toronto, Ontario, Canada},
pages = {307--317},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICSE.2001.919104},
doi = {10.1109/ICSE.2001.919104},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/JhaW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/WingW00,
author = {Jeannette M. Wing and
Jim Woodcock},
title = {The First World Congress on Formal Methods in the Development of Computing
Systems},
journal = {Formal Aspects Comput.},
volume = {12},
number = {3},
pages = {145--146},
year = {2000},
url = {https://doi.org/10.1007/PL00011167},
doi = {10.1007/PL00011167},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/WingW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/WingW00,
author = {Jeannette M. Wing and
Jim Woodcock},
title = {Introduction: Special Issues for FM'99, the First World Congress on
Formal Methods in the Development of Computing Systems},
journal = {Formal Methods Syst. Des.},
volume = {17},
number = {3},
pages = {199--200},
year = {2000},
url = {https://doi.org/10.1023/A:1026521916117},
doi = {10.1023/A:1026521916117},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/WingW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WingO00,
author = {Jeannette M. Wing and
John Ockerbloom},
title = {Respectful Type Converters},
journal = {{IEEE} Trans. Software Eng.},
volume = {26},
number = {7},
pages = {579--593},
year = {2000},
url = {https://doi.org/10.1109/32.859529},
doi = {10.1109/32.859529},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/WingO00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WingW00,
author = {Jeannette M. Wing and
Jim Woodcock},
title = {Guest Editors' Introduction-Special Issues for {FM} '99: The First
World Congress On Formal Methods in the Development of Computing Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {26},
number = {8},
pages = {673--674},
year = {2000},
url = {https://doi.org/10.1109/TSE.2000.879806},
doi = {10.1109/TSE.2000.879806},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/WingW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Wing00,
author = {Jeannette M. Wing},
editor = {Teodor Rus},
title = {Invited Talk: Weaving Formal Methods into the Undergraduate Computer
Science Curriculum},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {2--9},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_2},
doi = {10.1007/3-540-45499-3\_2},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/Wing00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/Wing00,
author = {Jeannette M. Wing},
title = {Survivability Analysis of Networked Systems},
booktitle = {7th Asia-Pacific Software Engineering Conference {(APSEC} 2000), 5-8
December 2000, Singapore},
pages = {6--7},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.ieeecomputersociety.org/10.1109/APSEC.2000.10010},
doi = {10.1109/APSEC.2000.10010},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/Wing00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/JhaWLL00,
author = {Somesh Jha and
Jeannette M. Wing and
Richard C. Linger and
Thomas A. Longstaff},
title = {Survivability Analysis of Network Specifications},
booktitle = {2000 International Conference on Dependable Systems and Networks {(DSN}
2000) (formerly {FTCS-30} and DCCA-8), 25-28 June 2000, New York,
NY, {USA}},
pages = {613--622},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICDSN.2000.857597},
doi = {10.1109/ICDSN.2000.857597},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/JhaWLL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/JacksonNW99,
author = {Daniel Jackson and
Yu{-}Chung Ng and
Jeannette M. Wing},
title = {A Nitpick Analysis of Mobile IPv6},
journal = {Formal Aspects Comput.},
volume = {11},
number = {6},
pages = {591--615},
year = {1999},
url = {https://doi.org/10.1007/s001659970001},
doi = {10.1007/S001659970001},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/JacksonNW99.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}
}
@proceedings{DBLP:conf/fm/1999-1,
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {I}},
series = {Lecture Notes in Computer Science},
volume = {1708},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48119-2},
doi = {10.1007/3-540-48119-2},
isbn = {3-540-66587-0},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/1999-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/1999-2,
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1709},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48118-4},
doi = {10.1007/3-540-48118-4},
isbn = {3-540-66588-9},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/1999-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LeavensW98,
author = {Gary T. Leavens and
Jeannette M. Wing},
title = {Protective Interface Specifications},
journal = {Formal Aspects Comput.},
volume = {10},
number = {1},
pages = {59--75},
year = {1998},
url = {https://doi.org/10.1007/PL00003926},
doi = {10.1007/PL00003926},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LeavensW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/Wing98,
author = {Jeannette M. Wing},
editor = {Jieh Hsiang and
Atsushi Ohori},
title = {Formal Methods: Past, Present, and Future (Abstract)},
booktitle = {Advances in Computing Science - {ASIAN} '98, 4th Asian Computing Science
Conference, Manila, The Philippines, December 8-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1538},
pages = {224},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49366-2\_17},
doi = {10.1007/3-540-49366-2\_17},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/Wing98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/VaziriLW98,
author = {Mandana Vaziri and
Nancy A. Lynch and
Jeannette M. Wing},
title = {Proving Correctness of a Controller Algorithm for the {RAID} Level
5 System},
booktitle = {Digest of Papers: FTCS-28, The Twenty-Eigth Annual International Symposium
on Fault-Tolerant Computing, Munich, Germany, June 23-25, 1998},
pages = {16--25},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/FTCS.1998.689451},
doi = {10.1109/FTCS.1998.689451},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftcs/VaziriLW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/WingV97,
author = {Jeannette M. Wing and
Mandana Vaziri},
title = {A Case study in Model Checking Software Systems},
journal = {Sci. Comput. Program.},
volume = {28},
number = {2-3},
pages = {273--299},
year = {1997},
url = {https://doi.org/10.1016/S0167-6423(96)00020-2},
doi = {10.1016/S0167-6423(96)00020-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/WingV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/ZaremskiW97,
author = {Amy Moormann Zaremski and
Jeannette M. Wing},
title = {Specification Matching of Software Components},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {6},
number = {4},
pages = {333--369},
year = {1997},
url = {https://doi.org/10.1145/261640.261641},
doi = {10.1145/261640.261641},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/ZaremskiW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/LeavensW97,
author = {Gary T. Leavens and
Jeannette M. Wing},
editor = {Michel Bidoit and
Max Dauchet},
title = {Protective Interface Specifications},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {520--534},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030623},
doi = {10.1007/BFB0030623},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/LeavensW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BowenBDGGHHHJJLPRWZ96,
author = {Jonathan P. Bowen and
Ricky W. Butler and
David L. Dill and
Robert L. Glass and
David Gries and
Anthony Hall and
Michael G. Hinchey and
C. Michael Holloway and
Daniel Jackson and
Cliff B. Jones and
Michael J. Lutz and
David Lorge Parnas and
John M. Rushby and
Jeannette M. Wing and
Pamela Zave},
title = {An Invitation to Formal Methods},
journal = {Computer},
volume = {29},
number = {4},
pages = {16--30},
year = {1996},
url = {https://doi.org/10.1109/MC.1996.488298},
doi = {10.1109/MC.1996.488298},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BowenBDGGHHHJJLPRWZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/ClarkeW96a,
author = {Edmund M. Clarke and
Jeannette M. Wing},
title = {Tools and Partial Analysis},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {116},
year = {1996},
url = {https://doi.org/10.1145/242224.242374},
doi = {10.1145/242224.242374},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/ClarkeW96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/ClarkeW96,
author = {Edmund M. Clarke and
Jeannette M. Wing},
title = {Formal Methods: State of the Art and Future Directions},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4},
pages = {626--643},
year = {1996},
url = {https://doi.org/10.1145/242223.242257},
doi = {10.1145/242223.242257},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/ClarkeW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/ZaremskiW95,
author = {Amy Moormann Zaremski and
Jeannette M. Wing},
title = {Signature Matching: {A} Tool for Using Software Libraries},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {4},
number = {2},
pages = {146--170},
year = {1995},
url = {https://doi.org/10.1145/210134.210179},
doi = {10.1145/210134.210179},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/ZaremskiW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Wing95,
author = {Jeannette M. Wing},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Teaching Mathematics to Software Engineers},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {18--40},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_44},
doi = {10.1007/3-540-60043-4\_44},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/Wing95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/GarlanBJTW95,
author = {David Garlan and
Alan W. Brown and
Daniel Jackson and
James E. Tomayko and
Jeannette M. Wing},
editor = {Rosalind L. Ibrahim},
title = {The {CMU} Master of Software Engineering Core Curriculum},
booktitle = {Software Engineering Education, 8th {SEI} {CSEE} Conference, New Orleans,
LA, USA, March 29 - April 1, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {895},
pages = {65--86},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-58951-1\_93},
doi = {10.1007/3-540-58951-1\_93},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/csee/GarlanBJTW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/WingS95,
author = {Jeannette M. Wing and
David C. Steere},
title = {Specifying Weak Sets},
booktitle = {Proceedings of the 15th International Conference on Distributed Computing
Systems, Vancouver, British Columbia, Canada, May 30 - June 2, 1995},
pages = {414--421},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICDCS.1995.500046},
doi = {10.1109/ICDCS.1995.500046},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/WingS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ZaremskiW95,
author = {Amy Moormann Zaremski and
Jeannette M. Wing},
editor = {Gail E. Kaiser},
title = {Specification Matching of Software Components},
booktitle = {Proceedings of the Third {ACM} {SIGSOFT} Symposium on Foundations
of Software Engineering, {SIGSOFT} 1995, Washington, DC, USA, October
10-13, 1995},
pages = {6--17},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/222124.222135},
doi = {10.1145/222124.222135},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/ZaremskiW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WingV95,
author = {Jeannette M. Wing and
Mandana Vaziri},
editor = {Gail E. Kaiser},
title = {Model Checking Software Systems: {A} Case Study},
booktitle = {Proceedings of the Third {ACM} {SIGSOFT} Symposium on Foundations
of Software Engineering, {SIGSOFT} 1995, Washington, DC, USA, October
10-13, 1995},
pages = {128--139},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/222124.222148},
doi = {10.1145/222124.222148},
timestamp = {Tue, 27 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/WingV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/LiskovW95,
author = {Barbara Liskov and
Jeannette M. Wing},
editor = {Jonathan P. Bowen and
Michael G. Hinchey},
title = {Specifications and Their Use in Defining Subtypes},
booktitle = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {967},
pages = {245--263},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60271-2\_124},
doi = {10.1007/3-540-60271-2\_124},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/zum/LiskovW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Wing95,
author = {Jeannette M. Wing},
editor = {Jonathan P. Bowen and
Michael G. Hinchey},
title = {Hints for Writing Specifications},
booktitle = {{ZUM} '95: The {Z} Formal Specification Notation, 9th International
Conference of {Z} Users, Limerick, Ireland, September 7-9, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {967},
pages = {497},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60271-2\_139},
doi = {10.1007/3-540-60271-2\_139},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/Wing95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HainesKMNW94,
author = {Nicholas Haines and
Darrell Kindred and
J. Gregory Morrisett and
Scott Nettles and
Jeannette M. Wing},
title = {Composing First-Class Transactions},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {6},
pages = {1719--1736},
year = {1994},
url = {https://doi.org/10.1145/197320.197346},
doi = {10.1145/197320.197346},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HainesKMNW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LiskovW94,
author = {Barbara Liskov and
Jeannette M. Wing},
title = {A Behavioral Notion of Subtyping},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {6},
pages = {1811--1841},
year = {1994},
url = {https://doi.org/10.1145/197320.197383},
doi = {10.1145/197320.197383},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/LiskovW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/MummertWS94,
author = {Lily B. Mummert and
Jeannette M. Wing and
Mahadev Satyanarayanan},
editor = {James H. Anderson and
David Peleg and
Elizabeth Borowsky},
title = {Using Belief to Reason about Cache Coherence},
booktitle = {Proceedings of the Thirteenth Annual {ACM} Symposium on Principles
of Distributed Computing, Los Angeles, California, USA, August 14-17,
1994},
pages = {71--80},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/197917.197955},
doi = {10.1145/197917.197955},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/MummertWS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/SteereSW94,
author = {David C. Steere and
Mahadev Satyanarayanan and
Jeannette M. Wing},
editor = {James H. Anderson and
David Peleg and
Elizabeth Borowsky},
title = {Dynamic Sets for Search},
booktitle = {Proceedings of the Thirteenth Annual {ACM} Symposium on Principles
of Distributed Computing, Los Angeles, California, USA, August 14-17,
1994},
pages = {397},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/197917.198177},
doi = {10.1145/197917.198177},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/SteereSW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/idl/1994,
editor = {Jeannette M. Wing and
Richard L. Wexelblat},
title = {Proceedings of the Workshop on Interface Definition Languages, January
20, 1994, Portland, Oregon, USA, in conjunction with {POPL} 1994},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/185084},
doi = {10.1145/185084},
timestamp = {Fri, 09 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/idl/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/mcs/GuttagHGJMW93,
author = {John V. Guttag and
James J. Horning and
Stephen J. Garland and
Kevin D. Jones and
A. Modet and
Jeannette M. Wing},
title = {Larch: Languages and Tools for Formal Specification},
series = {Texts and Monographs in Computer Science},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4612-2704-5},
doi = {10.1007/978-1-4612-2704-5},
isbn = {978-1-4612-7636-4},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/mcs/GuttagHGJMW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/WingG93,
author = {Jeannette M. Wing and
Chun Gong},
title = {Testing and Verifying Concurrent Objects},
journal = {J. Parallel Distributed Comput.},
volume = {17},
number = {1-2},
pages = {164--182},
year = {1993},
url = {https://doi.org/10.1006/jpdc.1993.1015},
doi = {10.1006/JPDC.1993.1015},
timestamp = {Wed, 14 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jpdc/WingG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LiskovW93,
author = {Barbara Liskov and
Jeannette M. Wing},
editor = {Oscar Nierstrasz},
title = {A New Definition of the Subtype Relation},
booktitle = {ECOOP'93 - Object-Oriented Programming, 7th European Conference, Kaiserslautern,
Germany, July 26-30, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {707},
pages = {118--141},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-47910-4\_8},
doi = {10.1007/3-540-47910-4\_8},
timestamp = {Sun, 02 Jun 2019 21:16:57 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/LiskovW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/Wing93,
author = {Jeannette M. Wing},
editor = {Rachid Guerraoui and
Oscar Nierstrasz and
Michel Riveill},
title = {Decomposing and Recomposing Transactional Concepts},
booktitle = {Object-Based Distributed Programming, {ECOOP} '93 Workshop, Kaiserslautern,
Germany, July 26-27, 1993},
series = {Lecture Notes in Computer Science},
volume = {791},
pages = {111--121},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0017537},
doi = {10.1007/BFB0017537},
timestamp = {Wed, 07 Dec 2022 23:14:07 +0100},
biburl = {https://dblp.org/rec/conf/ecoopw/Wing93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LiskovW93,
author = {Barbara Liskov and
Jeannette M. Wing},
editor = {Timlynn Babitsky and
Jim Salmons},
title = {Specifications and Their Use in Defining Subtypes},
booktitle = {Proceedings of the Eighth Annual Conference on Object-Oriented Programming
Systems, Languages, and Applications, {OOPSLA} 1993, Washington, DC,
USA, September 26 - October 1, 1993},
pages = {16--28},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165854.165863},
doi = {10.1145/165854.165863},
timestamp = {Wed, 30 Mar 2022 13:56:34 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/LiskovW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ZaremskiW93,
author = {Amy Moormann Zaremski and
Jeannette M. Wing},
editor = {David Notkin},
title = {Signature Matching: {A} Key to Reuse},
booktitle = {Proceedings of the First {ACM} {SIGSOFT} Symposium on Foundations
of Software Engineering, {SIGSOFT} 1993, Los Angeles, California,
USA, December 7-10, 1993},
pages = {182--190},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/256428.167077},
doi = {10.1145/256428.167077},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/ZaremskiW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/larch/1992,
editor = {Ursula Martin and
Jeannette M. Wing},
title = {First International Workshop on Larch, Proceedings of the first First
International Workshop on Larch, Dedham, Massachusetts, USA, 13-15
July 1992},
series = {Workshops in Computing},
publisher = {Springer},
year = {1993},
isbn = {3-540-19804-0},
timestamp = {Thu, 20 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/larch/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/larch/WingRZ92,
author = {Jeannette M. Wing and
Eugene J. Rollins and
Amy Moormann Zaremski},
editor = {Ursula Martin and
Jeannette M. Wing},
title = {Thoughts on a Larch/ML and a New Application for {LP}},
booktitle = {First International Workshop on Larch, Proceedings of the first First
International Workshop on Larch, Dedham, Massachusetts, USA, 13-15
July 1992},
series = {Workshops in Computing},
pages = {297--312},
publisher = {Springer},
year = {1992},
timestamp = {Thu, 20 Feb 2003 11:29:44 +0100},
biburl = {https://dblp.org/rec/conf/larch/WingRZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Wing92,
author = {Jeannette M. Wing},
title = {Specification in Software Development},
booktitle = {Proceedings of the Seventh Annual Symposium on Logic in Computer Science
{(LICS} '92), Santa Cruz, California, USA, June 22-25, 1992},
pages = {112},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/LICS.1992.185525},
doi = {10.1109/LICS.1992.185525},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Wing92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/Wing92,
author = {Jeannette M. Wing},
editor = {Cliff B. Jones and
Roger C. Shaw and
B. Tim Denvir},
title = {Revisiting Abstraction Functions For Reasoning About Concurrency},
booktitle = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
organised by BCS-FACS, London, 8-10 January 1992},
series = {Workshops in Computing},
pages = {298--300},
publisher = {Springer London},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3550-0\_15},
doi = {10.1007/978-1-4471-3550-0\_15},
timestamp = {Tue, 20 Aug 2019 12:53:32 +0200},
biburl = {https://dblp.org/rec/conf/refine/Wing92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/HerlihyW91,
author = {Maurice Herlihy and
Jeannette M. Wing},
title = {Specifying Graceful Degradation},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {2},
number = {1},
pages = {93--104},
year = {1991},
url = {https://doi.org/10.1109/71.80192},
doi = {10.1109/71.80192},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/HerlihyW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/WingZ91,
author = {Jeannette M. Wing and
Amy Moormann Zaremski},
editor = {S{\o}ren Prehn and
W. J. Toetenel},
title = {Unintrusive Ways to Integrate Formal Specifications in Practice},
booktitle = {{VDM} '91 - Formal Software Development, 4th International Symposium
of {VDM} Europe, Noordwijkerhout, The Netherlands, October 21-25,
1991, Proceedings, Volume 1: Conference Contributions},
series = {Lecture Notes in Computer Science},
volume = {551},
pages = {545--569},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54834-3\_32},
doi = {10.1007/3-540-54834-3\_32},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/WingZ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/RollinsW91,
author = {Eugene J. Rollins and
Jeannette M. Wing},
editor = {Koichi Furukawa},
title = {Specifications as Search Keys for Software Libraries},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {173--187},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/RollinsW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/WingZ91,
author = {Jeannette M. Wing and
Amy Moormann Zaremski},
editor = {Jean{-}Pierre Finance and
Carlo Ghezzi and
Gruia{-}Catalin Roman},
title = {A formal specification of a visual language editor},
booktitle = {Proceedings of the 6th International Workshop on Software Specification
and Design, {IWSSD} 1991, Como, Italy, October 25-26, 1991},
pages = {120--129},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://dl.acm.org/doi/10.5555/952786.952805},
doi = {10.5555/952786.952805},
timestamp = {Fri, 13 May 2022 15:04:49 +0200},
biburl = {https://dblp.org/rec/conf/iwssd/WingZ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Wing90,
author = {Jeannette M. Wing},
title = {A Specifier's Introduction to Formal Methods},
journal = {Computer},
volume = {23},
number = {9},
pages = {8--24},
year = {1990},
url = {https://doi.org/10.1109/2.58215},
doi = {10.1109/2.58215},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Wing90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HerlihyW90,
author = {Maurice Herlihy and
Jeannette M. Wing},
title = {Linearizability: {A} Correctness Condition for Concurrent Objects},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {12},
number = {3},
pages = {463--492},
year = {1990},
url = {https://doi.org/10.1145/78969.78972},
doi = {10.1145/78969.78972},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HerlihyW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Wing90,
author = {Jeannette M. Wing},
title = {Using Larch to Specify Avalon/C++ Objects},
journal = {{IEEE} Trans. Software Eng.},
volume = {16},
number = {9},
pages = {1076--1088},
year = {1990},
url = {https://doi.org/10.1109/32.58791},
doi = {10.1109/32.58791},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Wing90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HeydonMTWZ90,
author = {Allan Heydon and
Mark W. Maimone and
J. D. Tygar and
Jeannette M. Wing and
Amy Moormann Zaremski},
title = {Mir{\'{o}}: Visual Specification of Security},
journal = {{IEEE} Trans. Software Eng.},
volume = {16},
number = {10},
pages = {1185--1197},
year = {1990},
url = {https://doi.org/10.1109/32.60298},
doi = {10.1109/32.60298},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HeydonMTWZ90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmsd/WingG90,
author = {Jeannette M. Wing and
Chun Gong},
editor = {Mark Moriconi},
title = {Experience with the Larch Prover},
booktitle = {Conference proceedings on Formal methods in software development,
Napa, California, USA, May 9-11, 1990},
pages = {140--143},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/99569.99835},
doi = {10.1145/99569.99835},
timestamp = {Thu, 17 Feb 2022 09:26:24 +0100},
biburl = {https://dblp.org/rec/conf/fmsd/WingG90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/BarbacciW90,
author = {Mario Barbacci and
Jeannette M. Wing},
title = {A Language for Distributed Applications},
booktitle = {1990 Internation Conference on Computer Languages, March 12-15 1990,
New Orleans, Louisiana, {USA}},
pages = {59--68},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/ICCL.1990.63761},
doi = {10.1109/ICCL.1990.63761},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccl/BarbacciW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/ClamenLNW90,
author = {Stewart M. Clamen and
Linda D. Leibengood and
Scott Nettles and
Jeannette M. Wing},
title = {Reliable Distributed Computing with Avalon/Common Lisp},
booktitle = {1990 Internation Conference on Computer Languages, March 12-15 1990,
New Orleans, Louisiana, {USA}},
pages = {169--179},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/ICCL.1990.63772},
doi = {10.1109/ICCL.1990.63772},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccl/ClamenLNW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csys/BarbacciDWW89,
author = {Mario Barbacci and
Dennis L. Doubleday and
Charles B. Weinstock and
Jeannette M. Wing},
title = {Developing Applications for Heterogeneous Machine Networks: The Durra
Network},
journal = {Comput. Syst.},
volume = {2},
number = {1},
pages = {7--35},
year = {1989},
url = {http://www.usenix.org/publications/compsystems/1989/win\_barbacci.pdf},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csys/BarbacciDWW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/Wing89,
author = {Jeannette M. Wing},
title = {Verifying atomic data types},
journal = {Int. J. Parallel Program.},
volume = {18},
number = {5},
pages = {315--357},
year = {1989},
url = {https://doi.org/10.1007/BF01379184},
doi = {10.1007/BF01379184},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/Wing89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WingN89,
author = {Jeannette M. Wing and
Mark R. Nixon},
title = {Extending Ina Jo with Temporal Logic},
journal = {{IEEE} Trans. Software Eng.},
volume = {15},
number = {2},
pages = {181--197},
year = {1989},
url = {https://doi.org/10.1109/32.21744},
doi = {10.1109/32.21744},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/WingN89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/HerlihyW89,
author = {Maurice Herlihy and
Jeannette M. Wing},
title = {Specifying Security Constraints with Relaxation Lattices},
booktitle = {Second {IEEE} Computer Security Foundations Workshop - CSFW'89, Franconia,
New Hampshire, USA, June 11-14, 1989, Proceedings},
pages = {47--53},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/CSFW.1989.40586},
doi = {10.1109/CSFW.1989.40586},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/csfw/HerlihyW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/HeydonMTWZ89,
author = {Allan Heydon and
Mark W. Maimone and
J. D. Tygar and
Jeannette M. Wing and
Amy Moormann Zaremski},
editor = {Gerhard X. Ritter},
title = {Constraining Pictures with Pictures},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {157--162},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Wed, 02 Feb 2022 21:17:54 +0100},
biburl = {https://dblp.org/rec/conf/ifip/HeydonMTWZ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ZdonikBSW89,
author = {Stanley B. Zdonik and
Toby Bloom and
David W. Stemple and
Jeannette M. Wing},
editor = {George Bosworth},
title = {Panel on Transactions in Object-Oriented Systems},
booktitle = {Conference on Object-Oriented Programming: Systems, Languages, and
Applications, {OOPSLA} 1989, New Orleans, Louisiana, USA, October
1-6, 1989, Proceedings},
pages = {473--476},
publisher = {{ACM}},
year = {1989},
timestamp = {Wed, 30 Mar 2022 13:54:19 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ZdonikBSW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/Wing89,
author = {Jeannette M. Wing},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Verifying Atomic Data Types},
booktitle = {Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness,
{REX} Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {430},
pages = {731--758},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52559-9\_85},
doi = {10.1007/3-540-52559-9\_85},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/rex/Wing89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Wing89,
author = {Jeannette M. Wing},
editor = {Josep D{\'{\i}}az and
Fernando Orejas},
title = {Specifying Avalon Objects in Larch},
booktitle = {TAPSOFT'89: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Barcelona, Spain, March 13-17,
1989, Volume 2: Advanced Seminar on Foundations of Innovative Software
Development {II} and Colloquium on Current Issues in Programming Languages
{(CCIPL)}},
series = {Lecture Notes in Computer Science},
volume = {352},
pages = {61--80},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-50940-2\_28},
doi = {10.1007/3-540-50940-2\_28},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Wing89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/HeydonMTWZ89,
author = {Allan Heydon and
Mark W. Maimone and
J. Doug Tygar and
Jeannette M. Wing and
Amy Moormann Zaremski},
title = {Micro tools},
booktitle = {{IEEE} Workshop on Visual Languages, {VL} 1989, Rome, Italy, October
4-6, 1989},
pages = {86--91},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/WVL.1989.77047},
doi = {10.1109/WVL.1989.77047},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/HeydonMTWZ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/DetlefsHW88,
author = {David Detlefs and
Maurice Herlihy and
Jeannette M. Wing},
title = {Inheritance of Synchronization and Recovery Properties in Avalon/C++},
journal = {Computer},
volume = {21},
number = {12},
pages = {57--69},
year = {1988},
url = {https://doi.org/10.1109/2.16189},
doi = {10.1109/2.16189},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/DetlefsHW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Wing88,
author = {Jeannette M. Wing},
title = {A Study of 12 Specifications of the Library Problem},
journal = {{IEEE} Softw.},
volume = {5},
number = {4},
pages = {66--76},
year = {1988},
url = {https://doi.org/10.1109/52.17803},
doi = {10.1109/52.17803},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Wing88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/HerlihyW88,
author = {Maurice Herlihy and
Jeannette M. Wing},
editor = {Mathai Joseph},
title = {Reasoning about Atomic Objects},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
of a Symposium, Warwick, UK, September 22-23, 1988},
series = {Lecture Notes in Computer Science},
volume = {331},
pages = {193--208},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50302-1\_14},
doi = {10.1007/3-540-50302-1\_14},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/HerlihyW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BarbacciWW88,
author = {Mario Barbacci and
Charles B. Weinstock and
Jeannette M. Wing},
editor = {Tan Chin Nam and
Larry E. Druffel and
Bertrand Meyer},
title = {Programming at the Processor-Memory-Switch Level},
booktitle = {Proceedings, 10th International Conference on Software Engineering,
Singapore, Singapore, April 11-15, 1988},
pages = {19--29},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {http://dl.acm.org/citation.cfm?id=55826},
timestamp = {Mon, 30 Oct 2017 11:35:10 +0100},
biburl = {https://dblp.org/rec/conf/icse/BarbacciWW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/MaimoneTW88,
author = {Mark W. Maimone and
J. Doug Tygar and
Jeannette M. Wing},
title = {Miro semantics for security},
booktitle = {{IEEE} Workshop on Visual Languages, {VL} 1988, Pittsburgh, PA, USA,
October 10-12, 1988},
pages = {45--51},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/WVL.1988.18009},
doi = {10.1109/WVL.1988.18009},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/MaimoneTW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/sigplan/HerlihyW89,
author = {Maurice Herlihy and
Jeannette M. Wing},
editor = {Gul Agha and
Peter Wegner and
Akinori Yonezawa},
title = {Linearizable concurrent objects},
booktitle = {Proceedings of the 1988 {ACM} {SIGPLAN} Workshop on Object-based Concurrent
Programming, {OOPSLA/ECOOP} Workshop on Object-based Concurrent Programming
1988, San Diego, CA, USA, September 26-27, 1988},
pages = {133--135},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/67386.67423},
doi = {10.1145/67386.67423},
timestamp = {Fri, 06 May 2022 15:17:11 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/HerlihyW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Wing87,
author = {Jeannette M. Wing},
title = {Writing Larch Interface Language Specifications},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {9},
number = {1},
pages = {1--24},
year = {1987},
url = {https://doi.org/10.1145/9758.10500},
doi = {10.1145/9758.10500},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Wing87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/c++/DetlefsHKW87,
author = {David Detlefs and
Maurice Herlihy and
K. Kietzke and
Jeannette M. Wing},
title = {Avalon/C++},
booktitle = {Proceedings of the {C++} Workshop. Santa Fe, NM, USA, November 1987},
pages = {451--459},
publisher = {{USENIX} Association},
year = {1987},
timestamp = {Thu, 15 May 2014 18:36:25 +0200},
biburl = {https://dblp.org/rec/conf/c++/DetlefsHKW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/BarbacciW87,
author = {Mario Barbacci and
Jeannette M. Wing},
title = {{DURRA} : {A} Task-Level Description Language},
booktitle = {International Conference on Parallel Processing, ICPP'87, University
Park, PA, USA, August 1987},
pages = {370--376},
publisher = {Pennsylvania State University Press},
year = {1987},
timestamp = {Mon, 28 Jul 2014 17:06:01 +0200},
biburl = {https://dblp.org/rec/conf/icpp/BarbacciW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/BarbacciW87,
author = {Mario Barbacci and
Jeannette M. Wing},
editor = {J. W. de Bakker and
A. J. Nijman and
Philip C. Treleaven},
title = {Specifying Functional and Timing Behavior for Real-Time Applications},
booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel
Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {259},
pages = {124--140},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-17945-3\_7},
doi = {10.1007/3-540-17945-3\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/parle/BarbacciW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/HerlihyW87,
author = {Maurice Herlihy and
Jeannette M. Wing},
editor = {Fred B. Schneider},
title = {Specifying Graceful Degradation in Distributed Systems},
booktitle = {Proceedings of the Sixth Annual {ACM} Symposium on Principles of Distributed
Computing, Vancouver, British Columbia, Canada, August 10-12, 1987},
pages = {167--177},
publisher = {{ACM}},
year = {1987},
url = {https://doi.org/10.1145/41840.41854},
doi = {10.1145/41840.41854},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/HerlihyW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HerlihyW87,
author = {Maurice Herlihy and
Jeannette M. Wing},
title = {Axioms for Concurrent Objects},
booktitle = {Conference Record of the Fourteenth Annual {ACM} Symposium on Principles
of Programming Languages, Munich, Germany, January 21-23, 1987},
pages = {13--26},
publisher = {{ACM} Press},
year = {1987},
url = {https://doi.org/10.1145/41625.41627},
doi = {10.1145/41625.41627},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/HerlihyW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/GuttagHW86,
author = {John V. Guttag and
James J. Horning and
Jeannette M. Wing},
title = {Abstracts in software engineering},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {11},
number = {1},
pages = {103--110},
year = {1986},
url = {https://doi.org/10.1145/382300.382317},
doi = {10.1145/382300.382317},
timestamp = {Wed, 02 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/GuttagHW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/WingN86,
author = {Jeannette M. Wing and
Mark R. Nixon},
title = {Extending Ina Jo with Temporal Logic},
booktitle = {Proceedings of the 1986 {IEEE} Symposium on Security and Privacy,
Oakland, California, USA, April 7-9, 1986},
pages = {2--13},
publisher = {{IEEE} Computer Society},
year = {1986},
url = {https://doi.org/10.1109/SP.1986.10015},
doi = {10.1109/SP.1986.10015},
timestamp = {Thu, 21 Sep 2023 15:57:33 +0200},
biburl = {https://dblp.org/rec/conf/sp/WingN86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Wing85,
author = {Jeannette M. Wing},
title = {Beyond functional behavior: combining methods to specify different
classes of properties of large systems},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {10},
number = {4},
pages = {102--104},
year = {1985},
url = {https://doi.org/10.1145/1012497.1012540},
doi = {10.1145/1012497.1012540},
timestamp = {Thu, 03 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/Wing85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/GuttagHW85,
author = {John V. Guttag and
James J. Horning and
Jeannette M. Wing},
title = {The Larch Family of Specification Languages},
journal = {{IEEE} Softw.},
volume = {2},
number = {5},
pages = {24--36},
year = {1985},
url = {https://doi.org/10.1109/MS.1985.231756},
doi = {10.1109/MS.1985.231756},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/GuttagHW85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BerryW85,
author = {Daniel M. Berry and
Jeannette M. Wing},
editor = {Hartmut Ehrig and
Christiane Floyd and
Maurice Nivat and
James W. Thatcher},
title = {Specification and Prototyping: Some Thoughts on Why They Are Successful},
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 = {117--128},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15199-0\_8},
doi = {10.1007/3-540-15199-0\_8},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BerryW85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GuttagHW82,
author = {John V. Guttag and
James J. Horning and
Jeannette M. Wing},
title = {Some Notes on Putting Formal Specifications to Productive Use},
journal = {Sci. Comput. Program.},
volume = {2},
number = {1},
pages = {53--68},
year = {1982},
url = {https://doi.org/10.1016/0167-6423(82)90004-1},
doi = {10.1016/0167-6423(82)90004-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GuttagHW82.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 2023-11-13 23:27 CET 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:
