Amanote Research
Register
Sign In
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
Modeling
Software
Simulation
Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Iterative Generation of Diverse Models for Testing Specifications of DSL Tools
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Iterative and Incremental Model Generation by Logic Solvers
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Incremental Backward Change Propagation of View Models by Logic Solvers*
A Graph Solver for the Automated Generation of Consistent Domain-Specific Models