Publications
Filters: First Letter Of Last Name is G [Clear All Filters]
"Automatic Transformation of UML Models for System Verification",
WTUML'01: Workshop on Transformations in UML, Genova, Italy, pp. 123–127, April 7th, 2001.
Abstract
"Benchmarking the Ethernet-Federated Datacenter",
First Workshop on Data Center - Converged and Virtual Ethernet Switching, pp. 211 -221, sep., 2009.
"Bringing Automated Model Checking to PLC Program Development – A CERN Case Study",
Proceedings of the 12th International Workshop on Discrete Event Systems, Paris, France, International Federation of Automatic Control, pp. 394-399, 05/2014.
"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
"Control-oriented modelling of the primary circuit and its controllers of a PWR nuclear power plant",
9th European Workshop on Advanced Control and Diagnosis, Budapest, MTA SZTAKI, 2011.
Art. No.: 34
"Data Analysis Based Capacity Planning of VCL Clouds",
3rd International IBM Cloud Academy Conference ICACON 2015, Budapest, 05/2015.
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)
"Ecore to Genmodel case study solution using the Viatra2 framework",
Transformation Tool Contest (TTC '10), Malaga, Spain, 07/2010.
Abstract
"Evaluation of Graph Analytics Frameworks Using the GAP Benchmark Suite",
IEEE International Symposium on Workload Characterization, 2020.
"Formal Compositional Semantics for Yakindu Statecharts",
Proceedings of the 24th PhD Mini-Symposium, Budapest, Hungary, pp. 22–25, 2017.
"Formal Modeling of BPEL Workflows Including Fault and Compensation Handling",
EFTS '07: Proceedings of the 2007 workshop on Engineering fault tolerant systems, New York, NY, USA, ACM, pp. 1, 2007.
Abstract
"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.
"The Gamma Statechart Composition Framework",
40th International Conference on Software Engineering ({ICSE} 2018), Gothenburg, Sweden, ACM, 2018.
"Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools",
AGTIVE - Applications of Graph Transformation, Kassel, Germany, Springer, 10/2007.
"Graph Query by Example",
First International Workshop on Combining Modelling with Search- and Example-Based Approaches (CMSEBA 2014), Valencia, Spain, 09/2014.
"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
"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
"Live Model Transformations Driven by Incremental Pattern Matching",
Proc. First International Conference on the Theory and Practice of Model Transformations (ICMT 2008), vol. 5063/2008: Springer Berlin / Heidelberg, pp. 107–121, 2008.
Abstract
Acceptance rate: 31%
"Mix-and-Match Composition in the Gamma Framework",
25th Minisymposium of the Department of Measurement and Information Systems, Budapest, Hungary, 2018.
Abstract
"Model Checking as a Service: Towards Pragmatic Hidden Formal Methods",
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2020.
"Model Checking of Replication Management",
Supplement of the EDCC-4 Conference - Fast Abstracts. Fourth European Dependable Computing Conference: LAAS-CNRS, pp. 7 - 8, 2002.
"Model Transformation by Graph Transformation: A Comparative Study",
MTiP 2005, International Workshop on Model Transformations in Practice (Satellite Event of MoDELS 2005), 2005.
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
"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%
"Model-Driven Development of Heterogeneous Cyber-Physical Systems",
Proceedings of the 28th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 24-27, 2021.
Abstract