Publikációk
"Compiling Model Transformations to EJB3-Specific Transformer Plugins",
ACM Symposium on Applied Computing –- Model Transformation Track (SAC 2006), Dijon, France, ACM Press, pp. 1288-1295, April, 2006.
Abstract
Acceptance rate: 32%
"Completeness and Consistency Analysis of UML Statechart Specifications",
11th European Workshop on Dependable Computing (EWDC-11), Budapest, pp. 6 - , 2000.
"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.
"Concurrent Error Detection of Program Execution Based on Statechart Specification",
Proc. 10th European Workshop on Dependable Computing (EWDC-10): Österreichische Computer Gesellschaft, pp. 181 - 185, 1999.
"Configurable Numerical Analysis for Stochastic Systems",
Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR): IEEE, 2016.
"Conformance Checking for Programmable Logic Controller Programs and Specifications",
11th IEEE International Symposium on Industrial Embedded Systems (SIES), Kraków, Poland, IEEE, pp. 29-36, 05/2016.
"Constraint Programming with Multi-valued Decision Diagrams: A Saturation Approach",
Proceedings of the 24th PhD Mini-Symposium, Budapest, Hungary, pp. 54–57, 2017.
"Constructing Dependability Analysis Models of Reconfigurable Production Systems",
14th IEEE International Conference on Automation Science and Engineering (CASE), München, Germany, IEEE, 2018.
Abstract
See also our accompanying technical report at https://doi.org/10.5281/zenodo.1290661
"Contextual Graph Triggers",
Proceedings of the 17th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 22–25, 2010.
"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
"Criteria Evaluation-driven State Space Exploration of Graph Transformation Systems",
Proceedings of the 18th PhD Minisymposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 42-45, 02/2011.
"CSP(M): Constraint Satisfaction Problem over Models",
Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, vol. 5795: Springer, pp. 107-121, 2009.
Abstract
Acceptance rate: 18%
"Data Analysis Based Capacity Planning of VCL Clouds",
3rd International IBM Cloud Academy Conference ICACON 2015, Budapest, 05/2015.
"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.
"Def-use Analysis of Model Transformation Programs with Program Slicing",
Proceedings of the 18th PhD Minisymposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 46-49, 02/2011.
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)
"Dependability Modeling Using Aspect Weaving Techniques",
Dependable Computing - EDCC 2005, Berlin ; Heidelberg, Springer, pp. 77 - 78, 2005.
"Dependency Identification in System Management",
Proc. of the 17th PhD Mini-Symposium, Budapest, Hungary, pp. 34–37, 2010.
"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 and Analysis of Fault Tolerant Architectures by Model Weaving",
Proc. Ninth IEEE Int. Symposium on High-Assurance Systems Engineering (HASE-05): IEEE Computer Society Press, pp. 15 - 24, 2005.
"Design and implementation of an improved and reliable pressurizer controller at the Paks NPP",
Fault Detection, Supervision and Safety of Technical Processes: 7th IFAC International Symposium (SAFEPROCESS), Barcelona, IFAC, pp. 1162 - 1167, 2009.
"Design Pattern Based Transformation of Dynamic UML Models for Quantitative Analysis",
11th European Workshop on Dependable Computing (EWDC-11), Budapest, pp. - , 2000.
"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.