Publikációk
Szűrők: Az Utónév Első Betűje = R [Minden szűrő visszaállítása]
Automated Model Transformations in Domain Specific Visual Languages,
, October, 2005.
From BPEL to SAL and Back: a Tool Demo on Back-Annotation with VIATRA2,
: Consiglio Nazionale delle Ricerche (CNR), pp. 35-42, 09/2010.
Abstract
Accepted for the SEFM'2010 "Posters and Tool Demo Session" Track
Train Benchmark Technical Report,
: Budapest University of Technology and Economics, 2014.
Declarative Specification of Domain Specific Visual Languages,
: Budapest University of Technology and Economics, 2006.
"Superscalable Modeling",
Department of Measurement and Information Systems, vol. MSc, Budapest, Budapest University of Technology and Economics, pp. 88, 12/2013.
"Movie Database Case: An EMF-IncQuery Solution",
7th Transformation Tool Contest, York, United Kingdom, 2014.
Abstract
"Applying MDA approach for the SA Forum platform",
3rd Federated Event on Distributed Computing Techniques 2008, Oslo, pp. 1 - 6, 2008.
"Automated Formal Verification of Model Transformations",
CSDUML 2003: Critical Systems Development in UML; Proceedings of the UML'03 Workshop, no. TUM-I0323: Technische Universität München, pp. 63–78, September, 2003.
Abstract
"Automated Model Merge by Design Space Exploration",
19th International Conference on Fundamental Approaches to Software Engineering, Eindhoven, The Netherlands, 04/2016.
"Back-annotation of Simulation Traces with Change-Driven Model Transformations",
Proceedings of the Eighth International Conference on Software Engineering and Formal Methods, Pisa, IEEE Computer Society, pp. 145-155, 09/2010.
Abstract
Acceptance rate: 22%
"A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation",
Proc. 4th International Conference on Graph Transformations, ICGT 2008, vol. 5214: Springer, pp. 396-410, 2008.
Abstract
Acceptance rate: ~40%
"Challenges for advanced domain-specific modeling frameworks",
Proceedings of the 14th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 118-120, 2007.
"Challenges for Advanced Domain-Specific Modeling Frameworks",
International Workshop on Domain Specific Program Development (DSPD 2006), Nantes, France, July, 2006.
Abstract
"Change-Driven Model Transformations",
Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, vol. 5795: Springer, pp. 342-356, 2009.
Abstract
Springer Best Paper Award and ACM Distinguished Paper Award
Acceptance rate: 18%
"Completeness and Consistency Analysis of UML Statechart Specifications",
Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2001): SZIF-Universitas, pp. 83 - 90, 2001.
"Declarative mapping between abstract and concrete syntax of domain-specific visual languages",
The Proceedings of the Fifth Conference of PhD Students in Computer Science, 2006.
"Derived Features for EMF by Integrating Advanced Model Queries",
8th European Conference on Modelling Foundations and Applications, Kgs. Lyngby, Denmark, Springer, 06/2012.
Abstract
Acceptance rate: 31%
"Deriving Effective Permissions for Modeling Artifacts from Fine-grained Access Control Rules",
1st International Workshop on Collaborative Modelling in MDE, Saint Malo, France, ACM, 06/2016.
"Design-time simulation of domain-specific modeling languages by interactive model transformation",
Proceedings of the 15th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 58–62, 2008.
"Design-time simulation of domain-specific models by incremental pattern matching",
IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2008, Herrsching am Ammersee, Germany, 15-19 September 2008, Proceedings: IEEE, pp. 219-222, 2008.
Abstract
Acceptance rate: 29%
"Developing and Visualizing Live Model Queries",
1st Workshop on the Analysis of Model Transformations (AMT) , Innsbruck, Austria, ACM Digital Library, 2012.
"Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems",
Fundamental Approaches to Software Engineering, Cham, Springer International Publishing, pp. 111–128, 2018.
Abstract
"An Eclipse-Based Framework for AIS Service Configurations",
Proc. 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, vol. 4526: Springer, pp. 110-126, 2007.
Abstract
Acceptance rate: 44%
"Ecore to Genmodel case study solution using the Viatra2 framework",
Transformation Tool Contest (TTC '10), Malaga, Spain, 07/2010.
Abstract