István Majzik
发表
Andrea Bondavalli,
Luca Simoncini,
B. Antal,
1996,
Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies.
Oszkár Semeráth,
Zoltán Szatmári,
István Majzik,
2019,
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS).
Andrea Bondavalli,
Andrea Ceccarelli,
István Majzik,
2008,
2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEX.
Andrea Bondavalli,
András Pataricza,
István Majzik,
2002,
WADS.
Dániel Darvas,
István Majzik,
Enrique Blanco Vinuela,
2017
.
Dániel Darvas,
Enrique Blanco Viñuela,
István Majzik,
2016,
IFM.
Takahiro Hara,
Leszek Lilien,
István Majzik,
2012
.
Diego Latella,
Andrea Bondavalli,
Mario Dal Cin,
2001,
Comput. Syst. Sci. Eng..
István Majzik,
Gergely Pintér,
2004,
Proceedings. 30th Euromicro Conference, 2004..
Zoltán Szatmári,
István Majzik,
János Oláh,
2011,
ICINCO.
István Majzik,
Péter Domokos,
2006,
ARCS Workshops.
Dániel Varró,
István Majzik,
András Vörös,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).
Dániel Darvas,
Enrique Blanco Viñuela,
István Majzik,
2016,
2016 11th IEEE Symposium on Industrial Embedded Systems (SIES).
István Majzik,
András Vörös,
Tamás Tóth,
2015,
SERENE.
Neeraj Suri,
Marco Winckler,
Miguel Correia,
2009
.
Marco Vieira,
István Majzik,
2014,
Lecture Notes in Computer Science.
István Majzik,
Ákos Hajdu,
Tamás Tóth,
2017,
FESCA@ETAPS.
Dániel Varró,
András Pataricza,
György Csertán,
2002,
Proceedings 17th IEEE International Conference on Automated Software Engineering,.
Henrique Madeira,
István Majzik,
2009,
2009 IEEE/IFIP International Conference on Dependable Systems & Networks.
István Majzik,
Peter Domokos,
I. Majzik,
2007
.
Dániel Varró,
János Fülöp,
Ferenc Friedler,
2007
.
István Majzik,
Zoltán Micskei,
Francis Tam,
2007,
ISAS.
István Majzik,
1996,
Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies.
István Majzik,
Zoltán Micskei,
2006,
2006 International Conference on Dependability of Computer Systems.
Andrea Bondavalli,
Luca Simoncini,
György Csertán,
1998,
Autom..
András Pataricza,
István Majzik,
Zsigmond Pap,
2005,
Reliab. Eng. Syst. Saf..
Marco Vieira,
Nuno Antunes,
Henrique Madeira,
2012,
Resilience Assessment and Evaluation of Computing Systems.
Andrea Bondavalli,
István Majzik,
Ivan Mura,
1999,
Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702).
András Pataricza,
István Majzik,
Zsigmond Pap,
2001,
SAFECOMP.
Andrea Bondavalli,
Paolo Lollini,
Máté Kovács,
2007
.
István Majzik,
Zoltán Micskei,
Gábor Molnár,
2017,
SDL Forum.
István Majzik,
Tamás Tóth,
2020
.
András Pataricza,
István Majzik,
Zs. Pap,
2000
.
István Majzik,
Tamás Tóth,
2017
.
István Majzik,
Vince Molnár,
2019,
Petri Nets.
Wolfgang Hohl,
András Pataricza,
István Majzik,
1993,
Microprocess. Microprogramming.
Mieke Massink,
István Majzik,
D. Latella,
1999
.
András Pataricza,
István Majzik,
S. C. Allmaier,
1997
.
Andrea Bondavalli,
Paolo Lollini,
Leonardo Montecchi,
2012,
Resilience Assessment and Evaluation of Computing Systems.
Dániel Varró,
András Pataricza,
György Csertán,
2007
.
István Majzik,
Peter Domokos,
Robert Fajta,
2007
.
Diego Latella,
Mieke Massink,
István Majzik,
1999,
FMOODS.
Andrea Bondavalli,
István Majzik,
Aad P. A. van Moorsel,
2008,
DSN.
Miklós Telek,
István Majzik,
Kristóf Marussy,
2016,
Petri Nets.
István Ráth,
István Majzik,
Balázs Polgár,
2010,
FORMS/FORMAT.
Mario Dal Cin,
András Pataricza,
István Majzik,
2002,
Comput. J..
Roberto Nardone,
Valeria Vittorini,
Colin F. Snook,
2018,
ISoLA.
Dániel Darvas,
Enrique Blanco Viñuela,
István Majzik,
2016,
2016 IEEE 14th International Conference on Industrial Informatics (INDIN).
Andrea Bondavalli,
István Majzik,
1998
.
Andrea Bondavalli,
István Majzik,
Ivan Mura,
1999,
Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering.
Zoltán Szatmári,
István Majzik,
Zoltán Micskei,
2012,
KES-AMSTA.
Andrea Bondavalli,
István Majzik,
A. Bondavalli,
1998
.
Diego Latella,
Mieke Massink,
István Majzik,
1999,
Formal Aspects of Computing.
Neeraj Suri,
Lorenzo Strigini,
Guillaume Urvoy-Keller,
2007
.
István Majzik,
Zoltán Micskei,
Gergely Pintér,
2007,
SAFECOMP.
István Majzik,
Vince Molnár,
2017
.
István Majzik,
Zoltán Micskei,
Ákos Hajdu,
2017,
2017 Formal Methods in Computer Aided Design (FMCAD).
Andrea Bondavalli,
István Majzik,
Tatiana Kozlova Madsen,
2008
.
István Majzik,
Gergely Pintér,
Péter Tamás Kovács,
2004,
Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings..
István Majzik,
Gergely Pintér,
I. Majzik,
2004,
WADS.
István Majzik,
Kristóf Marussy,
2018,
2018 IEEE 14th International Conference on Automation Science and Engineering (CASE).
István Majzik,
Péter Domokos,
I. Majzik,
2005,
Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05).
Andrea Bondavalli,
István Majzik,
A. Bondavalli,
1998
.
Andrea Bondavalli,
Paolo Lollini,
Hans-Peter Schwefel,
2011,
IEEE Transactions on Mobile Computing.
István Majzik,
Ákos Hajdu,
András Vörös,
2016,
FORTE.
Ákos Horváth,
Dániel Varró,
István Ráth,
2010,
Graph Transformations and Model-Driven Engineering.
István Majzik,
Zoltán Micskei,
Gergely Pintér,
2009
.
Dániel Darvas,
Enrique Blanco Viñuela,
István Majzik,
2016
.
István Majzik,
1996
.
István Majzik,
János Oláh,
2011,
SSBSE.
István Majzik,
Dániel Varró,
Vince Molnár,
2020,
Software and Systems Modeling.
István Majzik,
Tamás Tóth,
2017,
FORMATS.
István Majzik,
Gergely Pintér,
2005,
Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05).
Andrea Bondavalli,
Paolo Lollini,
Leonardo Montecchi,
2008
.
István Majzik,
Gergely Pintér,
2007
.
Marco Vieira,
András Pataricza,
Henrique Madeira,
2008
.
Dániel Darvas,
István Majzik,
Enrique Blanco Vinuela,
2015
.
Marco Vieira,
András Pataricza,
Henrique Madeira,
2005,
EDCC.
Ákos Horváth,
Dániel Varró,
András Pataricza,
2009,
Electron. Notes Theor. Comput. Sci..
Dániel Darvas,
István Majzik,
Kristóf Marussy,
2017,
Sci. Comput. Program..
István Majzik,
Gergely Pintér,
2003
.
Andrea Bondavalli,
Paolo Lollini,
Leonardo Montecchi,
2008
.
Dániel Darvas,
István Majzik,
Tamás Bartha,
2016,
Formal Aspects of Computing.
Zoltán Szatmári,
István Majzik,
Zoltán Micskei,
2014
.
Dániel Darvas,
István Majzik,
Tamás Bartha,
2016,
Petri Nets.
Jean Arlat,
Andrea Bondavalli,
Paolo Lollini,
2007
.
Wolfgang Hohl,
Mario Dal Cin,
András Pataricza,
1996
.
István Majzik,
Zoltán Micskei,
Gergo Horányi,
2013,
DECS@SAFECOMP.
István Majzik,
Kristóf Marussy,
András Vörös,
2017,
Petri Nets.
István Majzik,
János Oláh,
2009,
2009 Fourth International Conference on Dependability of Computer Systems.
István Majzik,
Tamás Tóth,
2018,
SPIN.
István Majzik,
Melinda Magyar,
2009,
2009 Sixth International Conference on the Quantitative Evaluation of Systems.
István Majzik,
Gergely Pintér,
2004
.
Dániel Darvas,
István Majzik,
Enrique Blanco Vinuela,
2015
.
István Majzik,
Gábor Huszerl,
I. Majzik,
2000,
HASE.
Andrea Bondavalli,
Paolo Lollini,
István Majzik,
2008,
SERENE '08.
Andrea Bondavalli,
Jesper Grønbæk,
Andrea Ceccarelli,
2009
.
István Majzik,
Gábor Huszerl,
I. Majzik,
2001,
Proceedings 27th EUROMICRO Conference. 2001: A Net Odyssey.
István Majzik,
András Vörös,
Tamás Tóth,
2013,
DepCoS-RELCOMEX.
Wolfgang Hohl,
Mario Dal Cin,
András Pataricza,
1994,
EDCC.
István Majzik,
Gábor Huszerl,
I. Majzik,
2002,
EDCC.
István Majzik,
Gergely Pintér,
2004,
FIDJI.
István Majzik,
Vince Molnár,
Bence Graics,
2021
.
István Majzik,
Kristóf Marussy,
Dániel Szekeres,
2021,
2021 17th European Dependable Computing Conference (EDCC).
Andrea Bondavalli,
András Pataricza,
István Majzik,
2003
.
Balázs Benyó,
István Majzik,
Ádám Darvas,
2002
.
András Pataricza,
István Majzik,
Gábor Huszerl,
2003
.
András Pataricza,
István Majzik,
.