Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Dániel Varró
Formal Validation of Domain-Specific Languages With Derived Features and Well-Formedness Constraints
Software and Systems Modeling
Modeling
Software
Simulation
Non-Functional Properties in the Model-Driven Development of Service-Oriented Systems
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*
Query-Based Access Control for Secure Collaborative Modeling Using Bidirectional Transformations*
A Graph Solver for the Automated Generation of Consistent Domain-Specific Models
