Publications

Export 31 results:
Sort by: Author Title Type [ Year  (Asc)]
Filters: First Letter Of Title is C  [Clear All Filters]
1995
Majzik, I., and Pataricza, A., "Control Flow Checking in Multitasking Systems", PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 39, issue 1, pp. 27 - 36, 1995.
1997
1999
Majzik, I., Jávorszky, J., Pataricza, A., and Selényi, E., "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.
2000
Pap, Z., Majzik, I., Pataricza, A., and Szegi, A., "Completeness and Consistency Analysis of UML Statechart Specifications", 11th European Workshop on Dependable Computing (EWDC-11), Budapest, pp. 6 - , 2000.
2001
Pap, Z., Majzik, I., and Pataricza, A., "Checking General Safety Criteria on UML Statecharts", Computer Safety, Reliability and Security, Berlin ; Heidelberg, Springer-Verlag, pp. 46 - 55, 2001.
Pap, Z., Majzik, I., Pataricza, A., and Szegi, A., "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.
2003
Pintér, G., and Majzik, I., "Code Generation Based on UML Statecharts", Proceedings of the 10th PhD Mini-Symposium: Budapest University of Technology and Economics Department of Measurement and Information Systems, pp. 18 - 19, 2003.
2004
Polgár, B., "Comparison based diagnostics as a probabilistic deduction problem", LECTURE NOTES IN COMPUTER SCIENCE, vol. 3038, pp. 1153 - 1161, 2004. Abstract
Pintér, G., and Majzik, I., "Checkpoint And Recovery in Diverse Software", Proceedings of the 11th PhD mini-symposium: Budapest University of Technology and Economics Department of Measurement and Information Systems, pp. 20 - 21, 2004.
2006
Balogh, A., Varró, G., Varró, D., and Pataricza, A., "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%
Ráth, I., and Varró, D., "Challenges for Advanced Domain-Specific Modeling Frameworks", International Workshop on Domain Specific Program Development (DSPD 2006), Nantes, France, July, 2006. Abstract
2007
Ráth, I., "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.
Micskei, Z., Majzik, I., and Tam, F., "Comparing Robustness of AIS-Based Middleware Implementations", Service Availability Symposium, pp. 20 - 30, 2007.
2009
Ráth, I., Varró, G., and Varró, D., "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%
Horváth, Á., and Varró, D., "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%
2010
Bergmann, G., "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.
2011
Hegedüs, Á., "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.
Gábor, A., Sonnevend, I., and Bartha, T., "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
2012
Micskei, Z., Szatmári, Z., Oláh, J., and Majzik, I., "A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems", Agent and Multi-Agent Systems. Technologies and Applications, vol. 7327: Springer Berlin / Heidelberg, pp. 504-513, 2012. Abstract
Bergmann, G., Ráth, I., Varró, G., and Varró, D., "Change-driven model transformations. Change (in) the rule to rule the change.", Software and Systems Modeling, vol. 11, issue 3: Springer Berlin / Heidelberg, pp. 431-461, 2012.
2016
Hajdu, Á., Tóth, T., Vörös, A., and Majzik, I., "A Configurable CEGAR Framework with Interpolation-Based Refinements", Formal Techniques for Distributed Objects, Components, and Systems, vol. 9688: Springer International Publishing, pp. 158-174, 2016. Abstract
Molnár, V., Vörös, A., Darvas, D., Bartha, T., and Majzik, I., "Component-wise Incremental LTL Model Checking", Formal Aspects of Computing, vol. 28, issue 3: Springer, pp. 345-379, 05/2016.
Nagy, A S., and Szárnyas, G., "Class Responsibility Assignment Case: a VIATRA-DSE Solution", 9th Transformation Tool Contest, Vienna, Austria, 2016.
Marussy, K., Klenik, A., Molnár, V., Vörös, A., Telek, M., and Majzik, I., "Configurable Numerical Analysis for Stochastic Systems", Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR): IEEE, 2016.
Semeráth, O., Debreceni, C., Horváth, Á., and Varró, D., "Change Propagation of View Models by Logic Synthesis Using SAT Solvers", Fifth International Workshop on Bidirectional Transformations (Bx 2016), Eindhoven, The Netherlands, 04/2016.