Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "DESTION@CPSIoTWeek"( http://dblp.L3S.de/Venues/DESTION@CPSIoTWeek )

URL (DBLP): http://dblp.uni-trier.de/db/conf/cpsweek

Publication years (Num. hits)
2019 (9)
Publication types (Num. hits)
inproceedings(8) proceedings(1)
Venues (Conferences, Journals, ...)
DESTION@CPSIoTWeek(9)
Authors
Janos Sztipanovits(3) Qi Zhu 0002(2) Taylor T. Johnson(2) Abhishek Dubey(1) Alberto L. Sangiovanni-Vincentelli(1) Amit K. Sanyal(1) Bastian Cornelsen(1) Björn Koopmann(1) Chao Huang 0015(1) Charles Hartsell(1) Cornelius Steinbrink(1) Frank Poppen(1) Gabor Karsai(1) Günter Ehmen(1) Haibo Zeng 0001(1) Himanshu Neema(1) More (+10 of total 41)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Tamás Kecskés, Patrik Meijer, Taylor T. Johnson, Marcus Lucas Demo: a design studio for verification tools. Search on Bibsonomy DESTION@CPSIoTWeek The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee 0001 Demo: verisig - verifying safety properties of hybrid systems with neural network controllers. Search on Bibsonomy DESTION@CPSIoTWeek The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Chao Huang 0015, Kacper Wardega, Wenchao Li 0001, Qi Zhu 0002 Exploring weakly-hard paradigm for networked systems. Search on Bibsonomy DESTION@CPSIoTWeek The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alberto L. Sangiovanni-Vincentelli, Janos Sztipanovits, Qi Zhu 0002 (eds.) Proceedings of the Workshop on Design Automation for CPS and IoT, DESTION@CPSIoTWeek 2019, Montreal, QC, Canada, April 15, 2019 Search on Bibsonomy DESTION@CPSIoTWeek The full citation details ... 2019 DBLP  BibTeX  RDF
1Werner Damm, Günter Ehmen, Kim Grüttner, Philipp Ittershagen, Björn Koopmann, Frank Poppen, Ingo Stierand Multi-layer time coherency in the development of ADAS/AD systems: design approach and tooling. Search on Bibsonomy DESTION@CPSIoTWeek The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai Model-based design for CPS with learning-enabled components. Search on Bibsonomy DESTION@CPSIoTWeek The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Himanshu Neema, Janos Sztipanovits, Cornelius Steinbrink, Thomas Raub, Bastian Cornelsen, Sebastian Lehnhoff Simulation integration platforms for cyber-physical systems. Search on Bibsonomy DESTION@CPSIoTWeek The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yecheng Zhao, Haibo Zeng 0001 Optimization techniques for time-critical cyber-physical systems. Search on Bibsonomy DESTION@CPSIoTWeek The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yilan Li, Hossein Eslamiat, Ningshan Wang, Ziyi Zhao, Amit K. Sanyal, Qinru Qiu Autonomous waypoints planning and trajectory generation for multi-rotor UAVs. Search on Bibsonomy DESTION@CPSIoTWeek The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license