Publikációk
Szűrők: Az Utónév Első Betűje = P [Minden szűrő visszaállítása]
"Modeling and analysis of exception handling by using UML statecharts",
LECTURE NOTES IN COMPUTER SCIENCE, vol. 3409, pp. 58 - 67, 2005.
Abstract
"Multiprocessor Checking Using Watchdog Processors",
COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 11, issue 5, pp. 301 - 310, 1996.
Abstract
"On The Extension And Applicability of The P-graph Modeling Paradigm to System-level Diagnostic Problems",
SCALABLE COMPUTING PRACTICE AND EXPERIENCE, vol. 6, issue 2, pp. 45 - 57, 2005.
"Optimization in Graph Transformation Systems Using Petri Net Based Techniques",
Electronic Communications of the EASST (ECEASST), vol. 2: EASST, 2006.
Abstract
Selected papers of Workshop on Petri Nets and Graph Transformations
"Probabilistic Diagnostics With P-graphs",
ACTA CYBERNETICA-SZEGED, vol. 16, issue 2, pp. 279 - 291, 2003.
"Program Code Generation Based on Uml Statechart Models",
PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 47, issue 3-4, pp. 187 - 204, 2003.
"Quantitative Analysis of Uml Statechart Models of Dependable Systems",
COMPUTER JOURNAL, vol. 45, issue 3, pp. 260 - 277, 2002.
Abstract
"Runtime verification of statechart implementations",
LECTURE NOTES IN COMPUTER SCIENCE, vol. 3549, pp. 148 - 172, 2005.
Abstract
"A software integration approach for designing and assessing dependable embedded systems",
Journal of Systems and Software, vol. 83, no. 10, pp. 1780-1800, 2010.
"Stochastic Dependability Analysis of System Architecture Based on UML Models",
LECTURE NOTES IN COMPUTER SCIENCE, vol. 2677, pp. 219 - 244, 2003.
Abstract
"Supporting design and development of safety critical applications by model based tools",
ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTIENSIS DE ROLANDO EOTVOS NOMINATAE - SECTIO COMPUTATORICA, vol. 30, pp. 61 - 78, 2009.
"Tool Support for Engineering Certifiable Software",
Electr. Notes Theor. Comput. Sci., vol. 238, no. 4, pp. 79-85, 2008.
Abstract
"Towards Guided Trajectory Exploration of Graph Transformation Systems",
Electronic Communications of the EASST, Petri Nets and Graph Transformations 2010, vol. 40, 08/2011.
Abstract
"Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts",
IEEE Access, vol. 8, pp. 190760–190783, 2020.
"Watchdog Processors in Parallel Systems",
MICROPROCESSING AND MICROPROGRAMMING, vol. 39, issue 2-5, pp. 69 - 74, 1993.
Abstract
"UML Action Semantics for Model Transformation Systems",
Periodica Polytechnica, vol. 47, no. 3, pp. 167–186, 2003.
Abstract
"VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML",
Journal of Software and Systems Modeling, vol. 2, no. 3: Springer, pp. 187–210, October, 2003.
Abstract
"Abstract Model-based Checkpoint And Recovery",
Proceedings of the 2nd Conference of Phd Students in Computer Science, Szeged, University of Szeged, pp. 96 - 97, 2004.
"Application of Data Mining in Failure Data Analysis",
Workshop on Reliability Analysis of System Failure Data, pp. * - 2, 2007.
"Automated Formal Verification of Model Transformations",
CSDUML 2003: Critical Systems Development in UML; Proceedings of the UML'03 Workshop, no. TUM-I0323: Technische Universität München, pp. 63–78, September, 2003.
Abstract
"Automated Verification of Complex Behavioral Models Using the SAL Model Checker",
Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008), Budapest, L'Harmattan Kiadó, pp. 35 - 42, 2008.
"Automatic Code Generation Based on Formally Analyzed UML Statechart Models",
Formal Methods for Railway Operation and Control Systems, Budapest, L'Harmattan Kiadó, pp. 45 - 52, 2003.
"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.
"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.