Publications
] Filters: First Letter Of Last Name is M [Clear All Filters]
"Aspect-Oriented Modelling and Analysis of Information Systems",
PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 51, issue 1-2, pp. 21 - 31, 2007.
"Application of Data Mining in Failure Data Analysis",
Workshop on Reliability Analysis of System Failure Data, pp. * - 2, 2007.
"Comparing Robustness of AIS-Based Middleware Implementations",
Service Availability Symposium, pp. 20 - 30, 2007.
"Development of Model Based Tools to Support the Design of Railway Control Applications",
Computer Safety, Reliability, and Security, Berlin, Springer-Verlag, pp. 430 - 435, 2007.
"Mobile Systems from a Validation Perspective: a Case Study",
Sixth International Symposium on Parallel and Distributed Computing (ISPDC07): IEEE Computer Society Press, pp. 85 - 92, 2007.
"Model Based Automatic Code Generation for Embedded Systems",
Proceedings of Regional Conference on Embedded and Ambient Systems, Budapest, Neumann János Számítógép-tudományi Társaság, pp. 97 - 106, 2007.
"Tool-supported Dependability Evaluation of Redundant Architectures in Computer Based Control Systems",
Proc. FORMS/FORMAT 2007, the 6th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems: Gesamtzentrum für Verkehr Braunschweig e.V., pp. 342 - 352, 2007.
"Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools",
AGTIVE - Applications of Graph Transformation, Kassel, Germany, Springer, 10/2007.
"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%
"Formal verification of function block based specifications of safety-critical software",
Proceedings of the 8th International Conference on The Modern Information Technology in the Innovation Processes of the Industrial Enterprises, Budapest, MTA SZTAKI - Amulett'98, pp. 211 - 218, 2006///.
"Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation",
Proc. 19th Int. Conf. on Architecture of Computing Systems: Gesellschaft für Informatik, pp. 66 - 75, 2006.
"Model-based Automatic Test Generation For Event-driven Embedded Systems Using Model Checkers",
Proc. of Dependability of Computer Systems: IEEE Computer Society Press, pp. 191 - 198, 2006.
"Robustness Testing Techniques For High Availability Middleware Solutions",
Proc. of International Workshop on Engineering of Fault Tolerant Systems (EFTS2006): University of Luxembourg, pp. 55 - 66, 2006.
"Termination Analysis of Model Transformations by Petri Nets",
Proc. Third International Conference on Graph Transformation (ICGT 2006), vol. 4178, Natal, Brazil, Springer, pp. 260–274, 2006.
Abstract
Acceptance rate: 45%
"Applying a Model Transformation Taxonomy to Graph Transformation Technology",
GraMot 2005, International Workshop on Graph and Model Transformations, vol. 152: Elsevier, pp. 143–159, 2006.
Abstract
"A Data Mining Approach to Identify Key Factors in Dependability Experiments",
LECTURE NOTES IN COMPUTER SCIENCE, vol. 3463, pp. 263 - 280, 2005.
Abstract
"Methods of Checking General Safety Criteria in Uml Statechart Specifications",
RELIABILITY ENGINEERING & SYSTEM SAFETY, vol. 87, issue 1, pp. 89 - 107, 2005.
Abstract
"Modeling and analysis of exception handling by using UML statecharts",
LECTURE NOTES IN COMPUTER SCIENCE, vol. 3409, pp. 58 - 67, 2005.
Abstract
"Runtime verification of statechart implementations",
LECTURE NOTES IN COMPUTER SCIENCE, vol. 3549, pp. 148 - 172, 2005.
Abstract
"Automatic Generation of Executable Assertions For Runtime Checking Temporal Requirements",
Proceedings of The 9th IEEEInternational Symposium on High Assurance Systems Engineering (HASE 2005): IEEE Computer Society Press, pp. 111 - 120, 2005.
"Dependability Modeling Using Aspect Weaving Techniques",
Dependable Computing - EDCC 2005, Berlin ; Heidelberg, Springer, pp. 77 - 78, 2005.
"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.
"Run-time Verification of Statechart Implementations",
Proceedings of the 12th PhD Mini-Symposium of the Department of Measurement and Information Systems: BME, pp. 46 - 47, 2005.
"Model-Based Optimization of Enterprise Application and Service Deployment",
Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, vol. 3694: Springer, pp. 84–98, 2005.
Abstract
Formális módszerek az informatikában,
: Typotex, 2004.
In Hungarian
