Search dblp for Publications

export results for "toc:db/conf/fmsp/fmsp2000.bht:"

 download as .bib file

@inproceedings{DBLP:conf/fmsp/ArcherHR00,
  author       = {Myla Archer and
                  Constance L. Heitmeyer and
                  Elvinia Riccobene},
  editor       = {Mats Per Erik Heimdahl},
  title        = {Using {TAME} to prove invariants of automata models: Two case studies},
  booktitle    = {Proceedings of the Third Workshop on Formal Methods in Software Practice,
                  2000, Portland, Oregon, {USA}},
  pages        = {25--36},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/349360.351127},
  doi          = {10.1145/349360.351127},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsp/ArcherHR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsp/BhargavanGO00,
  author       = {Karthikeyan Bhargavan and
                  Carl A. Gunter and
                  Davor Obradovic},
  editor       = {Mats Per Erik Heimdahl},
  title        = {Fault origin adjudication},
  booktitle    = {Proceedings of the Third Workshop on Formal Methods in Software Practice,
                  2000, Portland, Oregon, {USA}},
  pages        = {61--71},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/349360.351132},
  doi          = {10.1145/349360.351132},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsp/BhargavanGO00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsp/Dill00,
  author       = {David L. Dill},
  editor       = {Mats Per Erik Heimdahl},
  title        = {Model checking Java programs},
  booktitle    = {Proceedings of the Third Workshop on Formal Methods in Software Practice,
                  2000, Portland, Oregon, {USA}},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/349360.351124},
  doi          = {10.1145/349360.351124},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsp/Dill00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsp/Hall00,
  author       = {Robert J. Hall},
  editor       = {Mats Per Erik Heimdahl},
  title        = {Specification, validation, and synthesis of email agent controllers:
                  {A} case study in function rich reactive system design},
  booktitle    = {Proceedings of the Third Workshop on Formal Methods in Software Practice,
                  2000, Portland, Oregon, {USA}},
  pages        = {13--23},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/349360.351126},
  doi          = {10.1145/349360.351126},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmsp/Hall00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsp/KlarlundMS00,
  author       = {Nils Klarlund and
                  Anders M{\o}ller and
                  Michael I. Schwartzbach},
  editor       = {Mats Per Erik Heimdahl},
  title        = {{DSD:} {A} schema language for {XML}},
  booktitle    = {Proceedings of the Third Workshop on Formal Methods in Software Practice,
                  2000, Portland, Oregon, {USA}},
  pages        = {101--111},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/349360.351158},
  doi          = {10.1145/349360.351158},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsp/KlarlundMS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsp/KongAD00,
  author       = {Cindy Kong and
                  Perry Alexander and
                  Darryl D. Dieckman},
  editor       = {Mats Per Erik Heimdahl},
  title        = {Formal modeling of active network nodes using {PVS}},
  booktitle    = {Proceedings of the Third Workshop on Formal Methods in Software Practice,
                  2000, Portland, Oregon, {USA}},
  pages        = {49--59},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/349360.351130},
  doi          = {10.1145/349360.351130},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmsp/KongAD00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsp/Leveson00,
  author       = {Nancy G. Leveson},
  editor       = {Mats Per Erik Heimdahl},
  title        = {Completeness in formal specification language design for process-control
                  systems},
  booktitle    = {Proceedings of the Third Workshop on Formal Methods in Software Practice,
                  2000, Portland, Oregon, {USA}},
  pages        = {75--87},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/349360.351140},
  doi          = {10.1145/349360.351140},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsp/Leveson00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsp/MartinWV00,
  author       = {W. B. Martin and
                  P. D. White and
                  W. Mark Vanfleet},
  editor       = {Mats Per Erik Heimdahl},
  title        = {Government, industry, and academia: Teaming to design high confidence
                  information security applications},
  booktitle    = {Proceedings of the Third Workshop on Formal Methods in Software Practice,
                  2000, Portland, Oregon, {USA}},
  pages        = {37--47},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/349360.351128},
  doi          = {10.1145/349360.351128},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsp/MartinWV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsp/OlderogR00,
  author       = {Ernst{-}R{\"{u}}diger Olderog and
                  Anders P. Ravn},
  editor       = {Mats Per Erik Heimdahl},
  title        = {Completeness in formal specification language design for process-control
                  systems},
  booktitle    = {Proceedings of the Third Workshop on Formal Methods in Software Practice,
                  2000, Portland, Oregon, {USA}},
  pages        = {89--100},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/349360.351142},
  doi          = {10.1145/349360.351142},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsp/OlderogR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsp/Smith00,
  author       = {Douglas R. Smith},
  editor       = {Mats Per Erik Heimdahl},
  title        = {Software synthesis and applications (abstract only)},
  booktitle    = {Proceedings of the Third Workshop on Formal Methods in Software Practice,
                  2000, Portland, Oregon, {USA}},
  pages        = {73},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/349360.351139},
  doi          = {10.1145/349360.351139},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsp/Smith00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsp/VisserPP00,
  author       = {Willem Visser and
                  Seungjoon Park and
                  John Penix},
  editor       = {Mats Per Erik Heimdahl},
  title        = {Using predicate abstraction to reduce object-oriented programs for
                  model checking},
  booktitle    = {Proceedings of the Third Workshop on Formal Methods in Software Practice,
                  2000, Portland, Oregon, {USA}},
  pages        = {3--182},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/349360.351125},
  doi          = {10.1145/349360.351125},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsp/VisserPP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fmsp/2000,
  editor       = {Mats Per Erik Heimdahl},
  title        = {Proceedings of the Third Workshop on Formal Methods in Software Practice,
                  2000, Portland, Oregon, {USA}},
  publisher    = {{ACM}},
  year         = {2000},
  isbn         = {1-58113-262-X},
  timestamp    = {Thu, 24 Nov 2005 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsp/2000.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.