Search dblp for Publications

export results for "toc:db/conf/sigsoft/fse2002.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.