default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLeibniz Transactions on Embedded Systems, Volume 8
Volume 8, Number 1, 2022
- Samarjit Chakraborty, Qing Rao:
Introduction to the Special Issue on Embedded Systems for Computer Vision. 00:1-00:8 - Martin Knoche, Stefan Hörmann, Gerhard Rigoll:
Susceptibility to Image Resolution in Face Recognition and Training Strategies to Enhance Robustness. 01:1-01:20 - Friedrich Kruber, Eduardo Sánchez Morales, Robin Egolf, Jonas Wurst, Samarjit Chakraborty
, Michael Botsch:
Micro- and Macroscopic Road Traffic Analysis using Drone Image Data. 02:1-02:27 - Manoj Rohit Vemparala, Nael Fasfous, Alexander Frickenstein, Emanuele Valpreda, Manfredi Camalleri, Qi Zhao, Christian Unger, Naveen Shankar Nagaraja, Maurizio Martina, Walter Stechele:
HW-Flow: A Multi-Abstraction Level HW-CNN Codesign Pruning Methodology. 03:1-03:30
Volume 8, Number 2, 2022
- Alessandro Abate, Uli Fahrenberg, Martin Fränzle:
Introduction to the Special Issue on Distributed Hybrid Systems. 00:1-00:3 - Arvind S. Adimoolam, Thao Dang:
Safety Verification of Networked Control Systems by Complex Zonotopes. 01:1-01:22 - Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
Swarms of Mobile Robots: Towards Versatility with Safety. 02:1-02:36 - Uli Fahrenberg:
Higher-Dimensional Timed and Hybrid Automata. 03:1-03:16 - Eduard Kamburjan, Stefan Mitsch, Reiner Hähnle:
A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems. 04:1-04:34 - Paul Kröger, Martin Fränzle:
Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation. 05:1-05:27 - Ameneh Nejati, Majid Zamani:
From Dissipativity Theory to Compositional Construction of Control Barrier Certificates. 06:1-06:17 - Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson:
Real-Time Verification for Distributed Cyber-Physical Systems. 07:1-07:19
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.
last updated on 2024-10-31 20:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
