Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-1803-10319,
  author       = {Josip Bozic and
                  Lina Marsso and
                  Radu Mateescu and
                  Franz Wotawa},
  editor       = {John P. Gallagher and
                  Rob van Glabbeek and
                  Wendelin Serwe},
  title        = {A Formal {TLS} Handshake Model in {LNT}},
  booktitle    = {Proceedings Third Workshop on Models for Formal Analysis of Real Systems
                  and Sixth International Workshop on Verification and Program Transformation,
                  MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018},
  series       = {{EPTCS}},
  volume       = {268},
  pages        = {1--40},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.268.1},
  doi          = {10.4204/EPTCS.268.1},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1803-10319.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1803-10322,
  author       = {Hubert Garavel and
                  Lina Marsso},
  editor       = {John P. Gallagher and
                  Rob van Glabbeek and
                  Wendelin Serwe},
  title        = {Comparative Study of Eight Formal Specifications of the Message Authenticator
                  Algorithm},
  booktitle    = {Proceedings Third Workshop on Models for Formal Analysis of Real Systems
                  and Sixth International Workshop on Verification and Program Transformation,
                  MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018},
  series       = {{EPTCS}},
  volume       = {268},
  pages        = {41--87},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.268.2},
  doi          = {10.4204/EPTCS.268.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1803-10322.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1803-10323,
  author       = {Quentin L. Meunier and
                  Yann Thierry{-}Mieg and
                  Emmanuelle Encrenaz},
  editor       = {John P. Gallagher and
                  Rob van Glabbeek and
                  Wendelin Serwe},
  title        = {Modeling a Cache Coherence Protocol with the Guarded Action Language},
  booktitle    = {Proceedings Third Workshop on Models for Formal Analysis of Real Systems
                  and Sixth International Workshop on Verification and Program Transformation,
                  MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018},
  series       = {{EPTCS}},
  volume       = {268},
  pages        = {88--103},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.268.3},
  doi          = {10.4204/EPTCS.268.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1803-10323.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1803-10324,
  author       = {Franco Mazzanti and
                  Alessio Ferrari},
  editor       = {John P. Gallagher and
                  Rob van Glabbeek and
                  Wendelin Serwe},
  title        = {Ten Diverse Formal Models for a {CBTC} Automatic Train Supervision
                  System},
  booktitle    = {Proceedings Third Workshop on Models for Formal Analysis of Real Systems
                  and Sixth International Workshop on Verification and Program Transformation,
                  MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018},
  series       = {{EPTCS}},
  volume       = {268},
  pages        = {104--149},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.268.4},
  doi          = {10.4204/EPTCS.268.4},
  timestamp    = {Tue, 09 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1803-10324.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1803-10327,
  author       = {Robert Gl{\"{u}}ck},
  editor       = {John P. Gallagher and
                  Rob van Glabbeek and
                  Wendelin Serwe},
  title        = {An Experiment in Ping-Pong Protocol Verification by Nondeterministic
                  Pushdown Automata},
  booktitle    = {Proceedings Third Workshop on Models for Formal Analysis of Real Systems
                  and Sixth International Workshop on Verification and Program Transformation,
                  MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018},
  series       = {{EPTCS}},
  volume       = {268},
  pages        = {169--184},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.268.6},
  doi          = {10.4204/EPTCS.268.6},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1803-10327.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1803-10328,
  author       = {Bernhard Beckert and
                  Timo Bingmann and
                  Moritz Kiefer and
                  Peter Sanders and
                  Mattias Ulbrich and
                  Alexander Weigl},
  editor       = {John P. Gallagher and
                  Rob van Glabbeek and
                  Wendelin Serwe},
  title        = {Proving Equivalence Between Imperative and MapReduce Implementations
                  Using Program Transformations},
  booktitle    = {Proceedings Third Workshop on Models for Formal Analysis of Real Systems
                  and Sixth International Workshop on Verification and Program Transformation,
                  MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018},
  series       = {{EPTCS}},
  volume       = {268},
  pages        = {185--199},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.268.7},
  doi          = {10.4204/EPTCS.268.7},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1803-10328.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1803-11050,
  author       = {Pujie Han and
                  Zhengjun Zhai and
                  Brian Nielsen and
                  Ulrik Nyman},
  editor       = {John P. Gallagher and
                  Rob van Glabbeek and
                  Wendelin Serwe},
  title        = {A Modeling Framework for Schedulability Analysis of Distributed Avionics
                  Systems},
  booktitle    = {Proceedings Third Workshop on Models for Formal Analysis of Real Systems
                  and Sixth International Workshop on Verification and Program Transformation,
                  MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018},
  series       = {{EPTCS}},
  volume       = {268},
  pages        = {150--168},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.268.5},
  doi          = {10.4204/EPTCS.268.5},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1803-11050.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1803-08668,
  editor       = {John P. Gallagher and
                  Rob van Glabbeek and
                  Wendelin Serwe},
  title        = {Proceedings Third Workshop on Models for Formal Analysis of Real Systems
                  and Sixth International Workshop on Verification and Program Transformation,
                  MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018},
  series       = {{EPTCS}},
  volume       = {268},
  year         = {2018},
  url          = {http://arxiv.org/abs/1803.08668},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1803-08668.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.