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
422017
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
362018
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
332016
Graph Constraint Evaluation over Partial Models by Constraint Rewriting
O Semeráth, D Varró
Theory and Practice of Model Transformation, 138, 2017
232017
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
202018
Iterative Generation of Diverse Models for Testing Specifications of DSL Tools.
O Semeráth, D Varró
FASE 18, 227-245, 2018
192018
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
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
142016
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, 31-41, 2014
122014
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
112019
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
92020
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
92019
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
82018
Change Propagation of View Models by Logic Synthesis using SAT solvers.
O Semeráth, C Debreceni, Á Horváth, D Varró
CEUR-WS. org, 2016
62016
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
Automated generation of consistent graph models with multiplicity reasoning
K Marussy, O Semeráth, D Varró
IEEE Transactions on Software Engineering, 1-1, 2020
22020
Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers.
AA Babikian, O Semeráth, D Varró
FASE, 441-461, 2020
22020
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
22020
Formal validation and model generation for domain-specific languages by logic solvers
O Semeráth
22019
Validation of Domain Specific Languages
O Semeráth
Technical Report, 2013
22013
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, 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, 1-22, 2021
2021
Automated video game world map synthesis by model-based techniques
B Chen, D Havelock, C Plante, M Sukkarieh, O Semeráth, D Varró
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020
2020
A Specification Language for Consistent Model Generation based on Partial Models
K Marussy, O Semeráth, AA Babikian, D Varró
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–27