István Majzik

	2011
38		Zoltán Szatmári, János Oláh, István Majzik: Ontology-based Test Data Generation using Metaheuristics. ICINCO (2) 2011: 217-222
37		János Oláh, István Majzik: Search-Based Functional Test Data Generation Using Data Metamodel. SSBSE 2011: 273
36		Andrea Bondavalli, Ossama Hamouda, Mohamed Kaâniche, Paolo Lollini, István Majzik, Hans-Peter Schwefel: The HIDENETS Holistic Approach for the Analysis of Large Critical Mobile Systems. IEEE Trans. Mob. Comput. 10(6): 783-796 (2011)
	2010
35		Balázs Polgár, István Ráth, István Majzik: Model-based Integration Framework for Development and Testing Tool-chains. FORMS/FORMAT 2010: 227-235
34		András Balogh, Gábor Bergmann, György Csertán, László Gönczy, Ákos Horváth, István Majzik, András Pataricza, Balázs Polgár, István Ráth, Dániel Varró, Gergely Varró: Workflow-Driven Tool Integration Using Model Transformations. Graph Transformations and Model-Driven Engineering 2010: 224-248
	2009
33		Henrique Madeira, István Majzik: From assessment to standardised benchmarking: Will it happen? What could we do about it? DSN 2009: 295-296
32		Melinda Magyar, István Majzik: Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach. QEST 2009: 95-96
31		László Gönczy, István Majzik, Ákos Horváth, Dániel Varró, András Balogh, Zoltán Micskei, András Pataricza: Tool Support for Engineering Certifiable Software. Electr. Notes Theor. Comput. Sci. 238(4): 79-85 (2009)
	2008
30		Andrea Bondavalli, István Majzik, Aad P. A. van Moorsel: International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008). DSN 2008: 542-543
29		Andrea Ceccarelli, István Majzik, Danilo Iovino, Fausto Caneschi, Gergely Pintér, Andrea Bondavalli: A Resilient SIL 2 Driver Machine Interface for Train Control Systems. DepCoS-RELCOMEX 2008: 365-374
28		Máté Kovács, Paolo Lollini, István Majzik, Andrea Bondavalli: An integrated framework for the dependability evaluation of distributed mobile applications. SERENE 2008: 29-38
	2007
27		Zoltán Micskei, István Majzik, Francis Tam: Comparing Robustness of AIS-Based Middleware Implementations. ISAS 2007: 20-30
26		István Majzik, Zoltán Micskei, Gergely Pintér: Development of Model Based Tools to Support the Design of Railway Control Applications. SAFECOMP 2007: 430-435
	2006
25		Péter Domokos, István Majzik: Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation. ARCS Workshops 2006: 66-75
24		Zoltán Micskei, István Majzik: Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers. DepCoS-RELCOMEX 2006: 191-198
	2005
23		Gergely Pintér, Henrique Madeira, Marco Vieira, István Majzik, András Pataricza: A Data Mining Approach to Identify Key Factors in Dependability Experiments. EDCC 2005: 263-280
22		Gergely Pintér, István Majzik: Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements. HASE 2005: 111-120
21		Péter Domokos, István Majzik: Design and Analysis of Fault Tolerant Architectures by Model Weaving. HASE 2005: 15-24
	2004
20		Gergely Pintér, István Majzik: Impact of Statechart Implementation Techniques on the Effectiveness of Fault Detection Mechanisms. EUROMICRO 2004: 136-143
19		Gergely Pintér, István Majzik: Modeling and Analysis of Exception Handling by Using UML Statecharts. FIDJI 2004: 58-67
18		István Majzik, Gergely Pintér, Péter Tamás Kovács: UML Based Design of Time Triggered Systems. ISORC 2004: 60-63
17		Gergely Pintér, István Majzik: Runtime Verification of Statechart Implementations. WADS 2004: 148-172
	2002
16		György Csertán, Gábor Huszerl, István Majzik, Zsigmond Pap, András Pataricza, Dániel Varró: VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models. ASE 2002: 267-270
15		István Majzik, Gábor Huszerl: Towards Dependability Modeling of FT-CORBA Architectures. EDCC 2002: 121-139
14		István Majzik, András Pataricza, Andrea Bondavalli: Stochastic Dependability Analysis of System Architecture Based on UML Models. WADS 2002: 219-244
13		Gábor Huszerl, István Majzik, András Pataricza, Konstantinos Kosmidis, Mario Dal Cin: Quantitative Analysis of UML Statechart Models of Dependable Systems. Comput. J. 45(3): 260-277 (2002)
	2001
12		Gábor Huszerl, István Majzik: Modeling and Analysis of Redundancy Management in Distributed Object-Oriented Systems by Using UML Statecharts. EUROMICRO 2001: 200-207
11		Zsigmond Pap, István Majzik, András Pataricza: Checking General Safety Criteria on UML Statecharts. SAFECOMP 2001: 46-55
10		Andrea Bondavalli, Mario Dal Cin, Diego Latella, István Majzik, András Pataricza, Giancarlo Savoia: Dependability analysis in the early phases of UML-based system design. Comput. Syst. Sci. Eng. 16(5): 265-275 (2001)
	1999
9		Diego Latella, István Majzik, Mieke Massink: Towards a Formal Operational Semantics of UML Statechart Diagrams. FMOODS 1999
8		Andrea Bondavalli, Ivan Mura, István Majzik: Automatic Dependability Analysis for Supporting Design Decisions in UML. HASE 1999: 64-
7		Andrea Bondavalli, Ivan Mura, István Majzik: Automated Dependability Analysis of UML Designs. ISORC 1999: 139-
6		Diego Latella, István Majzik, Mieke Massink: Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker. Formal Asp. Comput. 11(6): 637-664 (1999)
	1998
5		Cinzia Bernardeschi, Andrea Bondavalli, György Csertán, István Majzik, Luca Simoncini: Temporal analysis of data flow control systems. Automatica 34(2): 169-182 (1998)
	1996
4		B. Antal, György Csertán, István Majzik, Andrea Bondavalli, Luca Simoncini: Reachability and Timing Analysis in Data Flow Networks: A Case Study. EUROMICRO 1996: 193-
3		István Majzik: Software Monitoring and Debugging Using Compressed Signature Sequences. EUROMICRO 1996: 311-318
	1994
2		István Majzik, András Pataricza, Mario Dal Cin, Wolfgang Hohl, Joachim Hönig, Volkmar Sieh: Hierarchical Checking of Multiprocessors Using Watchdog Processors. EDCC 1994: 386-403
	1993
1		András Pataricza, István Majzik, Wolfgang Hohl, Joachim Hönig: Watchdog processors in parallel systems. Microprocessing and Microprogramming 39(2-5): 69-74 (1993)

Coauthor Index

1	B. Antal	[4]
2	András Balogh	[31] [34]
3	Gábor Bergmann	[34]
4	Cinzia Bernardeschi	[5]
5	Andrea Bondavalli	[4] [5] [7] [8] [10] [14] [28] [29] [30] [36]
6	Fausto Caneschi	[29]
7	Andrea Ceccarelli	[29]
8	Mario Dal Cin	[2] [10] [13]
9	György Csertán	[4] [5] [16] [34]
10	Péter Domokos	[21] [25]
11	László Gönczy	[31] [34]
12	Ossama Hamouda	[36]
13	Wolfgang Hohl	[1] [2]
14	Joachim Hönig	[1] [2]
15	Ákos Horváth	[31] [34]
16	Gábor Huszerl	[12] [13] [15] [16]
17	Danilo Iovino	[29]
18	Mohamed Kaâniche	[36]
19	Konstantinos Kosmidis	[13]
20	Máté Kovács	[28]
21	Péter Tamás Kovács	[18]
22	Diego Latella	[6] [9] [10]
23	Paolo Lollini	[28] [36]
24	Henrique Madeira	[23] [33]
25	Melinda Magyar	[32]
26	Mieke Massink	[6] [9]
27	Zoltán Micskei	[24] [26] [27] [31]
28	Aad P. A. van Moorsel	[30]
29	Ivan Mura	[7] [8]
30	János Oláh	[37] [38]
31	Zsigmond Pap	[11] [16]
32	András Pataricza	[1] [2] [10] [11] [13] [14] [16] [23] [31] [34]
33	Gergely Pintér	[17] [18] [19] [20] [22] [23] [26] [29]
34	Balázs Polgár	[34] [35]
35	István Ráth	[34] [35]
36	Giancarlo Savoia	[10]
37	Hans-Peter Schwefel	[36]
38	Volkmar Sieh	[2]
39	Luca Simoncini	[4] [5]
40	Zoltán Szatmári	[38]
41	Francis Tam	[27]
42	Dániel Varró	[16] [31] [34]
43	Gergely Varró	[34]
44	Marco Vieira	[23]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page