关注
Daniel Varro
Daniel Varro
Professor of Software Engineering at Linköping University / Adjunct Professor at McGill
在 liu.se 的电子邮件经过验证
标题
引用次数
年份
3.32 Validation of Complex Domain-Specific Modeling Languages
D Varró
Automated Reasoning on Conceptual Schemas, 65, 0
A benchmark evaluation of incremental pattern matching in graph transformation
G Bergmann, Á Horváth, I Ráth, D Varró
International Conference on Graph Transformation, 396-410, 2008
792008
A formal semantics of UML statecharts by model transition systems
D Varró
International Conference on Graph Transformation, 378-392, 2002
1632002
A generic static analysis framework for model transformation programs
Z Ujhelyi, A Horváth, D Varró
Budapest Univ. of Technology and Economics, Tech. Rep, 246, 2009
82009
A graph query language for EMF models
G Bergmann, Z Ujhelyi, I Ráth, D Varró
Theory and Practice of Model Transformations: 4th International Conference …, 2011
1032011
A Graph Solver for Automatically Generating Consistent Models
D Varro
A graph solver for the automated generation of consistent domain-specific models
O Semeráth, AS Nagy, D Varró
Proceedings of the 40th international conference on software engineering …, 2018
662018
A Model-driven Framework for Guided Design Space Exploration
A Hegedüs, A Horváth, I Ráth, D Varró
ASE 2011: 26th IEEE Int. Conf on Automated Software Engineering, 2011
135*2011
A pattern-based constraint language for metamodels
D Varró
Proc. CSCS, 109, 2002
12002
A research roadmap towards achieving scalability in model driven engineering
DS Kolovos, LM Rose, N Matragkas, RF Paige, E Guerra, JS Cuadrado, ...
Proceedings of the Workshop on Scalability in Model Driven Engineering, 1-10, 2013
2032013
A Simulation Environment for Reducing Food Waste via Reinforcement Learning
S Pilarski, A Sidhu, D Varró
2023 Annual Modeling and Simulation Conference (ANNSIM), 332-344, 2023
2023
A Specification Language for Consistent Model Generation based on Partial Models.
K Marussy, O Semeráth, AA Babikian, D Varró
J. Object Technol. 19 (3), 3:1-22, 2020
112020
A tool for managing evolving security requirements
G Bergmann, F Massacci, F Paci, TT Tun, D Varró, Y Yu
IS Olympics: Information Systems in a Diverse World: CAiSE Forum 2011 …, 2012
82012
A uml-profile for service-oriented architectures
L Baresi, R Heckel, S Thöne, D Varró
the 19th Annual ACM SIGPLAN OOPSLA, 2003
32003
A VIATRA modelltranszformációs rendszer
D Varró, P Domokos
Erdélyi Múzeum-Egyesület, 2003
12003
Adaptive graph pattern matching for model transformations using model-sensitive search plans
G Varró, K Friedl, D Varró
Electronic Notes in Theoretical Computer Science 152, 191-205, 2006
1042006
Advance Model Transformer Generation
A Horvath, D Varro, E Borbely
Advanced model transformation language constructs in the VIATRA2 framework
A Balogh, D Varró
Proceedings of the 2006 ACM symposium on Applied computing, 1280-1287, 2006
1862006
Advances in model transformations by graph transformation: Specification, execution and analysis
G Bergmann, A Boronat, R Heckel, P Torrini, I Ráth, D Varró
Rigorous Software Engineering for Service-Oriented Systems: Results of the …, 2011
42011
An architectural style for service-oriented architectures
L Baresi, R Heckel, S Thöne, D Varró
12003
系统目前无法执行此操作,请稍后再试。
文章 1–20