Concurrent Error Detection in Multiprocessor Systems Using Watchdog Processors.
Technical University of Budapest, Faculty of Electrical Engineering and Informatics, 642-Ph.D, September 1997, Budapest, Hungary
|
I. Majzik: Concurrent Error Detection in Multiprocessor Systems Using Watchdog Processors. Technical University of Budapest, Faculty of Electrical Engineering and Informatics, 642-Ph.D, September 1997, Budapest, Hungary |
|
Bartha T.,
Csertán Gy., Gyapay Sz., Majzik I., Pataricza A., Varró D.: Formális módszerek az informatikában. Typotex Kiadó, Budapest, 2004. |
|
A. Bondavalli,
P. Lollini, I. Majzik and L. Montecchi: Modelling and Model-Based Assessment. In: K. Wolter, A. Avritzer, M. Vieira, A. van Moorsel (eds.), Resilience Assessment and Evaluation of Computing Systems, pp 153-165, Springer Verlag, Berlin Heidelberg, 2012. |
|
Z. Micskei,
H. Madeira, A. Avritzer, I. Majzik, M. Vieira, and N. Antunes: Robustness Testing Techniques and Tools. In: K. Wolter, A. Avritzer, M. Vieira, A. van Moorsel (eds.), Resilience Assessment and Evaluation of Computing Systems, pp 323-339, Springer Verlag, Berlin Heidelberg, 2012. |
|
A. Balogh,
G. Bergmann, Gy. Csertán, L. Gönczy, Á. Horváth, I. Majzik, A. Pataricza,
B. Polgár, I. Ráth, D. Varró, G. Varró: Workflow-Driven Tool Integration Using Model Transformations. In: G. Engels, C. Lewerentz, W. Schäfer, A. Schürr, B. Westfechtel (eds.), Graph Transformations and Model Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday. LNCS 5765, pp. 224-248, Springer Verlag, Berlin Heidelberg, 2010. |
|
G. Pintér,
I. Majzik: Error Detection in Control Flow of Event-Driven State Based Applications. In P. Pelliccione, H. Muccini, N. Guelfi, A. Romanovsky (eds.): Software Engineering of Fault Tolerant Systems. Ser. Software Engineering and Knowledge Engineering, Vol. 19, World Scientific Publishing, 2007. |
|
G. Pintér,
I. Majzik: Runtime Verification of Statechart Implementations. In R. de Lemos, C. Gacek, A. Romanovsky (eds.): Architecting Dependable Systems III. LNCS-3549, pp 148-172, Springer Verlag, Berlin, 2005. |
|
I. Majzik,
A. Pataricza and A. Bondavalli: Stochastic Dependability Analysis of System Architecture Based on UML Models. In R. de Lemos, C. Gacek and A. Romanovsky (eds.): Architecting Dependable Systems, LNCS-2667, pp 219-244, Springer Verlag, Berlin, 2003. |
|
A. Bondavalli,
O. Hamouda, M. Kaâniche, P. Lollini, I. Majzik, H-P. Schwefel: The HIDENETS Holistic Approach for the Analysis of Large Critical Mobile Systems. IEEE Transactions on Mobile Computing, vol. 10, no. 6, pp. 783-796, June 2011. |
|
G. Pintér,
Z. Micskei and I. Majzik: Supporting design and development of safety critical applications by model based tools. Annales Universitatis Scientiarum Budapestiensis de Rolando Eötvös Nominatae, Sectio Computatorica, Vol. XXX (2009), pp 61-78, ELTE, Budapest, 2009. |
|
A. Bondavalli, A. Ceccarelli,
J. Gronbaek, D. Iovino, L. Kárná, ©. Klapka, T.K. Madsen, M. Magyar, I.
Majzik and A. Salzo: |
|
G. Pintér,
H. Madeira, M. Vieira, I. Majzik and A. Pataricza: Integration of OLAP and Data Mining for Analysis of Results from Dependability Evaluation Experiments. Int. Journal of Knowledge Management Studies, Vol. 2, No. 4, pp 480-498, InderScience Publishers, 2008. |
|
P. Domokos
and I. Majzik: Aspect-Oriented Modelling and Analysis of Information Systems. Periodica Polytechnica Ser. Electrical Engineering, Vol. 51, No. 1-2, pp 21-31, Budapest University of Technology and Economics, 2007. |
|
R. Fajta,
P. Domokos and I. Majzik: Adding High Availability Features to Server Applications Using Aspect-Oriented Programming. Híradástechnika, the Journal of the Scientific Association for Infocommunications, Vol. LXII, No. 1, pp 56-62, January 2007. |
|
Zs. Pap, I.
Majzik, A. Pataricza, A. Szegi: Methods of Checking General Safety Criteria in UML Statechart Specifications. Journal of Reliability Engineering and System Safety, Vol. 87, No. 1, pp. 89-107, Elsevier, January 2005. |
|
G. Pintér
and I. Majzik: Program Code Generation Based on UML Statechart Models. Periodica Polytechnica Ser. Electrical Engineering, Vol. 47, No. 3-4, pp 087-204, Budapest University of Technology and Economics, 2003. |
|
G. Huszerl,
I. Majzik, A. Pataricza, K. Kosmidis, M. Dal Cin: Quantitative Analysis of UML Statechart Models of Dependable Systems. The Computer Journal, Vol. 45, No. 3, pp. 260-277, British Computer Society, 2002. |
|
A. Bondavalli,
M. Dal Cin, D. Latella, I. Majzik, A. Pataricza, G. Savoia: Dependability Analysis in the Early Phases of UML Based System Design. International Journal of Computer Systems - Science & Engineering, Vol. 16, No. 5, pp 265-275, September 2001. |
|
D. Latella,
I. Majzik, M. Massink: Automatic Verification of UML Statechart Diagrams using the SPIN Model-Checker. Formal Aspects of Computing, Vol. 11, No. 6, pp. 637-664, Springer Verlag, 1999. |
|
C. Bernardeschi,
A. Bondavalli, Gy. Csertán, I. Majzik, L. Simoncini: Temporal Analysis of Data Flow Control Systems. Automatica - The Journal of the International Federation of Automatic Control (IFAC), Vol. 38, No. 2, pp. 169-182, IFAC, 1997. |
|
I. Majzik,
W. Hohl, A. Pataricza, V. Sieh: Multiprocessor Checking Using Watchdog Processors. International Journal of Computer Systems - Science & Engineering, Vol. 11, No. 5, pp. 125-132, September 1996. |
|
I. Majzik: Software Diagnosis Using Compressed Signature Sequences. Periodica Polytechnica Ser. Electrical Engineering, Vol. 40, No. 2, pp. 87-103, Technical University of Budapest, 1996. |
|
I. Majzik,
A. Pataricza: Control Flow Checking in Multitasking Systems. Periodica Polytechnica Ser. Electrical Engineering, Vol. 39, No. 1, pp. 27-36, Technical University of Budapest, 1995. |
|
A. Pataricza,
I. Majzik, W. Hohl, J. Hoenig: Watchdog Processors in Parallel Systems. Microprocessing and Microprogramming, Vol. 39, pp 69-74, 1993. |
|
Majzik I.,
Péceli G.: Idő- és eseményvezérelt kommunikáció beágyazott számítógépes rendszerekben. (Time and event triggered communication in embedded computer systems, in Hungarian). Elektrotechnika, 97. évf., Tudományos különszám, pp 19-22, Magyar Elektrotechnikai Egyesület, 2004. |
|
Z. Micskei,
Z. Szatmári, J. Oláh, and I. Majzik: A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems. In: G. Jezic, M. Kusek, N.-T. Nguyen, R. J. Howlett, L. C. Jain (Eds.), Proc. 6th KES Int. Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA 2012), 1st Int. Workshop on Trustworthy Multi-Agent Systems (TRUMAS 2012), Dubrovnik, Croatia, June 25-27, 2012. pp. 504-513, LNCS 7327, Springer Verlag, Berlin Heidelberg, 2012. |
|
J. Oláh and
I. Majzik: Search-Based Functional Test Data Generation Using Data Metamodel. In M. B. Cohen, M. O. Cinneide (Eds.): Proc. 3rd Int. Symposium on Search Based Software Engineering (SSBSE 2011), Szeged, Hungary, September 10-12, 2011, pp 273, LNCS 6956, Springer Verlag, Berlin Heidelberg, 2011. |
|
B. Polgár,
I. Ágoston, G. Juhász, and I. Majzik: The INTEGRA Tool Integration Framework. In: J. Penjam (ed.), Proc. 12th Symposium on Programming Languages and Software Tools (SPLST 2011), Tallinn, Estonia, October 5-7, 2011, pp. 66-77, 2011. |
|
I. Majzik
and G. Horányi: Automated Code Synthesis for Run-Time Verification of Distributed Embedded Systems. In: J. Penjam (ed.), Proc. 12th Symposium on Programming Languages and Software Tools (SPLST 2011), Tallinn, Estonia, October 5-7, 2011, pp. 161-172, 2011. |
|
Z. Szatmári,
J. Oláh, and I. Majzik: Ontology-Based Test Data Generation Using Metaheuristics. In Proc. 8th International Conference on Informatics in Control, Automation, and Robotics (ICINCO 2011), Noordwijkerhout, The Netherlands, July 27-31, pp 217-222, SciTePress, 2011. |
|
B. Polgár,
I. Ráth and I. Majzik: Model-based Integration Framework for Development and Testing Tool-Chains. In Proc. 8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2010), Braunschweig, Germany, December 2-3, 2010, Springer Verlag, Berlin, pp. 227-235, 2011. |
|
Z. Szatmári,
B. Izsó, B. Polgár and I. Majzik: Ontology-Based Assessment of Software Models and Development Processes for Safety-Critical Systems. In Proc. Int. Conf. on Dependability of Computer Systems (DepCoS - RELCOMEX 2010), Brunow, Poland, 30 June - 02 July 2010, Monographs of System Dependability Vol. 2, Wroclaw, pp. 1 - 12, 2010. |
|
M. Magyar
and I. Majzik: Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach. In Proc. 6th Int. Conf. on the Quantitative Evaluation of Systems (QEST 2009), Budapest, Hungary, 13-16 September 2009, pp 95-96, IEEE CS, Los Alamitos, 2009. |
|
B. Polgár,
I. Ráth, Z. Szatmári, A. Horváth and I. Majzik: Model-based Integration, Execution and Certification of Development Tool-chains. In Proc. 5th European Conference on Model-Driven Architecture Foundations and Applications (ECMDA 2009), 2nd Workshop on Model-Driven Tool & Process Integration (MDTPI), Enschede, The Netherlands, 24 June 2009. |
|
J. Oláh and
I. Majzik: A Model Based Framework for Specifying and Executing Fault Injection Experiments. In Proc. Int. Conf. on Dependability of Computer Systems (DepCoS - RELCOMEX 2009), Brunow, Poland, 30 June - 02 July 2009, pp 107-114, IEEE CS, Los Alamitos, 2009. |
|
M. Kovács,
P. Lollini, I. Majzik, A. Bondavalli: An Integrated Framework for the Dependability Evaluation of Distributed Mobile Applications. In Proc. Int. Workshop on Software Engineering for Resilient systems (SERENE 2008), Newcastle upon Tyne, UK, November 17-19, pp 29-38, 2008. |
|
P. Lollini,
L. Montecchi, M. Magyar, I. Majzik, A. Bondavalli: Analysis of the Impact of Communication Protocols on Service Quality in ERTMS Automatic Train Control Systems. In G. Tarnai, E. Schnieder (eds): Formal Methods for Automation and Safety in Railway and Automotive Systems. Proc. of Symposium FORMS/FORMAT 2008, Budapest, Hungary, October 9-10, 2008. pp 225-232, L'Harmattan, Budapest, 2008. |
|
I. Majzik,
A. Bondavalli, S. Klapka, T. K. Madsen, D. Iovino: Formal Methods in the Evaluation of a Safe Driver Machine Interface. In G. Tarnai, E. Schnieder (eds): Formal Methods for Automation and Safety in Railway and Automotive Systems. Proc. of Symposium FORMS/FORMAT 2008, Budapest, Hungary, October 9-10, 2008. pp 313-320, L'Harmattan, Budapest, 2008. |
|
Á. Sisak,
G. Pintér, I. Majzik: Automated Verification of Complex Behavioral Models Using the SAL Model Checker. In G. Tarnai, E. Schnieder (eds): Formal Methods for Automation and Safety in Railway and Automotive Systems. Proc. of Symposium FORMS/FORMAT 2008, Budapest, Hungary, October 9-10, 2008. pp 35-42, L'Harmattan, Budapest, 2008. |
|
A. Ceccarelli,
I. Majzik, D. Iovino, F. Caneschi, G. Pinter, A. Bondavalli: A Resilient SIL 2 Driver Machine Interface for Train Control Systems. In Proc.3rd International Conference on Dependability of Computer Systems (DepCoS - RELCOMEX), June 26-28, 2008, Szklarska Poreba, Poland, pp 365-374, IEEE CS Press, 2008. |
|
I. Majzik,
G. Pintér and Z. Micskei: Development of Model Based Tools to Support the Design of Railway Control Applications. In F. Saglietti and N. Oster (eds.): Proc. of the 26th Int. Conference on Computer Safety, Reliability and Security, SAFECOMP 2007, Nuremberg, Germany, pp 430-435, LNCS 4680, Springer Verlag Berlin, 2007. |
|
G. Pintér,
Z. Micskei and I. Majzik: Supporting Design and Development of Safety Critical Applications by Model Based Tools. In Z. Horváth, L. Kozma, V. Zsók (eds.): Proc. of the 10th Symposium on Programming Languages and Software Tools (SPLST 2007), Dobogókő, Hungary, 14-16 June 2007, pp 61-75, Eötvös Loránd University, 2007. ISBN 978 963 463 925 1 |
|
Z. Micskei,
I. Majzik and F. Tam: Comparing Robustness of AIS-Based Middleware Implementations. In M. Malek, M. Reitenspiess, A. van Moorsel (eds): Proc. ISAS 2007, the 4th Int. Service Availability Symposium, May 2007, Durham, NH, USA, pp 20-30, LNCS 4526, Springer, 2007. ISBN 3-540-72735-3 |
|
I. Majzik,
P. Domokos and M. Magyar: Tool-supported Dependability Evaluation of Redundant Architectures in Computer Based Control Systems. In E. Schnieder, G. Tarnai (eds.): Proc. FORMS/FORMAT 2007, the 6th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, 25-26 January 2007, Braunschweig, Germany, pp 342-352. GZVB, Braunschweig, Germany, 2007. ISBN 13:978-3-937655-09-3 |
|
G. Pintér
and I. Majzik: Model Based Automatic Code Generation for Embedded Systems. In Proc. Regional Conference on Embedded and Ambient Systems (RCEAS-2007), Budapest, Hungary, pp 97-106, 2007. |
|
Z. Micskei,
I. Majzik, F. Tam: Robustness Testing Techniques for High Availability Middleware Solutions. In Proc. Int. Workshop on Engineering Fault Tolerant Systems (EFTS 2006), pp 55-66, University of Luxembourg, 2006. |
|
Z. Micskei,
I. Majzik: Model-Based Automatic Test Generation for Event-Driven Embedded Systems Using Model Checkers. In W. Zamojski, J. Mazurkiewicz, J. Sugier, T. Walkowiak (editors): Proc. Int. Conf. on Dependability of Computer Systems DepCoS - RELCOMEX 2006, Wroclaw University of Technology, Wroclaw, Poland, pp 191-198, IEEE Computer Society, 2006. |
|
P. Domokos,
I. Majzik: Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation. In W. Karl, J. Becker, K.-E. Grosspietsch, C. Hochberger, E. Maehle (editors): Proc. 19th Int. Conf. on Architecture of Computing Systems (ARCS-06), pp. 66-75, Gesellschaft für Informatik, Lecture Notes in Informatics Vol. P-81, 2006. |
|
G. Pintér,
I. Majzik: Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements. In M. Dal Cin and A. Bondavalli and N. Suri (eds.): Proc. Ninth IEEE Int. Symposium on High-Assurance Systems Engineering (HASE-05), October 2005, Heidelberg, Germany, pp. 111-120, IEEE CS, 2005. |
|
P. Domokos,
I. Majzik: Design and Analysis of Fault Tolerant Architectures by Model Weaving. In M. Dal Cin and A. Bondavalli and N. Suri (eds.): Proc. Ninth IEEE Int. Symposium on High-Assurance Systems Engineering (HASE-05), October 2005, Heidelberg, Germany, pp. 15-24, IEEE CS, 2005. |
|
G. Pintér,
H. Madeira, M. Vieira, Majzik, A. Pataricza: A Data Mining Approach to Identify Key Factors in Dependability Experiments. In M. Dal Cin, M. Kaaniche, A. Pataricza (eds): Dependable Computing – EDCC-5. Proc. Fifth European Dependable Computing Conference, Budapest, Hungary, April 2005, LNCS 3463, pp. 263-280, Springer Verlag, 2005. |
|
G. Pintér,
I. Majzik: Modeling and Analysis of Exception Handling by Using UML Statecharts. In N. Guelfi, G. Reggio and A. Romanovsky (eds.): Scientific Engineering of Distributed Java Applications (FIDJI 2004) - Revised selected papers, LNCS 3409, pp. 58-67, Springer Verlag, 2005. |
|
G. Pintér,
I. Majzik: Impact of Statechart Implementation Techniques on the Effectiveness of Fault Detection Mechanisms. In Proc. 30th EUROMICRO Conference, Component Based Software Engineering Track, Rennes, France, pp. 136-143, 2004. |
|
G. Pintér,
I. Majzik: High-Level Supervision of Program Execution Based on Formal Specification. In Proc. Int. Conference on Dependable Systems and Networks - Workshop on Architecting Dependable Systems (WADS), Florence, Italy, pp. 292-296, 2004. |
|
G. Pintér,
I. Majzik: Modeling and Analysis of Exception Handling by Using UML Statecharts. In Proc. Int. Workshop on Scientific Engineering of Distributed Java Applications (FIDJI), Luxembourg-Kirchberg, Luxemburg, pp. 69-78, 2004. |
|
I. Majzik,
G. Pintér, P. T. Kovács: UML Based Design of Time Triggered Systems In Proc. 7th IEEE Int. Symposium on Object-Oriented Real-Time Distributed Computing, 12-14 May 2004, Vienna, Austria, pp 60-63, IEEE CS, 2004. |
|
I. Majzik,
G. Pintér, P. T. Kovács: UML Based Visual Design of Embedded Systems. In Proc. of the 7th IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop, April 18-21, 2004, Stara Lesna, Slovakia, pp 115-120, Slovak Academy of Sciences, 2004. |
|
A. Pataricza,
I. Majzik, G. Huszerl and Gy. Várnai: UML-based Design and Formal Analysis of a Safety-Critical Railway Control Software Module. In G. Tarnai and E. Schnieder (eds.): Formal Methods for Railway Operation and Control Systems (Proc. FORMS-2003, Budapest, Hungary, May 15-16, 2003), L' Harmattan, Budapest, 2003, pp 125-132. |
|
G. Pintér
and I. Majzik: Automatic Code Generation Based on Formally Analyzed UML Statecharts. In G. Tarnai and E. Schnieder (eds.): Formal Methods for Railway Operation and Control Systems (Proc. FORMS-2003, Budapest, Hungary, May 15-16, 2003), L' Harmattan, Budapest, pp 45-52, 2003. |
|
I. Majzik,
G. Huszerl: Towards Dependability Modeling of FT-CORBA Architectures. A. Bondavalli, P. Thevenod-Fosse (eds.): Dependable Computing - EDCC4. In Proc. 4th European Dependable Computing Conference, Toulouse, France, 23-25 October 2002, LNCS 2485, Springer Verlag, Berlin Heidelberg, pp. 121-139, 2002. |
|
Gy. Csertán,
G. Huszerl, I. Majzik, Zs. Pap, A. Pataricza, D. Varró: VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models. In Proc. 17th Int. Conference on Automated Software Engineering (ASE 2002), Edinburgh, Scotland, 23-27 September 2002, IEEE CS Press (in press), 2002. |
|
A. Darvas,
I. Majzik, B. Benyó: Verification of UML Statechart Models of Embedded Systems. In B. Straube, E.J. Marinissen, Z. Kotasek, O. Novak, J. Hlavicka, R. Ruzicka (editors): Proc. 5th IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2002), April 17-19, Brno, Czech Republic, 2002, pp 70-77, IEEE Computer Society TTTC - Brno University of Technology, 2002. |
|
Zs. Pap, I.
Majzik, A. Pataricza: Checking General Safety Criteria on UML Statecharts. U. Voges (editor): Computer Safety, Reliability and Security (Proc. 20th Int. Conference, SAFECOMP-2001, Budapest, Hungary, September 25-27, 2001), pp 46-55, LNCS-2187, Springer Verlag, 2001. |
|
G. Huszerl,
I. Majzik: Modeling and Analysis of Redundancy Management in Distributed Object-Oriented Systems by Using UML Statecharts. Proc. of the 27th EUROMICRO Conference, Warsaw, Poland, 4-6 September 2001, pp 200-207, IEEE Computer Society, Los Alamitos, California, ISBN 0-7695-1236-4 |
|
Zs. Pap, I.
Majzik, A. Pataricza, A. Szegi: Completeness and Consistency Analysis of UML Statechart Specifications. In Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS'2001), Győr, Hungary, 18-20 April, 2001, pages 83-90, ISBN 963-7175-16-4 |
|
G. Huszerl,
I. Majzik: Quantitative Analysis of Dependability Critical Systems Based on UML Statechart Models. Proc. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000), November 15-17, 2000, Albuquerque, New Mexico, pages 83-92, IEEE Computer Society, ISBN 0-7695-0927-4 |
|
D. Latella,
I. Majzik, M. Massink: Towards a Formal Operational Semantics of UML Statechart Diagrams. In P. Ciancarini, A. Fantechi, R. Gorrieri, (editors), Formal Methods for Open Object-Based Distributed Systems (Proc. FMOODS'99, the Third IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, February 15-18, Florence, Italy), Kluwer Academic Publishers, 1999, pages 331-347, ISBN 0-7923-8429-6 |
|
A. Bondavalli,
I. Majzik, I. Mura: Automated Dependability Analysis of UML Designs. Proc. ISORC'99, the 2nd IEEE International Symposium on Object-oriented Real-time Distributed Computing, 1999, May 2-5, Saint Malo, France, pages 139-144, IEEE CS TC on Distributed Processing, ISBN 0-7695-0207-5 |
|
A. Bondavalli,
I. Majzik, I. Mura: Automatic Dependability Analysis for Supporting Design Decisions in UML. Proc. Fourth IEEE International Symposium on High-Assurance Systems Engineering (HASE'99), November 17-19, 1999, Washington DC, 1999, pages 64-71, ISBN 0-7695-0418-3 |
|
Gy. Csertán,
I. Majzik, A. Pataricza, S. C. Allmaier: Reachabiliy Analysis of Petri-nets by FPGA Based Accelerators. Proc. Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS'98), 1998, Szczyrk, Poland, September 2-4, pages 307-312, ISBN-83-908409-6-0 |
|
Gy. Csertán,
I. Majzik, A. Pataricza, S. C. Allmaier, W. Hohl: Hardware Accelerators for Petri-net Analysis. Proc. Austrian-Hungarian Workshop on Distributed and Parallel Systems (DAPSYS'98), September 28-30, 1998, Budapest, Hungary, Technical Report TR-98102, University of Vienna, Department of Applied Computer Science, pages 99-104 |
|
I. Majzik: Software Monitoring and Debugging Using Compressed Signature Sequences. Proc. 22nd EUROMICRO Conference, September 2-5, 1996, Prague, Czech Republic, pages 311-318, IEEE Computer Society Press, Los Alamitos, CA, ISBN 0-8186-7487-3 |
|
B. Antal,
A. Bondavalli, Gy. Csertán, I. Majzik, L. Simoncini: Reachability and Timing Analysis in Data Flow Networks: A Case Study. Proc. 22nd EUROMICRO Conference, September 2-5, 1996, Prague, Czech Republic, pages 193-200, IEEE Computer Society Press, Los Alamitos, CA, ISBN 0-8186-7487-3 |
|
I. Majzik,
A. Pataricza, M. Dal Cin, W. Hohl, J. Hoenig, V. Sieh: Hierarchical Checking of Multiprocessors Using Watchdog Processors. In K. Echtle, D. Hammer, D. Powell, Dependable Computing - EDCC-1, (Proc. First European Dependable Computing Conference (EDCC-1), Berlin, Germany, October 1994), Lecture Notes in Computer Science, volume 852, Springer Verlag, Berlin Heidelberg, 1994, pages 386-403, ISBN 3-540-58426-9 |
|
I. Majzik,
A. Pataricza, W. Hohl, J. Hoenig, V. Sieh: A High-Speed Watchdog Processor for Multitasking Systems. In A. Pataricza, E. Selényi, A. Somogyi, (editors), Proc. Eight Symposium on Microcomputer and Microprocessor Applications (uP'94), October 1994, Budapest, Hungary, volume I, pages 65-74, Technical University of Budapest |
|
H. Madeira
and I. Majzik: From assessment to standardised benchmarking: Will it happen? What could we do about it? Panel summary in Proc. 39th IEEE/IFIP Symposium on Dependable Systems and Networks (DSN 2009), Estoril, Lisbon, Portugal, June 29 - July 2, pp 295-296, IEEE CS, 2009. |
|
L. Gönczy,
I. Majzik, A. Horváth, D. Varró, A. Balogh, Z. Micskei, A. Pataricza: Tool Support for Engineering Certifiable Software. In Proc. SafeCert 2008, Int. Workshop on the Certification of Safety-Critical Software Controlled Systems (29 March 2008, Budapest, Hungary). Electronic Notes in Theoretical Computer Science, vol. 238, issue 4, pp 79-85, Elsevier, 2009. |
|
A. Bondavalli,
I. Majzik, and A. van Moorsel: International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008). Workshop summary in Proc. of the 38th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008), Anchorage, Alaska, USA, June 24-27, pp 542-543, IEEE CS, 2008. |
|
G. Pintér,
I. Majzik and A. Pataricza: Application of Data Mining in Failure Data Analysis. Workshop on Reliability Analysis of System Failure Data, Cambridge, UK, March 1-2, 2007. |
|
I. Majzik
and P. Domokos: Dependability Modeling Using Aspect Weaving Techniques. In Proc. Fifth European Dependable Computing Conference, Budapest, Hungary, Supplementary Volume, pp 77-78, 2005. |
|
I. Majzik,
Á. Darvas: Model Checking of Replication Management. In F. Di Giandomenico (ed.): Supplement of the EDCC-4 Conference - Fast Abstracts. Fourth European Dependable Computing Conference, Toulouse, France, October 23-25, 2002, pp. 7-8, LAAS-CNRS, Toulouse, 2002. |
|
I. Majzik: TCP/IP on top of TTP/C. In H. Kopetz (ed.): Proc. NextTTA Workshop on the Integration of Event-Triggered and Time-Triggered Services (Grenoble, France, October 4, 2002), pp. 55-67, 2002. |
|
S. Gnesi,
D. Latella, I. Majzik, M. Massink: Formal Validation of UML Statechart Diagrams Models. UML'2000 Workshop on Dynamic Behaviour in UML Models: Semantic Questions (The Third International Conference on The Unified Modeling Language), 2000, Gianna Reggio (editor), http://www.disi.unige.it/person/ReggioG/UMLWORKSHOP/INDEX.html |
|
Zs. Pap, I.
Majzik, A. Pataricza, A. Szegi: Completeness and Consistency Analysis of UML Statechart Specifications. 11th European Workshop on Dependable Computing (EWDC-11), Budapest, May 11-13, 2000, Budapest University of Technology and Economics, http://domino.inf.mit.bme.hu/EWDC-11.nsf |
|
I. Majzik: Dependability Modeling of FT-CORBA Architectures. 11th European Workshop on Dependable Computing (EWDC-11), Budapest, May 11-13, 2000, Budapest University of Technology and Economics, http://domino.inf.mit.bme.hu/EWDC-11.nsf |
|
I. Majzik,
J. Jávorszky, A. Pataricza, E. Selényi: Concurrent Error Detection of Program Execution Based on Statechart Specification. Proc.10th European Workshop on Dependable Computing (EWDC-10), May 6-7, 1999, Vienna, Austria, pages 181-185, Schriftenreihe der Österreichischen Computer Gesellschaft, Österreichische Computer Gesellschaft, ISBN 3-85403-125-4 |
|
I. Majzik,
A. Bondavalli: Automatic Dependability Modeling of Systems Described in UML. Proc. Ninth International Symposium on Software Reliability Engineering (ISSRE'98), November 4-7, 1998, Paderborn, Germany, pages 29-30, R. Chillarege, Th. Illgen, (editors), IEEE Computer Society, volume II (Fast Abstracts), ISBN 3-00-003410-2 |
|
I. Majzik: Watchdog Processors: Checking Process Synchronization. The 22nd EUROMICRO Conference, Short Notes, September 2-5, 1996, Prague, Czech Republic, IEEE Computer Society Press, Los Alamitos, CA |
|
Domokos P.,
Majzik I. és Varró D.: Megbízhatósági modellek automatikus generálása gráftranszformációval. Fiatal Műszakiak IX. Tudományos Ülésszaka, Kolozsvár, 2004. március 26-27., pp. 101-104, Erdélyi Múzeum Egyesület, 2004. |
|
Majzik I.,
Pataricza A.: Többprocesszoros rendszerek ellenőrzése watchdog processzorok felhasználásával. XIV. Tudományos Ülésszak, Kandó Kálmán Műszaki Főiskola, 1994. |
|
I. Majzik,
A. Pataricza: A Concept for Checking Communicating Sequential Processes. Mini-Symposium, Dept. of Measurement and Instrument Engineering, Technical University of Budapest, pages 7-8, 1995. |
|
I. Majzik,
A. Pataricza: Concurrent Checking of Multiprocessor Systems Using Watchdog Processors. Mini-Symposium, Dept. of Measurement and Instrument Engineering, Technical University of Budapest, pages 3-4, 1994. |
|
I. Majzik,
J. Jávorszky: Formal verification of UML statecharts: Case studies. Technical University of Budapest, Dept. of Measurement and Information Systems, 1999, Technical Report MITUB-TR-99-05 |
|
D. Latella,
I. Majzik, M. Massink: Automatic verification of UML statechart diagrams using the SPIN model-checker. Consiglio Nazionale delle Ricerche, Istituto CNUCE, 1999, Technical Report CNUCE-B4-1999-008 |
|
I. Majzik,
Gy. Csertán, A. Pataricza, S. C. Allmaier: Support of Formal Verification by FPGA Based Accelerators. Department of Computer Structures (IMMD3), University of Erlangen-Nuremberg, Erlangen, Germany, 1997, Internal Report 5/97 |
|
C. Bernardeschi,
A. Bondavalli, Gy. Csertán, I. Majzik, L. Simoncini: Temporal Analysis of Data Flow Real-Time Control Systems. University of Pisa, 1995, Internal Report IR-1/95-L.S. |
|
K. Tilly,
T. Dobrowiecki, I. Majzik, A. Somogyi, A. Várkonyi-Kóczi, I. Kiss, Z. Dankó,
Cs. Tóth, B. Vadász, T. Zsemlye: The Application of Intelligent Diagnostic Centers in the Implementation of Distributed Fault-Tolerant Systems. Technical University of Budapest, Budapest, Hungary, 1994, Technical Report series Electrical Engineering TUB-TR-94-EE09, 56 pages, ISBN 963-421-523-8 |
|
I. Majzik: On Semantics and Temporal Analysis of Data Flow Networks. Department of Information Engineering, University of Pisa, Pisa, Italy, 1994, Internal Report IR-1/94-L.S./I.M., 50 pages |
|
I. Majzik: SEIS: A Program Control Flow Graph Encoding Algorithm for Control Flow Checking. Technical University of Budapest, Budapest, Hungary, 1994, Technical Report Ser. Electrical Engineering TUB-TR-94-EE14, 66 pages, ISBN 963-421-534-3 |
|
I. Majzik: Fault Detection in the MEMSY Multiprocessor using a SEIS Watchdog Processor. Department of Computer Structures (IMMD3), University of Erlangen-Nuremberg, Erlangen, Germany, 1993, Internal Report 10/1993, 158 pages |