Követés
Darvas Dániel
Darvas Dániel
Ismeretlen szervezet
E-mail megerősítve itt: cern.ch - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
822015
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
532016
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
412014
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
332015
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
30*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
242016
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
24*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
242013
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
242011
Transforming PLC Programs into Formal Models for Verification Purposes
D Darvas, E Blanco, B Fernandez Adiego
CERN Internal Note, 2013
172013
PLC program translation for verification purposes
D Darvas, I Majzik, E Blanco Viñuela
Periodica Polytechnica, Electrical Engineering and Computer Science 61 (2 …, 2017
152017
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
152015
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
122012
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
112018
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
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
102016
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
PLCverif Re-engineered: An Open Platform for the Formal Analysis of PLC Programs
E Blanco Viñuela, D Darvas, V Molnár
17th International Conference on Accelerator and Large Experimental Physics …, 2020
9*2020
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
92016
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
92016
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20