Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mandana Vaziri
@inproceedings{DBLP:conf/sosp/GuSZJWVLX23,
author = {Jiawei Tyler Gu and
Xudong Sun and
Wentao Zhang and
Yuxuan Jiang and
Chen Wang and
Mandana Vaziri and
Owolabi Legunsen and
Tianyin Xu},
editor = {Jason Flinn and
Margo I. Seltzer and
Peter Druschel and
Antoine Kaufmann and
Jonathan Mace},
title = {Acto: Automatic End-to-End Testing for Operation Correctness of Cloud
System Management},
booktitle = {Proceedings of the 29th Symposium on Operating Systems Principles,
{SOSP} 2023, Koblenz, Germany, October 23-26, 2023},
pages = {96--112},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3600006.3613161},
doi = {10.1145/3600006.3613161},
timestamp = {Tue, 31 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/GuSZJWVLX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BaudartMTV18,
author = {Guillaume Baudart and
Louis Mandel and
Olivier Tardieu and
Mandana Vaziri},
editor = {Guido Salvaneschi and
Wolfgang De Meuter and
Patrick Eugster and
Lukasz Ziarek and
Francisco Sant'Anna},
title = {A reactive language for analyzing cloud logs},
booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} International Workshop on Reactive
and Event-Based Languages and Systems, REBLS@SPLASH 2018, Boston,
MA, USA, November 4, 2018},
pages = {61--70},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3281278.3281280},
doi = {10.1145/3281278.3281280},
timestamp = {Wed, 21 Nov 2018 12:44:12 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/BaudartMTV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/VaziriMSSH17,
author = {Mandana Vaziri and
Louis Mandel and
Avraham Shinnar and
J{\'{e}}r{\^{o}}me Sim{\'{e}}on and
Martin Hirzel},
editor = {Emina Torlak and
Tijs van der Storm and
Robert Biddle},
title = {Generating chat bots from web {API} specifications},
booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} International Symposium on
New Ideas, New Paradigms, and Reflections on Programming and Software,
Onward! 2017, Vancouver, BC, Canada, October 23 - 27, 2017},
pages = {44--57},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3133850.3133864},
doi = {10.1145/3133850.3133864},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/VaziriMSSH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/HirzelMSSV17,
author = {Martin Hirzel and
Louis Mandel and
Avraham Shinnar and
J{\'{e}}r{\^{o}}me Sim{\'{e}}on and
Mandana Vaziri},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {I Can Parse You: Grammars for Dialogs},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {6:1--6:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.6},
doi = {10.4230/LIPICS.SNAPL.2017.6},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/snapl/HirzelMSSV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topc/TardieuHCGKSSTV16,
author = {Olivier Tardieu and
Benjamin Herta and
David Cunningham and
David Grove and
Prabhanjan Kambadur and
Vijay A. Saraswat and
Avraham Shinnar and
Mikio Takeuchi and
Mandana Vaziri and
Wei Zhang},
title = {{X10} and {APGAS} at Petascale},
journal = {{ACM} Trans. Parallel Comput.},
volume = {2},
number = {4},
pages = {25:1--25:32},
year = {2016},
url = {https://doi.org/10.1145/2894746},
doi = {10.1145/2894746},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topc/TardieuHCGKSSTV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/debs/HirzelRSTV16,
author = {Martin Hirzel and
Rodric Rabbah and
Philippe Suter and
Olivier Tardieu and
Mandana Vaziri},
editor = {Avigdor Gal and
Matthias Weidlich and
Vana Kalogeraki and
Nalini Venkasubramanian},
title = {Spreadsheets for stream processing with unbounded windows and partitions},
booktitle = {Proceedings of the 10th {ACM} International Conference on Distributed
and Event-based Systems, {DEBS} '16, Irvine, CA, USA, June 20 - 24,
2016},
pages = {49--60},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933267.2933607},
doi = {10.1145/2933267.2933607},
timestamp = {Fri, 26 May 2023 07:40:34 +0200},
biburl = {https://dblp.org/rec/conf/debs/HirzelRSTV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/JacksonV16,
author = {Daniel Jackson and
Mandana Vaziri},
editor = {Thomas Zimmermann and
Jane Cleland{-}Huang and
Zhendong Su},
title = {Correct or usable? the limits of traditional verification (impact
paper award)},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
November 13-18, 2016},
pages = {11},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2950290.2994161},
doi = {10.1145/2950290.2994161},
timestamp = {Thu, 02 Dec 2021 11:46:17 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/JacksonV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wise/BorneaDFKSV16,
author = {Mihaela A. Bornea and
Julian Dolby and
Achille Fokoue and
Anastasios Kementsietsidis and
Kavitha Srinivas and
Mandana Vaziri},
editor = {Wojciech Cellary and
Mohamed F. Mokbel and
Jianmin Wang and
Hua Wang and
Rui Zhou and
Yanchun Zhang},
title = {An Executable Specification for {SPARQL}},
booktitle = {Web Information Systems Engineering - {WISE} 2016 - 17th International
Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {10042},
pages = {298--305},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48743-4\_24},
doi = {10.1007/978-3-319-48743-4\_24},
timestamp = {Mon, 26 Jun 2023 20:45:55 +0200},
biburl = {https://dblp.org/rec/conf/wise/BorneaDFKSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HirzelRSTV15,
author = {Martin Hirzel and
Rodric Rabbah and
Philippe Suter and
Olivier Tardieu and
Mandana Vaziri},
editor = {Felienne Hermans and
Richard F. Paige and
Peter Sestoft},
title = {Spreadsheets for Stream Partitions and Windows},
booktitle = {Proceedings of the Second Workshop on Software Engineering Methods
in Spreadsheets co-located with the 37th International Conference
on Software Engineering {(ICSE} 2015) , Florence, Italy, May 18, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1355},
pages = {39--40},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1355/paper12.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:12 +0100},
biburl = {https://dblp.org/rec/conf/icse/HirzelRSTV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HirzelRSTV15,
author = {Martin Hirzel and
Rodric Rabbah and
Philippe Suter and
Olivier Tardieu and
Mandana Vaziri},
title = {Spreadsheets for Stream Partitions and Windows},
journal = {CoRR},
volume = {abs/1503.04215},
year = {2015},
url = {http://arxiv.org/abs/1503.04215},
eprinttype = {arXiv},
eprint = {1503.04215},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HirzelRSTV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/VaziriTRSH14,
author = {Mandana Vaziri and
Olivier Tardieu and
Rodric Rabbah and
Philippe Suter and
Martin Hirzel},
editor = {Richard E. Jones},
title = {Stream Processing with a Spreadsheet},
booktitle = {{ECOOP} 2014 - Object-Oriented Programming - 28th European Conference,
Uppsala, Sweden, July 28 - August 1, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8586},
pages = {360--384},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44202-9\_15},
doi = {10.1007/978-3-662-44202-9\_15},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/VaziriTRSH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/TardieuHCGKSSTV14,
author = {Olivier Tardieu and
Benjamin Herta and
David Cunningham and
David Grove and
Prabhanjan Kambadur and
Vijay A. Saraswat and
Avraham Shinnar and
Mikio Takeuchi and
Mandana Vaziri},
editor = {Jos{\'{e}} E. Moreira and
James R. Larus},
title = {{X10} and {APGAS} at Petascale},
booktitle = {{ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming,
PPoPP '14, Orlando, FL, USA, February 15-19, 2014},
pages = {53--66},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2555243.2555245},
doi = {10.1145/2555243.2555245},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/TardieuHCGKSSTV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MarinoHDVTV13,
author = {Daniel Marino and
Christian Hammer and
Julian Dolby and
Mandana Vaziri and
Frank Tip and
Jan Vitek},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Detecting deadlock in programs with data-centric synchronization},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {322--331},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606578},
doi = {10.1109/ICSE.2013.6606578},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MarinoHDVTV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DolbyHMTVV12,
author = {Julian Dolby and
Christian Hammer and
Daniel Marino and
Frank Tip and
Mandana Vaziri and
Jan Vitek},
title = {A data-centric approach to synchronization},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {34},
number = {1},
pages = {4:1--4:48},
year = {2012},
url = {https://doi.org/10.1145/2160910.2160913},
doi = {10.1145/2160910.2160913},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/DolbyHMTVV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KiddRDV11,
author = {Nicholas Kidd and
Thomas W. Reps and
Julian Dolby and
Mandana Vaziri},
title = {Finding concurrency-related bugs using random isolation},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {13},
number = {6},
pages = {495--518},
year = {2011},
url = {https://doi.org/10.1007/s10009-011-0197-7},
doi = {10.1007/S10009-011-0197-7},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/KiddRDV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/VaziriFD11,
author = {Mandana Vaziri and
Robert M. Fuhrer and
Evelyn Duesterwald},
editor = {Victor Pankratius and
Michael Philippsen},
title = {Open language implementation},
booktitle = {Proceedings of the 4th International Workshop on Multicore Software
Engineering, {IWMSE} '11, Waikiki, Honolulu, HI, USA, May 21, 2011},
pages = {41--42},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1984693.1984699},
doi = {10.1145/1984693.1984699},
timestamp = {Thu, 27 Jan 2022 10:52:55 +0100},
biburl = {https://dblp.org/rec/conf/icse/VaziriFD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/VaziriTDHV10,
author = {Mandana Vaziri and
Frank Tip and
Julian Dolby and
Christian Hammer and
Jan Vitek},
editor = {Theo D'Hondt},
title = {A Type System for Data-Centric Synchronization},
booktitle = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
Maribor, Slovenia, June 21-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6183},
pages = {304--328},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14107-2\_15},
doi = {10.1007/978-3-642-14107-2\_15},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/VaziriTDHV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/TorlakVD10,
author = {Emina Torlak and
Mandana Vaziri and
Julian Dolby},
editor = {Benjamin G. Zorn and
Alexander Aiken},
title = {MemSAT: checking axiomatic specifications of memory models},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2010, Toronto, Ontario,
Canada, June 5-10, 2010},
pages = {341--350},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806596.1806635},
doi = {10.1145/1806596.1806635},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/pldi/TorlakVD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/KiddRDV09,
author = {Nicholas Kidd and
Thomas W. Reps and
Julian Dolby and
Mandana Vaziri},
editor = {Neil D. Jones and
Markus M{\"{u}}ller{-}Olm},
title = {Finding Concurrency-Related Bugs Using Random Isolation},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 10th International
Conference, {VMCAI} 2009, Savannah, GA, USA, January 18-20, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5403},
pages = {198--213},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-93900-9\_18},
doi = {10.1007/978-3-540-93900-9\_18},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/KiddRDV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HammerDVT08,
author = {Christian Hammer and
Julian Dolby and
Mandana Vaziri and
Frank Tip},
editor = {Wilhelm Sch{\"{a}}fer and
Matthew B. Dwyer and
Volker Gruhn},
title = {Dynamic detection of atomic-set-serializability violations},
booktitle = {30th International Conference on Software Engineering {(ICSE} 2008),
Leipzig, Germany, May 10-18, 2008},
pages = {231--240},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1368088.1368120},
doi = {10.1145/1368088.1368120},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/HammerDVT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/VaziriTFD07,
author = {Mandana Vaziri and
Frank Tip and
Stephen Fink and
Julian Dolby},
editor = {Erik Ernst},
title = {Declarative Object Identity Using Relation Types},
booktitle = {{ECOOP} 2007 - Object-Oriented Programming, 21st European Conference,
Berlin, Germany, July 30 - August 3, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4609},
pages = {54--78},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73589-2\_4},
doi = {10.1007/978-3-540-73589-2\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/VaziriTFD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DolbyVT07,
author = {Julian Dolby and
Mandana Vaziri and
Frank Tip},
editor = {Ivica Crnkovic and
Antonia Bertolino},
title = {Finding bugs efficiently with a {SAT} solver},
booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7,
2007},
pages = {195--204},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1287624.1287653},
doi = {10.1145/1287624.1287653},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/DolbyVT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/CharlesDFSV06,
author = {Philippe Charles and
Julian Dolby and
Robert M. Fuhrer and
Stanley M. Sutton Jr. and
Mandana Vaziri},
editor = {Peri L. Tarr and
William R. Cook},
title = {{SAFARI:} a meta-tooling framework for generating language-specific
IDE's},
booktitle = {Companion to the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {722--723},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176617.1176693},
doi = {10.1145/1176617.1176693},
timestamp = {Sat, 31 Jul 2021 17:22:24 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/CharlesDFSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/OverbeyFAABGKMMPV06,
author = {Jeffrey Overbey and
Brian Foote and
Paul Adamczyk and
Jonathan Aldrich and
Elisa L. A. Baniassad and
Christian Grothoff and
Arvind Krishna and
Sean McDirmid and
Todd D. Millstein and
Alex Potanin and
Mandana Vaziri},
editor = {Peri L. Tarr and
William R. Cook},
title = {Young guns/object orientation: the next generation},
booktitle = {Companion to the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {940--942},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176617.1176751},
doi = {10.1145/1176617.1176751},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/OverbeyFAABGKMMPV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/VaziriTD06,
author = {Mandana Vaziri and
Frank Tip and
Julian Dolby},
editor = {J. Gregory Morrisett and
Simon L. Peyton Jones},
title = {Associating synchronization constraints with data in an object-oriented
language},
booktitle = {Proceedings of the 33rd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2006, Charleston, South Carolina,
USA, January 11-13, 2006},
pages = {334--345},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1111037.1111067},
doi = {10.1145/1111037.1111067},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/VaziriTD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ndltd/VaziriFarahani04,
author = {Mandana Vaziri{-}Farahani},
title = {Finding bugs in software with a constraint solver},
school = {Massachusetts Institute of Technology, Cambridge, MA, {USA}},
year = {2004},
url = {https://hdl.handle.net/1721.1/30090},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ndltd/VaziriFarahani04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/VaziriJ03,
author = {Mandana Vaziri and
Daniel Jackson},
editor = {Hubert Garavel and
John Hatcliff},
title = {Checking Properties of Heap-Manipulating Procedures with a Constraint
Solver},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
9th International Conference, {TACAS} 2003, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2619},
pages = {505--520},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36577-X\_37},
doi = {10.1007/3-540-36577-X\_37},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/VaziriJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/JacksonV00,
author = {Daniel Jackson and
Mandana Vaziri},
editor = {Debra J. Richardson and
Mary Jean Harold},
title = {Finding bugs with a constraint solver},
booktitle = {Proceedings of the International Symposium on Software Testing and
Analysis, {ISSTA} 2000, Portland, OR, USA, August 21-24, 2000},
pages = {14--25},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/347324.383378},
doi = {10.1145/347324.383378},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/issta/JacksonV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/VaziriJ00,
author = {Mandana Vaziri and
Daniel Jackson},
editor = {Qizoyan Li and
Donald Firesmith and
Richard Riehle and
Bertrand Meyer},
title = {Some Shortcomings of OCL, the Object Constraint Language of {UML}},
booktitle = {{TOOLS} 2000: 34th International Conference on Technology of Object-Oriented
Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA,
{USA}},
pages = {555--562},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.ieeecomputersociety.org/10.1109/TOOLS.2000.10063},
doi = {10.1109/TOOLS.2000.10063},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/VaziriJ00.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}
}
@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 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/WingV95.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-02 20:41 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:
