Search dblp for Publications

export results for "toc:db/journals/lites/lites8.bht:"

 download as .bib file

@article{DBLP:journals/lites/AbateFF22,
  author       = {Alessandro Abate and
                  Uli Fahrenberg and
                  Martin Fr{\"{a}}nzle},
  title        = {Introduction to the Special Issue on Distributed Hybrid Systems},
  journal      = {Leibniz Trans. Embed. Syst.},
  volume       = {8},
  number       = {2},
  pages        = {00:1--00:3},
  year         = {2022},
  url          = {https://doi.org/10.4230/LITES.8.2.0},
  doi          = {10.4230/LITES.8.2.0},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lites/AbateFF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lites/Adimoolam022,
  author       = {Arvind S. Adimoolam and
                  Thao Dang},
  title        = {Safety Verification of Networked Control Systems by Complex Zonotopes},
  journal      = {Leibniz Trans. Embed. Syst.},
  volume       = {8},
  number       = {2},
  pages        = {01:1--01:22},
  year         = {2022},
  url          = {https://doi.org/10.4230/LITES.8.2.1},
  doi          = {10.4230/LITES.8.2.1},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lites/Adimoolam022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lites/ChakrabortyR22,
  author       = {Samarjit Chakraborty and
                  Qing Rao},
  title        = {Introduction to the Special Issue on Embedded Systems for Computer
                  Vision},
  journal      = {Leibniz Trans. Embed. Syst.},
  volume       = {8},
  number       = {1},
  pages        = {00:1--00:8},
  year         = {2022},
  url          = {https://doi.org/10.4230/LITES.8.1.0},
  doi          = {10.4230/LITES.8.1.0},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lites/ChakrabortyR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lites/CourtieuRTU22,
  author       = {Pierre Courtieu and
                  Lionel Rieg and
                  S{\'{e}}bastien Tixeuil and
                  Xavier Urbain},
  title        = {Swarms of Mobile Robots: Towards Versatility with Safety},
  journal      = {Leibniz Trans. Embed. Syst.},
  volume       = {8},
  number       = {2},
  pages        = {02:1--02:36},
  year         = {2022},
  url          = {https://doi.org/10.4230/LITES.8.2.2},
  doi          = {10.4230/LITES.8.2.2},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lites/CourtieuRTU22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lites/Fahrenberg22,
  author       = {Uli Fahrenberg},
  title        = {Higher-Dimensional Timed and Hybrid Automata},
  journal      = {Leibniz Trans. Embed. Syst.},
  volume       = {8},
  number       = {2},
  pages        = {03:1--03:16},
  year         = {2022},
  url          = {https://doi.org/10.4230/LITES.8.2.3},
  doi          = {10.4230/LITES.8.2.3},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lites/Fahrenberg22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lites/KamburjanMH22,
  author       = {Eduard Kamburjan and
                  Stefan Mitsch and
                  Reiner H{\"{a}}hnle},
  title        = {A Hybrid Programming Language for Formal Modeling and Verification
                  of Hybrid Systems},
  journal      = {Leibniz Trans. Embed. Syst.},
  volume       = {8},
  number       = {2},
  pages        = {04:1--04:34},
  year         = {2022},
  url          = {https://doi.org/10.4230/LITES.8.2.4},
  doi          = {10.4230/LITES.8.2.4},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lites/KamburjanMH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lites/KnocheHR22,
  author       = {Martin Knoche and
                  Stefan H{\"{o}}rmann and
                  Gerhard Rigoll},
  title        = {Susceptibility to Image Resolution in Face Recognition and Training
                  Strategies to Enhance Robustness},
  journal      = {Leibniz Trans. Embed. Syst.},
  volume       = {8},
  number       = {1},
  pages        = {01:1--01:20},
  year         = {2022},
  url          = {https://doi.org/10.4230/LITES.8.1.1},
  doi          = {10.4230/LITES.8.1.1},
  timestamp    = {Tue, 18 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lites/KnocheHR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lites/KrogerF22,
  author       = {Paul Kr{\"{o}}ger and
                  Martin Fr{\"{a}}nzle},
  title        = {Bayesian Hybrid Automata: {A} Formal Model of Justified Belief in
                  Interacting Hybrid Systems Subject to Imprecise Observation},
  journal      = {Leibniz Trans. Embed. Syst.},
  volume       = {8},
  number       = {2},
  pages        = {05:1--05:27},
  year         = {2022},
  url          = {https://doi.org/10.4230/LITES.8.2.5},
  doi          = {10.4230/LITES.8.2.5},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lites/KrogerF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lites/KruberMEWCB22,
  author       = {Friedrich Kruber and
                  Eduardo S{\'{a}}nchez Morales and
                  Robin Egolf and
                  Jonas Wurst and
                  Samarjit Chakraborty and
                  Michael Botsch},
  title        = {Micro- and Macroscopic Road Traffic Analysis using Drone Image Data},
  journal      = {Leibniz Trans. Embed. Syst.},
  volume       = {8},
  number       = {1},
  pages        = {02:1--02:27},
  year         = {2022},
  url          = {https://doi.org/10.4230/LITES.8.1.2},
  doi          = {10.4230/LITES.8.1.2},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lites/KruberMEWCB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lites/Nejati022,
  author       = {Ameneh Nejati and
                  Majid Zamani},
  title        = {From Dissipativity Theory to Compositional Construction of Control
                  Barrier Certificates},
  journal      = {Leibniz Trans. Embed. Syst.},
  volume       = {8},
  number       = {2},
  pages        = {06:1--06:17},
  year         = {2022},
  url          = {https://doi.org/10.4230/LITES.8.2.6},
  doi          = {10.4230/LITES.8.2.6},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lites/Nejati022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lites/TranNMXJ22,
  author       = {Hoang{-}Dung Tran and
                  Luan Viet Nguyen and
                  Patrick Musau and
                  Weiming Xiang and
                  Taylor T. Johnson},
  title        = {Real-Time Verification for Distributed Cyber-Physical Systems},
  journal      = {Leibniz Trans. Embed. Syst.},
  volume       = {8},
  number       = {2},
  pages        = {07:1--07:19},
  year         = {2022},
  url          = {https://doi.org/10.4230/LITES.8.2.7},
  doi          = {10.4230/LITES.8.2.7},
  timestamp    = {Mon, 08 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lites/TranNMXJ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lites/VemparalaFFVCZU22,
  author       = {Manoj Rohit Vemparala and
                  Nael Fasfous and
                  Alexander Frickenstein and
                  Emanuele Valpreda and
                  Manfredi Camalleri and
                  Qi Zhao and
                  Christian Unger and
                  Naveen Shankar Nagaraja and
                  Maurizio Martina and
                  Walter Stechele},
  title        = {HW-Flow: {A} Multi-Abstraction Level {HW-CNN} Codesign Pruning Methodology},
  journal      = {Leibniz Trans. Embed. Syst.},
  volume       = {8},
  number       = {1},
  pages        = {03:1--03:30},
  year         = {2022},
  url          = {https://doi.org/10.4230/LITES.8.1.3},
  doi          = {10.4230/LITES.8.1.3},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lites/VemparalaFFVCZU22.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.