Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/corr/Bartocci13,
  author       = {Ezio Bartocci},
  editor       = {Luca Bortolussi and
                  Manuela{-}Luminita Bujorianu and
                  Giordano Pola},
  title        = {Sampling-based Decentralized Monitoring for Networked Embedded Systems},
  booktitle    = {Proceedings Third International Workshop on Hybrid Autonomous Systems,
                  {HAS} 2013, Rome, Italy, 17th March 2013},
  series       = {{EPTCS}},
  volume       = {124},
  pages        = {85--99},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.124.9},
  doi          = {10.4204/EPTCS.124.9},
  timestamp    = {Tue, 21 Sep 2021 18:08:28 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Bartocci13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/BartocciG13,
  author       = {Ezio Bartocci and
                  Radu Grosu},
  editor       = {Luca Bortolussi and
                  Manuela{-}Luminita Bujorianu and
                  Giordano Pola},
  title        = {Monitoring with uncertainty},
  booktitle    = {Proceedings Third International Workshop on Hybrid Autonomous Systems,
                  {HAS} 2013, Rome, Italy, 17th March 2013},
  series       = {{EPTCS}},
  volume       = {124},
  pages        = {1--4},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.124.1},
  doi          = {10.4204/EPTCS.124.1},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BartocciG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/BenedettoP13,
  author       = {Maria Domenica Di Benedetto and
                  Giordano Pola},
  editor       = {Luca Bortolussi and
                  Manuela{-}Luminita Bujorianu and
                  Giordano Pola},
  title        = {Networked Embedded Control Systems: from Modelling to Implementation},
  booktitle    = {Proceedings Third International Workshop on Hybrid Autonomous Systems,
                  {HAS} 2013, Rome, Italy, 17th March 2013},
  series       = {{EPTCS}},
  volume       = {124},
  pages        = {9--13},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.124.3},
  doi          = {10.4204/EPTCS.124.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BenedettoP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Bresolin13a,
  author       = {Davide Bresolin},
  editor       = {Luca Bortolussi and
                  Manuela{-}Luminita Bujorianu and
                  Giordano Pola},
  title        = {HyLTL: a temporal logic for model checking hybrid systems},
  booktitle    = {Proceedings Third International Workshop on Hybrid Autonomous Systems,
                  {HAS} 2013, Rome, Italy, 17th March 2013},
  series       = {{EPTCS}},
  volume       = {124},
  pages        = {73--84},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.124.8},
  doi          = {10.4204/EPTCS.124.8},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/Bresolin13a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/CapiluppiS13,
  author       = {Marta Capiluppi and
                  Roberto Segala},
  editor       = {Luca Bortolussi and
                  Manuela{-}Luminita Bujorianu and
                  Giordano Pola},
  title        = {World Automata: a compositional approach to model implicit communication
                  in hierarchical Hybrid Systems},
  booktitle    = {Proceedings Third International Workshop on Hybrid Autonomous Systems,
                  {HAS} 2013, Rome, Italy, 17th March 2013},
  series       = {{EPTCS}},
  volume       = {124},
  pages        = {58--72},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.124.7},
  doi          = {10.4204/EPTCS.124.7},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/CapiluppiS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/CasagrandeDP13,
  author       = {Alberto Casagrande and
                  Tommaso Dreossi and
                  Carla Piazza},
  editor       = {Luca Bortolussi and
                  Manuela{-}Luminita Bujorianu and
                  Giordano Pola},
  title        = {Approximated Symbolic Computations over Hybrid Automata},
  booktitle    = {Proceedings Third International Workshop on Hybrid Autonomous Systems,
                  {HAS} 2013, Rome, Italy, 17th March 2013},
  series       = {{EPTCS}},
  volume       = {124},
  pages        = {43--57},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.124.6},
  doi          = {10.4204/EPTCS.124.6},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/CasagrandeDP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/ChantheryR13,
  author       = {Elodie Chanthery and
                  Pauline Ribot},
  editor       = {Luca Bortolussi and
                  Manuela{-}Luminita Bujorianu and
                  Giordano Pola},
  title        = {An Integrated Framework for Diagnosis and Prognosis of Hybrid Systems},
  booktitle    = {Proceedings Third International Workshop on Hybrid Autonomous Systems,
                  {HAS} 2013, Rome, Italy, 17th March 2013},
  series       = {{EPTCS}},
  volume       = {124},
  pages        = {14--25},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.124.4},
  doi          = {10.4204/EPTCS.124.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ChantheryR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/OconeS13,
  author       = {Andrea Ocone and
                  Guido Sanguinetti},
  editor       = {Luca Bortolussi and
                  Manuela{-}Luminita Bujorianu and
                  Giordano Pola},
  title        = {A stochastic hybrid model of a biological filter},
  booktitle    = {Proceedings Third International Workshop on Hybrid Autonomous Systems,
                  {HAS} 2013, Rome, Italy, 17th March 2013},
  series       = {{EPTCS}},
  volume       = {124},
  pages        = {100--108},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.124.10},
  doi          = {10.4204/EPTCS.124.10},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/OconeS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/SimonsenLSC13,
  author       = {Maria Simonsen and
                  John Leth and
                  Henrik Schi{\o}ler and
                  Horia D. Cornean},
  editor       = {Luca Bortolussi and
                  Manuela{-}Luminita Bujorianu and
                  Giordano Pola},
  title        = {A Simple Stochastic Differential Equation with Discontinuous Drift},
  booktitle    = {Proceedings Third International Workshop on Hybrid Autonomous Systems,
                  {HAS} 2013, Rome, Italy, 17th March 2013},
  series       = {{EPTCS}},
  volume       = {124},
  pages        = {109--123},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.124.11},
  doi          = {10.4204/EPTCS.124.11},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/SimonsenLSC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Wisniewski13,
  author       = {Rafael Wisniewski},
  editor       = {Luca Bortolussi and
                  Manuela{-}Luminita Bujorianu and
                  Giordano Pola},
  title        = {Combinatorial Abstractions of Dynamical Systems},
  booktitle    = {Proceedings Third International Workshop on Hybrid Autonomous Systems,
                  {HAS} 2013, Rome, Italy, 17th March 2013},
  series       = {{EPTCS}},
  volume       = {124},
  pages        = {5--8},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.124.2},
  doi          = {10.4204/EPTCS.124.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Wisniewski13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/WisniewskiS13,
  author       = {Rafael Wisniewski and
                  Christoffer Sloth},
  editor       = {Luca Bortolussi and
                  Manuela{-}Luminita Bujorianu and
                  Giordano Pola},
  title        = {Completeness of Lyapunov Abstraction},
  booktitle    = {Proceedings Third International Workshop on Hybrid Autonomous Systems,
                  {HAS} 2013, Rome, Italy, 17th March 2013},
  series       = {{EPTCS}},
  volume       = {124},
  pages        = {26--42},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.124.5},
  doi          = {10.4204/EPTCS.124.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/WisniewskiS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/BortolussiBP13,
  editor       = {Luca Bortolussi and
                  Manuela{-}Luminita Bujorianu and
                  Giordano Pola},
  title        = {Proceedings Third International Workshop on Hybrid Autonomous Systems,
                  {HAS} 2013, Rome, Italy, 17th March 2013},
  series       = {{EPTCS}},
  volume       = {124},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.124},
  doi          = {10.4204/EPTCS.124},
  timestamp    = {Tue, 21 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BortolussiBP13.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.