Oszkár Semeráth
Oszkár Semeráth
Budapest University of Technology and Economics, Department of Measurement and Information Systems
E-mail megerősítve itt: mit.bme.hu - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
342017
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
242016
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
182015
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
172018
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
142018
Graph Constraint Evaluation over Partial Models by Constraint Rewriting
O Semeráth, D Varró
Theory and Practice of Model Transformation, 138, 2017
142017
Iterative Generation of Diverse Models for Testing Specifications of DSL Tools.
O Semeráth, D Varró
FASE 18, 227-245, 2018
122018
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
112016
On open source tools for behavioral modeling and analysis with fuml and alf.
Z Micskei, RA Konnerth, B Horváth, O Semeráth, A Vörös, D Varró
OSS4MDE@ MoDELS, 31-41, 2014
112014
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
62018
Validation of derived features and well-formedness constraints in dsls
O Semeráth, Á Horváth, D Varró
International Conference on Model Driven Engineering Languages and Systems …, 2013
62013
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
42019
Change Propagation of View Models by Logic Synthesis using SAT solvers.
O Semeráth, C Debreceni, Á Horváth, D Varró
CEUR-WS. org, 2016
42016
Formal validation and model generation for domain-specific languages by logic solvers
O Semeráth
Informatikai Tudományok Doktori Iskola, 2019
22019
Validation of Domain Specific Languages
O Semeráth
Technical Report, 2013
22013
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 (1), 57-78, 2020
12020
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
12019
Evaluating well-formedness constraints on incomplete models
O Semeráth, D Varró
Acta Cybernetica 23 (2), 687-713, 2017
12017
Validation of Well-formedness Constraints on Uncertain Models
O Semeráth, D Varró
THE 10TH JUBILEE CONFERENCE OF PHD STUDENTS IN COMPUTER SCIENCE, 57, 2016
12016
Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers
AA Babikian, O Semeráth, D Varró
Fundamental Approaches to Software Engineering LNCS 12076, 441, 2020
2020
Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers
O Semeráth
2016
Movie Database Case: An EMF-INCQUERY Solution
GSOSB Izsó, C Debreceni, ÁHZUG Bergmann
TTC 2014, 103, 2014
2014
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–22