Login
 Forum


 Doctoral program 

 Theses defended 

 Naturalized degrees 

 Habilitation presentations 

 Documents (all in Hung.) 

 Contacts 
 
 
Personal data sheet
 Print preview
personal data approved: 2023. V. 16.
Personal data
Vince Molnár
name Vince Molnár
name of institution
doctoral school
BME Doctoral School of Informatics (Supervisor)
Contact details
own web page
Academic title
scientific degree, title Ph.D.
year degree was obtained 2020
discipline to which degree belongs computer sciences
institution granting the degree Budapest University of Technology and Economics
Employment
2020 - Budapest University of Technology and Economics
university professor or researcher
Thesis topic supervisor
number of doctoral students supervised until now 2
number of students who fulfilled course requirements 0
students who obtained their degrees:
present PhD students:
Milán Mondok (PhD) (2027/01)  DSI-BME
Levente Bajczi (PhD) (2026/08)  DSI-BME
  Thesis topic proposals
Research
research area model-based software and systems design, formal verification
research field in which current research is conducted computer sciences
Publications
2023

 Elekes Márton, Molnár Vince, Micskei Zoltán: Assessing the specification of modelling language semantics: a study on UML PSSM, SOFTWARE QUALITY JOURNAL
type of document: Journal paper/Article
language: English
URL 
2023

 Horváth Benedek, Molnár Vince, Graics Bence, Hajdu Ákos, Ráth István, Horváth Ákos, Karban Robert, Trancho Gelys, Micskei Zoltán: Pragmatic verification and validation of industrial executable SysML models, SYSTEMS ENGINEERING Korai hozzáférés: pp. 1-22.
type of document: Journal paper/Article
language: English
URL 
2022

 Ádám Zsófia, Bajczi Levente, Dobos-Kovács Mihály, Hajdu Ákos, Molnár Vince: Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution), LECTURE NOTES IN COMPUTER SCIENCE 13244: pp. 474-478.
type of document: Journal paper/Konferenciaközlemény
language: English
URL 
2022

 Bajczi Levente, Ádám Zsófia, Molnár Vince: C for Yourself: Comparison of Front-End Techniques for Formal Verification, In: Stefania, Gnesi; Nico, Plat (szerk.) FormaliSE '22: Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering, Association for Computing Machinery (ACM) (2022) pp. 1-11.
type of document: Part of book/Proceedings Paper
language: English
URL 
2020

 Graics Bence, Molnár Vince, Vörös András, Majzik István, Varró Dániel: Mixed-Semantics Composition of Statecharts for the Component-Based Design of Reactive Systems, SOFTWARE AND SYSTEMS MODELING 19: pp. 1483-1517.
type of document: Journal paper/Article
number of independent citations: 8
language: English
URL 
2020

 Blanco Viñuela Enrique, Darvas Dániel, Molnár Vince: PLCverif Re-engineered: An Open Platform for the Formal Analysis of PLC Programs, In: Karen, S. White; Kevin, A. Brown; Philip, S. Dyer; Volker, RW Schaa (szerk.) Proceedings of the 17th International Conference on Accelerator and Large Experimental Physics Control Systems, JACoW Publishing (2020) pp. 21-27.
type of document: Part of book/Proceedings Paper
language: English
URL 
2019

 Molnár Vince, Majzik István: Saturation Enhanced with Conditional Locality: Application to Petri Nets, In: Donatelli, Susanna; Haar, Stefan (szerk.) Application and Theory of Petri Nets and Concurrency, Springer-Verlag (2019) pp. 342-361.
type of document: Part of book/Proceedings Paper
number of independent citations: 1
language: English
URL 
2019

 Bajczi Levente, Vörös András, Molnár Vince: Will My Program Break on This Faulty Processor?, ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS 18: (5) 89
type of document: Journal paper/Konferenciaközlemény
language: English
URL 
2018

 Vörös András, Darvas Dániel, Hajdu Ákos, Klenik Attila, Marussy Kristóf, Molnár Vince, Bartha Tamás, Majzik István: Industrial Applications of the PetriDotNet Modelling and Analysis Tool, SCIENCE OF COMPUTER PROGRAMMING 157: pp. 17-40.
type of document: Journal paper/Article
number of independent citations: 9
language: English
URL 
2016

 Molnár Vince, Vörös András, Darvas Dániel, Bartha Tamás, Majzik István: Component-wise incremental LTL model checking, FORMAL ASPECTS OF COMPUTING 28: (3) pp. 345-379.
type of document: Journal paper/Article
number of independent citations: 4
language: English
Full text 
Number of independent citations to these publications:22 
Scientometric data
list of publications and citations
number of scientific publications that meet accreditation criteria:
32
number of scientific publications:
32
monographs and professional books:
0
monographs/books in which chapters/sections were contributed:
1 
scientific publications published abroad that meet the accreditation criteria:
23
publications not in Hungarian, published in Hungary, meeting the accreditation criteria:
9
number of independent citations to scientific publications and creative works:
63
Supervision
thesis supervisor István Majzik
one supervisor or with co-supervisor individual
degree PhD
starting of doctoral studies 2015/02
date of final certificate (year,month) 2018/01
year in which degree was obtained 2020
diszertáció Doi/handle link (thesis, statements)
data of the public discussion defense


2023. X. 03.
ODT ülés
Az ODT következő ülésére 2023. december 5-én, kedden 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).
 
All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 2.2358 ( 2017. X. 31. )