default search action
Search dblp for Publications
export results for "toc:db/conf/sigsoft/fse2002.bht:"
@inproceedings{DBLP:conf/sigsoft/BrunsC02, author = {Glenn Bruns and Satish Chandra}, title = {Searching for points-to analysis}, booktitle = {Proceedings of the Tenth {ACM} {SIGSOFT} Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18-22, 2002}, pages = {61--70}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/587051.587061}, doi = {10.1145/587051.587061}, timestamp = {Tue, 01 Feb 2022 10:45:16 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/BrunsC02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/CapraEM02, author = {Licia Capra and Wolfgang Emmerich and Cecilia Mascolo}, title = {A micro-economic approach to conflict resolution in mobile computing}, booktitle = {Proceedings of the Tenth {ACM} {SIGSOFT} Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18-22, 2002}, pages = {31--40}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/587051.587057}, doi = {10.1145/587051.587057}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/CapraEM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/Chu-CarrollWS02, author = {Mark Chu{-}Carroll and James L. Wright and David Shields}, title = {Supporting aggregation in fine grained software configuration management}, booktitle = {Proceedings of the Tenth {ACM} {SIGSOFT} Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18-22, 2002}, pages = {99--108}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/587051.587067}, doi = {10.1145/587051.587067}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/Chu-CarrollWS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/CobleighOWL02, author = {Jamieson M. Cobleigh and Leon J. Osterweil and Alexander E. Wise and Barbara Staudt Lerner}, title = {Containment units: a hierarchically composable architecture for adaptive systems}, booktitle = {Proceedings of the Tenth {ACM} {SIGSOFT} Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18-22, 2002}, pages = {159--165}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/587051.587076}, doi = {10.1145/587051.587076}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/CobleighOWL02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/GurfinkelDC02, author = {Arie Gurfinkel and Benet Devereux and Marsha Chechik}, title = {Model exploration with temporal logic query checking}, booktitle = {Proceedings of the Tenth {ACM} {SIGSOFT} Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18-22, 2002}, pages = {139--148}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/587051.587073}, doi = {10.1145/587051.587073}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/GurfinkelDC02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/Holzmann02, author = {Gerard J. Holzmann}, title = {The logic of bugs}, booktitle = {Proceedings of the Tenth {ACM} {SIGSOFT} Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18-22, 2002}, pages = {81--87}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/587051.587064}, doi = {10.1145/587051.587064}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/Holzmann02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/JulienR02, author = {Christine Julien and Gruia{-}Catalin Roman}, title = {Egocentric context-aware programming in ad hoc mobile environments}, booktitle = {Proceedings of the Tenth {ACM} {SIGSOFT} Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18-22, 2002}, pages = {21--30}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/587051.587056}, doi = {10.1145/587051.587056}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/JulienR02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/LetierL02, author = {Emmanuel Letier and Axel van Lamsweerde}, title = {Deriving operational software specifications from system goals}, booktitle = {Proceedings of the Tenth {ACM} {SIGSOFT} Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18-22, 2002}, pages = {119--128}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/587051.587070}, doi = {10.1145/587051.587070}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/LetierL02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/LiKF02, author = {Harry C. Li and Shriram Krishnamurthi and Kathi Fisler}, title = {Verifying cross-cutting features as open systems}, booktitle = {Proceedings of the Tenth {ACM} {SIGSOFT} Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18-22, 2002}, pages = {89--98}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/587051.587066}, doi = {10.1145/587051.587066}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/LiKF02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/LopesFW02, author = {Ant{\'{o}}nia Lopes and Jos{\'{e}} Luiz Fiadeiro and Michel Wermelinger}, title = {Architectural primitives for distribution and mobility}, booktitle = {Proceedings of the Tenth {ACM} {SIGSOFT} Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18-22, 2002}, pages = {41--50}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/587051.587058}, doi = {10.1145/587051.587058}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/LopesFW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/MockACE02, author = {Markus Mock and Darren C. Atkinson and Craig Chambers and Susan J. Eggers}, title = {Improving program slicing with dynamic points-to data}, booktitle = {Proceedings of the Tenth {ACM} {SIGSOFT} Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18-22, 2002}, pages = {71--80}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/587051.587062}, doi = {10.1145/587051.587062}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/MockACE02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/NimmerE02, author = {Jeremy W. Nimmer and Michael D. Ernst}, title = {Invariant inference for static checking}, booktitle = {Proceedings of the Tenth {ACM} {SIGSOFT} Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18-22, 2002}, pages = {11--20}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/587051.587054}, doi = {10.1145/587051.587054}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/NimmerE02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/NiuAD02, author = {Jianwei Niu and Joanne M. Atlee and Nancy A. Day}, title = {Composable semantics for model-based notations}, booktitle = {Proceedings of the Tenth {ACM} {SIGSOFT} Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18-22, 2002}, pages = {149--158}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/587051.587074}, doi = {10.1145/587051.587074}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/NiuAD02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/SenguptaC02, author = {Bikram Sengupta and Rance Cleaveland}, title = {Triggered message sequence charts}, booktitle = {Proceedings of the Tenth {ACM} {SIGSOFT} Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18-22, 2002}, pages = {167--176}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/587051.587077}, doi = {10.1145/587051.587077}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/SenguptaC02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/UchitelKM02, author = {Sebasti{\'{a}}n Uchitel and Jeff Kramer and Jeff Magee}, title = {Negative scenarios for implied scenario elicitation}, booktitle = {Proceedings of the Tenth {ACM} {SIGSOFT} Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18-22, 2002}, pages = {109--118}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/587051.587069}, doi = {10.1145/587051.587069}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/UchitelKM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/VetterlingWW02, author = {Monika Vetterling and Guido Wimmel and Alexander K. Wi{\ss}peintner}, title = {Secure systems development based on the common criteria: the PalME project}, booktitle = {Proceedings of the Tenth {ACM} {SIGSOFT} Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18-22, 2002}, pages = {129--138}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/587051.587071}, doi = {10.1145/587051.587071}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/VetterlingWW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/XieE02, author = {Yichen Xie and Dawson R. Engler}, title = {Using redundancies to find errors}, booktitle = {Proceedings of the Tenth {ACM} {SIGSOFT} Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18-22, 2002}, pages = {51--60}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/587051.587060}, doi = {10.1145/587051.587060}, timestamp = {Tue, 27 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/XieE02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/Zeller02, author = {Andreas Zeller}, title = {Isolating cause-effect chains from computer programs}, booktitle = {Proceedings of the Tenth {ACM} {SIGSOFT} Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18-22, 2002}, pages = {1--10}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/587051.587053}, doi = {10.1145/587051.587053}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sigsoft/Zeller02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sigsoft/2002, title = {Proceedings of the Tenth {ACM} {SIGSOFT} Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18-22, 2002}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/587051}, doi = {10.1145/587051}, isbn = {1-58113-514-9}, timestamp = {Tue, 01 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/2002.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.