Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Vince Molnár"'
Autor:
Benedek Horváth, Vince Molnár, Bence Graics, Ákos Hajdu, István Ráth, Ákos Horváth, Robert Karban, Gelys Trancho, Zoltán Micskei
Publikováno v:
Systems Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eba0c25a5aa48ef7df41a1d41f792fd3
https://doi.org/10.1002/sys.21679
https://doi.org/10.1002/sys.21679
Publikováno v:
Systems Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1f7dd40b083f87dbf31aec170b0cce0a
https://doi.org/10.1002/sys.21675
https://doi.org/10.1002/sys.21675
Publikováno v:
Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5a73a74b8d745a216b038280792726d2
https://doi.org/10.1145/3524482.3527646
https://doi.org/10.1145/3524482.3527646
Modelling languages play a central role in developing complex, critical systems. Having a precise, comprehensible, and high-quality modelling language specification is essential to all the different stakeholders using, implementing, or extending the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fddab4ce3ec115026e1b8f9e2d396eea
https://doi.org/10.21203/rs.3.rs-1577254/v1
https://doi.org/10.21203/rs.3.rs-1577254/v1
Publikováno v:
Software and Systems Modeling. 19:1483-1517
The increasing complexity of reactive systems can be mitigated with the use of components and composition languages in model-driven engineering. Designing composition languages is a challenge itself as both practical applicability (support for differ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0780cf71b9c13880da4542f92e6c353a
https://doi.org/10.1007/s10270-020-00806-5
https://doi.org/10.1007/s10270-020-00806-5
Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution)
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030995263
Thetais a model checking framework based on abstraction refinement algorithms. In SV-COMP 2022, we introduce: 1) reasoning at the source-level via a direct translation from C programs; 2) support for concurrent programs with interleaving semantics; 3
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a5cfbc4749aafc52b9c8ced4aad6b5af
https://doi.org/10.1007/978-3-030-99527-0_34
https://doi.org/10.1007/978-3-030-99527-0_34
Autor:
Péter Szkupien, Vince Molnár
Publikováno v:
Proceedings of the 29th Minisymposium.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1d194fd733c8f1992a54bc1b9ace6ebc
https://doi.org/10.3311/minisy2022-014
https://doi.org/10.3311/minisy2022-014
Publikováno v:
ACM Transactions on Embedded Computing Systems. 18:1-21
Formal verification is approaching a point where it will be reliably applicable to embedded software. Even though formal verification can efficiently analyze multi-threaded applications, multi-core processors are often considered too dangerous to use
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bdc3df22d4ab3d5b04944cfcd858635c
https://doi.org/10.1145/3358238
https://doi.org/10.1145/3358238
Publikováno v:
Theory and Engineering of Dependable Computer Systems and Networks ISBN: 9783030767723
Control systems in railway, automotive or industrial robotic applications are generally tightly integrated into their environment to allow adapting to environmental changes. This paper proposes a contract-based specification and testing approach for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::63aa6513c8071da9d3e2637f22a4500c
https://doi.org/10.1007/978-3-030-76773-0_14
https://doi.org/10.1007/978-3-030-76773-0_14
Autor:
Ákos Hajdu, István Ráth, Vince Molnár, Luigi Andolfato, Ivan Gomes, Robert Karban, Bence Graics, Zoltán Micskei, Benedek Horváth
Publikováno v:
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
MODELS Companion
MODELS Companion
Executable models can be used to support all engineering activities in Model-Based Systems Engineering. Testing and simulation of such models can provide early feedback about design choices. However, in today's complex systems, failures could arise d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f49017f494db0c5ff701292a3b75e8e2