|
B. Bradu et al., “Compensation of Beam Induced Effects in LHC Cryogenic Systems”, in Proc. 7th Int. Particle Accelerator Conf. (IPAC'16), Busan, Korea, May 2016, pp. 1205-1208. |
|
B. Copy, R. Barillere, E. Blanco Vinuela, R. N. Fernandes, B. Fernandez Adiego, and I. Prieto Barreiro, “Model Oriented Application Generation for Industrial Control Systems”, in Proc. 13th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'11), Grenoble, France, Oct. 2011, paper WEAAULT02, pp. 610-613. |
|
E. Blanco Vinuela et al., “UNICOS Evolution: CPC Version 6”, in Proc. 13th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'11), Grenoble, France, Oct. 2011, paper WEPKS006, pp. 786-789. |
|
B. Fernandez Adiego, E. Blanco Vinuela, and I. Prieto Barreiro, “UNICOS CPC6: Automated Code Generation for Process Control Applications”, in Proc. 13th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'11), Grenoble, France, Oct. 2011, paper WEPKS033, pp. 871-874. |
|
E. B. Blanco Vinuela, B. Fernandez Adiego, and A. Merezhin, “Testing and Verification of PLC Code for Process Control”, in Proc. 14th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'13), San Francisco, CA, USA, Oct. 2013, paper THPPC080, pp. 1258-1261. |
|
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. |
|
E. Blanco Vinuela, H. F. Braunmuller, B. Fernandez Adiego, and R. Speroni, “Safety Instrumented Systems and the AWAKE Plasma Control as a Use Case”, in Proc. 16th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'17), Barcelona, Spain, Oct. 2017, pp. 1206-1212. |
|
C. Tsiplaki Spiliopoulou, E. Blanco Vinuela, and B. Fernandez Adiego, “Experience With Static PLC Code Analysis at CERN”, in Proc. 16th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'17), Barcelona, Spain, Oct. 2017, pp. 1787-1791. |
|
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. |
|
B. Fernandez Adiego et al., “Cause-and-Effect Matrix Specifications for Safety Critical Systems at CERN”, in Proc. 17th Int. Conf. on Accelerator and Large Experimental Physics Control Systems (ICALEPCS'19), New York, NY, USA, Oct. 2019, pp. 284. |
