Travelled to:1 × Denmark
1 × France
1 × Germany
1 × The Netherlands
1 × USA
Collaborated with:D.Varró Á.Horváth C.Debreceni K.Marussy A.V.0001 Á.H.0001
Talks about:model (7) solver (4) constraint (3) increment (3) logic (3) view (3) partial (2) generat (2) propag (2) graph (2)
Person: Oszkár Semeráth
DBLP: Semer=aacute=th:Oszk=aacute=r
Contributed to:
20132016
20172018
2016
20162018Wrote 7 papers:
- MoDELS-2013-SemerathHV #constraints #domain-specific language #graph #query #validation
- Validation of Derived Features and Well-Formedness Constraints in DSLs — By Mapping Graph Queries to an SMT-Solver (OS, ÁH, DV), pp. 538–554.
- MoDELS-2016-SemerathDHV #co-evolution #incremental #logic #modelling
- Incremental backward change propagation of view models by logic solvers (OS, CD, ÁH, DV), pp. 306–316.
- ICMT-2017-SemerathV #constraints #evaluation #graph #modelling
- Graph Constraint Evaluation over Partial Models by Constraint Rewriting (OS, DV), pp. 138–154.
- MoDELS-2018-MarussySV #incremental #modelling #using
- Incremental View Model Synchronization Using Partial Models (KM, OS, DV), pp. 323–333.
- BX-2016-SemerathDHV #co-evolution #logic #modelling #satisfiability #synthesis #using
- Change Propagation of View Models by Logic Synthesis using SAT solvers (OS, CD, ÁH0, DV), pp. 40–44.
- FASE-2016-SemerathVV #generative #incremental #logic
- Iterative and Incremental Model Generation by Logic Solvers (OS, AV0, DV), pp. 87–103.
- FASE-2018-SemerathV #domain-specific language #generative #modelling #specification #testing #tool support
- Iterative Generation of Diverse Models for Testing Specifications of DSL Tools (OS, DV), pp. 227–245.