Formal Verification of Safety PLC Based Control Software von Darvas, Dániel, Majzik, István, Blanco Viñuela, Enrique

Volltext

Component-wise incremental LTL model checking von Molnár, Vince, Vörös, András, Darvas, Dániel, Bartha, Tamás, Majzik, István

Volltext

Improving Saturation-based Bounded Model Checking von Darvas, Dániel, Vörös, András, Bartha, Tamás

Volltext

Bounded saturation-based CTL model checking von Vörös, A, Darvas, D, Bartha, T

Volltext

Formal Verification of Complex Properties on PLC Programs von Darvas, Dániel, Fernández Adiego, Borja, Vörös, András, Bartha, Tamás, Blanco Viñuela, Enrique, González Suárez, Víctor M.

Volltext

Applying Model Checking to Industrial-Sized PLC Programs von Fernandez Adiego, Borja, Darvas, Daniel, Blanco Vinuela, Enrique, Tournier, Jean-Charles, Bliudze, Simon, Blech, Jan Olaf, Gonzalez Suarez, Victor Manuel

Volltext

Industrial applications of the PetriDotNet modelling and analysis tool von Vörös, András, Darvas, Dániel, Hajdu, Ákos, Klenik, Attila, Marussy, Kristóf, Molnár, Vince, Bartha, Tamás, Majzik, István

Volltext

Bounded saturation-based CTL model checking/Tokestatud kullastamisel pohinev arvutuspuude loogikas valjendatu mudelkontroll von Voros, Andras, Darvas, Daniel, Bartha, Tamas

Volltext

PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research von Vörös, András, Darvas, Dániel, Molnár, Vince, Klenik, Attila, Hajdu, Ákos, Jámbor, Attila, Bartha, Tamás, Majzik, István

Volltext

Modelling and Formal Verification of Timing Aspects in Large PLC Programs von Adiego, Borja Fernández, Darvas, Dániel, Viñuela, Enrique Blanco, Tournier, Jean-Charles, Suárez, Víctor M. González, Blech, Jan Olaf

Volltext

Saturation-Based Incremental LTL Model Checking with Inductive Proofs von Molnár, Vince, Darvas, Dániel, Vörös, András, Bartha, Tamás

Volltext

Benchmark Petri Net Models Used For The Evaluation Of B-I-Sat von Darvas, Dániel

Volltext bestellen

Plcspecif Permissive Equivalence Checking Example Model von Darvas, Dániel

Volltext bestellen

Bounded Saturation-based CTL Model Checking von András Vörös, Dániel Darvas, Tamás Bartha

Volltext

Bringing Automated Model Checking to PLC Program Development — A CERN Case Study von Adiego, Borja Fernández, Darvas, Dániel, Tournier, Jean-Charles, Viñuela, Enrique Blanco, Suárez, Víctor M. González

Volltext

Parallel Saturation Based Model Checking von Voros, Andras, Szabo, T., Jambor, Attila, Darvas, D., Horvath, Akos, Bartha, Tamas

Volltext

Applying model checking to industrial-sized PLC programs von Fernandez Adiego, Borja, Darvas, Daniel, Blanco Vinuela, Enrique, Tournier, Jean-Charles, Bliudze, Simon, Blech, Jan Olaf, Gonzalez Suarez, Victor M

Volltext bestellen

Hypothalamus-hippocampus circuitry regulates impulsivity via melanin-concentrating hormone von Noble, Emily E., Wang, Zhuo, Liu, Clarissa M., Davis, Elizabeth A., Suarez, Andrea N., Stein, Lauren M., Tsan, Linda, Terrill, Sarah J., Hsu, Ted M., Jung, A-Hyun, Raycraft, Lauren M., Hahn, Joel D., Darvas, Martin, Cortella, Alyssa M., Schier, Lindsey A., Johnson, Alexander W., Hayes, Matthew R., Holschneider, Daniel P., Kanoski, Scott E.

Volltext

Role of inferior vena cava collapsibility index in the prediction of hypotension associated with general anesthesia: an observational study von Szabó, Marcell, Bozó, Anna, Darvas, Katalin, Horváth, Alexandra, Iványi, Zsolt Dániel

Volltext

On the Regioselectivity of the Gould–Jacobs Reaction: Gas‐Phase Versus Solution‐Phase Thermolysis von Wernik, Michaela, Hartmann, Peter E., Sipos, Gellért, Darvas, Ferenc, Boese, A. Daniel, Dallinger, Doris, Kappe, C. Oliver

Volltext