Zobrazeno 1 - 10
of 31
pro vyhledávání: '"Andreas Morgenstern"'
Autor:
Klaus Schneider, Andreas Morgenstern
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 50, Iss Proc. iWIGP 2011, Pp 33-45 (2011)
The idea of automatic synthesis of reactive programs starting from temporal logic (LTL) specifications is quite old, but was commonly thought to be infeasible due to the known double exponential complexity of the problem. However, new ideas have rece
Externí odkaz:
https://doaj.org/article/7de396625c5e45c0be7b4e83fc5d3680
Autor:
Andreas Morgenstern, Klaus Schneider
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 25, Iss Proc. GANDALF 2010, Pp 89-102 (2010)
The classic approaches to synthesize a reactive system from a linear temporal logic (LTL) specification first translate the given LTL formula to an equivalent omega-automaton and then compute a winning strategy for the corresponding omega-regular gam
Externí odkaz:
https://doaj.org/article/c3afbc8361ef477d9dc587a8c481ed16
Publikováno v:
Schwäbische Heimat. 63:355-361
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c8098fc2852cc5214ef1930b28dae864
https://doi.org/10.53458/sh.v63i3.2834
https://doi.org/10.53458/sh.v63i3.2834
Publikováno v:
ATZelectronics worldwide. 17:8-13
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5719ec3405d5dafaa65614397fde2951
https://doi.org/10.1007/s38314-021-0733-5
https://doi.org/10.1007/s38314-021-0733-5
Publikováno v:
ATZelektronik. 17:16-21
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4a98caf440423195f6def94db1a0d487
https://doi.org/10.1007/s35658-021-0729-1
https://doi.org/10.1007/s35658-021-0729-1
Publikováno v:
DSM@SPLASH
The growing usage of Domain Specific Modeling Languages (DSML) for architecture view frameworks induces a need for automatic verification of non-functional model properties like completeness and consistency. However, we argue that the high demand for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9cb16aea4b0290350740ca13a93a8577
https://doi.org/10.1145/3358501.3361240
https://doi.org/10.1145/3358501.3361240
Publikováno v:
Advances in Intelligent Systems and Computing ISBN: 9783030228675
Testing of embedded software today is via Hardware in the Loop (HiL) testbeds. Virtual HiL testbeds provide simulated testing environments that resemble important components of systems under test and enable continuous testing of embedded software com
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0593531585f2f3142562906b44439668
https://doi.org/10.1007/978-3-030-22868-2_62
https://doi.org/10.1007/978-3-030-22868-2_62
Publikováno v:
IEEE Software. 33:56-62
Owing to the increasing amount of computation in electromechanical devices, the role of software architect is often found in embedded-systems development. However, because computer scientists usually have limited knowledge of embedded-systems concept
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2ab77857c072dc882730167c0f250877
https://doi.org/10.1109/ms.2016.142
https://doi.org/10.1109/ms.2016.142
Publikováno v:
Advances in Intelligent Systems and Computing ISBN: 9783030011765
Architecture scenarios are widely used to systematize the elicitation of architecture significant requirements and to evaluate the appropriateness of architecture decisions. Due to the lack of tool support, architects perform this evaluation manually
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e2a765be233e96f3a37456baa73630d5
https://doi.org/10.1007/978-3-030-01177-2_33
https://doi.org/10.1007/978-3-030-01177-2_33
Autor:
Kaspar Schleiser, Shinji Kikuchi, Andreas Morgenstern, Emmanuel Baccelli, Joerg Doerr, Ian Thomas
Publikováno v:
IEEE internet of things journal
IEEE internet of things journal, IEEE, 2018, 3-4, pp.69-81. ⟨10.1016/j.iot.2018.08.012⟩
IEEE Internet of Things Journal
IEEE Internet of Things Journal, 2018, 3-4, pp.69-81. ⟨10.1016/j.iot.2018.08.012⟩
IEEE internet of things journal, IEEE, 2018, 3-4, pp.69-81. ⟨10.1016/j.iot.2018.08.012⟩
IEEE Internet of Things Journal
IEEE Internet of Things Journal, 2018, 3-4, pp.69-81. ⟨10.1016/j.iot.2018.08.012⟩
International audience; The Internet of Things (IoT) is an area of growing importance as more and more computing capability becomes embedded into real world objects and environments. But at the same time IoT is just one component of a widespread shif
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::01a252a6d3597a609c690a24556db598
https://hal.inria.fr/hal-02352075/file/HAL-version.pdf
https://hal.inria.fr/hal-02352075/file/HAL-version.pdf