| Applying model checking to industrial-sized PLC programs B Fernandez Adiego, D Darvas, E Blanco Vinuela, JC Tournier, S Bliudze, ... IEEE Transactions on Industrial Informatics 11 (6), 1400-1410, 2015 | 104 | 2015 |
| Formal Verification of Safety PLC Based Control Software D Darvas, I Majzik, E Blanco Viñuela Integrated Formal Methods (ser. LNCS) 9681, 508-522, 2016 | 64 | 2016 |
| Formal Verification of Complex Properties on PLC Programs D Darvas, B Fernández Adiego, A Vörös, T Bartha, E Blanco Viñuela, ... Formal Techniques for Distributed Objects, Components, and Systems (ser …, 2014 | 49 | 2014 |
| PLCverif: A tool to verify PLC programs based on model checking techniques D Darvas, B Fernández Adiego, E Blanco Viñuela Proc. of the 15th Int. Conf. on Accelerator & Large Experimental Physics …, 2015 | 43 | 2015 |
| Bringing Automated Model Checking to PLC Program Development – A CERN Case Study B Fernández Adiego, D Darvas, JC Tournier, E Blanco Viñuela, ... 12th IFAC International Workshop on Discrete Event Systems, 394-399, 2014 | 31* | 2014 |
| PLC code generation based on a formal specification language D Darvas, E Blanco Viñuela, I Majzik 14th IEEE International Conference on Industrial Informatics (INDIN), 389-396, 2016 | 29 | 2016 |
| Modelling and formal verification of timing aspects in large PLC programs B Fernández Adiego, D Darvas, E Blanco Vinuela, JC Tournier, ... Proceedings of the 19th IFAC World Congress, 3333-3339, 2014 | 26* | 2014 |
| Bounded saturation-based CTL model checking A Vörös, D Darvas, T Bartha Proceedings of the Estonian Academy of Sciences 62 (1), 59-70, 2013 | 25 | 2013 |
| Bounded Saturation Based CTL Model Checking A Vörös, D Darvas, T Bartha 12th Symposium on Programming Languages and Software Tools - SPLST'11, 149-160, 2011 | 25 | 2011 |
| A formal specification method for PLC-based applications D Darvas, E Blanco, I Majzik Proc. of the 15th Int. Conf. on Accelerator & Large Experimental Physics …, 2015 | 19 | 2015 |
| Transforming PLC Programs into Formal Models for Verification Purposes D Darvas, E Blanco, B Fernandez Adiego CERN Internal Note, 2013 | 17 | 2013 |
| PLCverif re-engineered: An open platform for the formal analysis of PLC programs D Darvas, E Blanco, V Molnár Proceedings of the 17th International Conference on Accelerator and Large …, 2019 | 16 | 2019 |
| PLC program translation for verification purposes D Darvas, I Majzik, E Blanco Viñuela Periodica Polytechnica, Electrical Engineering and Computer Science 61 (2 …, 2017 | 16 | 2017 |
| Verification of an Industrial Safety Function Using Coloured Petri Nets and Model Checking T Bartha, A Vörös, A Jámbor, D Darvas 14th International Conference on Modern Information Technology in the …, 2012 | 13 | 2012 |
| Generic representation of PLC programming languages for formal verification D Darvas, I Majzik, E Blanco Viñuela 23rd PhD Minisymposium of the Department of Measurement and Information …, 2016 | 12 | 2016 |
| Industrial applications of the PetriDotNet modelling and analysis tool A Vörös, D Darvas, Á Hajdu, A Klenik, K Marussy, V Molnár, T Bartha, ... Science of Computer Programming 157, 17-40, 2018 | 11 | 2018 |
| Parallel saturation based model checking A Vörös, T Szabó, A Jámbor, D Darvas, A Horvath, T Bartha Parallel and Distributed Computing (ISPDC), 2011 10th International …, 2011 | 11* | 2011 |
| Automated Generation of Formal Models from ST Control Programs for Verification Purposes B Fernandez Adiego, D Darvas, JC Tournier, E Blanco Vinuela, ... CERN Internal Note, 2014 | 10* | 2014 |
| Conformance checking for programmable logic controller programs and specifications D Darvas, I Majzik, E Blanco Viñuela 11th IEEE International Symposium on Industrial Embedded Systems (SIES), 29-36, 2016 | 9 | 2016 |
| PetriDotNet 1.5: Extensible Petri net editor and analyser for education and research A Vörös, D Darvas, A Hajdu, A Jámbor, A Klenik, K Marussy, V Molnár, ... Application and Theory of Petri Nets and Concurrency (ser. LNCS) 9698, 123-132, 2016 | 9 | 2016 |
| Saturation-Based Incremental LTL Model Checking with Inductive Proofs V Molnár, D Darvas, A Vörös, T Bartha Tools and Algorithms for the Construction and Analysis of Systems, LNCS 9035 …, 2015 | 9 | 2015 |
| Applying model checking to critical PLC applications: An ITER case study B Fernández Adiego, E Blanco Viñuela, B Avinashkrishna, S Sreekuttan, ... ICALEPCS 2017, 1792-1796, 2017 | 8 | 2017 |
| Component-wise incremental LTL model checking V Molnár, A Vörös, D Darvas, T Bartha, I Majzik Formal Aspects of Computing 28 (3), 345-379, 2016 | 8 | 2016 |
| Practice-oriented formal methods to support the software development of industrial control systems D Darvas BME Informatikai Tudományok Doktori Iskola, 2017 | 6 | 2017 |
| Improving Saturation-based Bounded Model Checking D Darvas, A Vörös, T Bartha Acta Cybernetica 22 (3), 573-589, 2016 | 6 | 2016 |
| Requirements towards a formal specification language for PLCs D Darvas, I Majzik, E Blanco Viñuela 22nd PhD Minisymposium of the Department of Measurement and Information …, 2015 | 5 | 2015 |
| Syntax and semantics of PLCspecif D Darvas, E Blanco Viñuela, I Majzik CERN, Report EDMS 1523877, 2015 | 5 | 2015 |
| Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets A Vörös, D Darvas, A Jámbor, T Bartha Periodica Polytechnica Electrical Engineering and Computer Science 58 (1), 3-13, 2014 | 5 | 2014 |
| Testing, simulation, and visualisation of PLC programs using x86 code generation G Sallai, D Darvas, E Blanco Viñuela CERN, 2017 | 4 | 2017 |
| What is special about PLC software model checking? D Darvas, E Blanco Viñuela, I Majzik ICALEPCS 2017, 1781-1786, 2017 | 4 | 2017 |
| Szaturáció alapú automatikus modellellenőrző fejlesztése aszinkron rendszerekhez D Darvas, T Bartha, A Vörös TDK-dolgozat, Budapest University of Technology and Economics, 2010 | 4* | 2010 |
| Testing Solutions for Siemens PLCs Programs Based on PLCSIM Advanced E Blanco Viñuela, D Darvas, G Sallai 17th International Conference on Accelerator and Large Experimental Physics …, 2020 | 3* | 2020 |
| Komplex rendszerek modellezése és verifikációja D Darvas, A Jámbor TDK-dolgozat, Budapest University of Technology and Economics, 2011 | 2 | 2011 |
| Well-Formedness and Invariant Checking of PLCspecif Specifications D Darvas, I Majzik, E Blanco Viñuela 24th PhD Mini-Symposium of the Department of Measurement and Information …, 2017 | 1 | 2017 |
| Incremental extension of the saturation algorithm-based bounded model checking of Petri nets D Darvas Budapest University of Technology and Economics, 2014 | 1 | 2014 |
| Efficient Saturation-based Bounded Model Checking of Asynchronous Systems D Darvas, A Vörös, T Bartha 13th Symposium on Programming Languages and Software Tools, 259-273, 2013 | 1 | 2013 |
| Practice-Oriented Formal Methods for PLC Programs of Industrial Control Systems D Darvas PhD Symposium at iFM'16 on Formal Methods: Algorithms, Tools and …, 2016 | | 2016 |
| Szaturáció alapú korlátos modellellenőrzési technikák Petri-hálók analízisére D Darvas Erdélyi Múzeum-Egyesület, 2012 | | 2012 |
Istvan MajzikAssociate Professor, Budapest University of Technology and EconomicsE-mail megerősítve itt: mit.bme.hu
