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

Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif von Fink, Xaver, Mavridou, Anastasia, Katis, Andreas, Adiego, Borja Fernández

Volltext

From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif von Ádám, Zsófia, Lopez-Miguel, Ignacio D., Mavridou, Anastasia, Pressburger, Thomas, Bęś, Marcin, Blanco Viñuela, Enrique, Katis, Andreas, Tournier, Jean-Charles, Trinh, Khanh V., Fernández Adiego, Borja

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

PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller von Lopez-Miguel, Ignacio D, Jean-Charles Tournier, Borja Fernandez Adiego

Volltext

Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program von Borja Fernandez Adiego, Lopez-Miguel, Ignacio D, Jean-Charles Tournier, Blanco, Enrique, Ladzinski, Tomasz, Havart, Frederic

Volltext

From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif von Ádám, Zsófia, Lopez-Miguel, Ignacio D, Mavridou, Anastasia, Pressburger, Thomas, Bęś, Marcin, Viñuela, Enrique Blanco, Katis, Andreas, Tournier, Jean-Charles, Trinh, Khanh V, Adiego, Borja Fernández

Volltext bestellen

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

Automated Verification of Programmable Logic Controller Programs Against Structured Natural Language Requirements von Ádám, Zsófia, López Miguel, Ignacio David, Mavridou, Anastasia, Pressburger, Thomas, Bęś, Marcin, Blanco Viñuela, Enrique, Katis, Andreas, Tournier, Jean-Charles, Trinh, Khanh V., Fernández Adiego, Borja

Volltext bestellen

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

Automated Verification of Programmable Logic Controller Programs Against Structured Natural Language Requirements von Ádám, Zsófia, Lopez-Miguel, Ignacio D, Mavridou, Anastasia, Pressburger, Thomas, Bes, Martin, Vinuela, Enrique Blanco, Katis, Andreas, Tournier, Jean-Charles, Trinh, Khanh V, Adiego, Borja Fernandez

Volltext bestellen

Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif von Fink, Xaver, Mavridou, Anastasia, Katis, Andreas, Adiego, Borja Fernandez

Volltext bestellen

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

Impact of neoadjuvant therapy on postoperative complications in non-small-cell lung cancer patients subjected to anatomic lung resection von Cabañero Sánchez, Alberto, Muñoz Molina, Gemma María, Fra Fernández, Sara, Muriel García, Alfonso, Cilleruelo Ramos, Angel, Martínez Hernández, Néstor, Hernando Trancho, Florentino, Moreno Mata, Nicolás, Valiente, Borja Aguinagalde de, Alonso, Sergio Amor, Arrarás, Miguel Jesús, Blanco Orozco, Ana Isabel, Collado, Marc Boada, Nadal, Sergio Bolufer, Sánchez, Alberto Cabañero, Vázquez, Isabel Cal, Caja, Sergi Call, Ramos, Ángel Cilleruelo, Loscertales, Miguel Congregado, Carrasco, Silvana Crowley, Flor, Raúl Embún, Martín, Elena Fernández, Fibla Alfara, Juan José, Barajas, Santiago García, García Jiménez, Maria Dolores, García Prim, Jose María, García Salcedo, Jose Alberto, Giraldo Ospina, Carlos Fernando, Gómez de Antonio, David, Hernández, María Teresa Gómez, Gelbenzu Zazpe, Juan José, Ferrández, Jorge Henández, Illana Wolf, Jennifer D., Abularach, Alberto Jauregui, López, Marcelo Jiménez, Maestre, Unai Jiménez, García, Cipriano López, Sanz, Iker López, Hernández, Néstor Martínez, Téllez, Elisabeth Martínez, Collado, Lucía Milla, Poce, Roberto Mongil, Moradiellos Díez, Francisco Javier, Balsalobre, Ramón Moreno, Mata, Nicolás Moreno, Moreno Merino, Sergio B., Fornell, Carme Obiols, Valenzuela, Florencio Quero, Ramírez Gil, María Elena, Izquierdo, Ricard Ramos, Recuero Díaz, José Luis, Vázquez, Eduardo Rivo, Fuster, Alberto Rodríguez, Marcos, Rafael Rojo, Crespo, Iñigo Royo, Lorente, David Sánchez, Moreno, Laura Sanchez, Romero, Julio Sesma, Adiego, Carlos Simón, Trujillo Reyes, Juan Carlos

Volltext