Login
 Forum
 
 
Personal data sheet
 Print preview
personal data approved: 2022. IV. 12.
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 0
number of students who fulfilled course requirements 0
students who obtained their degrees:
present PhD students:
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
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: 6
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 
2020

Horváth Benedek, Graics Bence, Hajdu Ákos, Micskei Zoltán, Molnár Vince, Ráth István, Andolfato Luigi, Gomes Ivan, Karban Robert: Model checking as a service: Towards pragmatic hidden formal methods, In: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, (2020) pp. 1-5.
type of document: Part of book/Proceedings Paper
number of independent citations: 2
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 Nature Switzerland AG (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: (5s) 89
type of document: Journal paper/Article
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: 8
language: English
URL 
2018

Vince Molnár, Bence Graics, András Vörös, István Majzik, Dániel Varró: The Gamma Statechart Composition Framework, In: Ivica, Crnkovic; Marsha, Chechik; Mark, Harman (szerk.) Proceedings of the 40th International Conference on Software Engineering Companion, ACM Press (2018) pp. 113-116.
type of document: Part of book/Proceedings Paper
number of independent citations: 6
language: English
URL 
2017

Kristóf Marussy, Vince Molnár, András Vörös, István Majzik: Getting the Priorities Right: Saturation for Prioritised Petri Nets, In: Wil, van der Aalst; Eike, Best (szerk.) Application and Theory of Petri Nets and Concurrency, Springer International Publishing (2017) pp. 223-242.
type of document: Part of book/Proceedings Paper
number of independent citations: 1
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 
2015

Molnár V, Darvas D, Vörös A, Bartha T: Saturation-based incremental LTL model checking with inductive proofs, LECTURE NOTES IN COMPUTER SCIENCE 9035: pp. 643-657.
type of document: Journal paper/Article
number of independent citations: 3
language: English
Full text 
Number of independent citations to these publications:31 
Scientometric data
list of publications and citations
number of scientific publications that meet accreditation criteria (TV):
26
number of scientific publications (TV):
26
monographs and professional books (TV):
0
monographs/books in which chapters/sections were contributed:
1 
scientific publications published abroad that meet the accreditation criteria (TV):
17
publications not in Hungarian, published in Hungary, meeting the accreditation criteria (TV):
9
number of independent citations to scientific publications and creative works (TV):
53
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

 
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. )