Παρακολούθηση
Oszkár Semeráth
Oszkár Semeráth
Budapest University of Technology and Economics, Department of Measurement and Information Systems
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα mit.bme.hu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
A Graph Solver for the Automated Generation of Consistent Domain-Specific Models
O Semeráth, AS Nagy, D Varró
40th International Conference on Software Engineering (ICSE 2018 …, 2018
602018
Formal validation of domain-specific languages with derived features and well-formedness constraints
O Semeráth, Á Barta, Á Horváth, Z Szatmári, D Varró
Software and Systems Modeling 16 (2), 357-392, 2017
522017
Iterative and incremental model generation by logic solvers
O Semeráth, A Vörös, D Varró
International Conference on Fundamental Approaches to Software Engineering …, 2016
412016
Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models
D Varró, O Semeráth, G Szárnyas, Á Horváth
Graph Transformation, Specifications, and Nets, 2018
372018
Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles
I Majzik, O Semeráth, C Hajdu, K Marussy, Z Szatmári, Z Micskei, A Vörös, ...
IEEE / ACM 22nd International Conference on Model Driven Engineering …, 2019
362019
Graph Constraint Evaluation over Partial Models by Constraint Rewriting
O Semeráth, D Varró
Theory and Practice of Model Transformation, 138, 2017
302017
Iterative Generation of Diverse Models for Testing Specifications of DSL Tools.
O Semeráth, D Varró
FASE 18, 227-245, 2018
272018
The TTC 2015 Train Benchmark Case for Incremental Model Validation.
G Szárnyas, O Semeráth, I Ráth, D Varró
TTC@ STAF, 129-141, 2015
202015
Diversity of graph models and graph generators in mutation testing
O Semeráth, R Farkas, G Bergmann, D Varró
International Journal on Software Tools for Technology Transfer 22, 57-78, 2020
192020
VIATRA Solver: a framework for the automated generation of consistent domain-specific models
O Semeráth, AA Babikian, S Pilarski, D Varró
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
192019
Incremental backward change propagation of view models by logic solvers
O Semeráth, C Debreceni, Á Horváth, D Varró
Proceedings of the ACM/IEEE 19th International Conference on Model Driven …, 2016
192016
On open source tools for behavioral modeling and analysis with fuml and alf.
Z Micskei, RA Konnerth, B Horváth, O Semerath, A Vörös, D Varró
OSS4MDE@ MoDELS 1290, 31-41, 2014
182014
Automated generation of consistent graph models with multiplicity reasoning
K Marussy, O Semeráth, D Varró
IEEE Transactions on Software Engineering 48 (5), 1610-1629, 2020
122020
Automated Generation of Consistent Models with Structural and Attribute Constraints
O Semeráth, AA Babikian, A Li, K Marussy, D Varró
ACM / IEEE 23rd International Conference on Model Driven Engineering …, 2020
112020
Incremental view model synchronization using partial models
K Marussy, O Semeráth, D Varró
Proceedings of the 21th ACM/IEEE International Conference on Model Driven …, 2018
112018
Automated generation of consistent, diverse and structurally realistic graph models
O Semeráth, AA Babikian, B Chen, C Li, K Marussy, G Szárnyas, D Varró
Software and Systems Modeling 20 (5), 1713-1734, 2021
92021
A Specification Language for Consistent Model Generation based on Partial Models
K Marussy, O Semeráth, AA Babikian, D Varró
92020
Validation of Derived Features and Well-Formedness Constraints in DSLs: By Mapping Graph Queries to an SMT-Solver
O Semeráth, Á Horváth, D Varró
Model-Driven Engineering Languages and Systems: 16th International …, 2013
82013
Change Propagation of View Models by Logic Synthesis using SAT solvers.
O Semeráth, C Debreceni, Á Horváth, D Varró
CEUR-WS. org, 2016
72016
Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers.
AA Babikian, O Semeráth, D Varró
FASE, 441-461, 2020
62020
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20