|
D. Darvas, E. Blanco Vinuela, and I. Majzik, “A Formal Specification Method for PLC-based Applications”, in Proc. 15th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'15), Melbourne, Australia, Oct. 2015, pp. 907-910. |
|
D. Darvas, E. Blanco Vinuela, and B. Fernandez Adiego, “PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques”, in Proc. 15th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'15), Melbourne, Australia, Oct. 2015, pp. 911-914. |
|
D. Darvas, I. Majzik, and E. Blanco Vinuela, “What is Special About PLC Software Model Checking?”, in Proc. 16th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'17), Barcelona, Spain, Oct. 2017, pp. 1781-1786. |
|
B. Fernandez Adiego et al., “Applying Model Checking to Critical PLC Applications: An ITER Case Study”, in Proc. 16th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'17), Barcelona, Spain, Oct. 2017, pp. 1792-1796. |
|
E. Blanco Vinuela, D. Darvas, and V. Molnar, “PLCverif Re-engineered: An Open Platform for the Formal Analysis of PLC Programs”, in Proc. 17th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'19), New York, NY, USA, Oct. 2019, pp. 21. |
|
E. Blanco Vinuela, D. Darvas, and Gy. Sallai, “Testing Solutions for Siemens PLCs Programs Based on PLCSIM Advanced”, in Proc. 17th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'19), New York, NY, USA, Oct. 2019, pp. 1108. |
