default search action
Felicita Di Giandomenico
Person information
SPARQL queries
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c88]Davide Basile, Maurice H. ter Beek, Laura Carnevali, Silvano Chiaradonna, Felicita Di Giandomenico, Alessandro Fantechi, Gloria Gori:
An Integrated Perspective on the Evaluation of Complex Railway Systems. ISoLA (5) 2024: 190-207 - [c87]Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico:
A New Metric of Adaptivity for Self-adaptive Systems. QUATIC 2024: 227-234 - [i5]Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Laura Carnevali, Alessandro Fantechi:
Advanced Integrated Evaluation of Railway Systems . ERCIM News 2024(137) (2024) - 2023
- [j33]Ievgen Babeshko, Felicita Di Giandomenico:
Safety and Cybersecurity Assessment Techniques for Critical Industries: A Mapping Study. IEEE Access 11: 83781-83793 (2023) - [j32]Oleg Illiashenko, Vyacheslav Kharchenko, Ievgen Babeshko, Herman Fesenko, Felicita Di Giandomenico:
Security-Informed Safety Analysis of Autonomous Transport Systems Considering AI-Powered Cyberattacks and Protection. Entropy 25(8): 1123 (2023) - [j31]Francesca Lonetti, Antonia Bertolino, Felicita Di Giandomenico:
Model-based security testing in IoT systems: A Rapid Review. Inf. Softw. Technol. 164: 107326 (2023) - [j30]Giulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico:
Implicit Reward Structures for Implicit Reliability Models. IEEE Trans. Reliab. 72(2): 774-794 (2023) - [c86]Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giandomenico, Francesca Lonetti:
Cross-coverage testing of functionally equivalent programs. AST 2023: 101-111 - [c85]Ievgen Babeshko, Oleg Illiashenko, Felicita Di Giandomenico:
Towards Effective Safety and Cybersecurity Co-engineering in Critical Domains. DESSERT 2023: 1-8 - [c84]Giulio Masetti, Felicita Di Giandomenico, Silvano Chiaradonna:
Dependability Analysis of UPS Architectures for the Italian Railway Signaling System. RSSRail 2023: 98-114 - [i4]Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giandomenico, Francesca Lonetti:
Cross-coverage testing of functionally equivalent programs. CoRR abs/2304.14768 (2023) - 2022
- [j29]Felicita Di Giandomenico, Giulio Masetti, Silvano Chiaradonna:
Redundancy-based intrusion tolerance approaches moving from classical fault tolerance methods. Int. J. Appl. Math. Comput. Sci. 32(4) (2022) - [j28]Giulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico:
TAPAS: a Tool for Stochastic Evaluation of Large Interdependent Composed Models with Absorbing States. SIGMETRICS Perform. Evaluation Rev. 49(4): 41-46 (2022) - [c83]Giulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico:
Solution Bundles of Markov Performability Models through Adaptive Cross Approximation. DSN 2022: 381-392 - [c82]Giulio Masetti, Silvano Chiaradonna, Leonardo Robol, Felicita Di Giandomenico:
Random Bad State Estimator to Address False Data Injection in Critical Infrastructures. PRDC 2022: 98-108 - 2021
- [j27]Radu Calinescu, Felicita Di Giandomenico:
Special issue on resilient software and software-controlled systems. Computing 103(4): 533-534 (2021) - [j26]Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti:
On identity-aware replication in stochastic modeling for simulation-based dependability analysis of large interconnected systems. Perform. Evaluation 147: 102192 (2021) - [j25]Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico, William H. Sanders, Brett Feddersen:
Extending the Möbius Modeling Environment with the Advanced Replication Operator. SIGMETRICS Perform. Evaluation Rev. 48(4): 62-67 (2021) - [j24]Silvano Chiaradonna, Giulio Masetti, Felicita Di Giandomenico, Francesca Righetti, Carlo Vallati:
Enhancing sustainability of the railway infrastructure: Trading energy saving and unavailability through efficient switch heating policies. Sustain. Comput. Informatics Syst. 30: 100519 (2021) - [c81]Felicita Di Giandomenico, Giulio Masetti:
Basic Aspects in Redundancy-Based Intrusion Tolerance. CISIS-ICEUTE 2021: 192-202 - [c80]Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico:
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. FORTE 2021: 177-181 - 2020
- [j23]Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico:
Controller synthesis of service contracts with variability. Sci. Comput. Program. 187: 102344 (2020) - [c79]Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Giorgio Oronzo Spagnolo:
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC. ISoLA (1) 2020: 368-384 - [c78]Giulio Masetti, Felicita Di Giandomenico:
Analyzing Forward Robustness of Feedforward Deep Neural Networks with LeakyReLU Activation Function Through Symbolic Propagation. PKDD/ECML Workshops 2020: 460-474 - [c77]Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti:
Trading dependability and energy consumption in critical infrastructures: focus on the rail switch heating system. PRDC 2020: 150-159 - [c76]Francesca Righetti, Carlo Vallati, Giuseppe Anastasi, Giulio Masetti, Felicita Di Giandomenico:
Failure management strategies for IoT-based railways systems. SMARTCOMP 2020: 386-391
2010 – 2019
- 2019
- [c75]Giulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico:
Stochastic Evaluation of Large Interdependent Composed Models Through Kronecker Algebra and Exponential Sums. Petri Nets 2019: 47-66 - [c74]Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti, Davide Basile:
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector. From Software Engineering to Formal Methods and Tools, and Back 2019: 481-501 - [c73]Emilia Cioroaica, Felicita Di Giandomenico, Thomas Kuhn, Francesca Lonetti, Eda Marchetti, Jasmin Jahic, Frank Schnicke:
Towards Runtime Monitoring for Malicious Behaviors Detection in Smart Ecosystems. ISSRE Workshops 2019: 200-203 - [e4]Radu Calinescu, Felicita Di Giandomenico:
Software Engineering for Resilient Systems - 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings. Lecture Notes in Computer Science 11732, Springer 2019, ISBN 978-3-030-30855-1 [contents] - [i3]Felicita Di Giandomenico, Stefania Gnesi, Giorgio Oronzo Spagnolo, Alessandro Fantechi:
Smart Services for Railways. ERCIM News 2019(117) (2019) - 2018
- [j22]Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Giuseppe Lami, Francesca Lonetti, Eda Marchetti, Fabio Martinelli, Ilaria Matteucci, Paolo Mori:
A tour of secure software engineering solutions for connected vehicles. Softw. Qual. J. 26(4): 1223-1256 (2018) - [c72]Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico, Brett Feddersen, William H. Sanders:
An Efficient Strategy for Model Composition in the Möbius Modeling Environment. EDCC 2018: 116-119 - [c71]Giulio Masetti, Simone Dutto, Silvano Chiaradonna, Felicita Di Giandomenico:
Supporting CPS Modeling Through a New Method for Solving Complex Non-holomorphic Equations. MODELSWARD 2018: 680-688 - 2017
- [c70]Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico:
Model-Based Simulation in Möbius: An Efficient Approach Targeting Loosely Interconnected Components. EPEW 2017: 184-198 - [c69]Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico:
A Stochastic Modeling Approach for an Efficient Dependability Evaluation of Large Systems with Non-anonymous Interconnected Components. ISSRE 2017: 46-55 - [c68]Davide Basile, Felicita Di Giandomenico, Stefania Gnesi:
Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain. MODELSWARD 2017: 679-686 - [c67]Davide Basile, Felicita Di Giandomenico, Stefania Gnesi:
Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming. RSSRail 2017: 221-237 - [c66]Davide Basile, Felicita Di Giandomenico, Stefania Gnesi:
Statistical model checking of an energy-saving cyber-physical system in the railway domain. SAC 2017: 1356-1363 - [c65]Davide Basile, Felicita Di Giandomenico, Stefania Gnesi:
A Refinement Approach to Analyse Critical Cyber-Physical Systems. SEFM Workshops 2017: 267-283 - [c64]Davide Basile, Felicita Di Giandomenico, Stefania Gnesi:
FMCAT: Supporting Dynamic Service-based Product Lines. SPLC (B) 2017: 3-8 - [c63]Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Stefania Gnesi:
Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata. SPLC (B) 2017: 117-122 - [c62]Davide Basile, Felicita Di Giandomenico, Stefania Gnesi, Pierpaolo Degano, Gian-Luigi Ferrari:
Specifying variability in service contracts. VaMoS 2017: 20-27 - 2016
- [j21]Davide Basile, Silvano Chiaradonna, Felicita Di Giandomenico, Stefania Gnesi:
A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems. J. Rail Transp. Plan. Manag. 6(2): 163-181 (2016) - [j20]Nicola Nostro, Romina Spalazzese, Felicita Di Giandomenico, Paola Inverardi:
Achieving functional and non functional interoperability through synthesized connectors. J. Syst. Softw. 111: 185-199 (2016) - [c61]Silvano Chiaradonna, Felicita Di Giandomenico, Jun Xiao:
Quantification of the Effectiveness of Medium Voltage Control Policies in Smart Grids. HASE 2016: 284-291 - [c60]Davide Basile, Felicita Di Giandomenico, Stefania Gnesi:
Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach. ISoLA (2) 2016: 315-330 - [c59]Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti:
Analyzing the Impact of Failures in the Electric Power Distribution Grid. LADC 2016: 99-108 - [c58]Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Francesco Santini, Felicita Di Giandomenico, Fabio Martinelli, Andrea Bondavalli:
A multi-criteria ranking of security countermeasures. SAC 2016: 530-533 - [c57]Jun Xiao, Silvano Chiaradonna, Felicita Di Giandomenico, Andy D. Pimentel:
Improving voltage control in MV smart grids. SmartGridComm 2016: 382-387 - [i2]Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti:
Efficient non-anonymus composition operator for modeling complex dependable systems. CoRR abs/1608.05874 (2016) - 2015
- [c56]Davide Basile, Silvano Chiaradonna, Felicita Di Giandomenico, Stefania Gnesi, Franco Mazzanti:
Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System. SERENE 2015: 82-98 - 2014
- [j19]Felicita Di Giandomenico, Massimiliano Leone Itria, Paolo Masci, Nicola Nostro:
Automated synthesis of dependable mediators for heterogeneous interoperable systems. Reliab. Eng. Syst. Saf. 132: 220-232 (2014) - [c55]Silvano Chiaradonna, Felicita Di Giandomenico, Nadir Murru:
On a Modeling Approach to Analyze Resilience of a Smart Grid Infrastructure. EDCC 2014: 166-177 - [c54]Cesario Di Sarno, Alessia Garofalo, Gianfranco Cerullo, Nadir Murru, Felicita Di Giandomenico, Silvano Chiaradonna:
Power Grid Outlier Treatment through Kalman Filter. ISSRE Workshops 2014: 407-412 - [c53]Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Felicita Di Giandomenico, Fabio Martinelli, Andrea Bondavalli:
On Security Countermeasures Ranking through Threat Analysis. SAFECOMP Workshops 2014: 243-254 - [e3]Andrea Bondavalli, Felicita Di Giandomenico:
Computer Safety, Reliability, and Security - 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings. Lecture Notes in Computer Science 8666, Springer 2014, ISBN 978-3-319-10505-5 [contents] - 2013
- [j18]Felicita Di Giandomenico, Antonia Bertolino, Antonello Calabrò, Nicola Nostro:
An Approach to Adaptive Dependability Assessment in Dynamic and Evolving Connected Systems. Int. J. Adapt. Resilient Auton. Syst. 4(1): 1-25 (2013) - [j17]Silvano Chiaradonna, Felicita Di Giandomenico, Nicola Nostro:
Stochastic assessment of power systems in presence of heterogeneity. Int. J. Crit. Comput. Based Syst. 4(4): 326-348 (2013) - [c52]Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Massimiliano Leone Itria:
Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning. SERENE 2013: 184-198 - 2012
- [j16]Marco Beccuti, Silvano Chiaradonna, Felicita Di Giandomenico, Susanna Donatelli, Giovanna Dondossola, Giuliana Franceschinis:
Quantification of dependencies between electrical and information infrastructures. Int. J. Crit. Infrastructure Prot. 5(1): 14-27 (2012) - [c51]Silvano Chiaradonna, Felicita Di Giandomenico, Nicola Nostro:
Analysis of Electric Power Systems Accounting for Interdependencies in Heterogeneous Scenarios. EDCC 2012: 84-93 - [c50]Silvano Chiaradonna, Felicita Di Giandomenico, Nicola Nostro:
Model-Based Assessment of Multi-region Electric Power Systems Showing Heterogeneous Characteristics. SAFECOMP Workshops 2012: 328-339 - [p4]Alberto Avritzer, Felicita Di Giandomenico, Anne Remke, Martin Riedl:
Assessing Dependability and Resilience in Critical Infrastructures: Challenges and Opportunities. Resilience Assessment and Evaluation of Computing Systems 2012: 41-63 - [p3]Soila Kavulya, Kaustubh R. Joshi, Felicita Di Giandomenico, Priya Narasimhan:
Failure Diagnosis of Complex Systems. Resilience Assessment and Evaluation of Computing Systems 2012: 239-261 - [p2]Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini:
Case Study on Critical Infrastructures: Assessment of Electric Power Systems. Resilience Assessment and Evaluation of Computing Systems 2012: 365-390 - [p1]Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giandomenico, Eda Marchetti, Antonino Sabetta, Paola Spoletini:
Verification and Analysis of Autonomic Systems for Networked Enterprises. ArtDeco 2012: 143-169 - [i1]Giovanna Dondossola, Geert Deconinck, Felicita Di Giandomenico, Susanna Donatelli, Mohamed Kaâniche, Paulo Veríssimo:
Critical Utility Infrastructural Resilience. CoRR abs/1211.5736 (2012) - 2011
- [j15]Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini:
Definition, implementation and application of a model-based framework for analyzing interdependencies in electric power systems. Int. J. Crit. Infrastructure Prot. 4(1): 24-40 (2011) - [c49]Silvano Chiaradonna, Felicita Di Giandomenico, Nicola Nostro:
Modeling and analysis of the impact of failures in Electric Power Systems organized in interconnected regions. DSN 2011: 442-453 - [c48]Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Nicola Nostro, Paola Inverardi, Romina Spalazzese:
On-the-Fly Dependable Mediation between Heterogeneous Networked Systems. ICSOFT (Selected Papers) 2011: 20-37 - [c47]Paolo Masci, Marco Martinucci, Felicita Di Giandomenico:
Towards Automated Dependability Analysis of Dynamically Connected Systems. ISADS 2011: 139-146 - [c46]Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Marco Martinucci, Paolo Masci:
Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems. ISADS 2011: 315-318 - [c45]Paolo Masci, Nicola Nostro, Felicita Di Giandomenico:
On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis. SERENE 2011: 78-92 - [c44]Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Nicola Nostro:
Dependability and Performance Assessment of Dynamic CONNECTed Systems. SFM 2011: 350-392 - [c43]Amine Chohra, Felicita Di Giandomenico, Stefano Porcarelli, Andrea Bondavalli:
An Intelligent Maintenance based on Machine Learning Approach for Wireless and Mobile Systems. WINSYS 2011: 115-118 - [e2]Felicita Di Giandomenico:
Proceedings of the 13th European Workshop on Dependable Computing, EWDC '11, Pisa, Italy, May 11-12, 2011. ACM 2011, ISBN 978-1-4503-0284-5 [contents] - 2010
- [c42]Paolo Masci, Silvano Chiaradonna, Felicita Di Giandomenico:
Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities. EDCC 2010: 145-154 - [c41]Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu:
Dependability Analysis and Verification for Connected Systems. ISoLA (2) 2010: 263-277 - [c40]Antinisca Di Marco, Antonia Bertolino, Felicita Di Giandomenico, Paolo Masci, Antonino Sabetta:
Metrics for QoS analysis in dynamic, evolving and heterogeneous connected systems. WODA 2010: 32-37
2000 – 2009
- 2009
- [j14]Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini:
Assessing the impact of interdependencies in electric power systems. Int. J. Syst. Syst. Eng. 1(3): 367-386 (2009) - [j13]Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico:
A Decomposition-Based Modeling Framework for Complex Systems. IEEE Trans. Reliab. 58(1): 20-33 (2009) - 2008
- [c39]Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini:
Interdependency Analysis in Electric Power Systems. CRITIS 2008: 60-71 - [e1]Rogério de Lemos, Felicita Di Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira:
Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis]. Lecture Notes in Computer Science 5135, Springer 2008, ISBN 978-3-540-85570-5 [contents] - 2007
- [c38]Silvano Chiaradonna, Paolo Lollini, Felicita Di Giandomenico:
On a Modeling Framework for the Analysis of Interdependencies in Electric Power Systems. DSN 2007: 185-195 - [c37]Rogério de Lemos, Felicita Di Giandomenico, Cristina Gacek:
Workshop on Architecting Dependable Systems (WADS 2007). DSN 2007: 805-806 - [c36]Francesco Romani, Silvano Chiaradonna, Felicita Di Giandomenico, Luca Simoncini:
Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies. HASE 2007: 305-312 - [c35]Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini:
Evaluation of Critical Infrastructures: Challenges and Viable Approaches. WADS 2007: 52-77 - 2006
- [c34]László Gönczy, Silvano Chiaradonna, Felicita Di Giandomenico, András Pataricza, Andrea Bondavalli, Tamás Bartha:
Dependability Evaluation of Web Service-Based Processes. EPEW 2006: 166-180 - [c33]Alessandro Daidone, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna:
Hidden Markov Models as a Support for Diagnosis: Formalization of the Problem and Synthesis of the Solution. SRDS 2006: 245-256 - 2005
- [j12]Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico:
A Modeling Methodology for Hierarchical Control System and its Aplication. J. Braz. Comput. Soc. 10(3): 57-69 (2005) - [j11]George T. Karetsos, Sofoklis A. Kyriazakos, Evangelos Gkroustiotis, Felicita Di Giandomenico, Ivan Mura:
A hierarchical radio resource management framework for integrating WLANs in cellular networking environments. IEEE Wirel. Commun. 12(6): 11-17 (2005) - [c32]Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico:
Evaluation of the Impact of Congestion on Service Availability in GPRS Infrastructures. ISAS 2005: 180-195 - [c31]Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico:
Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension. LADC 2005: 35-51 - [c30]Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico:
NekoStat extension to Neko: Quantitative Evaluation of Distributed Algorithms. QEST 2005: 241-242 - 2004
- [j10]Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Ivan Mura:
Dependability modeling and evaluation of multiple-phased systems using DEEM. IEEE Trans. Reliab. 53(4): 509-522 (2004) - [c29]Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli, Paolo Lollini:
Model-based evaluation of a radio resource management system for wireless networks. Conf. Computing Frontiers 2004: 51-59 - [c28]Felicita Di Giandomenico:
Fast Abstracts. DSN 2004: 905 - [c27]Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna:
Architectural challenges for a dependable Information Society. IFIP Congress Topical Sessions 2004: 282-304 - [c26]Stefano Porcarelli, Felicita Di Giandomenico, Paolo Lollini, Andrea Bondavalli:
A Modular Approach for Model-Based Dependability Evaluation of a Class of Systems. ISAS 2004: 160-174 - [c25]Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico, Stefano Porcarelli:
Congestion analysis during outage, congestion treatment and outage recovery for simple GPRS networks. ISCC 2004: 772-778 - 2003
- [j9]Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli, Massimo Barbera, Ivan Mura:
Service-Level Availability Estimation of GPRS. IEEE Trans. Mob. Comput. 2(3): 233-247 (2003) - [c24]Stefano Porcarelli, Marco Castaldi, Felicita Di Giandomenico, Andrea Bondavalli, Paola Inverardi:
A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems. WADS 2003: 167-190 - 2002
- [j8]Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, J. Xu:
An adaptive approach to achieving hardware and software fault tolerance in a distributed computing environment. J. Syst. Archit. 47(9): 763-781 (2002) - [c23]Stefano Porcarelli, Felicita Di Giandomenico:
On the Effects of Outages on the QoS of GPRS Networks under Different User Characterizations. EDCC 2002: 2-18 - [c22]Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli:
Analyzing quality of service of GPRS network systems from a user's perspective. ISCC 2002: 142-149 - 2001
- [j7]Fabrizio Grandoni, Silvano Chiaradonna, Felicita Di Giandomenico, Andrea Bondavalli:
Evaluation of Fault-Tolerant Multiprocessor Systems for High Assurance Applications. Comput. J. 44(6): 544-556 (2001) - [c21]F. Tataranni, Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli:
Analysis of the Effects of Outages on the Quality of Service of GPRS Network Systems. DSN 2001: 235-250 - [c20]Amine Chohra, Felicita Di Giandomenico, Stefano Porcarelli, Andrea Bondavalli:
Towards Optimal Database Maintenance in Wireless Communication Systems. ISAS-SCI (1) 2001: 571-576 - [c19]Andrea Coccoli, Andrea Bondavalli, Felicita Di Giandomenico:
Analysis and Estimation of the Quality of Service of Group Communication Protocols. ISORC 2001: 209-216 - [c18]Stefano Porcarelli, Felicita Di Giandomenico, Amine Chohra, Andrea Bondavalli:
Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems. SAFECOMP 2001: 238-248 - [c17]F. Tataranni, Stefano Porcarelli, Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli:
Modeling and Analysis of the Behavior of GPRS Systems. WORDS 2001: 51-58 - 2000
- [j6]Alan Burns, Divya Prasad, Andrea Bondavalli, Felicita Di Giandomenico, Krithi Ramamritham, John A. Stankovic, Lorenzo Strigini:
The meaning and role of value in scheduling flexible real-time systems. J. Syst. Archit. 46(4): 305-325 (2000) - [j5]Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Fabrizio Grandoni:
Threshold-Based Mechanisms to Discriminate Transient from Intermittent Faults. IEEE Trans. Computers 49(3): 230-245 (2000) - [c16]Andrea Coccoli, Stefan Schemmer, Felicita Di Giandomenico, Michael Mock, Andrea Bondavalli:
Analysis of group communication protocols to assess quality of service properties. HASE 2000: 247-256 - [c15]F. Sandrini, Felicita Di Giandomenico, Andrea Bondavalli, Edgar Nett:
Scheduling Solutions for Supporting Dependable Real-Time Applications. ISORC 2000: 122-129 - [c14]Andrea Bondavalli, Felicita Di Giandomenico:
A Position on Design, Methods, and Tools for Object-Oriented Real-Time Computing. ISORC 2000: 306- - [c13]Felicita Di Giandomenico, Silvano Chiaradonna, Andrea Bondavalli, Fabrizio Grandoni:
Evaluation of Integrated Error Processing and Fault Diagnosis in Multiprocessor Systems. PDPTA 2000
1990 – 1999
- 1999
- [j4]Andrea Bondavalli, Felicita Di Giandomenico, Ivan Mura:
An Optimal Value-Based Admission Policy and its Reflective Use in Real-Time Systems. Real Time Syst. 16(1): 5-30 (1999) - [j3]Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Lorenzo Strigini:
A Contribution to the Evaluation of the Reliability of Iterative-Execution Software. Softw. Test. Verification Reliab. 9(3): 145-166 (1999) - 1998
- [c12]Michele Pizza, Lorenzo Strigini, Andrea Bondavalli, Felicita Di Giandomenico:
Optimal Discrimination between Transient and Permanent Faults. HASE 1998: 214-223 - [c11]Andrea Bondavalli, Felicita Di Giandomenico, Fabrizio Grandoni, David Powell, Christophe Rabéjac:
State Restoration in a COTS-Based N-Modular Architecture. ISORC 1998: 174- - 1997
- [j2]Lorenzo Strigini, Felicita Di Giandomenico, Alexander B. Romanovsky:
Coordinated backward between client processes and data servers. IEE Proc. Softw. Eng. 144(2): 134-146 (1997) - [c10]Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Fabrizio Grandoni:
Discriminating Fault Rate and Persistency to Improve Fault Treatment. FTCS 1997: 354-362 - [c9]Paolo Bizzarri, Andrea Bondavalli, Felicita Di Giandomenico:
A Scheduling Algorithm for Aperiodic Groups of Tasks in Distributed Real-Time Systems and its Holistic Analysis. FTDCS 1997: 296-303 - [c8]Andrea Bondavalli, Felicita Di Giandomenico, Ivan Mura:
Value-driven resource assignment in object-oriented real-time dependable systems. WORDS 1997: 92-99 - 1996
- [c7]Paolo Bizzarri, Andrea Bondavalli, Felicita Di Giandomenico, Fabio Tarini:
Planning the Execution of Task Groups in Real-Time Systems. RTS 1996: 169-174 - 1995
- [c6]Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, S. La Torre:
Dependability of Iterative Software: A Model for Evaluating the Effects of Input Correlation. SAFECOMP 1995: 489-503 - 1994
- [c5]Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico:
Efficient Fault Tolerance: An Approach to Deal with Transient Faults in Multiprocessor Architectures. ICPADS 1994: 354-359 - 1991
- [c4]Felicita Di Giandomenico, Lorenzo Strigini:
Implementations and Extensions of the Conversation Concept. Fault-Tolerant Computing Systems 1991: 42-53 - [c3]Lorenzo Strigini, Felicita Di Giandomenico:
Flexible Schemes for Application-Level Fault Tolerance. SRDS 1991: 86-95 - 1990
- [c2]Felicita Di Giandomenico, Lorenzo Strigini:
Adjudicators for Diverse-Redundant Components. SRDS 1990: 114-123
1980 – 1989
- 1988
- [j1]Felicita Di Giandomenico, M. L. Guidotti, Fabrizio Grandoni, Luca Simoncini:
Gracefully Degradable Algorithm for Byzantine Agreement. Comput. Syst. Sci. Eng. 3(1): 32-40 (1988) - 1987
- [c1]Felicita Di Giandomenico, M. L. Guidotti, Fabrizio Grandoni, Luca Simoncini:
A Gracefully Degradable Algorithm for Byzantine Agreement. SRDS 1987: 188-200
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 22:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint