Publications
] Filters: First Letter Of Last Name is B [Clear All Filters]
"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.
"Automated Dependability Analysis of UML Designs",
Proc. 2nd IEEE International Symposium on Object-oriented Real-time Distributed Computing (ISORC'99), pp. 139 - 144, 1999.
"Automatic Dependability Analysis for Supporting Design Decisions in UML",
Proc. Fourth IEEE International Symposium on High-Assurance Systems Engineering (HASE'99), Washington, pp. 64 - 71, 1999.
"Backward error recovery in the APEmille parallel computer",
Proc. of the 3rd European Dependable Computing Conf., Prague, Czech Republic, Lecture Notes in Computer Science. Springer Berlin, 1999.
"Temporal analysis of data flow control systems",
AUTOMATICA, vol. 34, issue 2, pp. 169 - 182, 1998.
Abstract
"Automatic Dependability Modeling of Systems Described in UML",
Proc. 9th International Symposium on Software Reliability Engineering (ISSRE'98), pp. 29 - 30, 1998.
"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
"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.
