Molnár Vince
adjunktus
Elérhetőségek
Iroda:
1117 Budapest, Magyar tudósok krt. 2. I. ép. IB421
Tel.:
+36 1 463-3598
Fax:
+36 1 463-4112
Email:
molnarv (*) mit * bme * hu
Személyes honlap:
http://home.mit.bme.hu/~molnarv/ Bevezetés
Molnár Vince egyetemi adjunktus a Budapesti Műszaki és Gazdaságtudományi Egyetemen. Fő kutatási területe a modell alapú fejlesztés és a formális módszerek, különös tekintettel a konkurens, elosztott biztonságkritikus rendszerekre. A Gamma Statechart Composition Framework fejlesztésének vezetője, valamint részt vett a PetriDotNet fejlesztésében is. Részt vesz a jelenleg futó EMBrACE és ADVANCE EU projektekben, valamint számos ipari projektben, többek között a NASA-JPL-lel együttműködve. A SysMLv2 Submission Team Execution Working Group tagjaként az új rendszertervezési nyelv végrehajtási szemantikáján dolgozik.
Oktatott tárgyak
- Rendszermodellezés (BSc 2. szemeszter)
- Informatikai Rendszertervezés (BSc 5. szemeszter, specializáció)
- Formális módszerek (MSc, magyar és angol kurzus)
Kutatási területek
Modell alapú szoftver- és rendszertervezés:
- UML, SysML
- Eszköztámogatás
- Állapotgépek kompozíciója és verifikációja: (Gamma keretrendszer)
- Újszerű fejlesztési folyamatok
Formális verifikáció:
- Szaturáció alapú modellellenőrző algoritmusok
- Döntési diagramok és absztrakciók
- Párhuzamos architektúrák memóriamodellei (szoftververifikáció szempontból)
- Petri-hálók (PetriDotNet)
- Ipari alkalmazási lehetőségek (CERN, MODES3)
Legfontosabb publikációk
- Levente Bajczi, András Vörös, and Vince Molnár. Will my program break on this faulty processor? - Formal analysis of hardware fault activations in concurrent embedded software. Transactions on Embedded Computing Systems 18, 5s, Article 89, 2019. pp. 1–21. (Presented on the EMSOFT 2019 conference.)
- Vince Molnár, Bence Graics, András Vörös, István Majzik, and Dániel Varró. The Gamma statechart composition framework: Design, verification and code generation for component-based reactive systems. In: Michel Chaudron, Ivica Crnkovic, Marsha Chechik, and Mark Harman (eds.), Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, pp. 113–116. ACM, 2018.
- Vince Molnár and István Majzik. Saturation enhanced with conditional locality: Application to Petri nets. In: Susanna Donatelli and Stefan Haar (eds.), Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings, Lecture Notes in Computer Science, vol. 11522, pp. 342–361. Springer, 2019.
-
Vince Molnár, András Vörös, Dániel Darvas, Tamás Bartha, and István Majzik. Component-
wise incremental LTL model checking. Formal Aspects of Computing 28(3), 2016, pp. 345–379. - Vince Molnár, Dániel Darvas, András Vörös, and Tamás Bartha. Saturation-based incremental LTL model checking with inductive proofs. In: Christel Baier and Cesare Tinelli (eds.), Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, Lecture Notes in Computer Science, vol. 9035, pp. 643–657. Springer, 2015.
- Kristóf Marussy, Vince Molnár, András Vörös, and István Majzik. Getting the priorities right: Saturation for prioritised Petri nets. In: Wil M. P. van der Aalst and Eike Best (eds.), Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings, Lecture Notes in Computer Science, vol. 10258, pp. 223–242. Springer, 2017.
- András Vörös, Dániel Darvas, Ákos Hajdu, Attila Klenik, Kristóf Marussy, Vince Molnár, Tamás Bartha, and István Majzik. Industrial applications of the PetriDotNet modelling and analysis tool. Science of Compututer Programming 157, 2018, pp. 17–40.
- András Vörös, Dániel Darvas, Vince Molnár, Attila Klenik, Ákos Hajdu, Attila Jámbor, Tamás Bartha, and István Majzik. PetriDotNet 1.5: Extensible Petri net editor and analyser for education and research. In: Fabrice Kordon and Daniel Moldt (eds.), Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings, Lecture Notes in Computer Science, vol. 9698, pp. 123–132. Springer, 2016.