Zobrazeno 1 - 10
of 223
pro vyhledávání: '"Janos Sztipanovits"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 272, Iss Proc. MeTRiD 2018, Pp 93-106 (2018)
The Behavior-Interaction-Priority (BIP) framework, rooted in rigorous semantics, allows the construction of systems that are correct-by-design. BIP has been effectively used for the construction and analysis of large systems such as robot controllers
Externí odkaz:
https://doaj.org/article/fb61e3fecf214140982cfe1fd504b73e
Autor:
Emeka Eyisi, Zhenkai Zhang, Xenofon Koutsoukos, Joseph Porter, Gabor Karsai, Janos Sztipanovits
Publikováno v:
Journal of Control Science and Engineering, Vol 2013 (2013)
The systematic design of automotive control applications is a challenging problem due to lack of understanding of the complex and tight interactions that often manifest during the integration of components from the control design phase with the compo
Externí odkaz:
https://doaj.org/article/d61f6c86e22345f58c376e4663ff0ea3
Publikováno v:
Proceedings of Cyber-Physical Systems and Internet of Things Week 2023.
Automatic underwater vehicle hull Design optimization is a complex engineering process for generating a UUV hull with optimized properties on a given requirement. First, it involves the integration of involved computationally complex engineering simu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4393b9b2298c5d09747c8252efe5a5bc
https://doi.org/10.1145/3576914.3587530
https://doi.org/10.1145/3576914.3587530
Autor:
Harsh Vardhan, Janos Sztipanovits
Publikováno v:
2022 6th International Conference on Computer, Software and Modeling (ICCSM).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::91c3ab6cbe65a6fed56bb7b31b6194a4
https://doi.org/10.1109/iccsm57214.2022.00013
https://doi.org/10.1109/iccsm57214.2022.00013
Autor:
Janos Sztipanovits, Harsh Vardhan
Machine learning models have prevalent applications in many real-world problems, which increases the importance of correctness in the behaviour of these trained models. Finding a good test case that can reveal the potential failure in these trained s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9596c4a45130ba19fef90ca7686c2357
http://arxiv.org/abs/2206.05533
http://arxiv.org/abs/2206.05533
Publikováno v:
Modeling and Design of Secure Internet of Things
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::64d711a71beb2509f4e018d4a54c86e5
https://doi.org/10.1002/9781119593386.ch8
https://doi.org/10.1002/9781119593386.ch8
Publikováno v:
Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling.
This paper presents our preliminary results developing an incremental query and transformation engine for our modeling framework. Our prior framework combined WebGME, a cloud-based collaborative modeling tool, with FORMULA, a language and tool for sp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::861f2581dddb2b9adc125810c7001700
https://doi.org/10.1145/3486603.3486779
https://doi.org/10.1145/3486603.3486779
Autor:
Martin Fränzle, Jürgen Niehaus, Sebastian Lehnhoff, Himanshu Neema, Bbianca Biebl, Dasom Lee, Alexander Pretschner, Janos Sztipanovits, David J. Hess
Publikováno v:
Journal of responsible innovation, 8(3), 421-444. Routledge
This study develops a comparative, sociotechnical design perspective for interdisciplinary teams of social scientists and computer scientists. Sociotechnical design refers to identifying both technical and governance challenges and to understanding t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5eeade6fb66602876a02dff77c616a2a
https://research.utwente.nl/en/publications/27b89313-d7ff-4215-bcab-ce37d3ee6f1d
https://research.utwente.nl/en/publications/27b89313-d7ff-4215-bcab-ce37d3ee6f1d
Autor:
Alexander Pretschner, Jochem W. Rieger, Frank Köster, Xenofon Koutsoukos, Janos Sztipanovits, Martin Fränzle, Werner Damm, S. Shankar Sastry, Claire J. Tomlin, Gabor Karsai
Publikováno v:
Cyber-Physical Systems. 5:145-172
Emerging industrial platforms such as the Internet of Things (IoT), Industrial Internet (II) in the US and Industrie 4.0 in Europe have tremendously accelerated the development of new generations o...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7a4fd77c5f322bb51a61ed679d5a014e
https://doi.org/10.1080/23335777.2019.1624619
https://doi.org/10.1080/23335777.2019.1624619