Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Kristóf Marussy"'
Publikováno v:
IEEE Transactions on Software Engineering. 48:1610-1629
Advanced tools used in model-based systems engineering (MBSE) frequently represent their models as graphs. In order to test those tools, the automated generation of well-formed (or intentionally malformed) graph models is necessitated which is often
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5280b33c3211cd8a40a78814f0ba5678
https://doi.org/10.1109/tse.2020.3025732
https://doi.org/10.1109/tse.2020.3025732
Publikováno v:
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8ce25004a15a14d935b862df90695325
https://doi.org/10.1145/3550355.3552448
https://doi.org/10.1145/3550355.3552448
Publikováno v:
Software and Systems Modeling, 21
Automatically synthesizing consistent models is a key prerequisite for many testing scenarios in autonomous driving to ensure a designated coverage of critical corner cases. An inconsistent model is irrelevant as a test case (e.g., false positive); t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0e124ada2ec863052a313ab4dcc56b7e
https://doi.org/10.1007/s10270-021-00918-6
https://doi.org/10.1007/s10270-021-00918-6
Autor:
Chuning Li, Gábor Szárnyas, Kristóf Marussy, Boqi Chen, Dániel Varró, Oszkár Semeráth, Aren A. Babikian
Publikováno v:
Software and Systems Modeling. 20:1713-1734
In this paper, we present a novel technique to automatically synthesize consistent, diverse and structurally realistic domain-specific graph models. A graph model is (1) consistent if it is metamodel-compliant and it satisfies the well-formedness con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::44f57ab1c95a74cb12c17f75383fee0c
https://doi.org/10.1007/s10270-021-00884-z
https://doi.org/10.1007/s10270-021-00884-z
Publikováno v:
EDCC
Fault Tree Analysis is widely used in the reliability evaluation of critical systems, such as railway and automotive systems, power grids, and nuclear power plants. While there are efficient algorithms for calculating the probability of failure in st
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::af4761741510078378e25e003d43a5ea
https://doi.org/10.1109/edcc53658.2021.00012
https://doi.org/10.1109/edcc53658.2021.00012
Publikováno v:
MoDELS
Automatically synthesizing consistent models is a key prerequisite for many testing scenarios in autonomous driving or software tool validation where model-based systems engineering techniques are frequently used to ensure a designated coverage of cr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bf925463150b310232246560cde1ce7c
https://doi.org/10.1145/3365438.3410962
https://doi.org/10.1145/3365438.3410962
Publikováno v:
MARS@ETAPS
Systems engineering approaches use high-level models to capture the architecture and behavior of the system. However, when safety engineers conduct safety and reliability analysis, they have to create formal models, such as fault-trees, according to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::63f36716bf738b241393c30bc459fe7b
http://arxiv.org/abs/2004.13290
http://arxiv.org/abs/2004.13290
Autor:
Attila Klenik, András Vörös, Dániel Darvas, Vince Molnár, Ákos Hajdu, Tamás Bartha, Kristóf Marussy, István Majzik
Publikováno v:
Science of Computer Programming. 157:17-40
Since their invention, Petri nets have provided modelling and analysis methods to support the design of correct, reliable and robust systems. This motivated our work to develop PetriDotNet , a Petri net editor and analysis tool. In this paper we over
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::93130b3c2b68fd366814b1c958d4fc2b
https://doi.org/10.1016/j.scico.2017.09.003
https://doi.org/10.1016/j.scico.2017.09.003
Autor:
András Vörös, Csaba Hajdu, Dániel Varró, István Majzik, Zoltán Szatmári, Zoltán Micskei, Kristóf Marussy, Aren A. Babikian, Oszkár Semeráth
Publikováno v:
MoDELS
Since safety-critical autonomous vehicles need to interact with an immensely complex and continuously changing environment, their assurance is a major challenge. While systems engineering practice necessitates assurance on multiple levels, existing r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c3b9b35df05402f777b1154c3855968d
https://doi.org/10.1109/models.2019.00-12
https://doi.org/10.1109/models.2019.00-12
Publikováno v:
The Journal of Object Technology. 19:3:1
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b0316100a19545cf1e0797fd81efd6e7
https://doi.org/10.5381/jot.2020.19.3.a12
https://doi.org/10.5381/jot.2020.19.3.a12