Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-1811-10814,
  author       = {Sylvain Dailler and
                  Claude March{\'{e}} and
                  Yannick Moy},
  editor       = {Paolo Masci and
                  Rosemary Monahan and
                  Virgile Prevosto},
  title        = {Lightweight Interactive Proving inside an Automatic Program Verifier},
  booktitle    = {Proceedings 4th Workshop on Formal Integrated Development Environment,
                  F-IDE@FLoC 2018, Oxford, England, 14 July 2018},
  series       = {{EPTCS}},
  volume       = {284},
  pages        = {1--15},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.284.1},
  doi          = {10.4204/EPTCS.284.1},
  timestamp    = {Sat, 09 Apr 2022 12:27:07 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1811-10814.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1811-10815,
  author       = {Jan Bessai and
                  Anna Vasileva},
  editor       = {Paolo Masci and
                  Rosemary Monahan and
                  Virgile Prevosto},
  title        = {User Support for the Combinator Logic Synthesizer Framework},
  booktitle    = {Proceedings 4th Workshop on Formal Integrated Development Environment,
                  F-IDE@FLoC 2018, Oxford, England, 14 July 2018},
  series       = {{EPTCS}},
  volume       = {284},
  pages        = {16--25},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.284.2},
  doi          = {10.4204/EPTCS.284.2},
  timestamp    = {Tue, 04 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1811-10815.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1811-10816,
  author       = {Paolo Arcaini and
                  Riccardo Melioli and
                  Elvinia Riccobene},
  editor       = {Paolo Masci and
                  Rosemary Monahan and
                  Virgile Prevosto},
  title        = {AsmetaF: {A} Flattener for the {ASMETA} Framework},
  booktitle    = {Proceedings 4th Workshop on Formal Integrated Development Environment,
                  F-IDE@FLoC 2018, Oxford, England, 14 July 2018},
  series       = {{EPTCS}},
  volume       = {284},
  pages        = {26--36},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.284.3},
  doi          = {10.4204/EPTCS.284.3},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1811-10816.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1811-10817,
  author       = {Rui Couto and
                  Jos{\'{e}} Creissac Campos and
                  Nuno Macedo and
                  Alcino Cunha},
  editor       = {Paolo Masci and
                  Rosemary Monahan and
                  Virgile Prevosto},
  title        = {Improving the Visualization of Alloy Instances},
  booktitle    = {Proceedings 4th Workshop on Formal Integrated Development Environment,
                  F-IDE@FLoC 2018, Oxford, England, 14 July 2018},
  series       = {{EPTCS}},
  volume       = {284},
  pages        = {37--52},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.284.4},
  doi          = {10.4204/EPTCS.284.4},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1811-10817.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1811-10818,
  author       = {Alexander Kn{\"{u}}ppel and
                  Thomas Th{\"{u}}m and
                  Carsten Pardylla and
                  Ina Schaefer},
  editor       = {Paolo Masci and
                  Rosemary Monahan and
                  Virgile Prevosto},
  title        = {Experience Report on Formally Verifying Parts of OpenJDK's {API} with
                  KeY},
  booktitle    = {Proceedings 4th Workshop on Formal Integrated Development Environment,
                  F-IDE@FLoC 2018, Oxford, England, 14 July 2018},
  series       = {{EPTCS}},
  volume       = {284},
  pages        = {53--70},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.284.5},
  doi          = {10.4204/EPTCS.284.5},
  timestamp    = {Tue, 04 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1811-10818.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1811-10819,
  author       = {Makarius Wenzel},
  editor       = {Paolo Masci and
                  Rosemary Monahan and
                  Virgile Prevosto},
  title        = {Isabelle/jEdit as {IDE} for Domain-specific Formal Languages and Informal
                  Text Documents},
  booktitle    = {Proceedings 4th Workshop on Formal Integrated Development Environment,
                  F-IDE@FLoC 2018, Oxford, England, 14 July 2018},
  series       = {{EPTCS}},
  volume       = {284},
  pages        = {71--84},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.284.6},
  doi          = {10.4204/EPTCS.284.6},
  timestamp    = {Tue, 04 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1811-10819.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1811-10820,
  author       = {Spencer Park and
                  Emil Sekerinski},
  editor       = {Paolo Masci and
                  Rosemary Monahan and
                  Virgile Prevosto},
  title        = {A Notebook Format for the Holistic Design of Embedded Systems (Tool
                  Paper)},
  booktitle    = {Proceedings 4th Workshop on Formal Integrated Development Environment,
                  F-IDE@FLoC 2018, Oxford, England, 14 July 2018},
  series       = {{EPTCS}},
  volume       = {284},
  pages        = {85--94},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.284.7},
  doi          = {10.4204/EPTCS.284.7},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1811-10820.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1811-10821,
  author       = {Nathaniel Watson and
                  Steve Reeves and
                  Paolo Masci},
  editor       = {Paolo Masci and
                  Rosemary Monahan and
                  Virgile Prevosto},
  title        = {Integrating User Design and Formal Models within PVSio-Web},
  booktitle    = {Proceedings 4th Workshop on Formal Integrated Development Environment,
                  F-IDE@FLoC 2018, Oxford, England, 14 July 2018},
  series       = {{EPTCS}},
  volume       = {284},
  pages        = {95--104},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.284.8},
  doi          = {10.4204/EPTCS.284.8},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1811-10821.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1811-09014,
  editor       = {Paolo Masci and
                  Rosemary Monahan and
                  Virgile Prevosto},
  title        = {Proceedings 4th Workshop on Formal Integrated Development Environment,
                  F-IDE@FLoC 2018, Oxford, England, 14 July 2018},
  series       = {{EPTCS}},
  volume       = {284},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.284},
  doi          = {10.4204/EPTCS.284},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1811-09014.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.