Publications

Export 183 results:
Sort by: Author Title Type [ Year  (Asc)]
Filters: First Letter Of Last Name is B  [Clear All Filters]
1996
Antal, B., Bondavalli, A., Csertán, G., Majzik, I., and Simoncini, L., "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.
1997
Bartha, T., and Selényi, E., "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
1998
Majzik, I., and Bondavalli, A., "Automatic Dependability Modeling of Systems Described in UML", Proc. 9th International Symposium on Software Reliability Engineering (ISSRE'98), pp. 29 - 30, 1998.
1999
Bartha, T., and Maestrini, P., "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.
Bondavalli, A., Majzik, I., and Mura, I., "Automated Dependability Analysis of UML Designs", Proc. 2nd IEEE International Symposium on Object-oriented Real-time Distributed Computing (ISORC'99), pp. 139 - 144, 1999.
Bondavalli, A., Majzik, I., and Mura, I., "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.
2000
Bartha, T., and Selényi, E., "Probabilistic fault diagnosis in large, heterogeneous computing systems", Periodica Polytechnica-Electrical Engineering, vol. 2, issue 2, pp. 127 - 149, 2000.
Gáspár, P., Szászi, I., Bartha, T., Varga, I., Bokor, J., Palkovics, L., and Gianone, L., "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.
2001
Bondavalli, A., Dal Cin, M., Latella, D., Majzik, I., Pataricza, A., and Savoia, G., "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
Pap, Z., Majzik, I., Pataricza, A., and Szegi, A., "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.
Polgár, B., Nováki, S., Pataricza, A., and Friedler, F., "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.
2002
Polgár, B., Bartha, T., and Selényi, E., "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.
Huszerl, G., and Kosmidis, K., "Object Oriented Notation for Modelling Quantitative Aspects", Workshop Proceedings of the International Conference on Architecture of Computing Systems (ARCS 2002), Berlin, VDE Verlag GmbH, pp. 91 - 100, 2002.
Darvas, Á., Majzik, I., and Benyó, B., "Verification of UML Statechart Models of Embedded Systems", Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2002): Brno University of Technology, pp. 70 - 77, 2002.
Varró, D., "Towards Symbolic Analysis of Visual Modelling Languages", Proc. GT-VMT 2002: International Workshop on Graph Transformation and Visual Modelling Techniques, vol. 72 (3), no. 3, Barcelona, Spain, Elsevier, pp. 57–70, October 11-12, 2002. Abstract
2003
Polgár, B., "Multiprocesszoros Rendszerek Maximum Likelihood Diagnosztikája", FMTÜ 2003, Fiatal Muszakiak Tudományos Ülésszaka VIII.: Erdélyi Múzeum-Egyesület, pp. 75 - 78, 2003.
Domokos, P., and Varró, D., "Ny\'ılt SVG alapú keretrendszer", FMTÜ 2003: Fiatal Magyarok Tudományos Ülésszaka, Kolozsvár, Romania, Erdélyi Múzeum Egyesület, pp. 47–50, March 21-22, 2003.
In Hungarian
Varró, D., and Domokos, P., "A VIATRA modelltranszformációs rendszer", FMTÜ 2003: Fiatal Magyarok Tudományos Ülésszaka, Kolozsvár, Romania, Erdélyi Múzeum Egyesület, pp. 51–54, March 21-22, 2003.
In Hungarian
Baresi, L., Heckel, R., Thöne, S., and Varró, D., "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
Schmidt, Á., and Varró, D., "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%
Baresi, L., Heckel, R., Thöne, S., and Varró, D., "Modeling and Analysis of Architectural Styles", Proc ESEC 2003: 9th European Software Engineering Conference, Helsinki, Finland, ACM Press, pp. 68–77, September, 2003. Abstract
Acceptance rate: 20%
2004
Baresi, L., Heckel, R., Thöne, S., and Varró, D., "Style-Based Refinement of Dynamic Software Architectures", Proc. WICSA 2004: 4th Working International IEEE/IFIP Conference on Software Architecture, Oslo, Norway, IEEE Computer Society, pp. 155-164, 2004. Abstract
Acceptance rate: 30%