Publications
Filters: First Letter Of Last Name is P [Clear All Filters]
"Efficiency of P-graph Based Syndrome Decoding",
Proceedings of DDECS2002, The 5th IEEE Design And Diagnostics of Electronic Circuits and Systems Workshop, pp. 374 - 377, 2002.
"Designing The Reconfiguration Strategies of Fault Tolerant Servers",
Fast Abstracts, Third European Dependable Computing Conference, pp. 27 - 28, 1999.
"Probabilistic Diagnostics With P-graphs",
Proc. of CSCS2002, The Third Conference of Phd Students in Computer Science, pp. 82 - , 2002.
"System Level Diagnostics and Percolation Theory",
Proceedings of the 7th PhD Mini-Symposium of the Department of Measurement and Information Systems, pp. 48 - 49, 2000.
"Comparison based diagnostics as a probabilistic deduction problem",
LECTURE NOTES IN COMPUTER SCIENCE, vol. 3038, pp. 1153 - 1161, 2004.
Abstract
"Modeling Uncertainty In System-level Fault Diagnosis Using Process Graphs",
Proc. of DAPSYS 2002, 4th Austrian-Hungarian Workshop on Distributed and Parallel Processing: Kluwer Academic Publishers, pp. 195 - 202, 2002.
"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.
"Probabilistic Diagnostics With P-graphs",
ACTA CYBERNETICA-SZEGED, vol. 16, issue 2, pp. 279 - 291, 2003.
"Process-graph Based Formulation of The Syndrome-decoding Problem",
Proc. of Mini-symposium 2001, pp. 46 - 47, 2001.
"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.
"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.
"Gradient Based System-level diagnosis",
PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 51, issue 1-2, Barborak, M., Malek, M., Dahbura, A., The consensus problem in faulttolerant computing (1993) ACM Computing Surveys, 25 (2), pp. 171-220. , June;Barsi, F., Grandoni, F., Maestrini, P., A theory of diagnosability of digital systems (1976) IEEE Transactions, pp. 43 - 55, 2007.
"Generalisation of The Test Model of Multiprocessor Systems",
Proc. of Phd. Mini-symposium 2002: IEEE Hungary Section BUTE Student Branch, pp. 36 - 37, 2002.
"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.
"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
"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.
"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.
"Modeling and analysis of exception handling by using UML statecharts",
LECTURE NOTES IN COMPUTER SCIENCE, vol. 3409, pp. 58 - 67, 2005.
Abstract
"Program Code Generation Based on Uml Statechart Models",
PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 47, issue 3-4, pp. 187 - 204, 2003.
"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.
"A Data Mining Approach to Identify Key Factors in Dependability Experiments",
LECTURE NOTES IN COMPUTER SCIENCE, vol. 3463, pp. 263 - 280, 2005.
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.
"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.
"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.