Publications
Filters: First Letter Of Last Name is P [Clear All Filters]
"High-level Supervision of Program Execution Based on Formal Specification",
Proceedings of The International Conference on Dependable Systems And Networks (DSN-2004) Workshop on Architecting Dependable Systems (Supplemental Volume): IEEE Computer Society Press, pp. 292 - 296, 2004.
"A High-Speed Watchdog Processor for Multitasking Systems",
Proc. Eighth Symposium on Microcomputer and Microprocessor Applications (uP'94): HTE, pp. 65 - 74, 1994.
"Identification of Dependability Models from Large Observation Sets",
23rd Minisymposium of the Department of Measurement and Information Systems, Budapest, IEEE, 01/2015.
"Idő- és eseményvezérelt kommunikáció beágyazott számítógépes rendszerekben",
ELEKTROTECHNIKA, vol. 97, issue Tudományos különszám, pp. 19 - 22, 2004.
"Impact of Statechart Implementation Techniques on The Effectiveness of Fault Detection Mechanisms",
Proceedings of The EUROMICRO'04 Workshop on Component Based Software Engineering: IEEE Computer Society Press, pp. 136 - 143, 2004.
"Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery",
Modelling Foundations and Applications, vol. 6698: Springer Berlin / Heidelberg, pp. 389-390, 2011.
Abstract
10.1007/978-3-642-21470-7_32
"Integration of OLAP and Data Mining for Analysis of Results from Dependability Evaluation Experiments",
INTERNATIONAL JOURNAL OF KNOWLEDGE MANAGEMENT STUDIES, vol. 2, issue 4, pp. 480 - 498, 2008.
Abstract
"Introducing Dynamism to SA Forum Cluster",
Dependable Network Computing and Mobile Systems, Naples, Italy, 10/2008.
Abstract
"Keretrendszer nagymegbízhatóságú, biztonságkritikus rendszerek fejlesztéséhez és teszteléséhez",
OOOK 2002: 5. Országos Objektum-Orientált Konferencia, Dobogókõ, Hungary, October 16–17, 2002.
In Hungarian
"Lessons Learned from Building Model-Driven Development Tools",
Software and Systems Modeling, 2012.
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%
Mathematical Model Transformation for System Verification,
: Budapest University of Technology and Economics, Dept. of Measurement and Information Systems, June, 2000.
Abstract
Mathematical Model Transformations for System Verification,
: Budapest University of Technology and Economics, May, 2001.
"Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models",
Proc. Fifth International Conference on the Unified Modeling Language – The Language and its Applications, vol. 2460, Dresden, Germany, Springer-Verlag, pp. 18–33, September 30 – O, 2002.
Abstract
Acceptance rate: 30%
"Methods of Checking General Safety Criteria in Uml Statechart Specifications",
RELIABILITY ENGINEERING & SYSTEM SAFETY, vol. 87, issue 1, pp. 89 - 107, 2005.
Abstract
"Mix-and-Match Composition in the Gamma Framework",
25th Minisymposium of the Department of Measurement and Information Systems, Budapest, Hungary, 2018.
Abstract
"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.
"Model checking and test generation: towards a combined approach to software verification",
Proceedings of the 26th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 12–15, 01/2019.
Abstract
"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-Based Analysis and Synthesis Methods for Dependable 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. 123 - 130, 2007.
"Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services",
Architecting Dependable Systems V, Berlin ; Heidelberg, Springer-Verlag, pp. 150 - 174, 2008.
"Model-based Control of IT Infrastructures",
10th International Carpathian Control Conference, pp. 211 -214, 05/2010.
"Model-based Integration Framework for Development and Testing Tool-chains",
FORMS/FORMAT 2010, the 8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, Springer Verlag, Berlin, pp. 204-212, 03/12/2010.
"Model-based Integration, Execution and Certification of Development Tool-chains",
Proceedings of the 2nd ECMDA Workshop on Model-Driven Tool & Process Integration, Enschede, pp. * - 10, 2009.
"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