Publications
] Filters: First Letter Of Last Name is S [Clear All Filters]
"Hierarchical Checking of Multiprocessors Using Watchdog Processors",
Dependable Computing - EDCC-1, Berlin ; Heidelberg, Springer-Verlag, pp. 386 - 403, 1994.
"A High-Speed Watchdog Processor for Multitasking Systems",
Proc. Eighth Symposium on Microcomputer and Microprocessor Applications (uP'94): HTE, pp. 65 - 74, 1994.
"Multiprocessor Checking Using Watchdog Processors",
COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 11, issue 5, pp. 301 - 310, 1996.
Abstract
"Reachability and Timing Analysis in Data Flow Networks: A Case Study",
Proceedings of the 22nd EUROMICRO Conference: IEEE Computer Society Press, pp. 193 - 200, 1996.
"Probabilistic System-Level Fault Diagnostic Algorithms for Multiprocessors",
Parallel Computing, vol. 22, pp. 1807 - 1821, 1997.
Abstract
UT: A1997WM04500008L3: citeulike-article-id:3911659KW: system-level diagnosis
ISSN 0167-8191
Special issue: distributed and parallel systems: environments and tools
"Temporal analysis of data flow control systems",
AUTOMATICA, vol. 34, issue 2, pp. 169 - 182, 1998.
Abstract
"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.
"Probabilistic fault diagnosis in large, heterogeneous computing systems",
Periodica Polytechnica-Electrical Engineering, vol. 2, issue 2, pp. 127 - 149, 2000.
"Visual lane and obstruction detection system for commercial vehicles",
4th IFAC symposium on fault detection supervision and safety for technical processes. SAFEPROCESS 2000. Preprints, Budapest, vol. 2: IFAC, pp. 908–913, 06.14–06.16., 2000.
"Completeness and Consistency Analysis of UML Statechart Specifications",
11th European Workshop on Dependable Computing (EWDC-11), Budapest, pp. 6 - , 2000.
"UML - Extensions for Quantitative Analysis",
Proc. of UML 2000 Workshop: Dynamic Behaviour in UML Models: Semantic Questions, München, LMU-München, Institut für Informatik, pp. 70 - 75, 2000.
"Dependability Analysis in The Early Phases of Uml-based System Design",
COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 16, issue 5, pp. 265 - 275, 2001.
Abstract
"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.
"A Process Graph Based Formulation of The Syndrome-decoding Problem",
Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2001): SZIF-Universitas, pp. 267 - 272, 2001.
"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.
"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.
"Probabilistic Diagnostics With P-graphs",
Proc. of CSCS2002, The Third Conference of Phd Students in Computer Science, pp. 82 - , 2002.
"Formal Verification of Model Transformation Systems",
EDCC 2002: Fourth European Dependable Computing Conference: Fast Abstracts, Toulouse, France, pp. 15–16, October 23–25, 2002.
"An Open Visualization Framework for Metamodel-Based Modeling Languages",
Proc. GraBaTs 2002, International Workshop on Graph-Based Tools, vol. 72 (2), no. 2, Barcelona, Spain, Elsevier, pp. 78–87, October 7–8, 2002.
Abstract
"Probabilistic Diagnostics With P-graphs",
ACTA CYBERNETICA-SZEGED, vol. 16, issue 2, pp. 279 - 291, 2003.
"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.
"UML-based Design and Formal Analysis of a Safety-Critical Railway Control Software Module",
Formal Methods for Railway Operation and Control Systems, Budapest, L'Harmattan Kiadó, pp. 125 - 132, 2003.
"Modeling and Analysis of Architectural Styles Based on Graph Transformation",
The 6th ICSE Workshop on Component Based Software Engineering: Automated Reasoning and Prediction, Portland, Oregon, USA, Carnegie Mellon University, USA, and Monash University, Australia, pp. 67–72, May 3-4, 2003.
Abstract
"CheckVML: A Tool for Model Checking Visual Modeling Languages",
Proc. UML 2003: 6th International Conference on the Unified Modeling Language, vol. 2863, San Francisco, CA, USA, Springer, pp. 92–95, October 20-24, 2003.
Abstract
Acceptance rate: 15%
"Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time",
Proc. GT-VMT 2004, International Workshop on Graph Transformation and Visual Modelling Techniques, vol. 109: Elsevier, pp. 137-147, 2004.
Abstract
