Dániel Darvas

14 papers A 1B 2C 3Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2018 J jnl
Industrial applications of the PetriDotNet modelling and analysis tool.
Sci. Comput. Program.
András Vörös, Dániel Darvas, Ákos Hajdu, Attila Klenik, Kristóf Marussy, Vince Molnár, Tamás Bartha, István Majzik
2017 J jnl
PLC Program Translation for Verification Purposes.
Period. Polytech. Electr. Eng. Comput. Sci.
Dániel Darvas, István Majzik, Enrique Blanco Viñuela
2017 — —
Practice-Oriented Formal Methods to Support the Software Development of Industrial Control Systems
Dániel Darvas
2016 J jnl
Component-wise incremental LTL model checking.
Formal Aspects Comput.
Vince Molnár, András Vörös, Dániel Darvas, Tamás Bartha, István Majzik
2016 — conf
Conformance checking for programmable logic controller programs and specifications.
SIES
Dániel Darvas, István Majzik, Enrique Blanco Viñuela
2016 B conf
Formal Verification of Safety PLC Based Control Software.
IFM
Dániel Darvas, István Majzik, Enrique Blanco Viñuela
2016 J jnl
Improving Saturation-based Bounded Model Checking.
Acta Cybern.
Dániel Darvas, András Vörös, Tamás Bartha
2016 C conf
PLC code generation based on a formal specification language.
INDIN
Dániel Darvas, Enrique Blanco Viñuela, István Majzik
2016 B conf
PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research.
Petri Nets
András Vörös, Dániel Darvas, Vince Molnár, Attila Klenik, Ákos Hajdu, Attila Jámbor, Tamás Bartha, István Majzik
2015 J jnl
Applying Model Checking to Industrial-Sized PLC Programs.
IEEE Trans. Ind. Informatics
Borja Fernandez Adiego, Dániel Darvas, Enrique Blanco Viñuela, Jean-Charles Tournier, Simon Bliudze, Jan Olaf Blech, Víctor Manuel González Suárez
2015 A conf
Saturation-Based Incremental LTL Model Checking with Inductive Proofs.
TACAS
Vince Molnár, Dániel Darvas, András Vörös, Tamás Bartha
2014 — conf
Bringing Automated Model Checking to PLC Program Development - a CERN Case Study.
WODES
Borja Fernandez Adiego, Dániel Darvas, Jean-Charles Tournier, Enrique Blanco Viñuela, Víctor M. González Suárez
2014 C conf
Formal Verification of Complex Properties on PLC Programs.
FORTE
Dániel Darvas, Borja Fernandez Adiego, András Vörös, Tamás Bartha, Enrique Blanco Viñuela, Víctor M. González Suárez
2011 C conf
Parallel Saturation Based Model Checking.
ISPDC
András Vörös, Tamás Szabó, Attila Jámbor, Dániel Darvas, Ákos Horváth, Tamás Bartha