Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Oszkár Semeráth

Formal Validation of Domain-Specific Languages With Derived Features and Well-Formedness Constraints

Software and Systems Modeling
ModelingSoftwareSimulation
2015English

Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Iterative Generation of Diverse Models for Testing Specifications of DSL Tools

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Iterative and Incremental Model Generation by Logic Solvers

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Incremental Backward Change Propagation of View Models by Logic Solvers*

2016English

A Graph Solver for the Automated Generation of Consistent Domain-Specific Models

2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy