Publications tagged with "Computer programming"

1. A flexible simulation-based framework for model-based/data-driven dependability evaluation

   Abate, C., Campanile, L., & Marrone, S. (2020). A flexible simulation-based framework for model-based/data-driven dependability evaluation [Conference paper]. Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020, 261–266. https://doi.org/10.1109/ISSREW51248.2020.00083

   Abstract

   Modern predictive maintenance is the convergence of several technological trends: developing new techniques and algorithms can be very costly due to the need for a physical prototype. This research has the final aim to build a simulation-based software framework for modeling and analysing complex systems and for defining predictive maintenance algorithms. By the usage of simulation, quantitative evaluation of the dependability of such systems will be possible. The ERTMS/ETCS dependability case study is presented to prove the applicability of the software. © 2020 IEEE.

   DOI Publisher Details Copy BibTeX Download .bib

   {"key"=>"Abate2020261", "type"=>"Conference paper", "bibtex"=>"@conference{Abate2020261,\n  author = {Abate, Carlo and Campanile, Lelio and Marrone, Stefano},\n  title = {A flexible simulation-based framework for model-based/data-driven dependability evaluation},\n  year = {2020},\n  journal = {Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020},\n  pages = {261 – 266},\n  doi = {10.1109/ISSREW51248.2020.00083}\n}\n", "author"=>"Abate, Carlo and Campanile, Lelio and Marrone, Stefano", "author_array"=>[{"first"=>"Carlo", "last"=>"Abate", "prefix"=>"", "suffix"=>""}, {"first"=>"Lelio", "last"=>"Campanile", "prefix"=>"", "suffix"=>""}, {"first"=>"Stefano", "last"=>"Marrone", "prefix"=>"", "suffix"=>""}], "author_0_first"=>"Carlo", "author_0_last"=>"Abate", "author_0_prefix"=>"", "author_0_suffix"=>"", "author_1_first"=>"Lelio", "author_1_last"=>"Campanile", "author_1_prefix"=>"", "author_1_suffix"=>"", "author_2_first"=>"Stefano", "author_2_last"=>"Marrone", "author_2_prefix"=>"", "author_2_suffix"=>"", "title"=>"A flexible simulation-based framework for model-based/data-driven dependability evaluation", "year"=>"2020", "journal"=>"Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020", "pages"=>"261 – 266", "doi"=>"10.1109/ISSREW51248.2020.00083", "url"=>"https://www.scopus.com/inward/record.uri?eid=2-s2.0-85099830276&doi=10.1109%2fISSREW51248.2020.00083&partnerID=40&md5=8c06e5bedcaf6159251a6c79a3d7a446", "abstract"=>"Modern predictive maintenance is the convergence of several technological trends: developing new techniques and algorithms can be very costly due to the need for a physical prototype. This research has the final aim to build a simulation-based software framework for modeling and analysing complex systems and for defining predictive maintenance algorithms. By the usage of simulation, quantitative evaluation of the dependability of such systems will be possible. The ERTMS/ETCS dependability case study is presented to prove the applicability of the software.  © 2020 IEEE.", "author_keywords"=>"Data-driven methods; Dependability Evaluation; Predictive maintenance; Quantitative Formal Models", "keywords"=>"Computer programming; Maintenance; Data driven; Data-driven methods; Dependability evaluation; Flexible simulation; Formal modeling; Model-based OPC; Predictive maintenance; Quantitative formal model; Software frameworks; Technological trends; Computer software", "publication_stage"=>"Final", "source"=>"Scopus", "note"=>"Cited by: 1"}
       

   Details
2. Quantitative modeling of the behaviour of an autonomic router

   Campanile, L., Iacono, M., Gribaudo, M., & Mastroianni, M. (2019). Quantitative modeling of the behaviour of an autonomic router [Conference paper]. ACM International Conference Proceeding Series, 193–194. https://doi.org/10.1145/3306309.3306344

   Abstract

   Autonomic routers are the main component on which autonomic networking is founded. Our goal is to provide a first approach performance modeling method that can be usable by networking professionals that are not part of the Performance Evaluation community. © 2019 Copyright held by the owner/author(s).

   DOI Publisher Details Copy BibTeX Download .bib

   {"key"=>"Campanile2019193", "type"=>"Conference paper", "bibtex"=>"@conference{Campanile2019193,\n  author = {Campanile, Lelio and Iacono, Mauro and Gribaudo, Marco and Mastroianni, Michele},\n  title = {Quantitative modeling of the behaviour of an autonomic router},\n  year = {2019},\n  journal = {ACM International Conference Proceeding Series},\n  pages = {193 – 194},\n  doi = {10.1145/3306309.3306344}\n}\n", "author"=>"Campanile, Lelio and Iacono, Mauro and Gribaudo, Marco and Mastroianni, Michele", "author_array"=>[{"first"=>"Lelio", "last"=>"Campanile", "prefix"=>"", "suffix"=>""}, {"first"=>"Mauro", "last"=>"Iacono", "prefix"=>"", "suffix"=>""}, {"first"=>"Marco", "last"=>"Gribaudo", "prefix"=>"", "suffix"=>""}, {"first"=>"Michele", "last"=>"Mastroianni", "prefix"=>"", "suffix"=>""}], "author_0_first"=>"Lelio", "author_0_last"=>"Campanile", "author_0_prefix"=>"", "author_0_suffix"=>"", "author_1_first"=>"Mauro", "author_1_last"=>"Iacono", "author_1_prefix"=>"", "author_1_suffix"=>"", "author_2_first"=>"Marco", "author_2_last"=>"Gribaudo", "author_2_prefix"=>"", "author_2_suffix"=>"", "author_3_first"=>"Michele", "author_3_last"=>"Mastroianni", "author_3_prefix"=>"", "author_3_suffix"=>"", "title"=>"Quantitative modeling of the behaviour of an autonomic router", "year"=>"2019", "journal"=>"ACM International Conference Proceeding Series", "pages"=>"193 – 194", "doi"=>"10.1145/3306309.3306344", "url"=>"https://www.scopus.com/inward/record.uri?eid=2-s2.0-85062873003&doi=10.1145%2f3306309.3306344&partnerID=40&md5=926c5ce3d6ebf7b69b1922bad7f80059", "abstract"=>"Autonomic routers are the main component on which autonomic networking is founded. Our goal is to provide a first approach performance modeling method that can be usable by networking professionals that are not part of the Performance Evaluation community. © 2019 Copyright held by the owner/author(s).", "author_keywords"=>"Autonomic networks; Performance evaluation", "keywords"=>"Computer programming; Autonomic network; Autonomic networking; Performance evaluation; Performance Model; Quantitative modeling; Computer applications", "publication_stage"=>"Final", "source"=>"Scopus", "note"=>"Cited by: 2"}
       

   Details

← Back to all publications