Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/dsn/BrancatiPSHGBE15
AU - Brancati, Francesco
AU - Pataricza, András
AU - Silva, Nuno
AU - Hegedüs, Ábel
AU - Gönczy, László
AU - Bondavalli, Andrea
AU - Esposito, Rosaria
TI - Cost Prediction for V&V and Certification Processes.
BT - IEEE International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2015, Rio de Janeiro, Brazil, June 22-25, 2015
SP - 57
EP - 62
PY - 2015//
DO - 10.1109/DSN-W.2015.15
UR - https://doi.org/10.1109/DSN-W.2015.15
UR - https://doi.ieeecomputersociety.org/10.1109/DSN-W.2015.15
ER -
TY - CPAPER
ID - DBLP:conf/edcc/NicolaTEFMO05
AU - Nicola, Giuseppe De
AU - Tommaso, Pasquale di
AU - Esposito, Rosaria
AU - Flammini, Francesco
AU - Marmo, Pietro
AU - Orazzo, Antonio
TI - A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems.
BT - Dependable Computing - EDCC-5, 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings
SP - 305
EP - 317
PY - 2005//
DO - 10.1007/11408901_23
UR - https://doi.org/10.1007/11408901_23
ER -
TY - CPAPER
ID - DBLP:conf/safecomp/NicolaTEFO04
AU - Nicola, Giuseppe De
AU - Tommaso, Pasquale di
AU - Esposito, Rosaria
AU - Flammini, Francesco
AU - Orazzo, Antonio
TI - A Hybrid Testing Methodology for Railway Control Systems.
BT - Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings
SP - 116
EP - 129
PY - 2004//
DO - 10.1007/978-3-540-30138-7_11
UR - https://doi.org/10.1007/978-3-540-30138-7_11
ER -
TY - CPAPER
ID - DBLP:conf/srds/TommasoEMO03
AU - Tommaso, Pasquale di
AU - Esposito, Rosaria
AU - Marmo, Pietro
AU - Orazzo, Antonio
TI - Hazard Analysis of Complex Distributed Railway Systems.
BT - 22nd Symposium on Reliable Distributed Systems (SRDS 2003), 6-8 October 2003, Florence, Italy
SP - 283
EP - 292
PY - 2003//
DO - 10.1109/RELDIS.2003.1238078
UR - https://doi.org/10.1109/RELDIS.2003.1238078
UR - https://doi.ieeecomputersociety.org/10.1109/RELDIS.2003.1238078
ER -