Authors: Graics, Bence^Aff9, Mondok, Milán^Aff9, Molnár, Vince^Aff9, Majzik, István^Aff9

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Cámara, Javier, editor^Aff7, Jongmans, Sung-Shik, editor^Aff8

Superior Title: Formal Aspects of Component Software : 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers. 14485:23-44

Authors: Graics, Bence^Aff9, Molnár, Vince^Aff9, Majzik, István^Aff9

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Cimatti, Alessandro, editor^Aff7, Titolo, Laura, editor^Aff8

Superior Title: Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings. 14290:76-95

Authors: Szekeres, Dániel, Majzik, István

Superior Title: Acta Cybernetica; Accepted Papers ; 2676-993X ; 0324-721X

Subject Terms: probabilistic systems, stochastic games, abstraction, reliability analysis

File Description: application/pdf

Relation: https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4323/4070; https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4323

Availability: https://doi.org/10.14232/actacyb.298287
https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4323

Authors: Graics, Bence, Molnár, Vince, Majzik, István

Superior Title: Systems Engineering ; volume 26, issue 5, page 567-589 ; ISSN 1098-1241 1520-6858

Subject Terms: Computer Networks and Communications, Hardware and Architecture

Availability: https://doi.org/10.1002/sys.21675

Authors: Tóth, Tamás^{Aff1, IDs00236020003934_cor1}, Majzik, István

Superior Title: Acta Informatica. 59(1):1-35

Authors: Graics, Bence^Aff19, Molnár, Vince^Aff19, Majzik, István^Aff19

Contributors: Kacprzyk, Janusz, Series Editor^{Aff1, Aff18}, Pal, Nikhil R., Advisory Editor^Aff2, Bello Perez, Rafael, Advisory Editor^Aff3, Corchado, Emilio S., Advisory Editor^Aff4, Hagras, Hani, Advisory Editor^Aff5, Kóczy, László T., Advisory Editor^Aff6, Kreinovich, Vladik, Advisory Editor^Aff7, Lin, Chin-Teng, Advisory Editor^Aff8, Lu, Jie, Advisory Editor^Aff9, Melin, Patricia, Advisory Editor^Aff10, Nedjah, Nadia, Advisory Editor^Aff11, Nguyen, Ngoc Thanh, Advisory Editor^Aff12, Wang, Jun, Advisory Editor^Aff13, Zamojski, Wojciech, editor^Aff14, Mazurkiewicz, Jacek, editor^Aff15, Sugier, Jarosław, editor^Aff16, Walkowiak, Tomasz, editor^Aff17

Superior Title: Theory and Engineering of Dependable Computer Systems and Networks : Proceedings of the Sixteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 28 – July 2, 2021, Wrocław, Poland. 1389:136-145

Authors: Molnár, Vince^{Aff16, Aff17}, Majzik, István^Aff16

Contributors: Hutchison, David, Editorial Board Member^Aff1, Kanade, Takeo, Editorial Board Member^Aff2, Kittler, Josef, Editorial Board Member^Aff3, Kleinberg, Jon M., Editorial Board Member^Aff4, Mattern, Friedemann, Editorial Board Member^Aff5, Mitchell, John C., Editorial Board Member^Aff6, Naor, Moni, Editorial Board Member^Aff7, Pandu Rangan, C., Editorial Board Member^Aff8, Steffen, Bernhard, Editorial Board Member^Aff9, Terzopoulos, Demetri, Editorial Board Member^Aff10, Tygar, Doug, Editorial Board Member^Aff11, Goos, Gerhard, Founding Editor^Aff12, Hartmanis, Juris, Founding Editor^Aff13, Donatelli, Susanna, editor^Aff14, Haar, Stefan, editor^Aff15

Superior Title: Application and Theory of Petri Nets and Concurrency : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings. 11522:342-361

Authors: Graics, Bence^{Aff1, Aff2}, Molnár, Vince^{Aff1, Aff2}, Vörös, András^{Aff1, Aff2}, Majzik, István, Varró, Dániel^{Aff1, Aff2, Aff3}

Superior Title: Software and Systems Modeling. 19(6):1483-1517

Authors: Tóth, Tamás^Aff15, Majzik, István^Aff15

Contributors: Hutchison, David, Series Editor^Aff1, Kanade, Takeo, Series Editor^Aff2, Kittler, Josef, Series Editor^Aff3, Kleinberg, Jon M., Series Editor^Aff4, Mattern, Friedemann, Series Editor^Aff5, Mitchell, John C., Series Editor^Aff6, Naor, Moni, Series Editor^Aff7, Pandu Rangan, C., Series Editor^Aff8, Steffen, Bernhard, Series Editor^Aff9, Terzopoulos, Demetri, Series Editor^Aff10, Tygar, Doug, Series Editor^Aff11, Weikum, Gerhard, Series Editor^Aff12, Gallardo, María del Mar, editor^Aff13, Merino, Pedro, editor^Aff14

Superior Title: Model Checking Software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings. 10869:235-254

Authors: Schlick, Rupert^Aff22, Felderer, Michael^{Aff23, Aff24}, Majzik, Istvan^Aff25, Nardone, Roberto^Aff26, Raschke, Alexander^Aff27, Snook, Colin^Aff28, Vittorini, Valeria^Aff26

Contributors: Hutchison, David, Editorial Board Member^Aff1, Kanade, Takeo, Editorial Board Member^Aff2, Kittler, Josef, Editorial Board Member^Aff3, Kleinberg, Jon M., Editorial Board Member^Aff4, Mattern, Friedemann, Editorial Board Member^Aff5, Mitchell, John C., Editorial Board Member^Aff6, Naor, Moni, Editorial Board Member^Aff7, Pandu Rangan, C., Editorial Board Member^Aff8, Steffen, Bernhard, Editorial Board Member^{Aff9, Aff17, Aff21}, Terzopoulos, Demetri, Editorial Board Member^Aff10, Tygar, Doug, Editorial Board Member^Aff11, Weikum, Gerhard, Series Editor^Aff12, Goos, Gerhard, Founding Editor^Aff13, Hartmanis, Juris, Founding Editor^Aff14, Bertino, Elisa, Editorial Board Member^Aff15, Gao, Wen, Editorial Board Member^Aff16, Woeginger, Gerhard, Editorial Board Member^Aff18, Yung, Moti, Editorial Board Member^Aff19, Margaria, Tiziana, editor^Aff20

Superior Title: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. 11247:249-272

Authors: Honfi, Dávid^Aff16, Molnár, Gábor^Aff16, Micskei, Zoltán^Aff16, Majzik, István^Aff16

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Csöndes, Tibor, editor^Aff13, Kovács, Gábor, editor^Aff14, Réthy, György, editor^Aff15

Superior Title: SDL 2017: Model-Driven Engineering for Future Internet : 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings. 10567:119-135

Authors: Tóth, Tamás^Aff15, Majzik, István^Aff15

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Abate, Alessandro, editor^Aff13, Geeraerts, Gilles, editor^Aff14

Superior Title: Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings. 10419:264-280

Authors: Marussy, Kristóf^Aff15, Molnár, Vince^{Aff15, Aff16}, Vörös, András^{Aff15, Aff16}, Majzik, István^Aff15

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, van der Aalst, Wil, editor^Aff13, Best, Eike, editor^Aff14

Superior Title: Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings. 10258:223-242

Authors: Tóth, Tamás, Majzik, István

Contributors: Budapest University of Technology and Economics

Superior Title: Acta Informatica ; ISSN 0001-5903 1432-0525

Subject Terms: Computer Networks and Communications, Information Systems, Software

Availability: https://doi.org/10.1007/s00236-020-00393-4

Authors: Hajdu, Ákos^{Aff15, Aff16}, Tóth, Tamás^Aff16, Vörös, András^{Aff15, Aff16}, Majzik, István^Aff16

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Albert, Elvira, editor^Aff13, Lanese, Ivan, editor^Aff14

Superior Title: Formal Techniques for Distributed Objects, Components, and Systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. 9688:158-174

Authors: Marussy, Kristóf^Aff16, Klenik, Attila^Aff16, Molnár, Vince^Aff17, Vörös, András^Aff17, Majzik, István^Aff16, Telek, Miklós^Aff18

Contributors: Hutchison, David, Editorial Board Member^Aff1, Kanade, Takeo, Editorial Board Member^Aff2, Kittler, Josef, Editorial Board Member^Aff3, Kleinberg, Jon M., Editorial Board Member^Aff4, Mattern, Friedemann, Editorial Board Member^Aff5, Mitchell, John C., Editorial Board Member^Aff6, Naor, Moni, Editorial Board Member^Aff7, Pandu Rangan, C., Editorial Board Member^Aff8, Terzopoulos, Demetri, Editorial Board Member^Aff9, Tygar, Doug, Editorial Board Member^Aff10, Weikum, Gerhard, Series Editor^Aff11, Goos, Gerhard, Founding Editor^Aff12, Hartmanis, Juris, Founding Editor^Aff13, Kordon, Fabrice, editor^Aff14, Moldt, Daniel, editor^Aff15

Superior Title: Application and Theory of Petri Nets and Concurrency : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings. 9698:281-300

Authors: Vörös, András^{Aff16, Aff17}, Darvas, Dániel^Aff16, Molnár, Vince^{Aff16, Aff17}, Klenik, Attila^Aff16, Hajdu, Ákos^{Aff16, Aff17}, Jámbor, Attila^Aff16, Bartha, Tamás^Aff18, Majzik, István^Aff16

Contributors: Hutchison, David, Editorial Board Member^Aff1, Kanade, Takeo, Editorial Board Member^Aff2, Kittler, Josef, Editorial Board Member^Aff3, Kleinberg, Jon M., Editorial Board Member^Aff4, Mattern, Friedemann, Editorial Board Member^Aff5, Mitchell, John C., Editorial Board Member^Aff6, Naor, Moni, Editorial Board Member^Aff7, Pandu Rangan, C., Editorial Board Member^Aff8, Terzopoulos, Demetri, Editorial Board Member^Aff9, Tygar, Doug, Editorial Board Member^Aff10, Weikum, Gerhard, Series Editor^Aff11, Goos, Gerhard, Founding Editor^Aff12, Hartmanis, Juris, Founding Editor^Aff13, Kordon, Fabrice, editor^Aff14, Moldt, Daniel, editor^Aff15

Superior Title: Application and Theory of Petri Nets and Concurrency : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings. 9698:123-132

Authors: Darvas, Dániel^{Aff15, Aff16}, Majzik, István^Aff16, Blanco Viñuela, Enrique^Aff15

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Ábrahám, Erika, editor^Aff13, Huisman, Marieke, editor^Aff14

Superior Title: Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. 9681:508-522

Authors: Tóth, Tamás^Aff15, Vörös, András^Aff15, Majzik, István^Aff15

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Fantechi, Alessandro, editor^Aff13, Pelliccione, Patrizio, editor^Aff14

Superior Title: Software Engineering for Resilient Systems : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings. 9274:31-45

Authors: Szabó, Richárd, Szekeres, Dániel, Nagy, Simon József, Thimár, Zoltán, Majzik, Istvan, Micskei, Zoltán, Vörös, András

Subject Terms: safety concept, fault tolerance, system architecture, formal verification, steer-by-wire system

Relation: https://dx.doi.org/10.5281/zenodo.10256748

Availability: https://doi.org/10.5281/zenodo.1025674910.5281/zenodo.10256748