I am looking for partners in the research area.

I am looking for partners interested in the Horizon Europe Call.

I am looking for partners for the Horizon Europe research area.

I am looking for laboratory facilities in the research/application area.

Assistant Professor

Dr. Vince Molnár

PhD

H-1117 Budapest, Magyar Tudósok krt. 2.IB421.

+3614633598

molnar.vince@vik.bme.hu

Groups

Critical Systems Research Group (ftsrg)

Faculty

Faculty of Electrical Engineering and Informatics

Department

Department of Measurement and Information Systems

Research keywords: · model · semantics · systems engineering · formal methods · verification · sysml
Horizon Europe keywords: · Artificial Intelligence and Robotics · Clean, sustainable, secure and competitive energy supply · Cloud and edge technologies · Smart and sustainable transport and mobility · Space-based infrastructures and services · Transformation of industry

http://mit.bme.hu/~molnarv/en

https://hu.linkedin.com/in/molnarv

https://github.com/vincemolnar

Publications Awards Projects Conferences Other activities

Publications

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. , 35 p. (2020), https://doi.org/10.1007%2Fs10270-020-00806-5
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. , 5 p., https://doi.org/10.1145%2F3417990.3421407
Bajczi, Levente ; Vörös, András ; Molnár, Vince
Will My Program Break on This Faulty Processor?: Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS 18 : 5s Paper: 89 , 21 p. (2019), https://doi.org/10.1145%2F3358238
Molnár, Vince ; Majzik, István
Saturation Enhanced with Conditional Locality: Application to Petri Nets
In: Donatelli, Susanna; Haar, Stefan Application and Theory of Petri Nets and Concurrency : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings
Cham, Svájc : Springer Nature Switzerland AG (2019) 486 p. pp. 342-361. Paper: https://doi.org/10.1007/978-3-030-21571-2_19 , 20 p., https://doi.org/10.1007%2F978-3-030-21571-2_19
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. , 35 p. (2016), https://doi.org/10.1007%2Fs00165-015-0347-x

Awards

OMG-Certified Systems Modeling Professional

Projects

Kompetencia Központ, 3 years, NKFIH, subproject leader
EMBrACE, 3 years, NKFIH, ITEA4, lead researcher
ADVANCE, 3 years, EU, H2020 RISE, secondment program

Conferences

25th Brazilian Symposium on Formal Methods, 2022, Online, PC chair
2nd Workshop on vAlidation and verification in FuturE cybeR-physical Systems, 2021, Online, Workshop chair
11th Software Verification Competition, 2022, München, Germany, PC member
INCOSE IW OpenMBEE Workshop, 2021, Torrance, CA, PC member
26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2020, Online, Artifact Evaluation Committee member

Other activities

Member of the SysMLv2 Submission Team (Execution Working Group)