Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-1806-09846,
  author       = {Joseph Sifakis},
  editor       = {Simon Bliudze and
                  Saddek Bensalem},
  title        = {System Design in the Era of IoT - Meeting the Autonomy Challenge},
  booktitle    = {Proceedings of the 1st International Workshop on Methods and Tools
                  for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece,
                  15th April 2018},
  series       = {{EPTCS}},
  volume       = {272},
  pages        = {1--22},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.272.1},
  doi          = {10.4204/EPTCS.272.1},
  timestamp    = {Mon, 10 Sep 2018 16:20:34 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1806-09846.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1806-09848,
  author       = {Antonios Gouglidis and
                  Christos Grompanopoulos and
                  Anastasia Mavridou},
  editor       = {Simon Bliudze and
                  Saddek Bensalem},
  title        = {Formal Verification of Usage Control Models: {A} Case Study of UseCON
                  Using {TLA+}},
  booktitle    = {Proceedings of the 1st International Workshop on Methods and Tools
                  for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece,
                  15th April 2018},
  series       = {{EPTCS}},
  volume       = {272},
  pages        = {52--64},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.272.5},
  doi          = {10.4204/EPTCS.272.5},
  timestamp    = {Mon, 10 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1806-09848.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1806-09849,
  author       = {Mahmoud Khaled and
                  Matthias Rungger and
                  Majid Zamani},
  editor       = {Simon Bliudze and
                  Saddek Bensalem},
  title        = {{SENSE:} Abstraction-Based Synthesis of Networked Control Systems},
  booktitle    = {Proceedings of the 1st International Workshop on Methods and Tools
                  for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece,
                  15th April 2018},
  series       = {{EPTCS}},
  volume       = {272},
  pages        = {65--78},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.272.6},
  doi          = {10.4204/EPTCS.272.6},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1806-09849.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1806-09850,
  author       = {Fotios Gioulekas and
                  Peter Poplavko and
                  Panagiotis Katsaros and
                  Pedro Palomo},
  editor       = {Simon Bliudze and
                  Saddek Bensalem},
  title        = {Process Network Models for Embedded System Design Based on the Real-Time
                  {BIP} Execution Engine},
  booktitle    = {Proceedings of the 1st International Workshop on Methods and Tools
                  for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece,
                  15th April 2018},
  series       = {{EPTCS}},
  volume       = {272},
  pages        = {79--92},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.272.7},
  doi          = {10.4204/EPTCS.272.7},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1806-09850.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1806-09851,
  author       = {Afshin Amighi and
                  Marieke Huisman and
                  Stefan Blom},
  editor       = {Simon Bliudze and
                  Saddek Bensalem},
  title        = {Verification of Shared-Reading Synchronisers},
  booktitle    = {Proceedings of the 1st International Workshop on Methods and Tools
                  for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece,
                  15th April 2018},
  series       = {{EPTCS}},
  volume       = {272},
  pages        = {107--120},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.272.9},
  doi          = {10.4204/EPTCS.272.9},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1806-09851.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1806-09852,
  author       = {Kasper Dokter and
                  Farhad Arbab},
  editor       = {Simon Bliudze and
                  Saddek Bensalem},
  title        = {Treo: Textual Syntax for Reo Connectors},
  booktitle    = {Proceedings of the 1st International Workshop on Methods and Tools
                  for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece,
                  15th April 2018},
  series       = {{EPTCS}},
  volume       = {272},
  pages        = {121--135},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.272.10},
  doi          = {10.4204/EPTCS.272.10},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1806-09852.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1807-01242,
  author       = {Alexios Lekidis and
                  Panagiotis Katsaros},
  editor       = {Simon Bliudze and
                  Saddek Bensalem},
  title        = {Model-Based Design of Energy-Efficient Applications for IoT Systems},
  booktitle    = {Proceedings of the 1st International Workshop on Methods and Tools
                  for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece,
                  15th April 2018},
  series       = {{EPTCS}},
  volume       = {272},
  pages        = {24--38},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.272.3},
  doi          = {10.4204/EPTCS.272.3},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1807-01242.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1807-11570,
  author       = {Pujie Han and
                  Zhengjun Zhai and
                  Brian Nielsen and
                  Ulrik Nyman},
  editor       = {Simon Bliudze and
                  Saddek Bensalem},
  title        = {A Compositional Approach for Schedulability Analysis of Distributed
                  Avionics Systems},
  booktitle    = {Proceedings of the 1st International Workshop on Methods and Tools
                  for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece,
                  15th April 2018},
  series       = {{EPTCS}},
  volume       = {272},
  pages        = {39--51},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.272.4},
  doi          = {10.4204/EPTCS.272.4},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1807-11570.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1806-09330,
  editor       = {Simon Bliudze and
                  Saddek Bensalem},
  title        = {Proceedings of the 1st International Workshop on Methods and Tools
                  for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece,
                  15th April 2018},
  series       = {{EPTCS}},
  volume       = {272},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.272},
  doi          = {10.4204/EPTCS.272},
  timestamp    = {Mon, 10 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1806-09330.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.