Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/corr/ArcileDKDR15,
  author       = {Johan Arcile and
                  Jean{-}Yves Didier and
                  Hanna Klaudel and
                  Raymond R. Devillers and
                  Artur Rataj},
  editor       = {Jun Pang and
                  Yang Liu and
                  Sjouke Mauw},
  title        = {Indefinite waitings in {MIRELA} systems},
  booktitle    = {Proceedings 4th International Workshop on Engineering Safety and Security
                  Systems, {ESSS} 2015, Oslo, Norway, June 22, 2015},
  series       = {{EPTCS}},
  volume       = {184},
  pages        = {5--18},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.184.1},
  doi          = {10.4204/EPTCS.184.1},
  timestamp    = {Thu, 23 Sep 2021 11:46:10 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ArcileDKDR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/BusardCLPS15,
  author       = {Simon Busard and
                  Quentin Cappart and
                  Christophe Limbr{\'{e}}e and
                  Charles Pecheur and
                  Pierre Schaus},
  editor       = {Jun Pang and
                  Yang Liu and
                  Sjouke Mauw},
  title        = {Verification of railway interlocking systems},
  booktitle    = {Proceedings 4th International Workshop on Engineering Safety and Security
                  Systems, {ESSS} 2015, Oslo, Norway, June 22, 2015},
  series       = {{EPTCS}},
  volume       = {184},
  pages        = {19--31},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.184.2},
  doi          = {10.4204/EPTCS.184.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BusardCLPS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/KromodimoeljoL15,
  author       = {Sentot Kromodimoeljo and
                  Peter A. Lindsay},
  editor       = {Jun Pang and
                  Yang Liu and
                  Sjouke Mauw},
  title        = {Automatic Generation of Minimal Cut Sets},
  booktitle    = {Proceedings 4th International Workshop on Engineering Safety and Security
                  Systems, {ESSS} 2015, Oslo, Norway, June 22, 2015},
  series       = {{EPTCS}},
  volume       = {184},
  pages        = {33--47},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.184.3},
  doi          = {10.4204/EPTCS.184.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KromodimoeljoL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/MohlmannT15,
  author       = {Eike M{\"{o}}hlmann and
                  Oliver E. Theel},
  editor       = {Jun Pang and
                  Yang Liu and
                  Sjouke Mauw},
  title        = {Breaking Dense Structures: Proving Stability of Densely Structured
                  Hybrid Systems},
  booktitle    = {Proceedings 4th International Workshop on Engineering Safety and Security
                  Systems, {ESSS} 2015, Oslo, Norway, June 22, 2015},
  series       = {{EPTCS}},
  volume       = {184},
  pages        = {49--63},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.184.4},
  doi          = {10.4204/EPTCS.184.4},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MohlmannT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/PangWLWNCT15,
  author       = {Linna Pang and
                  Chen{-}Wei Wang and
                  Mark Lawford and
                  Alan Wassyng and
                  Josh Newell and
                  Vera Chow and
                  David Tremaine},
  editor       = {Jun Pang and
                  Yang Liu and
                  Sjouke Mauw},
  title        = {Formal Verification of Real-Time Function Blocks Using {PVS}},
  booktitle    = {Proceedings 4th International Workshop on Engineering Safety and Security
                  Systems, {ESSS} 2015, Oslo, Norway, June 22, 2015},
  series       = {{EPTCS}},
  volume       = {184},
  pages        = {65--79},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.184.5},
  doi          = {10.4204/EPTCS.184.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/PangWLWNCT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/WangOH15,
  author       = {Chen{-}Wei Wang and
                  Jonathan S. Ostroff and
                  Simon Hudon},
  editor       = {Jun Pang and
                  Yang Liu and
                  Sjouke Mauw},
  title        = {Using Indexed and Synchronous Events to Model and Validate Cyber-Physical
                  Systems},
  booktitle    = {Proceedings 4th International Workshop on Engineering Safety and Security
                  Systems, {ESSS} 2015, Oslo, Norway, June 22, 2015},
  series       = {{EPTCS}},
  volume       = {184},
  pages        = {81--95},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.184.6},
  doi          = {10.4204/EPTCS.184.6},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/WangOH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/PangLM15,
  editor       = {Jun Pang and
                  Yang Liu and
                  Sjouke Mauw},
  title        = {Proceedings 4th International Workshop on Engineering Safety and Security
                  Systems, {ESSS} 2015, Oslo, Norway, June 22, 2015},
  series       = {{EPTCS}},
  volume       = {184},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.184},
  doi          = {10.4204/EPTCS.184},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/PangLM15.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.