Search Results - "Varró, Dániel"

Guest editorial for the special section on MODELS 2021.

Authors: Nejati, Shiva Varró, Dániel

Source: Software & Systems Modeling; Oct2023, Vol. 22 Issue 5, p1393-1396, 4p

Certifying robustness of graph convolutional networks for node perturbation with polyhedra abstract interpretation.

Authors: Chen, Boqi Marussy, Kristóf Semeráth, Oszkár et al.

Source: Data Mining & Knowledge Discovery; Feb2026, Vol. 40 Issue 1, p1-42, 42p

Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models.

Authors: Marussy, Kristóf Ficsor, Attila Semeráth, Oszkár et al.

Source: ICSE: International Conference on Software Engineering; 2024, p64-68, 5p

Opportunities in intelligent modeling assistance.

Authors: Mussbacher, Gunter Combemale, Benoit Kienzle, Jörg et al.

Source: Software & Systems Modeling; Sep2020, Vol. 19 Issue 5, p1045-1053, 9p

Automated generation of consistent models using qualitative abstractions and exploration strategies.

Authors: Babikian, Aren A. Semeráth, Oszkár Li, Anqi et al.

Source: Software & Systems Modeling; Oct2022, Vol. 21 Issue 5, p1763-1787, 25p

The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages.

Authors: Chen, Boqi López, José Antonio Hernández Mussbacher, Gunter et al.

Source: ICSE: International Conference on Software Engineering; 2025, p637-649, 13p

Automated generation of consistent, diverse and structurally realistic graph models.

Authors: Semeráth, Oszkár Babikian, Aren A. Chen, Boqi et al.

Source: Software & Systems Modeling; Oct2021, Vol. 20 Issue 5, p1713-1734, 22p

Predictions-on-chip: model-based training and automated deployment of machine learning models at runtime: For multi-disciplinary design and operation of gas turbines.

Authors: Pilarski, Sebastian Staniszewski, Martin Bryan, Matthew et al.

Source: Software & Systems Modeling; Jun2021, Vol. 20 Issue 3, p685-709, 25p

Mixed-semantics composition of statecharts for the component-based design of reactive systems.

Authors: Graics, Bence Molnár, Vince Vörös, András et al.

Source: Software & Systems Modeling; Nov2020, Vol. 19 Issue 6, p1483-1517, 35p

Combining simulation and reinforcement learning to reduce food waste in food retail.

Authors: Pilarski, Sebastian Sidhu, Aman Varró, Dániel

Source: Simulation; Mar2025, Vol. 101 Issue 3, p267-285, 19p

Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations.

Authors: Debreceni, Csaba Bergmann, Gábor Ráth, István et al.

Source: Software & Systems Modeling; Jun2019, Vol. 18 Issue 3, p1737-1769, 33p

Correction to: Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations.

Authors: Debreceni, Csaba Bergmann, Gábor Ráth, István et al.

Source: Software & Systems Modeling; Jun2019, Vol. 18 Issue 3, p1771-1771, 1p

Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework.

Authors: Varró, Dániel Bergmann, Gábor Hegedüs, Ábel et al.

Source: Software & Systems Modeling; Jul2016, Vol. 15 Issue 3, p609-629, 21p

Worst-case Execution Time Calculation for Query-based Monitors by Witness Generation.

Authors: BÚR, MÁRTON MARUSSY, KRISTÓF MEYER, BRETT H. et al.

Source: ACM Transactions on Embedded Computing Systems; Nov2021, Vol. 20 Issue 6, p1-36, 36p

The Gamma statechart composition framework.

Authors: Molnár, Vince Graics, Bence Vörös, András et al.

Source: ICSE: International Conference on Software Engineering; 5/27/2018, p113-116, 4p

Promoting social diversity for the automated learning of complex MDE artifacts.

Authors: Batot, Edouard R. Sahraoui, Houari

Source: Software & Systems Modeling; Jun2022, Vol. 21 Issue 3, p1159-1178, 20p

Efficient model similarity estimation with robust hashing.

Authors: Martínez, Salvador Gérard, Sébastien Cabot, Jordi

Source: Software & Systems Modeling; Feb2022, Vol. 21 Issue 1, p337-361, 25p

The Train Benchmark: cross-technology performance evaluation of continuous model queries.

Authors: Szárnyas, Gábor Izsó, Benedek Ráth, István et al.

Source: Software & Systems Modeling; Oct2018, Vol. 17 Issue 4, p1365-1393, 29p

Foundations for Streaming Model Transformations by Complex Event Processing.

Authors: Dávid, István Ráth, István Varró, Dániel

Source: Software & Systems Modeling; Feb2018, Vol. 17 Issue 1, p135-162, 28p

Diversity of graph models and graph generators in mutation testing.

Authors: Semeráth, Oszkár Farkas, Rebeka Bergmann, Gábor et al.

Source: International Journal on Software Tools for Technology Transfer; Feb2020, Vol. 22 Issue 1, p57-78, 22p