Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Murali Sitaraman
@inproceedings{DBLP:conf/iticse/HurtigHBKSH22,
author = {Nathan Hurtig and
Joseph E. Hollingsworth and
Sarah Blankenship and
Eileen T. Kraemer and
Murali Sitaraman and
Jason O. Hallstrom},
editor = {Brett A. Becker and
Keith Quille and
Mikko{-}Jussi Laakso and
Erik Barendsen and
Simon},
title = {Network Visualization and Assessment of Student Reasoning About Conditionals},
booktitle = {ITiCSE 2022: Innovation and Technology in Computer Science Education,
Dublin, Ireland, July 8 - 13, 2022, Volume 1},
pages = {255--261},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3502718.3524793},
doi = {10.1145/3502718.3524793},
timestamp = {Mon, 11 Jul 2022 16:32:41 +0200},
biburl = {https://dblp.org/rec/conf/iticse/HurtigHBKSH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sai/MbwamboSKS22,
author = {Nicodemus Msafiri John Mbwambo and
Yu{-}Shan Sun and
Joan Krone and
Murali Sitaraman},
editor = {Kohei Arai},
title = {Scalable Computing Through Reusability: Encapsulation, Specification,
and Verification for a Navigable Tree Position},
booktitle = {Intelligent Computing - Proceedings of the 2022 Computing Conference,
Volume 1, {SAI} 2022, Virtual Event, 14-15 July 2022},
series = {Lecture Notes in Networks and Systems},
volume = {506},
pages = {58--74},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10461-9\_4},
doi = {10.1007/978-3-031-10461-9\_4},
timestamp = {Thu, 02 Feb 2023 13:08:07 +0100},
biburl = {https://dblp.org/rec/conf/sai/MbwamboSKS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iie/FowlerHHKSSWW21,
author = {Megan Fowler and
Jason O. Hallstrom and
Joseph E. Hollingsworth and
Eileen T. Kraemer and
Murali Sitaraman and
Yu{-}Shan Sun and
Jiadi Wang and
Gloria J. Washington},
title = {Tool-Aided Learning of Code Reasoning with Abstraction in the {CS}
Curriculum},
journal = {Informatics Educ.},
volume = {20},
number = {4},
pages = {533--566},
year = {2021},
url = {https://doi.org/10.15388/infedu.2021.24},
doi = {10.15388/INFEDU.2021.24},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iie/FowlerHHKSSWW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/FowlerKSH21,
author = {Megan Fowler and
Eileen T. Kraemer and
Murali Sitaraman and
Joseph E. Hollingsworth},
editor = {Carsten Schulte and
Brett A. Becker and
Monica Divitini and
Erik Barendsen},
title = {Tool-Aided Loop Invariant Development: Insights into Student Conceptions
and Difficulties},
booktitle = {ITiCSE '21: Proceedings of the 26th {ACM} Conference on Innovation
and Technology in Computer Science Education V.1, Virtual Event, Germany,
June 26 - July 1, 2021},
pages = {387--393},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3430665.3456351},
doi = {10.1145/3430665.3456351},
timestamp = {Tue, 13 Sep 2022 16:33:17 +0200},
biburl = {https://dblp.org/rec/conf/iticse/FowlerKSH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sai/WeideSS21,
author = {Alan Weide and
Paolo A. G. Sivilotti and
Murali Sitaraman},
editor = {Kohei Arai},
title = {An Array Abstraction to Amortize Reasoning About Parallel Client Code},
booktitle = {Intelligent Computing - Proceedings of the 2021 Computing Conference,
Volume 1, {SAI} 2021, Virtual Event, 15-16 July, 2021},
series = {Lecture Notes in Networks and Systems},
volume = {283},
pages = {346--362},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80119-9\_20},
doi = {10.1007/978-3-030-80119-9\_20},
timestamp = {Tue, 21 Feb 2023 10:40:01 +0100},
biburl = {https://dblp.org/rec/conf/sai/WeideSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sete/AlmazovaHFHKSW21,
author = {Nazik A. Almazova and
Jason O. Hallstrom and
Megan Fowler and
Joseph E. Hollingsworth and
Eileen T. Kraemer and
Murali Sitaraman and
Gloria J. Washington},
editor = {Weijia Jia and
Yong Tang and
Raymond S. T. Lee and
Michael A. Herzog and
Hui Zhang and
Tianyong Hao and
Tian Wang},
title = {Automated Analysis of Student Verbalizations in Online Learning Environments},
booktitle = {Emerging Technologies for Education - 6th International Symposium,
{SETE} 2021, Zhuhai, China, November 11-12, 2021, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {13089},
pages = {290--302},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92836-0\_25},
doi = {10.1007/978-3-030-92836-0\_25},
timestamp = {Wed, 09 Feb 2022 17:07:35 +0100},
biburl = {https://dblp.org/rec/conf/sete/AlmazovaHFHKSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/AlmazovaHFHSKW21,
author = {Nazik A. Almazova and
Jason O. Hallstrom and
Megan Fowler and
Joseph E. Hollingsworth and
Murali Sitaraman and
Eileen T. Kraemer and
Gloria J. Washington},
editor = {Mark Sherriff and
Laurence D. Merkle and
Pamela A. Cutter and
Alvaro E. Monge and
Judithe Sheard},
title = {Automated Analysis of Student Verbalizations in Online Learning Environments},
booktitle = {{SIGCSE} '21: The 52nd {ACM} Technical Symposium on Computer Science
Education, Virtual Event, USA, March 13-20, 2021},
pages = {1272},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3408877.3439660},
doi = {10.1145/3408877.3439660},
timestamp = {Fri, 08 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/AlmazovaHFHSKW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2111-08207,
author = {Yu{-}Shan Sun and
Daniel Welch and
Murali Sitaraman},
editor = {Mario Gleirscher and
Jaco van de Pol and
Jim Woodcock},
title = {F-IDEs with Features and VCs Designed to Assist Human Reasoning When
Verification Fails},
booktitle = {Proceedings First Workshop on Applicable Formal Methods, AppFM@FM
2021, virtual, 23rd November 2021},
series = {{EPTCS}},
volume = {349},
pages = {51--67},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.349.4},
doi = {10.4204/EPTCS.349.4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-08207.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsee/FowlerKSSHH20,
author = {Megan Fowler and
Eileen T. Kraemer and
Yu{-}Shan Sun and
Murali Sitaraman and
Jason O. Hallstrom and
Joseph E. Hollingsworth},
editor = {J{\"{u}}rgen Mottok},
title = {Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract
Assertions},
booktitle = {{ECSEE} '20: European Conference on Software Engineering Education,
online [Seeon Monastery, Bavaria, Germany], June 18, 2020},
pages = {52--60},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3396802.3396807},
doi = {10.1145/3396802.3396807},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsee/FowlerKSSHH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/respect/NcheBCKSZ20,
author = {Olivia M. Nche and
Raquel Boulware and
S. Megan Che and
Eileen T. Kraemer and
Murali Sitaraman and
Victor B. Zordan},
title = {Basic Code Understanding Challenges for Elementary School Children},
booktitle = {Research on Equity and Sustained Participation in Engineering, Computing,
and Technology, {RESPECT} 2020, Portland, OR, USA, March 10-11, 2020},
pages = {1--2},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/RESPECT49803.2020.9272421},
doi = {10.1109/RESPECT49803.2020.9272421},
timestamp = {Fri, 10 Dec 2021 17:55:30 +0100},
biburl = {https://dblp.org/rec/conf/respect/NcheBCKSZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/FowlerCPSSSHH20,
author = {Megan Fowler and
Michelle Cook and
Kevin Plis and
Tim Schwab and
Yu{-}Shan Sun and
Murali Sitaraman and
Jason O. Hallstrom and
Joseph E. Hollingsworth},
editor = {Elizabeth K. Hawthorne and
Manuel A. P{\'{e}}rez{-}Qui{\~{n}}ones and
Sarah Heckman and
Jian Zhang},
title = {Impact of Steps, Instruction, and Motivation on Learning Symbolic
Reasoning Using an Online Tool},
booktitle = {Proceedings of the 50th {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2019, Minneapolis, MN, USA, February 27 - March
02, 2019},
pages = {1039--1045},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3287324.3287401},
doi = {10.1145/3287324.3287401},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/FowlerCPSSSHH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/AugustCKPS20,
author = {Stephanie E. August and
S. Megan Che and
Eileen T. Kraemer and
Mark A. Pauley and
Murali Sitaraman},
editor = {Elizabeth K. Hawthorne and
Manuel A. P{\'{e}}rez{-}Qui{\~{n}}ones and
Sarah Heckman and
Jian Zhang},
title = {Narratives and Evaluation: How to Write Competitive {NSF} {CS} Education
Proposals},
booktitle = {Proceedings of the 50th {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2019, Minneapolis, MN, USA, February 27 - March
02, 2019},
pages = {1234--1235},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3287324.3287531},
doi = {10.1145/3287324.3287531},
timestamp = {Tue, 05 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/AugustCKPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/KraemerSC20,
author = {Eileen T. Kraemer and
Murali Sitaraman and
S. Megan Che},
editor = {Elizabeth K. Hawthorne and
Manuel A. P{\'{e}}rez{-}Qui{\~{n}}ones and
Sarah Heckman and
Jian Zhang},
title = {How Can We Engage in Inclusive, Culturally Responsive Computer Science?},
booktitle = {Proceedings of the 50th {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2019, Minneapolis, MN, USA, February 27 - March
02, 2019},
pages = {1251},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3287324.3293743},
doi = {10.1145/3287324.3293743},
timestamp = {Tue, 05 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/KraemerSC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/HollingsworthKS20,
author = {Joseph E. Hollingsworth and
Eileen T. Kraemer and
Murali Sitaraman},
editor = {Elizabeth K. Hawthorne and
Manuel A. P{\'{e}}rez{-}Qui{\~{n}}ones and
Sarah Heckman and
Jian Zhang},
title = {Engaging in Logical Code Reasoning with an Activity-Based Online Tool},
booktitle = {Proceedings of the 50th {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2019, Minneapolis, MN, USA, February 27 - March
02, 2019},
pages = {1289},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3287324.3293754},
doi = {10.1145/3287324.3293754},
timestamp = {Tue, 05 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/HollingsworthKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/SitaramanW18,
author = {Murali Sitaraman and
Bruce W. Weide},
title = {A Synopsis of Twenty Five Years of {RESOLVE} PhD Research Efforts:
Software Development Effort Estimation Using Ensemble Techniques},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {43},
number = {3},
pages = {17},
year = {2018},
url = {https://doi.org/10.1145/3229783.3229794},
doi = {10.1145/3229783.3229794},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/SitaramanW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsee/KraemerSH18,
author = {Eileen T. Kraemer and
Murali Sitaraman and
Joseph E. Hollingsworth},
editor = {J{\"{u}}rgen Mottok},
title = {An Activity-Based Undergraduate Software Engineering Course to Engage
Students and Encourage Learning},
booktitle = {Proceedings of the 3rd European Conference of Software Engineering
Education, {ECSEE} 2018, Seeon Monastery, Bavaria, Germany, June 14-15,
2018},
pages = {18--25},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209087.3209100},
doi = {10.1145/3209087.3209100},
timestamp = {Wed, 21 Nov 2018 12:44:26 +0100},
biburl = {https://dblp.org/rec/conf/ecsee/KraemerSH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/CookFHHSSS18,
author = {Michelle Cook and
Megan Fowler and
Jason O. Hallstrom and
Joseph E. Hollingsworth and
Tim Schwab and
Yu{-}Shan Sun and
Murali Sitaraman},
editor = {Irene Polycarpou and
Janet C. Read and
Panayiotis Andreou and
Michal Armoni},
title = {Where exactly are the difficulties in reasoning logically about code?
experimentation with an online system},
booktitle = {Proceedings of the 23rd Annual {ACM} Conference on Innovation and
Technology in Computer Science Education, ITiCSE 2018, Larnaca, Cyprus,
July 02-04, 2018},
pages = {39--44},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3197091.3197133},
doi = {10.1145/3197091.3197133},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/CookFHHSSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/AugustPCKS17,
author = {Stephanie E. August and
Mark A. Pauley and
S. Megan Che and
Eileen T. Kraemer and
Murali Sitaraman},
editor = {Tiffany Barnes and
Daniel D. Garcia and
Elizabeth K. Hawthorne and
Manuel A. P{\'{e}}rez{-}Qui{\~{n}}ones},
title = {Understanding the Essence of Successful Computing Education Projects
through Analyzing {NSF} Proposals: (Abstract Only)},
booktitle = {Proceedings of the 49th {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2018, Baltimore, MD, USA, February 21-24, 2018},
pages = {1059},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3159450.3162359},
doi = {10.1145/3159450.3162359},
timestamp = {Tue, 06 Nov 2018 11:07:13 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/AugustPCKS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/HeymSBSPHKS17,
author = {Wayne D. Heym and
Paolo A. G. Sivilotti and
Paolo Bucci and
Murali Sitaraman and
Kevin Plis and
Joseph E. Hollingsworth and
Joan Krone and
Nigamanth Sridhar},
editor = {Hironori Washizaki and
Nancy Mead},
title = {Integrating Components, Contracts, and Reasoning in {CS} Curricula
with {RESOLVE:} Experiences at Multiple Institutions},
booktitle = {30th {IEEE} Conference on Software Engineering Education and Training,
CSEE{\&}T 2017, Savannah, GA, USA, November 7-9, 2017},
pages = {202--211},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/CSEET.2017.40},
doi = {10.1109/CSEET.2017.40},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/csee/HeymSBSPHKS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/0001DKS17,
author = {Daniel Welch and
Blair Durkee and
Mike Kabbani and
Murali Sitaraman},
title = {Formalization IDEs Integrated with a Verifying Compiler},
booktitle = {Proceedings of the 12th Workshop on Implementation, Compilation, Optimization
of Object-Oriented Languages, Programs and Systems, ICOOOLPS@ECOOP
2017, Barcelona, Spain, June 19, 2017},
pages = {6:1--6:3},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3098572.3098580},
doi = {10.1145/3098572.3098580},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/0001DKS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/0001S17,
author = {Daniel Welch and
Murali Sitaraman},
editor = {Goetz Botterweck and
Cl{\'{a}}udia M. L. Werner},
title = {Engineering and Employing Reusable Software Components for Modular
Verification},
booktitle = {Mastering Scale and Complexity in Software Reuse - 16th International
Conference on Software Reuse, {ICSR} 2017, Salvador, Brazil, May 29-31,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10221},
pages = {139--154},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-56856-0\_10},
doi = {10.1007/978-3-319-56856-0\_10},
timestamp = {Sat, 09 Apr 2022 12:35:44 +0200},
biburl = {https://dblp.org/rec/conf/icsr/0001S17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/KraemerLS17,
author = {Eileen T. Kraemer and
Aubrey Lawson and
Murali Sitaraman},
editor = {Michael E. Caspersen and
Stephen H. Edwards and
Tiffany Barnes and
Daniel D. Garcia},
title = {Special Session: {ICER} {UP} {CS} Ed Research Workshop Summary-Essence
of Illustrative Projects},
booktitle = {Proceedings of the 2017 {ACM} {SIGCSE} Technical Symposium on Computer
Science Education, {SIGCSE} 2017, Seattle, WA, USA, March 8-11, 2017},
pages = {689--690},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3017680.3017812},
doi = {10.1145/3017680.3017812},
timestamp = {Tue, 23 Mar 2021 10:54:19 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/KraemerLS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/PriesterSS16,
author = {Caleb H. Priester and
Yu{-}Shan Sun and
Murali Sitaraman},
title = {Tool-Assisted Loop Invariant Development and Analysis},
booktitle = {29th {IEEE} International Conference on Software Engineering Education
and Training, {CSEET} 2016, Dallas, TX, USA, April 5-6, 2016},
pages = {66--70},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/CSEET.2016.28},
doi = {10.1109/CSEET.2016.28},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csee/PriesterSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/KulczyckiSSW16,
author = {Gregory Kulczycki and
Murali Sitaraman and
Nigamanth Sridhar and
Bruce W. Weide},
editor = {Carl Alphonce and
Jodi L. Tims and
Michael E. Caspersen and
Stephen H. Edwards},
title = {Panel: Engage in Reasoning with Tools},
booktitle = {Proceedings of the 47th {ACM} Technical Symposium on Computing Science
Education, {SIGCSE} 2016, Memphis, TN, USA, March 02 - 05, 2016},
pages = {160--161},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2839509.2844657},
doi = {10.1145/2839509.2844657},
timestamp = {Mon, 13 Dec 2021 09:32:31 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/KulczyckiSSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/DoughertyHKS16,
author = {John P. Dougherty and
Joseph E. Hollingsworth and
Joan Krone and
Murali Sitaraman},
editor = {Carl Alphonce and
Jodi L. Tims and
Michael E. Caspersen and
Stephen H. Edwards},
title = {Mathematical Reasoning in Computing Education: Connecting Math We
Teach with Writing Correct Programs (Abstract Only)},
booktitle = {Proceedings of the 47th {ACM} Technical Symposium on Computing Science
Education, {SIGCSE} 2016, Memphis, TN, USA, March 02 - 05, 2016},
pages = {707},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2839509.2850491},
doi = {10.1145/2839509.2850491},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/DoughertyHKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/WeideSS16,
author = {Alan Weide and
Paolo A. G. Sivilotti and
Murali Sitaraman},
editor = {Sandrine Blazy and
Marsha Chechik},
title = {Enabling Modular Verification with Abstract Interference Specifications
for a Concurrent Queue},
booktitle = {Verified Software. Theories, Tools, and Experiments - 8th International
Conference, {VSTTE} 2016, Toronto, ON, Canada, July 17-18, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9971},
pages = {119--128},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48869-1\_9},
doi = {10.1007/978-3-319-48869-1\_9},
timestamp = {Wed, 25 Sep 2019 18:03:08 +0200},
biburl = {https://dblp.org/rec/conf/vstte/WeideSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jeric/DrachovaHHKPS15,
author = {Svetlana V. Drachova and
Jason O. Hallstrom and
Joseph E. Hollingsworth and
Joan Krone and
Richard Pak and
Murali Sitaraman},
title = {Teaching Mathematical Reasoning Principles for Software Correctness
and Its Assessment},
journal = {{ACM} Trans. Comput. Educ.},
volume = {15},
number = {3},
pages = {15:1--15:22},
year = {2015},
url = {https://doi.org/10.1145/2716316},
doi = {10.1145/2716316},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jeric/DrachovaHHKPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/CookSS15,
author = {Charles T. Cook and
Yu{-}Shan Sun and
Murali Sitaraman},
title = {Experience report: evolution of a web-integrated software development
and verification environment},
journal = {Softw. Pract. Exp.},
volume = {45},
number = {6},
pages = {857--872},
year = {2015},
url = {https://doi.org/10.1002/spe.2259},
doi = {10.1002/SPE.2259},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/CookSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HollingsworthS15,
author = {Joseph E. Hollingsworth and
Murali Sitaraman},
editor = {Andreas Bollin and
Tiziana Margaria and
Isabelle Perseil},
title = {Evaluation of Formal Reasoning Abilities Using a Concept Inventory},
booktitle = {Proceedings of the First Workshop on Formal Methods in Software Engineering
Education and Training, FMSEE{\&}T 2015, co-located with 20th
International Symposium on Formal Methods {(FM} 2015), Oslo, Norway,
June 23, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1385},
pages = {59--66},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1385/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:17 +0100},
biburl = {https://dblp.org/rec/conf/fm/HollingsworthS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KabbaniWPSDSS15,
author = {Nabil M. Kabbani and
Daniel Welch and
Caleb H. Priester and
Stephen Schaub and
Blair Durkee and
Yu{-}Shan Sun and
Murali Sitaraman},
editor = {Catherine Dubois and
Paolo Masci and
Dominique M{\'{e}}ry},
title = {Formal Reasoning Using an Iterative Approach with an Integrated Web
{IDE}},
booktitle = {Proceedings Second International Workshop on Formal Integrated Development
Environment, {F-IDE} 2015, Oslo, Norway, June 22, 2015},
series = {{EPTCS}},
volume = {187},
pages = {56--71},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.187.5},
doi = {10.4204/EPTCS.187.5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KabbaniWPSDSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indiaSE/WelchCSS14,
author = {Daniel Welch and
Charles T. Cook and
Yu{-}Shan Sun and
Murali Sitaraman},
editor = {Dharanipragada Janakiram and
Koushik Sen and
Vinay Kulkarni},
title = {A web-integrated verifying compiler for {RESOLVE:} a research perspective},
booktitle = {7th India Software Engineering Conference, Chennai, {ISEC} '14, Chennai,
India - February 19 - 21, 2014},
pages = {12:1--12:6},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2590748.2590760},
doi = {10.1145/2590748.2590760},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/indiaSE/WelchCSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/HollingsworthS14,
author = {Joseph E. Hollingsworth and
Murali Sitaraman},
editor = {J. D. Dougherty and
Kris Nagel and
Adrienne Decker and
Kurt Eiselt},
title = {Special session: engaging mathematical reasoning exercises},
booktitle = {The 45th {ACM} Technical Symposium on Computer Science Education,
{SIGCSE} 2014, Atlanta, GA, USA, March 5-8, 2014},
pages = {179--180},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2538862.2538989},
doi = {10.1145/2538862.2538989},
timestamp = {Tue, 23 Mar 2021 10:54:19 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/HollingsworthS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/HallstromHSS14,
author = {Jason O. Hallstrom and
Cathy Hochrine and
Jacob Sorber and
Murali Sitaraman},
editor = {J. D. Dougherty and
Kris Nagel and
Adrienne Decker and
Kurt Eiselt},
title = {An {ACM} 2013 exemplar course integrating fundamentals, languages,
and software engineering},
booktitle = {The 45th {ACM} Technical Symposium on Computer Science Education,
{SIGCSE} 2014, Atlanta, GA, USA, March 5-8, 2014},
pages = {211--216},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2538862.2538969},
doi = {10.1145/2538862.2538969},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/HallstromHSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/SitaramanW14,
author = {Murali Sitaraman and
Bruce W. Weide},
editor = {J. D. Dougherty and
Kris Nagel and
Adrienne Decker and
Kurt Eiselt},
title = {Special session: "hands-on" tutorial: teaching software
correctness with {RESOLVE}},
booktitle = {The 45th {ACM} Technical Symposium on Computer Science Education,
{SIGCSE} 2014, Atlanta, GA, USA, March 5-8, 2014},
pages = {625--626},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2538862.2538987},
doi = {10.1145/2538862.2538987},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/SitaramanW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACMse/HallstromSHK13,
author = {Jason O. Hallstrom and
Murali Sitaraman and
Joe Hollingsworth and
Joan Krone},
editor = {Ashraf Saad},
title = {Making mathematical reasoning fun: web-integrated, collaborative,
and "hands-on" techniques},
booktitle = {{ACM} Southeast Regional Conference 2013, {ACM} SE'13, Savannah, GA,
USA, April 4-6, 2013},
pages = {39:1--39:2},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2498328.2500088},
doi = {10.1145/2498328.2500088},
timestamp = {Fri, 12 Mar 2021 15:27:48 +0100},
biburl = {https://dblp.org/rec/conf/ACMse/HallstromSHK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/CookDSSCH13,
author = {Charles T. Cook and
Svetlana Drachova{-}Strang and
Yu{-}Shan Sun and
Murali Sitaraman and
Jeffrey C. Carver and
Joseph E. Hollingsworth},
editor = {Tony Cowling and
Shawn A. Bohner and
Mark A. Ardis},
title = {Specification and reasoning in {SE} projects using a Web {IDE}},
booktitle = {26th International Conference on Software Engineering Education and
Training, CSEE{\&}T 2013, San Francisco, CA, USA, May 19-21, 2013},
pages = {229--238},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/CSEET.2013.6595254},
doi = {10.1109/CSEET.2013.6595254},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csee/CookDSSCH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/KulczyckiSKHOWBCDDHHHSSTYZ13,
author = {Gregory Kulczycki and
Murali Sitaraman and
Joan Krone and
Joseph E. Hollingsworth and
William F. Ogden and
Bruce W. Weide and
Paolo Bucci and
Charles T. Cook and
Svetlana Drachova{-}Strang and
Blair Durkee and
Heather K. Harton and
Wayne D. Heym and
Dustin Hoffman and
Hampton Smith and
Yu{-}Shan Sun and
Aditi Tagore and
Nighat Yasmin and
Diego Zaccai},
editor = {John M. Favaro and
Maurizio Morisio},
title = {A Language for Building Verified Software Components},
booktitle = {Safe and Secure Software Reuse - 13th International Conference on
Software Reuse, {ICSR} 2013, Pisa, Italy, June 18-20. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7925},
pages = {308--314},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38977-1\_23},
doi = {10.1007/978-3-642-38977-1\_23},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/icsr/KulczyckiSKHOWBCDDHHHSSTYZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/HollingsworthKHSW13,
author = {Joseph E. Hollingsworth and
Joan Krone and
Jason O. Hallstrom and
Murali Sitaraman and
Bruce W. Weide},
editor = {Tracy Camp and
Paul T. Tymann and
J. D. Dougherty and
Kris Nagel},
title = {Engaging mathematical reasoning exercises},
booktitle = {The 44th {ACM} Technical Symposium on Computer Science Education,
{SIGCSE} 2013, Denver, CO, USA, March 6-9, 2013},
pages = {459--460},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2445196.2445332},
doi = {10.1145/2445196.2445332},
timestamp = {Tue, 23 Mar 2021 10:54:19 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/HollingsworthKHSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/HallstromHKS13,
author = {Jason O. Hallstrom and
Joseph E. Hollingsworth and
Joan Krone and
Murali Sitaraman},
editor = {Tracy Camp and
Paul T. Tymann and
J. D. Dougherty and
Kris Nagel},
title = {Making mathematical reasoning fun: web-integrated, collaborative,
and "Hands-On" Techniques (abstract only)},
booktitle = {The 44th {ACM} Technical Symposium on Computer Science Education,
{SIGCSE} 2013, Denver, CO, USA, March 6-9, 2013},
pages = {757},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2445196.2445498},
doi = {10.1145/2445196.2445498},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/HallstromHKS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/inroads/HendersonS12,
author = {Peter B. Henderson and
Murali Sitaraman},
title = {Mathematical reasoning at the crossroads},
journal = {Inroads},
volume = {3},
number = {1},
pages = {30--31},
year = {2012},
url = {https://doi.org/10.1145/2077808.2077818},
doi = {10.1145/2077808.2077818},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/inroads/HendersonS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACMse/HallstromHKS12,
author = {Jason O. Hallstrom and
Joe Hollingsworth and
Joan Krone and
Murali Sitaraman},
editor = {Randy K. Smith and
Susan V. Vrbsky},
title = {Making mathematical reasoning fun: tool-assisted, collaborative techniques},
booktitle = {Proceedings of the 50th Annual Southeast Regional Conference, 2012,
Tuscaloosa, AL, USA, March 29-31, 2012},
pages = {403--404},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2184512.2184627},
doi = {10.1145/2184512.2184627},
timestamp = {Fri, 12 Mar 2021 15:27:48 +0100},
biburl = {https://dblp.org/rec/conf/ACMse/HallstromHKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CookHSS12,
author = {Charles T. Cook and
Heather K. Harton and
Hampton Smith and
Murali Sitaraman},
editor = {Martin Glinz and
Gail C. Murphy and
Mauro Pezz{\`{e}}},
title = {Specification engineering and modular verification using a web-integrated
verifying compiler},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
June 2-9, 2012, Zurich, Switzerland},
pages = {1379--1382},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICSE.2012.6227243},
doi = {10.1109/ICSE.2012.6227243},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CookHSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/CookDHHJKS12,
author = {Charles T. Cook and
Svetlana Drachova{-}Strang and
Jason O. Hallstrom and
Joseph E. Hollingsworth and
David Pokrass Jacobs and
Joan Krone and
Murali Sitaraman},
editor = {Tami Lapidot and
Judith Gal{-}Ezer and
Michael E. Caspersen and
Orit Hazzan},
title = {A systematic approach to teaching abstraction and mathematical modeling},
booktitle = {Annual Conference on Innovation and Technology in Computer Science
Education, ITiCSE '12, Haifa, Israel, July 3-5, 2012},
pages = {357--362},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2325296.2325378},
doi = {10.1145/2325296.2325378},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/iticse/CookDHHJKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/RegulaSKHSS12,
author = {Kalyan C. Regula and
Hampton Smith and
Heather Keown and
Jason O. Hallstrom and
Nigamanth Sridhar and
Murali Sitaraman},
editor = {Alwyn Goodloe and
Suzette Person},
title = {A Case Study in Verification of Embedded Network Software},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {433--448},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_38},
doi = {10.1007/978-3-642-28891-3\_38},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/RegulaSKHSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/KroneBCHKS12,
author = {Joan Krone and
Doug Baldwin and
Jeffrey C. Carver and
Joseph E. Hollingsworth and
Amruth N. Kumar and
Murali Sitaraman},
editor = {Laurie A. Smith King and
David R. Musicant and
Tracy Camp and
Paul T. Tymann},
title = {Teaching mathematical reasoning across the curriculum},
booktitle = {Proceedings of the 43rd {ACM} technical symposium on Computer science
education, {SIGCSE} 2012, Raleigh, NC, USA, February 29 - March 3,
2012},
pages = {241--242},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2157136.2157208},
doi = {10.1145/2157136.2157208},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/KroneBCHKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/HallstromHKS12,
author = {Jason O. Hallstrom and
Joe Hollingsworth and
Joan Krone and
Murali Sitaraman},
editor = {Laurie A. Smith King and
David R. Musicant and
Tracy Camp and
Paul T. Tymann},
title = {Making mathematical reasoning fun: tool-assisted, collaborative techniques
(abstract only)},
booktitle = {Proceedings of the 43rd {ACM} technical symposium on Computer science
education, {SIGCSE} 2012, Raleigh, NC, USA, February 29 - March 3,
2012},
pages = {683},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2157136.2157350},
doi = {10.1145/2157136.2157350},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/HallstromHKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/KulczyckiSHSOH12,
author = {Gregory Kulczycki and
Hampton Smith and
Heather K. Harton and
Murali Sitaraman and
William F. Ogden and
Joseph E. Hollingsworth},
editor = {Rajeev Joshi and
Peter M{\"{u}}ller and
Andreas Podelski},
title = {The Location Linking Concept: {A} Basis for Verification of Code Using
Pointers},
booktitle = {Verified Software: Theories, Tools, Experiments - 4th International
Conference, {VSTTE} 2012, Philadelphia, PA, USA, January 28-29, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7152},
pages = {34--49},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27705-4\_4},
doi = {10.1007/978-3-642-27705-4\_4},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/KulczyckiSHSOH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SitaramanAABBFFHHKKSW11,
author = {Murali Sitaraman and
Bruce M. Adcock and
Jeremy Avigad and
Derek Bronish and
Paolo Bucci and
David Frazier and
Harvey M. Friedman and
Heather K. Harton and
Wayne D. Heym and
Jason Kirschenbaum and
Joan Krone and
Hampton Smith and
Bruce W. Weide},
title = {Building a push-button {RESOLVE} verifier: Progress and challenges},
journal = {Formal Aspects Comput.},
volume = {23},
number = {5},
pages = {607--626},
year = {2011},
url = {https://doi.org/10.1007/s00165-010-0154-3},
doi = {10.1007/S00165-010-0154-3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SitaramanAABBFFHHKKSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACMse/HallstromSHK11,
author = {Jason O. Hallstrom and
Murali Sitaraman and
Joe Hollingsworth and
Joan Krone},
editor = {Victor A. Clincy and
Kenneth E. Hoganson and
Jose Garrido and
Venu Dasigi},
title = {Making mathematical reasoning fun: tool-assisted, collaborative techniques},
booktitle = {Proceedings of the 49th Annual Southeast Regional Conference, 2011,
Kennesaw, GA, USA, March 24-26, 2011},
pages = {5},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2016039.2016045},
doi = {10.1145/2016039.2016045},
timestamp = {Fri, 12 Mar 2021 15:27:48 +0100},
biburl = {https://dblp.org/rec/conf/ACMse/HallstromSHK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/BaldwinMSH10,
author = {Doug Baldwin and
Bill Marion and
Murali Sitaraman and
Cinda Heeren},
editor = {Gary Lewandowski and
Steven A. Wolfman and
Thomas J. Cortina and
Ellen Lowenfeld Walker},
title = {Some developments in mathematical thinking for computer science education
since computing curricula 2001},
booktitle = {Proceedings of the 41st {ACM} technical symposium on Computer science
education, {SIGCSE} 2010, Milwaukee, Wisconsin, USA, March 10-13,
2010},
pages = {392--393},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1734263.1734397},
doi = {10.1145/1734263.1734397},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/BaldwinMSH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACMse/HallstromKS09,
author = {Jason O. Hallstrom and
Joan Krone and
Murali Sitaraman},
editor = {John D. McGregor},
title = {Courseware for teaching analytical reasoning principles: a hands-on
laboratory},
booktitle = {Proceedings of the 47th Annual Southeast Regional Conference, 2009,
Clemson, South Carolina, USA, March 19-21, 2009},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1566445.1566447},
doi = {10.1145/1566445.1566447},
timestamp = {Fri, 12 Mar 2021 15:27:48 +0100},
biburl = {https://dblp.org/rec/conf/ACMse/HallstromKS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACMse/YasminS09,
author = {Nighat Yasmin and
Murali Sitaraman},
editor = {John D. McGregor},
title = {Compositional performance prediction exemplified using generic object
finalization analysis},
booktitle = {Proceedings of the 47th Annual Southeast Regional Conference, 2009,
Clemson, South Carolina, USA, March 19-21, 2009},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1566445.1566464},
doi = {10.1145/1566445.1566464},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ACMse/YasminS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csiirw/MalloySH09,
author = {Brian A. Malloy and
Murali Sitaraman and
Jason O. Hallstrom},
editor = {Frederick T. Sheldon and
Greg Peterson and
Axel W. Krings and
Robert K. Abercrombie and
Ali Mili},
title = {Detecting overflow vulnerabilities using automated verification},
booktitle = {Fifth Cyber Security and Information Intelligence Research Workshop,
{CSIIRW} '09, Knoxville, TN, USA, April 13-15, 2009},
pages = {22},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1558607.1558633},
doi = {10.1145/1558607.1558633},
timestamp = {Wed, 31 Jan 2024 20:36:02 +0100},
biburl = {https://dblp.org/rec/conf/csiirw/MalloySH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/SmithHFMS09,
author = {Hampton Smith and
Heather K. Harton and
David Frazier and
Raghuveer Mohan and
Murali Sitaraman},
editor = {Stephen H. Edwards and
Gregory Kulczycki},
title = {Generating Verified Java Components through {RESOLVE}},
booktitle = {Formal Foundations of Reuse and Domain Engineering, 11th International
Conference on Software Reuse, {ICSR} 2009, Falls Church, VA, USA,
September 27-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5791},
pages = {11--20},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04211-9\_2},
doi = {10.1007/978-3-642-04211-9\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/icsr/SmithHFMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/KirschenbaumABSHSW09,
author = {Jason Kirschenbaum and
Bruce M. Adcock and
Derek Bronish and
Hampton Smith and
Heather K. Harton and
Murali Sitaraman and
Bruce W. Weide},
editor = {Stephen H. Edwards and
Gregory Kulczycki},
title = {Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?},
booktitle = {Formal Foundations of Reuse and Domain Engineering, 11th International
Conference on Software Reuse, {ICSR} 2009, Falls Church, VA, USA,
September 27-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5791},
pages = {31--40},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04211-9\_4},
doi = {10.1007/978-3-642-04211-9\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsr/KirschenbaumABSHSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/SitaramanHWDHLKP09,
author = {Murali Sitaraman and
Jason O. Hallstrom and
Jarred White and
Svetlana Drachova{-}Strang and
Heather K. Harton and
Dana P. Leonard and
Joan Krone and
Richard Pak},
editor = {Patrick Br{\'{e}}zillon and
Ingrid Russell and
Jean{-}Marc Labat},
title = {Engaging students in specification and reasoning: "hands-on"
experimentation and evaluation},
booktitle = {Proceedings of the 14th Annual {SIGCSE} Conference on Innovation and
Technology in Computer Science Education, ITiCSE 2009, Paris, France,
July 6-9, 2009},
pages = {50--54},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1562877.1562899},
doi = {10.1145/1562877.1562899},
timestamp = {Tue, 09 Mar 2021 15:32:11 +0100},
biburl = {https://dblp.org/rec/conf/iticse/SitaramanHWDHLKP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/LeonardHS09,
author = {Dana P. Leonard and
Jason O. Hallstrom and
Murali Sitaraman},
editor = {Sue Fitzgerald and
Mark Guzdial and
Gary Lewandowski and
Steven A. Wolfman},
title = {Injecting rapid feedback and collaborative reasoning in teaching specifications},
booktitle = {Proceedings of the 40th {SIGCSE} Technical Symposium on Computer Science
Education, {SIGCSE} 2009, Chattanooga, TN, USA, March 4-7, 2009},
pages = {524--528},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1508865.1509046},
doi = {10.1145/1508865.1509046},
timestamp = {Tue, 09 Mar 2021 15:32:12 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/LeonardHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/WeideSHABBHKF08,
author = {Bruce W. Weide and
Murali Sitaraman and
Heather K. Harton and
Bruce M. Adcock and
Paolo Bucci and
Derek Bronish and
Wayne D. Heym and
Jason Kirschenbaum and
David Frazier},
editor = {Natarajan Shankar and
Jim Woodcock},
title = {Incremental Benchmarks for Software Verification Tools and Techniques},
booktitle = {Verified Software: Theories, Tools, Experiments, Second International
Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5295},
pages = {84--98},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87873-5\_10},
doi = {10.1007/978-3-540-87873-5\_10},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/WeideSHABBHKF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/wiley/HartonSK08,
author = {Heather K. Harton and
Murali Sitaraman and
Joan Krone},
editor = {Benjamin W. Wah},
title = {Formal Program Verification},
booktitle = {Wiley Encyclopedia of Computer Science and Engineering},
publisher = {John Wiley {\&} Sons, Inc.},
year = {2008},
url = {https://doi.org/10.1002/9780470050118.ecse331},
doi = {10.1002/9780470050118.ECSE331},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/wiley/HartonSK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/wiley/KulczyckiSRY08,
author = {Gregory Kulczycki and
Murali Sitaraman and
Kimberly Roche and
Nighat Yasmin},
editor = {Benjamin W. Wah},
title = {Formal Specification},
booktitle = {Wiley Encyclopedia of Computer Science and Engineering},
publisher = {John Wiley {\&} Sons, Inc.},
year = {2008},
url = {https://doi.org/10.1002/9780470050118.ecse161},
doi = {10.1002/9780470050118.ECSE161},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/wiley/KulczyckiSRY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/KulczyckiKSW07,
author = {Gregory Kulczycki and
Heather Keown and
Murali Sitaraman and
Bruce W. Weide},
title = {Abstracting Pointers for a Verifying Compiler},
booktitle = {31st Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-31}
2007), 6-8 March 2007, Loyola College, Columbia, MD, {USA}},
pages = {204--213},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SEW.2007.89},
doi = {10.1109/SEW.2007.89},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/KulczyckiKSW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/KulczyckiSWR06,
author = {Gregory Kulczycki and
Murali Sitaraman and
Bruce W. Weide and
Atanas Rountev},
title = {A specification-based approach to reasoning about pointers},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {31},
number = {2},
year = {2006},
url = {https://doi.org/10.1145/1118537.1123066},
doi = {10.1145/1118537.1123066},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/KulczyckiSWR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/LeavensABBCFHJMJSSS06,
author = {Gary T. Leavens and
Jean{-}Raymond Abrial and
Don S. Batory and
Michael J. Butler and
Alessandro Coglio and
Kathi Fisler and
Eric C. R. Hehner and
Cliff B. Jones and
Dale Miller and
Simon L. Peyton Jones and
Murali Sitaraman and
Douglas R. Smith and
Aaron Stump},
editor = {Stan Jarzabek and
Douglas C. Schmidt and
Todd L. Veldhuizen},
title = {Roadmap for enhanced languages and methods to aid verification},
booktitle = {Generative Programming and Component Engineering, 5th International
Conference, {GPCE} 2006, Portland, Oregon, USA, October 22-26, 2006,
Proceedings},
pages = {221--236},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1173706.1173740},
doi = {10.1145/1173706.1173740},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gpce/LeavensABBCFHJMJSSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KroneOS06,
author = {Joan Krone and
William F. Ogden and
Murali Sitaraman},
title = {Performance analysis based upon complete profiles},
booktitle = {Proceedings of the 2006 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '06, Portland, Oregon, USA, November
10-11, 2006},
pages = {3--10},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1181195.1181197},
doi = {10.1145/1181195.1181197},
timestamp = {Thu, 10 Feb 2022 15:29:19 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KroneOS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/WeideBHSR05,
author = {Bruce W. Weide and
Paolo Bucci and
Wayne D. Heym and
Murali Sitaraman and
Giorgio Rizzoni},
title = {Issues in performance certification for high-level automotive control
software},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {30},
number = {4},
pages = {1--6},
year = {2005},
url = {https://doi.org/10.1145/1082983.1083196},
doi = {10.1145/1082983.1083196},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/WeideBHSR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/CheonLSE05,
author = {Yoonsik Cheon and
Gary T. Leavens and
Murali Sitaraman and
Stephen H. Edwards},
title = {Model variables: cleanly supporting abstraction in design by contract},
journal = {Softw. Pract. Exp.},
volume = {35},
number = {6},
pages = {583--599},
year = {2005},
url = {https://doi.org/10.1002/spe.649},
doi = {10.1002/SPE.649},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/CheonLSE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KulczyckiSWR05,
author = {Gregory Kulczycki and
Murali Sitaraman and
Bruce W. Weide and
Atanas Rountev},
editor = {Gary T. Leavens},
title = {A specification-based approach to reasoning about pointers},
booktitle = {Proceedings of the 2005 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {7},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1123058.1123066},
doi = {10.1145/1123058.1123066},
timestamp = {Thu, 10 Feb 2022 15:21:21 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KulczyckiSWR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/EdwardsSWH04,
author = {Stephen H. Edwards and
Murali Sitaraman and
Bruce W. Weide and
Joseph E. Hollingsworth},
title = {Contract-Checking Wrappers for {C++} Classes},
journal = {{IEEE} Trans. Software Eng.},
volume = {30},
number = {11},
pages = {794--810},
year = {2004},
url = {https://doi.org/10.1109/TSE.2004.80},
doi = {10.1109/TSE.2004.80},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/EdwardsSWH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/HuntS04,
author = {John M. Hunt and
Murali Sitaraman},
title = {Enhancements - Enabling Flexible Feature and Implementation Selection},
booktitle = {Software Reuse: Methods, Techniques and Tools: 8th International Conference,
{ICSR} 2004, Madrid, Spain, July 5-9, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3107},
pages = {86--100},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27799-6\_8},
doi = {10.1007/978-3-540-27799-6\_8},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/icsr/HuntS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csedu/SitaramanLWHW02,
author = {Murali Sitaraman and
Timothy J. Long and
Bruce W. Weide and
E. James Harner and
Liqing Wang},
title = {Teaching Component-Based Software Engineering: {A} Formal Approach
and Its Evaluation},
journal = {Comput. Sci. Educ.},
volume = {12},
number = {1-2},
pages = {11--36},
year = {2002},
url = {https://doi.org/10.1076/csed.12.1.11.8210},
doi = {10.1076/CSED.12.1.11.8210},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csedu/SitaramanLWHW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SitaramanLWHW01,
author = {Murali Sitaraman and
Timothy J. Long and
Bruce W. Weide and
E. James Harner and
Liqing Wang},
editor = {Hausi A. M{\"{u}}ller and
Mary Jean Harrold and
Wilhelm Sch{\"{a}}fer},
title = {A Formal Approach to Component-Based Software Engineering: Education
and Evaluation},
booktitle = {Proceedings of the 23rd International Conference on Software Engineering,
{ICSE} 2001, 12-19 May 2001, Toronto, Ontario, Canada},
pages = {601--609},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICSE.2001.919134},
doi = {10.1109/ICSE.2001.919134},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SitaramanLWHW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssr/SitaramanKKOR01,
author = {Murali Sitaraman and
Gregory Kulczycki and
Joan Krone and
William F. Ogden and
A. L. Narasimha Reddy},
title = {Performance specification of software components},
booktitle = {Proceedings of the {ACM} {SIGSOFT} Symposium on Software Reusability:
Putting Software Reuse in Context, {SSR} 2001, May 18-20, 2001, Toronto,
Ontario, Canada},
pages = {3--10},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/375212.375223},
doi = {10.1145/375212.375223},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ssr/SitaramanKKOR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/SitaramanAKWLBHPH00,
author = {Murali Sitaraman and
Steven Atkinson and
Gregory Kulczycki and
Bruce W. Weide and
Timothy J. Long and
Paolo Bucci and
Wayne D. Heym and
Scott M. Pike and
Joseph E. Hollingsworth},
editor = {William B. Frakes},
title = {Reasoning about Software-Component Behavior},
booktitle = {Software Reuse: Advances in Software Reusability, 6th International
Conerence, ICSR-6, Vienna, Austria, June 27-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1844},
pages = {266--283},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-3-540-44995-9\_16},
doi = {10.1007/978-3-540-44995-9\_16},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/icsr/SitaramanAKWLBHPH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/LongWBS99,
author = {Timothy J. Long and
Bruce W. Weide and
Paolo Bucci and
Murali Sitaraman},
editor = {Jane Prey and
Robert E. Noonan},
title = {Client view first: an exodus from implementation-biased teaching},
booktitle = {Proceedings of the 30th {SIGCSE} Technical Symposium on Computer Science
Education, {SIGCSE} 1999, New Orleans, Louisiana, USA, March 14-28,
1999},
pages = {136--140},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/299649.299734},
doi = {10.1145/299649.299734},
timestamp = {Tue, 23 Mar 2021 10:54:19 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/LongWBS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssr/AddyS99,
author = {Edward A. Addy and
Murali Sitaraman},
title = {Formal Specification of COTS-Based Software: {A} Case Study},
booktitle = {Proceedings of the Fifth {ACM} {SIGSOFT} Symposium on Software Reusability,
{SSR} 1999, May 21-23, 1999, Los Angeles, CA, {USA}},
pages = {83--91},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/303008.303034},
doi = {10.1145/303008.303034},
timestamp = {Fri, 26 Jul 2019 14:12:40 +0200},
biburl = {https://dblp.org/rec/conf/ssr/AddyS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssr/SitaramanDDPRW99,
author = {Murali Sitaraman and
Maggie Davis and
Premkumar T. Devanbu and
Jeffrey S. Poulin and
Alexander Ran and
Bruce W. Weide},
title = {Reuse Research: Contributions, Problems and Non-Problems},
booktitle = {Proceedings of the Fifth {ACM} {SIGSOFT} Symposium on Software Reusability,
{SSR} 1999, May 21-23, 1999, Los Angeles, CA, {USA}},
pages = {178--180},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/303008.303084},
doi = {10.1145/303008.303084},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssr/SitaramanDDPRW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/LeavensNS98,
author = {Gary T. Leavens and
Oscar Nierstrasz and
Murali Sitaraman},
title = {1997 workshop on foundations of component-based systems},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {23},
number = {1},
pages = {38--41},
year = {1998},
url = {https://doi.org/10.1145/272263.272272},
doi = {10.1145/272263.272272},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/LeavensNS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/SitaramanWLO98,
author = {Murali Sitaraman and
Bruce W. Weide and
Timothy J. Long and
William F. Ogden},
editor = {Mehdi Jazayeri and
R{\"{u}}diger Loos and
David R. Musser},
title = {A Data Abstraction Alternative to Data Structure/Algorithm Modularization},
booktitle = {Generic Programming, International Seminar on Generic Programming,
Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1766},
pages = {102--113},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-39953-4\_9},
doi = {10.1007/3-540-39953-4\_9},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/SitaramanWLO98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/EdwardsSSWH98,
author = {Stephen H. Edwards and
Gulam Shakir and
Murali Sitaraman and
Bruce W. Weide and
Joe Hollingsworth},
editor = {Premkumar T. Devanbu and
Jeffrey S. Poulin},
title = {A framework for detecting interface violations in component-based
software},
booktitle = {Proceedings of the Fifth International Conference on Software Reuse,
{ICSR} 1998, Victoria, BC, Canada, June 2-5, 1998},
pages = {46--55},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICSR.1998.685729},
doi = {10.1109/ICSR.1998.685729},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsr/EdwardsSSWH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/LongWBGHSE98,
author = {Timothy J. Long and
Bruce W. Weide and
Paolo Bucci and
David S. Gibson and
Joseph E. Hollingsworth and
Murali Sitaraman and
Stephen H. Edwards},
editor = {John Lewis and
Jane Prey and
Daniel Joyce and
John Impagliazzo},
title = {Providing intellectual focus to {CS1/CS2}},
booktitle = {Proceedings of the 29th {SIGCSE} Technical Symposium on Computer Science
Education, {SIGCSE} 1998, Atlanta, Georgia, USA, February 26 - March
1, 1998},
pages = {252--256},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/273133.274307},
doi = {10.1145/273133.274307},
timestamp = {Mon, 30 May 2022 15:19:22 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/LongWBGHSE98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joop/FlemingSS97,
author = {David Fleming and
Murali Sitaraman and
Sethu Sreerama},
title = {A Practical Performance Criterion for Object Interface Design},
journal = {J. Object Oriented Program.},
volume = {10},
number = {4},
pages = {52--63},
year = {1997},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joop/FlemingSS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Sitaraman97,
author = {Murali Sitaraman},
title = {Fourth international conference on software reuse {(ICSR4)}},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {22},
number = {1},
pages = {27},
year = {1997},
url = {https://doi.org/10.1145/251759.251821},
doi = {10.1145/251759.251821},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/Sitaraman97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/SreeramaFS97,
author = {Sethu Sreerama and
David Fleming and
Murali Sitaraman},
title = {Graceful Object-Based Performance Evolution},
journal = {Softw. Pract. Exp.},
volume = {27},
number = {1},
pages = {111--122},
year = {1997},
url = {https://doi.org/10.1002/(SICI)1097-024X(199701)27:1\&\#60;111::AID-SPE80\&\#62;3.0.CO;2-V},
doi = {10.1002/(SICI)1097-024X(199701)27:1\&\#60;111::AID-SPE80\&\#62;3.0.CO;2-V},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/SreeramaFS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SitaramanWO97,
author = {Murali Sitaraman and
Bruce W. Weide and
William F. Ogden},
title = {On the Practical Need for Abstraction Relations to Verify Abstract
Data Type Representations},
journal = {{IEEE} Trans. Software Eng.},
volume = {23},
number = {3},
pages = {157--170},
year = {1997},
url = {https://doi.org/10.1109/32.585503},
doi = {10.1109/32.585503},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/SitaramanWO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Sitaraman96,
author = {Murali Sitaraman},
title = {Impact of Performance Considerations on Formal Specification Design},
journal = {Formal Aspects Comput.},
volume = {8},
number = {6},
pages = {716--736},
year = {1996},
url = {https://doi.org/10.1007/BF01213496},
doi = {10.1007/BF01213496},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Sitaraman96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Sitaraman96,
author = {Murali Sitaraman},
title = {4th international software reuse conference overview},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {21},
number = {1},
pages = {15},
year = {1996},
url = {https://doi.org/10.1145/381790.381796},
doi = {10.1145/381790.381796},
timestamp = {Wed, 02 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/Sitaraman96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsr/1996,
editor = {Murali Sitaraman},
title = {Proceedings of Fourth {IEEE} International Conference on Software
Reuse, {ICSR} 1996, April 23-26, 1996, Orlando, Florida, {USA}},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/conhome/3685/proceeding},
isbn = {0-8186-7301-X},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsr/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpcs/FangRRS95,
author = {Tao Fang and
A. L. Narasimha Reddy and
George Rinard and
Murali Sitaraman},
editor = {M. H. Hamza},
title = {Distributed Execution of Object-Based Software},
booktitle = {Proceedings of the Seventh {IASTED/ISMM} International Conference
on Parallel and Distributed Computing and Systems, Washington, D.C.,
USA, October 19-21, 1995},
pages = {521--524},
publisher = {{IASTED/ACTA} Press},
year = {1995},
timestamp = {Thu, 04 Aug 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdpcs/FangRRS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/OgdenSWZ94,
author = {William F. Ogden and
Murali Sitaraman and
Bruce W. Weide and
Stuart H. Zweben},
title = {Part {I:} the {RESOLVE} framework and discipline: a research synopsis},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {19},
number = {4},
pages = {23--28},
year = {1994},
url = {https://doi.org/10.1145/190679.190681},
doi = {10.1145/190679.190681},
timestamp = {Fri, 04 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/OgdenSWZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/EdwardsHLSW94,
author = {Stephen H. Edwards and
Wayne D. Heym and
Timothy J. Long and
Murali Sitaraman and
Bruce W. Weide},
title = {Part {II:} specifying components in {RESOLVE}},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {19},
number = {4},
pages = {29--39},
year = {1994},
url = {https://doi.org/10.1145/190679.190682},
doi = {10.1145/190679.190682},
timestamp = {Fri, 04 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/EdwardsHLSW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/WeideOS94,
author = {Bruce W. Weide and
William F. Ogden and
Murali Sitaraman},
title = {Recasting Algorithms to Encourage Reuse},
journal = {{IEEE} Softw.},
volume = {11},
number = {5},
pages = {80--88},
year = {1994},
url = {https://doi.org/10.1109/52.311066},
doi = {10.1109/52.311066},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/WeideOS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/Sitaraman94,
author = {Murali Sitaraman},
title = {On tight performance specification of object-oriented software components},
booktitle = {Proceedings of 3rd International Conference on Software Reuse, {ICSR}
1994, Rio De Janeiro, Brazil, November 1-4, 1994},
pages = {149--156},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/ICSR.1994.365789},
doi = {10.1109/ICSR.1994.365789},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsr/Sitaraman94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/SitaramanFFFHMW94,
author = {Murali Sitaraman and
Michael B. Feldman and
Gary Ford and
William B. Frakes and
Joseph E. Hollingsworth and
David F. McAllister and
Bruce W. Weide},
editor = {Charles B. Engle Jr.},
title = {What Changes Are Needed For Undergraduate {CS} Curricula to Educate
"Software Engineers"?},
booktitle = {Proceedings of the 1994 Conference on TRI-Ada 1994, November 6-11,
1994, Baltimore, Maryland, {USA}},
pages = {220},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/197694.197723},
doi = {10.1145/197694.197723},
timestamp = {Fri, 06 May 2022 16:16:51 +0200},
biburl = {https://dblp.org/rec/conf/sigada/SitaramanFFFHMW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/SitaramanWH93,
author = {Murali Sitaraman and
Lonnie R. Welch and
Douglas E. Harms},
title = {On Specification of Reusable Software Components},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {3},
number = {2},
pages = {207--229},
year = {1993},
url = {https://doi.org/10.1142/S0218194093000100},
doi = {10.1142/S0218194093000100},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/SitaramanWH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/SitaramanG93,
author = {Murali Sitaraman and
Jeff Gray},
editor = {Charles B. Engle Jr.},
title = {Software Reuse: {A} Context for Introducing Software Engineering Principles
in a Traditional Computer Science Second Course},
booktitle = {Conference Proceedings on TRI-Ada 1993, September 18-23, 1993, Seattle,
Washington, {USA}},
pages = {137--146},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/170657.170701},
doi = {10.1145/170657.170701},
timestamp = {Fri, 06 May 2022 16:16:51 +0200},
biburl = {https://dblp.org/rec/conf/sigada/SitaramanG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/Sitaraman92,
author = {Murali Sitaraman},
title = {Performance-Parameterized Reusable Software Components},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {2},
number = {4},
pages = {567--587},
year = {1992},
url = {https://doi.org/10.1142/S0218194092000269},
doi = {10.1142/S0218194092000269},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/Sitaraman92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/Sitaraman92,
author = {Murali Sitaraman},
editor = {James R. Cordy and
Mario Barbacci},
title = {A class of programming language mechanisms to facilitate multiple
implementations of the same specification},
booktitle = {ICCL'92, Proceedings of the 1992 International Conference on Computer
Languages, Oakland, California, USA, 20-23 Apr 1992},
pages = {272--281},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/ICCL.1992.185491},
doi = {10.1109/ICCL.1992.185491},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccl/Sitaraman92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
