Publications
Filters: First Letter Of Last Name is G [Clear All Filters]
"Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time",
Proc. GT-VMT 2004, International Workshop on Graph Transformation and Visual Modelling Techniques, vol. 109: Elsevier, pp. 137-147, 2004.
Abstract
Automatic Algorithm Generation for Visual Control Structures,
: Budapest University of Technology and Economics, Dept. of Measurement and Information Systems, December, 2000.
"Graph Transformation with Time: Causality and Logical Clocks",
Proc. ICGT 2002: 1st International Conference on Graph Transformation, vol. 2505, Barcelona, Spain, Springer-Verlag, pp. 120–134, October 7–12, 2002.
Abstract
"Graph Transformation with Time",
Fundamenta Informaticae, vol. 58, no. 1, pp. 1–22, November, 2003.
Abstract
"Benchmarking the Ethernet-Federated Datacenter",
First Workshop on Data Center - Converged and Virtual Ethernet Switching, pp. 211 -221, sep., 2009.
Flow and Congestion Control for Datacenter Networks,
, no. RZ3742: IBM Zürich Research Laboratory, 2009.
Model Driven Software Engineering,
: Springer, pp. 91–118, 2005.
Abstract
"Mixed-Semantics Composition of Statecharts for the Component-Based Design of Reactive Systems",
Software and Systems Modeling, vol. 19, issue Interplay of Model-Driven and Component-Based Software Engineering: Springer, 2020.
Abstract
"Formal Compositional Semantics for Yakindu Statecharts",
Proceedings of the 24th PhD Mini-Symposium, Budapest, Hungary, pp. 22–25, 2017.
"Contract-Based Specification and Test Generation for Adaptive Systems",
16th International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX), vol. 1389, Wrocław, Poland, Springer, pp. 136-145, 07/2021.
Abstract
"Modeling and Analysis of an Industrial Communication Protocol in the Gamma Framework",
27th Minisymposium of the Department of Measurement and Information Systems, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 02/2020.
Abstract
"Mix-and-Match Composition in the Gamma Framework",
25th Minisymposium of the Department of Measurement and Information Systems, Budapest, Hungary, 2018.
Abstract
"Tool Support for Engineering Certifiable Software",
Electr. Notes Theor. Comput. Sci., vol. 238, no. 4, pp. 79-85, 2008.
Abstract
"Model-Based Testing of Service Infrastructure Components",
Proc. Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, TestCom/FATES 2007, Tallinn, Estonia, June 26-29, 2007, vol. 4581: Springer, pp. 155-170, 2007.
Abstract
Acceptance rate: 39%
"Modeling and Verification of Reliable Messaging by Graph Transformation Systems",
Electr. Notes Theor. Comput. Sci., vol. 175, no. 4, pp. 37-50, 2007.
Abstract
"Methodologies for Model-Driven Development and Deployment: an Overview",
Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, no. 6582: Springer-Verlag, 2011.
Abstract
"Model Transformations for Performability Analysis of Service Configurations",
Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers, vol. 5421: Springer, pp. 153-166, 2008.
Abstract
"Modeling Reliable Messaging in Service Oriented Architecture",
International Workshop on Web Services –- Modeling and Testing, Palermo, Italy, June, 2006.
Abstract
Dependability Evaluation of Web Service-Based Processes, Formal Methods and Stochastic Models for Performance Evaluation,
: Springer-Verlag, pp. 166 - 180, 2006.
Abstract
L3: citeulike-article-id:3911666SE: Lecture Notes in Computer Science
KW: dependability evaluation
Proc. of the Third European Performance Engineering Workshop (EPEW-2006)
"Scalable Modeling Technologies in the Wild: An Experience Report on Wind Turbines Control Applications Development",
Software and Systems Modeling, 01/2020.
"On the Opportunities of Scalable Modeling Technologies: An Experience Report on Wind Turbines Control Applications Development",
European Conference on Modelling Foundations and Applications, Marburg, Germany, Springer, 07/2017.
"Formal Validation of UML Statechart Diagrams Models",
UML2000 Workshop on Dynamic Behaviour in UML Models: Semantic Questions (The Third International Conference on The Unified Modeling Language), pp. * - 7, 2000.
"Non-Functional Properties in the Model-Driven Development of Service-Oriented Systems",
Software and Systems Modeling, 2010.
Abstract
Appeared online
"Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools",
AGTIVE - Applications of Graph Transformation, Kassel, Germany, Springer, 10/2007.
"Visual lane and obstruction detection system for commercial vehicles",
4th IFAC symposium on fault detection supervision and safety for technical processes. SAFEPROCESS 2000. Preprints, Budapest, vol. 2: IFAC, pp. 908–913, 06.14–06.16., 2000.