Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs149.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/BendispostoKL14,
  author       = {Jens Bendisposto and
                  Sebastian Krings and
                  Michael Leuschel},
  editor       = {Catherine Dubois and
                  Dimitra Giannakopoulou and
                  Dominique M{\'{e}}ry},
  title        = {Who watches the watchers: Validating the ProB Validation Tool},
  booktitle    = {Proceedings 1st Workshop on Formal Integrated Development Environment,
                  {F-IDE} 2014, Grenoble, France, April 6, 2014},
  series       = {{EPTCS}},
  volume       = {149},
  pages        = {16--29},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.149.3},
  doi          = {10.4204/EPTCS.149.3},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BendispostoKL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Cok14,
  author       = {David R. Cok},
  editor       = {Catherine Dubois and
                  Dimitra Giannakopoulou and
                  Dominique M{\'{e}}ry},
  title        = {OpenJML: Software verification for Java 7 using JML, OpenJDK, and
                  Eclipse},
  booktitle    = {Proceedings 1st Workshop on Formal Integrated Development Environment,
                  {F-IDE} 2014, Grenoble, France, April 6, 2014},
  series       = {{EPTCS}},
  volume       = {149},
  pages        = {79--92},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.149.8},
  doi          = {10.4204/EPTCS.149.8},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Cok14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/CokJ14,
  author       = {David R. Cok and
                  Scott C. Johnson},
  editor       = {Catherine Dubois and
                  Dimitra Giannakopoulou and
                  Dominique M{\'{e}}ry},
  title        = {{SPEEDY:} An Eclipse-based {IDE} for invariant inference},
  booktitle    = {Proceedings 1st Workshop on Formal Integrated Development Environment,
                  {F-IDE} 2014, Grenoble, France, April 6, 2014},
  series       = {{EPTCS}},
  volume       = {149},
  pages        = {44--57},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.149.5},
  doi          = {10.4204/EPTCS.149.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CokJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/DoligezFHM14,
  author       = {Damien Doligez and
                  Christ{\`{e}}le Faure and
                  Th{\'{e}}r{\`{e}}se Hardin and
                  Manuel Maarek},
  editor       = {Catherine Dubois and
                  Dimitra Giannakopoulou and
                  Dominique M{\'{e}}ry},
  title        = {Experience in using a typed functional language for the development
                  of a security application},
  booktitle    = {Proceedings 1st Workshop on Formal Integrated Development Environment,
                  {F-IDE} 2014, Grenoble, France, April 6, 2014},
  series       = {{EPTCS}},
  volume       = {149},
  pages        = {58--63},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.149.6},
  doi          = {10.4204/EPTCS.149.6},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/DoligezFHM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/JaumeL14,
  author       = {Mathieu Jaume and
                  Th{\'{e}}o Laurent},
  editor       = {Catherine Dubois and
                  Dimitra Giannakopoulou and
                  Dominique M{\'{e}}ry},
  title        = {Teaching Formal Methods and Discrete Mathematics},
  booktitle    = {Proceedings 1st Workshop on Formal Integrated Development Environment,
                  {F-IDE} 2014, Grenoble, France, April 6, 2014},
  series       = {{EPTCS}},
  volume       = {149},
  pages        = {30--43},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.149.4},
  doi          = {10.4204/EPTCS.149.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/JaumeL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/LeinoW14,
  author       = {K. Rustan M. Leino and
                  Valentin W{\"{u}}stholz},
  editor       = {Catherine Dubois and
                  Dimitra Giannakopoulou and
                  Dominique M{\'{e}}ry},
  title        = {The Dafny Integrated Development Environment},
  booktitle    = {Proceedings 1st Workshop on Formal Integrated Development Environment,
                  {F-IDE} 2014, Grenoble, France, April 6, 2014},
  series       = {{EPTCS}},
  volume       = {149},
  pages        = {3--15},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.149.2},
  doi          = {10.4204/EPTCS.149.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LeinoW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Pessaux14,
  author       = {Fran{\c{c}}ois Pessaux},
  editor       = {Catherine Dubois and
                  Dimitra Giannakopoulou and
                  Dominique M{\'{e}}ry},
  title        = {FoCaLiZe: Inside an {F-IDE}},
  booktitle    = {Proceedings 1st Workshop on Formal Integrated Development Environment,
                  {F-IDE} 2014, Grenoble, France, April 6, 2014},
  series       = {{EPTCS}},
  volume       = {149},
  pages        = {64--78},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.149.7},
  doi          = {10.4204/EPTCS.149.7},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Pessaux14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/WitulskiL14,
  author       = {John Witulski and
                  Michael Leuschel},
  editor       = {Catherine Dubois and
                  Dimitra Giannakopoulou and
                  Dominique M{\'{e}}ry},
  title        = {Checking Computations of Formal Method Tools - {A} Secondary Toolchain
                  for ProB},
  booktitle    = {Proceedings 1st Workshop on Formal Integrated Development Environment,
                  {F-IDE} 2014, Grenoble, France, April 6, 2014},
  series       = {{EPTCS}},
  volume       = {149},
  pages        = {93--105},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.149.9},
  doi          = {10.4204/EPTCS.149.9},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/WitulskiL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/DuboisGM14,
  editor       = {Catherine Dubois and
                  Dimitra Giannakopoulou and
                  Dominique M{\'{e}}ry},
  title        = {Proceedings 1st Workshop on Formal Integrated Development Environment,
                  {F-IDE} 2014, Grenoble, France, April 6, 2014},
  series       = {{EPTCS}},
  volume       = {149},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.149},
  doi          = {10.4204/EPTCS.149},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/DuboisGM14.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.