PetriDotNet

Publications | Publikációk

Journal papers | Folyóiratcikkek

• 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 Computer Programming, 2017. In press.
  [ doi | bib | mtmt | pdf ]
• Dániel Darvas, András Vörös, and Tamás Bartha. Improving saturation-based bounded model checking.
  Acta Cybernetica, 22(3):573-589, 2016.
  [ doi | bib | mtmt | url | pdf ]
• 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):345-379, 2016.
  [ doi | bib | mtmt | url | pdf ]
• Ákos Hajdu, András Vörös, Tamás Bartha, and Zoltán Mártonka. Extensions to the CEGAR approach on Petri nets.
  Acta Cybernetica, 21(3):401-417, 2014.
  [ doi | bib | mtmt | url ]
• András Vörös, Dániel Darvas, Attila Jámbor, and Tamás Bartha. Advanced saturation-based model checking of well-formed coloured Petri nets.
  Periodica Polytechnica, Electrical Engineering and Computer Science, 58(1):3-13, 2014.
  [ doi | bib | mtmt | pdf ]
• András Vörös, Dániel Darvas, and Tamás Bartha. Bounded saturation-based CTL model checking.
  Proceedings of the Estonian Academy of Sciences, 62(1):59-70, 2013.
  [ doi | bib | mtmt | pdf ]

Conference papers | Konferenciacikkek

• 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, editors, Application and Theory of Petri Nets and Concurrency, volume 9698 of Lecture Notes in Computer Science, pp. 123-132. Springer, 2016.
  [ doi | bib | mtmt | url | pdf ]
• Kristóf Marussy, Attila Klenik, Vince Molnár, András Vörös, István Majzik, and Miklós Telek. Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models.
  In Fabrice Kordon and Daniel Moldt, editors, Application and Theory of Petri Nets and Concurrency, volume 9698 of Lecture Notes in Computer Science, pp. 281-300. Springer, 2016.
  [ doi | bib | mtmt | url | pdf ]
• Kristóf Marussy, Attila Klenik, Vince Molnár, András Vörös, Miklós Telek, and István Majzik. Configurable numerical analysis for stochastic systems.
  In Erika Ábrahám and Sergiy Bogomolov, editors, Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR). IEEE, 2016.
  [ doi | bib | mtmt | pdf ]
• Ákos Hajdu, András Vörös, and Tamás Bartha. New search strategies for the Petri net CEGAR approach.
  In Raymond Devillers and Antti Valmari, editors, Application and Theory of Petri Nets and Concurrency, volume 9115 of Lecture Notes in Computer Science, pp. 309-328. Springer, 2015. Presented at the 36th International Conference on Application and Theory of Petri Nets and Concurrency.
  [ doi | bib | mtmt | url | presentation | pdf ]
• 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, editors, Tools and Algorithms for the Construction and Analysis of Systems, volume 9035 of Lecture Notes in Computer Science, pp. 643-657. Springer, 2015.
  [ doi | bib | mtmt | url | pdf ]
• Dániel Darvas, András Vörös, and Tamás Bartha. Efficient saturation-based bounded model checking of asynchronous systems.
  In Ákos Kiss, editor, Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13, pp. 259-273, Szeged, Hungary, 2013. University of Szeged.
  [ bib | mtmt | pdf ]
• Ákos Hajdu, András Vörös, Tamás Bartha, and Zoltán Mártonka. Extensions to the CEGAR approach on Petri nets.
  In Ákos Kiss, editor, Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13, pp. 274-288, Szeged, Hungary, 2013. University of Szeged.
  [ bib | mtmt | pdf ]
• Tamás Bartha, András Vörös, Attila Jámbor, and Dániel Darvas. Verification of an industrial safety function using coloured Petri nets and model checking.
  In Elisabeth Ilie-Zudor, Zsolt Kemény, and László Monostori, editors, Proceedings of the 14th International Conference on Modern Information Technology in the Innovation Processes of the Industrial Enterprises (MITIP 2012), pp. 472-485. Hungarian Academy of Sciences, Computer and Automation Research Institute, 2012.
  [ bib | mtmt | pdf ]
• András Vörös, Tamás Bartha, Dániel Darvas, Tamás Szabó, Attila Jámbor, and Ákos Horváth. Parallel saturation based model checking.
  In Proceedings of the 10th International Symposium on Parallel and Distributed Computing (ISPDC), pp. 94-101. IEEE Computer Society, 2011.
  [ doi | bib | mtmt | pdf ]
• András Vörös, Dániel Darvas, and Tamás Bartha. Bounded saturation based CTL model checking.
  In Jaan Penjam, editor, Proceedings of the 12th Symposium on Programming Languages and Software Tools, SPLST'11, pp. 149-160, Tallinn, Estonia, 2011. Tallinn University of Technology, Institute of Cybernetics.
  [ bib | mtmt | presentation | pdf ]

Local events | Helyi események

• Ákos Hajdu, Róbert Német, Szilvia Varró-Gyapay, and András Vörös. Petri net based trajectory optimization.
  In ASCONIKK 2014: Extended Abstracts. Future Internet Services, pp. 11-19. University of Pannonia, 2014.
  [ bib | mtmt | presentation | pdf ]
• Vince Molnár and András Vörös. Synchronous product automaton generation for controller optimization.
  In ASCONIKK 2014: Extended Abstracts. I. Information Technologies for Logistic Systems, pp. 22-29. University of Pannonia, 2014.
  [ bib | presentation | pdf ]
• Dániel Darvas and András Vörös. Szaturációalapú tesztbemenet-generálás színezett Petri-hálókkal [in Hungarian].
  In Mesterpróba 2013. Konferenciakiadvány, pp. 48-51, 2013.
  [ bib | mtmt | url | pdf ]
• Dániel Darvas. Szaturáció alapú korlátos modellellenőrzési technikák Petri-hálók analízisére [in Hungarian].
  In XVII. Fiatal Műszakiak Tudományos Ülésszaka, pp. 83-86, Cluj Napoca, Romania, 2012. Erdélyi Múzeum-Egyesület Műszaki Tudományok Szakosztálya.
  [ bib | mtmt | url | pdf ]
• Attila Jámbor. Színezett Petri-hálók szaturációs modellellenőrzése konjunktív dekompozíció alkalmazásával [in Hungarian].
  In XVII. Fiatal Műszakiak Tudományos Ülésszaka, pp. 179-182, Cluj Napoca, Romania, 2012. Erdélyi Múzeum-Egyesület Műszaki Tudományok Szakosztálya.
  [ bib | pdf ]
• András Vörös. Modellellenőrzés alkalmazása egy biztonságkritikus rendszer védelmi logikájának verifikációjára [in Hungarian].
  In XVII. Fiatal Műszakiak Tudományos Ülésszaka, pp. 383-386, Cluj Napoca, Romania, 2012. Erdélyi Múzeum-Egyesület Műszaki Tudományok Szakosztálya.
  [ bib | mtmt | pdf ]
• András Vörös. Forward saturation based model checking.
  In Proceedings of the 19th PhD Minisymposium of the Department of Measurement and Information Systems, pp. 38-41, 2012.
  [ bib | pdf ]
• András Vörös. Optimizing saturation based model checking.
  In Proceedings of the 18th PhD Minisymposium of the Department of Measurement and Information Systems, pp. 96-99, 2011.
  [ bib | mtmt | pdf ]

Scientific Students' Associations Reports | TDK-dolgozatok

• Dániel Élő and Adrián Soltész. Symbolic model checking and trace generation by guided search, 2015. 1st prize.
  [ bib | url | pdf ]
• Attila Klenik and Kristóf Marussy. Configurable stochastic analysis framework for asynchronous systems, 2015. 1st prize and the rector's special prize.
  [ bib | url | pdf ]
• Vince Molnár and Dániel Segesdi. Múlt és jövő: új algoritmusok lineáris temporális tulajdonságok szaturáció-alapú modellellenőrzésére [in Hungarian], 2013. 1st prize, national 2nd prize (OTDK 2015).
  [ bib | url | pdf ]
• Ákos Hajdu and Zoltán Mártonka. Diszkrét dinamikus rendszerek viselkedésének felderítése ellenpélda-alapú absztrakció finomítás (CEGAR) segítségével [in Hungarian], 2012. 1st prize, national 1st prize (OTDK 2013).
  [ bib | url | pdf ]
• Vince Molnár. Szaturáció alapú modellellenőrzés lineáris idejű tulajdonságokhoz [in Hungarian], 2012. 2nd prize.
  [ bib | url | pdf ]
• Dániel Darvas and Attila Jámbor. Komplex rendszerek modellezése és verifikációja [in Hungarian], 2011. 1st prize, national 2nd prize (OTDK 2013).
  [ bib | url | pdf ]
• Dániel Darvas. Szaturáció alapú automatikus modellellenőrző fejlesztése aszinkron rendszerekhez [in Hungarian], 2010. 1st prize.
  [ bib | pdf ]
• Attila Jámbor and Tamás Szabó. Aszinkron rendszerek modellellenőrzése párhuzamos technikákkal [in Hungarian], 2010. 2nd prize.
  [ bib | pdf ]

PhD, MSc and BSc Theses | Disszertációk, diplomatervek, szakdolgozatok

• Dániel Darvas. Practice-oriented formal methods to support the software development of industrial control systems.
  PhD thesis, Budapest University of Technology and Economics, 2017.
  [ doi | bib | url | pdf ]
• Attila Klenik. Efficient stochastic analysis of asynchronous systems.
  Master's thesis, Budapest University of Technology and Economics, 2016.
  [ bib | url | pdf ]
• Dániel Élő. Guided model checking of Petri nets.
  Bachelor's thesis, Budapest University of Technology and Economics, 2015.
  [ bib | url | pdf ]
• Kristóf Marussy. Configurable numerical solutions for stochastic models.
  Bachelor's thesis, Budapest University of Technology and Economics, 2015.
  [ bib | url | pdf ]
• Adrián Soltész. Symbolic model checking of data-intensive systems.
  Bachelor's thesis, Budapest University of Technology and Economics, 2015.
  [ bib | url | pdf ]
• Ákos Hajdu. A survey on CEGAR-based model checking.
  Master's thesis, Budapest University of Technology and Economics, 2015.
  [ bib | url | pdf ]
• Dániel Darvas. Incremental extension of the saturation algorithm-based bounded model checking of Petri nets.
  Master's thesis, Budapest University of Technology and Economics, 2014.
  [ bib | url | pdf ]
• Vince Molnár. Advanced saturation-based model checking.
  Master's thesis, Budapest University of Technology and Economics, 2014.
  [ bib | url | pdf ]
• Dániel Segesdi. Temporális logikai specifikációk vizsgálata [in Hungarian].
  Master's thesis, Budapest University of Technology and Economics, 2014.
  [ bib | url | pdf ]
• Ákos Hajdu. Extensions to the CEGAR approach on Petri nets.
  Bachelor's thesis, Budapest University of Technology and Economics, 2013.
  [ bib | url ]
• Attila Klenik. Szerkesztő keretrendszer Petri-háló alapú modellekhez [in Hungarian].
  Bachelor's thesis, Budapest University of Technology and Economics, 2013.
  [ bib | url ]
• Vince Molnár. Szaturáció alapú modellellenőrzés lineáris idejű tulajdonságokhoz [in Hungarian].
  Bachelor's thesis, Budapest University of Technology and Economics, 2013.
  [ bib | url ]
• Attila Jámbor. Időzített modellek ellenőrzése szaturációs algoritmussal [in Hungarian].
  Master's thesis, Budapest University of Technology and Economics, 2013.
  [ bib | url ]
• Dániel Darvas. Petri-háló alapú formális modellek analízise hatékony korlátos modellellenőrzési technikák segítségével [in Hungarian].
  Bachelor's thesis, Budapest University of Technology and Economics, 2011.
  [ bib | url ]
• Attila Jámbor. Aszinkron rendszerek modellellenőrzése párhuzamos technikákkal [in Hungarian].
  Bachelor's thesis, Budapest University of Technology and Economics, 2010.
  [ bib | url | pdf ]
• Tamás Szabó. Aszinkron rendszerek heurisztikával támogatott modellellenőrzése [in Hungarian].
  Bachelor's thesis, Budapest University of Technology and Economics, 2010.
  [ bib | url | pdf ]

This file was generated by bibtex2html 1.95.