Felicita Di Giandomenico

137 papers A 7B 13C 15Misc 9Journal 40Unranked 47
YearRankTypeTitle / Venue / Authors
2025 — conf
Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review.
RSSRail
Laura Carnevali, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Gloria Gori
2025 J jnl
Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review.
IEEE Trans. Intell. Transp. Syst.
Laura Carnevali, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Gloria Gori
2025 J jnl
Stochastic Modeling of Intrusion Tolerant Systems Based on Redundancy and Diversity.
IEEE Trans. Computers
Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti
2024 Misc conf
A New Metric of Adaptivity for Self-adaptive Systems.
QUATIC
Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico
2024 J jnl
Advanced Integrated Evaluation of Railway Systems .
ERCIM News
Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Laura Carnevali, Alessandro Fantechi
2024 — conf
An Integrated Perspective on the Evaluation of Complex Railway Systems.
ISoLA (5)
Davide Basile, Maurice H. ter Beek, Laura Carnevali, Silvano Chiaradonna, Felicita Di Giandomenico, Alessandro Fantechi, Gloria Gori
2023 C conf
Cross-coverage testing of functionally equivalent programs.
AST
Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giandomenico, Francesca Lonetti
2023 J jnl
Cross-coverage testing of functionally equivalent programs.
CoRR
Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giandomenico, Francesca Lonetti
2023 — conf
Dependability Analysis of UPS Architectures for the Italian Railway Signaling System.
RSSRail
Giulio Masetti, Felicita Di Giandomenico, Silvano Chiaradonna
2023 J jnl
Implicit Reward Structures for Implicit Reliability Models.
IEEE Trans. Reliab.
Giulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico
2023 J jnl
Model-based security testing in IoT systems: A Rapid Review.
Inf. Softw. Technol.
Francesca Lonetti, Antonia Bertolino, Felicita Di Giandomenico
2023 J jnl
Safety and Cybersecurity Assessment Techniques for Critical Industries: A Mapping Study.
IEEE Access
Ievgen Babeshko, Felicita Di Giandomenico
2023 J jnl
Security-Informed Safety Analysis of Autonomous Transport Systems Considering AI-Powered Cyberattacks and Protection.
Entropy
Oleg Illiashenko, Vyacheslav Kharchenko, Ievgen Babeshko, Herman Fesenko, Felicita Di Giandomenico
2023 — conf
Towards Effective Safety and Cybersecurity Co-engineering in Critical Domains.
DESSERT
Ievgen Babeshko, Oleg Illiashenko, Felicita Di Giandomenico
2022 C conf
Random Bad State Estimator to Address False Data Injection in Critical Infrastructures.
PRDC
Giulio Masetti, Silvano Chiaradonna, Leonardo Robol, Felicita Di Giandomenico
2022 J jnl
Redundancy-based intrusion tolerance approaches moving from classical fault tolerance methods.
Int. J. Appl. Math. Comput. Sci.
Felicita Di Giandomenico, Giulio Masetti, Silvano Chiaradonna
2022 A conf
Solution Bundles of Markov Performability Models through Adaptive Cross Approximation.
DSN
Giulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico
2022 J jnl
TAPAS: a Tool for Stochastic Evaluation of Large Interdependent Composed Models with Absorbing States.
SIGMETRICS Perform. Evaluation Rev.
Giulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico
2021 — conf
Basic Aspects in Redundancy-Based Intrusion Tolerance.
CISIS-ICEUTE
Felicita Di Giandomenico, Giulio Masetti
2021 J jnl
Enhancing sustainability of the railway infrastructure: Trading energy saving and unavailability through efficient switch heating policies.
Sustain. Comput. Informatics Syst.
Silvano Chiaradonna, Giulio Masetti, Felicita Di Giandomenico, Francesca Righetti, Carlo Vallati
2021 J jnl
Extending the Möbius Modeling Environment with the Advanced Replication Operator.
SIGMETRICS Perform. Evaluation Rev.
Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico, William H. Sanders, Brett Feddersen
2021 J jnl
On identity-aware replication in stochastic modeling for simulation-based dependability analysis of large interconnected systems.
Perform. Evaluation
Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti
2021 J jnl
Special issue on resilient software and software-controlled systems.
Computing
Radu Calinescu, Felicita Di Giandomenico
2021 C conf
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities.
FORTE
Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico
2020 — conf
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC.
ISoLA (1)
Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Giorgio Oronzo Spagnolo
2020 — conf
Analyzing Forward Robustness of Feedforward Deep Neural Networks with LeakyReLU Activation Function Through Symbolic Propagation.
PKDD/ECML Workshops
Giulio Masetti, Felicita Di Giandomenico
2020 J jnl
Controller synthesis of service contracts with variability.
Sci. Comput. Program.
Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico
2020 B conf
Failure management strategies for IoT-based railways systems.
SMARTCOMP
Francesca Righetti, Carlo Vallati, Giuseppe Anastasi, Giulio Masetti, Felicita Di Giandomenico
2020 C conf
Trading dependability and energy consumption in critical infrastructures: focus on the rail switch heating system.
PRDC
Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti
2019 — conf
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector.
From Software Engineering to Formal Methods and Tools, and Back
Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti, Davide Basile
2019 J jnl
Smart Services for Railways.
ERCIM News
Felicita Di Giandomenico, Stefania Gnesi, Giorgio Oronzo Spagnolo, Alessandro Fantechi
2019 — ed.
Software Engineering for Resilient Systems - 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
SERENE
Radu Calinescu, Felicita Di Giandomenico
2019 B conf
Stochastic Evaluation of Large Interdependent Composed Models Through Kronecker Algebra and Exponential Sums.
Petri Nets
Giulio Masetti, Leonardo Robol, Silvano Chiaradonna, Felicita Di Giandomenico
2019 — conf
Towards Runtime Monitoring for Malicious Behaviors Detection in Smart Ecosystems.
ISSRE Workshops
Emilia Cioroaica, Felicita Di Giandomenico, Thomas Kuhn, Francesca Lonetti, Eda Marchetti, Jasmin Jahic, Frank Schnicke
2018 J jnl
A tour of secure software engineering solutions for connected vehicles.
Softw. Qual. J.
Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Giuseppe Lami, Francesca Lonetti, Eda Marchetti, Fabio Martinelli, Ilaria Matteucci, Paolo Mori
2018 Misc conf
An Efficient Strategy for Model Composition in the Möbius Modeling Environment.
EDCC
Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico, Brett Feddersen, William H. Sanders
2018 C conf
Supporting CPS Modeling Through a New Method for Solving Complex Non-holomorphic Equations.
MODELSWARD
Giulio Masetti, Simone Dutto, Silvano Chiaradonna, Felicita Di Giandomenico
2017 — conf
A Refinement Approach to Analyse Critical Cyber-Physical Systems.
SEFM Workshops
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
2017 A conf
A Stochastic Modeling Approach for an Efficient Dependability Evaluation of Large Systems with Non-anonymous Interconnected Components.
ISSRE
Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico
2017 — conf
Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming.
RSSRail
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
2017 C conf
Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain.
MODELSWARD
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
2017 — conf
FMCAT: Supporting Dynamic Service-based Product Lines.
SPLC (B)
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
2017 — conf
Model-Based Simulation in Möbius: An Efficient Approach Targeting Loosely Interconnected Components.
EPEW
Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico
2017 — conf
Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata.
SPLC (B)
Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Stefania Gnesi
2017 — conf
Specifying variability in service contracts.
VaMoS
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi, Pierpaolo Degano, Gian-Luigi Ferrari
2017 Misc conf
Statistical model checking of an energy-saving cyber-physical system in the railway domain.
SAC
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
2016 Misc conf
A multi-criteria ranking of security countermeasures.
SAC
Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Francesco Santini, Felicita Di Giandomenico, Fabio Martinelli, Andrea Bondavalli
2016 J jnl
A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems.
J. Rail Transp. Plan. Manag.
Davide Basile, Silvano Chiaradonna, Felicita Di Giandomenico, Stefania Gnesi
2016 J jnl
Achieving functional and non functional interoperability through synthesized connectors.
J. Syst. Softw.
Nicola Nostro, Romina Spalazzese, Felicita Di Giandomenico, Paola Inverardi
2016 — conf
Analyzing the Impact of Failures in the Electric Power Distribution Grid.
LADC
Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti
2016 J jnl
Efficient non-anonymus composition operator for modeling complex dependable systems.
CoRR
Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti
2016 — conf
Improving voltage control in MV smart grids.
SmartGridComm
Jun Xiao, Silvano Chiaradonna, Felicita Di Giandomenico, Andy D. Pimentel
2016 — conf
Quantification of the Effectiveness of Medium Voltage Control Policies in Smart Grids.
HASE
Silvano Chiaradonna, Felicita Di Giandomenico, Jun Xiao
2016 — conf
Tuning Energy Consumption Strategies in the Railway Domain: A Model-Based Approach.
ISoLA (2)
Davide Basile, Felicita Di Giandomenico, Stefania Gnesi
2015 — conf
Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System.
SERENE
Davide Basile, Silvano Chiaradonna, Felicita Di Giandomenico, Stefania Gnesi, Franco Mazzanti
2014 J jnl
Automated synthesis of dependable mediators for heterogeneous interoperable systems.
Reliab. Eng. Syst. Saf.
Felicita Di Giandomenico, Massimiliano Leone Itria, Paolo Masci, Nicola Nostro
2014 B ed.
Computer Safety, Reliability, and Security - 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings
SAFECOMP
Andrea Bondavalli, Felicita Di Giandomenico
2014 — conf
On Security Countermeasures Ranking through Threat Analysis.
SAFECOMP Workshops
Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Felicita Di Giandomenico, Fabio Martinelli, Andrea Bondavalli
2014 Misc conf
On a Modeling Approach to Analyze Resilience of a Smart Grid Infrastructure.
EDCC
Silvano Chiaradonna, Felicita Di Giandomenico, Nadir Murru
2014 — conf
Power Grid Outlier Treatment through Kalman Filter.
ISSRE Workshops
Cesario Di Sarno, Alessia Garofalo, Gianfranco Cerullo, Nadir Murru, Felicita Di Giandomenico, Silvano Chiaradonna
2013 J jnl
An Approach to Adaptive Dependability Assessment in Dynamic and Evolving Connected Systems.
Int. J. Adapt. Resilient Auton. Syst.
Felicita Di Giandomenico, Antonia Bertolino, Antonello Calabrò, Nicola Nostro
2013 — conf
Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning.
SERENE
Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Massimiliano Leone Itria
2013 J jnl
Stochastic assessment of power systems in presence of heterogeneity.
Int. J. Crit. Comput. Based Syst.
Silvano Chiaradonna, Felicita Di Giandomenico, Nicola Nostro
2012 Misc conf
Analysis of Electric Power Systems Accounting for Interdependencies in Heterogeneous Scenarios.
EDCC
Silvano Chiaradonna, Felicita Di Giandomenico, Nicola Nostro
2012 — ch.
Assessing Dependability and Resilience in Critical Infrastructures: Challenges and Opportunities.
Resilience Assessment and Evaluation of Computing Systems
Alberto Avritzer, Felicita Di Giandomenico, Anne Remke, Martin Riedl
2012 — ch.
Case Study on Critical Infrastructures: Assessment of Electric Power Systems.
Resilience Assessment and Evaluation of Computing Systems
Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini
2012 J jnl
Critical Utility Infrastructural Resilience
CoRR
Giovanna Dondossola, Geert Deconinck, Felicita Di Giandomenico, Susanna Donatelli, Mohamed Kaâniche, Paulo Veríssimo
2012 — ch.
Failure Diagnosis of Complex Systems.
Resilience Assessment and Evaluation of Computing Systems
Soila Kavulya, Kaustubh R. Joshi, Felicita Di Giandomenico, Priya Narasimhan
2012 — conf
Model-Based Assessment of Multi-region Electric Power Systems Showing Heterogeneous Characteristics.
SAFECOMP Workshops
Silvano Chiaradonna, Felicita Di Giandomenico, Nicola Nostro
2012 J jnl
Quantification of dependencies between electrical and information infrastructures.
Int. J. Crit. Infrastructure Prot.
Marco Beccuti, Silvano Chiaradonna, Felicita Di Giandomenico, Susanna Donatelli, Giovanna Dondossola, Giuliana Franceschinis
2012 — ch.
Verification and Analysis of Autonomic Systems for Networked Enterprises.
ArtDeco
Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giandomenico, Eda Marchetti, Antonino Sabetta, Paola Spoletini
2011 — conf
An Intelligent Maintenance based on Machine Learning Approach for Wireless and Mobile Systems.
WINSYS
Amine Chohra, Felicita Di Giandomenico, Stefano Porcarelli, Andrea Bondavalli
2011 C conf
Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems.
ISADS
Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Marco Martinucci, Paolo Masci
2011 J jnl
Definition, implementation and application of a model-based framework for analyzing interdependencies in electric power systems.
Int. J. Crit. Infrastructure Prot.
Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini
2011 — conf
Dependability and Performance Assessment of Dynamic CONNECTed Systems.
SFM
Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Nicola Nostro
2011 A conf
Modeling and analysis of the impact of failures in Electric Power Systems organized in interconnected regions.
DSN
Silvano Chiaradonna, Felicita Di Giandomenico, Nicola Nostro
2011 — conf
On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis.
SERENE
Paolo Masci, Nicola Nostro, Felicita Di Giandomenico
2011 — conf
On-the-Fly Dependable Mediation between Heterogeneous Networked Systems.
ICSOFT (Selected Papers)
Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Nicola Nostro, Paola Inverardi, Romina Spalazzese
2011 — ed.
Proceedings of the 13th European Workshop on Dependable Computing, EWDC '11, Pisa, Italy, May 11-12, 2011
EWDC
Felicita Di Giandomenico
2011 C conf
Towards Automated Dependability Analysis of Dynamically Connected Systems.
ISADS
Paolo Masci, Marco Martinucci, Felicita Di Giandomenico
2010 — conf
Dependability Analysis and Verification for Connected Systems.
ISoLA (2)
Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu
2010 Misc conf
Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities.
EDCC
Paolo Masci, Silvano Chiaradonna, Felicita Di Giandomenico
2010 — conf
Metrics for QoS analysis in dynamic, evolving and heterogeneous connected systems.
WODA
Antinisca Di Marco, Antonia Bertolino, Felicita Di Giandomenico, Paolo Masci, Antonino Sabetta
2009 J jnl
A Decomposition-Based Modeling Framework for Complex Systems.
IEEE Trans. Reliab.
Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico
2009 J jnl
Assessing the impact of interdependencies in electric power systems.
Int. J. Syst. Syst. Eng.
Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini
2008 B ed.
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]
WADS
Rogério de Lemos, Felicita Di Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira
2008 C conf
Interdependency Analysis in Electric Power Systems.
CRITIS
Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini
2007 B conf
Evaluation of Critical Infrastructures: Challenges and Viable Approaches.
WADS
Silvano Chiaradonna, Felicita Di Giandomenico, Paolo Lollini
2007 A conf
On a Modeling Framework for the Analysis of Interdependencies in Electric Power Systems.
DSN
Silvano Chiaradonna, Paolo Lollini, Felicita Di Giandomenico
2007 — conf
Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies.
HASE
Francesco Romani, Silvano Chiaradonna, Felicita Di Giandomenico, Luca Simoncini
2007 A conf
Workshop on Architecting Dependable Systems (WADS 2007).
DSN
Rogério de Lemos, Felicita Di Giandomenico, Cristina Gacek
2006 — conf
Dependability Evaluation of Web Service-Based Processes.
EPEW
László Gönczy, Silvano Chiaradonna, Felicita Di Giandomenico, András Pataricza, Andrea Bondavalli, Tamás Bartha
2006 B conf
Hidden Markov Models as a Support for Diagnosis: Formalization of the Problem and Synthesis of the Solution.
SRDS
Alessandro Daidone, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna
2005 J jnl
A Modeling Methodology for Hierarchical Control System and its Aplication.
J. Braz. Comput. Soc.
Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico
2005 J jnl
A hierarchical radio resource management framework for integrating WLANs in cellular networking environments.
IEEE Wirel. Commun.
George T. Karetsos, Sofoklis A. Kyriazakos, Evangelos Gkroustiotis, Felicita Di Giandomenico, Ivan Mura
2005 — conf
Evaluation of the Impact of Congestion on Service Availability in GPRS Infrastructures.
ISAS
Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico
2005 — conf
NekoStat extension to Neko: Quantitative Evaluation of Distributed Algorithms.
QEST
Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico
2005 — conf
Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension.
LADC
Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico
2004 — conf
A Modular Approach for Model-Based Dependability Evaluation of a Class of Systems.
ISAS
Stefano Porcarelli, Felicita Di Giandomenico, Paolo Lollini, Andrea Bondavalli
2004 — conf
Architectural challenges for a dependable Information Society.
IFIP Congress Topical Sessions
Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna
2004 C conf
Congestion analysis during outage, congestion treatment and outage recovery for simple GPRS networks.
ISCC
Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico, Stefano Porcarelli
2004 J jnl
Dependability modeling and evaluation of multiple-phased systems using DEEM.
IEEE Trans. Reliab.
Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Ivan Mura
2004 A conf
Fast Abstracts.
DSN
Felicita Di Giandomenico
2004 — conf
Model-based evaluation of a radio resource management system for wireless networks.
Conf. Computing Frontiers
Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli, Paolo Lollini
2003 B conf
A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems.
WADS
Stefano Porcarelli, Marco Castaldi, Felicita Di Giandomenico, Andrea Bondavalli, Paola Inverardi
2003 J jnl
Service-Level Availability Estimation of GPRS.
IEEE Trans. Mob. Comput.
Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli, Massimo Barbera, Ivan Mura
2002 J jnl
An adaptive approach to achieving hardware and software fault tolerance in a distributed computing environment.
J. Syst. Archit.
Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, J. Xu
2002 C conf
Analyzing quality of service of GPRS network systems from a user's perspective.
ISCC
Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli
2002 Misc conf
On the Effects of Outages on the QoS of GPRS Networks under Different User Characterizations.
EDCC
Stefano Porcarelli, Felicita Di Giandomenico
2001 C conf
Analysis and Estimation of the Quality of Service of Group Communication Protocols.
ISORC
Andrea Coccoli, Andrea Bondavalli, Felicita Di Giandomenico
2001 A conf
Analysis of the Effects of Outages on the Quality of Service of GPRS Network Systems.
DSN
F. Tataranni, Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli
2001 J jnl
Evaluation of Fault-Tolerant Multiprocessor Systems for High Assurance Applications.
Comput. J.
Fabrizio Grandoni, Silvano Chiaradonna, Felicita Di Giandomenico, Andrea Bondavalli
2001 — conf
Modeling and Analysis of the Behavior of GPRS Systems.
WORDS
F. Tataranni, Stefano Porcarelli, Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli
2001 — conf
Towards Optimal Database Maintenance in Wireless Communication Systems.
ISAS-SCI (1)
Amine Chohra, Felicita Di Giandomenico, Stefano Porcarelli, Andrea Bondavalli
2001 B conf
Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems.
SAFECOMP
Stefano Porcarelli, Felicita Di Giandomenico, Amine Chohra, Andrea Bondavalli
2000 C conf
A Position on Design, Methods, and Tools for Object-Oriented Real-Time Computing.
ISORC
Andrea Bondavalli, Felicita Di Giandomenico
2000 — conf
Analysis of group communication protocols to assess quality of service properties.
HASE
Andrea Coccoli, Stefan Schemmer, Felicita Di Giandomenico, Michael Mock, Andrea Bondavalli
2000 Misc conf
Evaluation of Integrated Error Processing and Fault Diagnosis in Multiprocessor Systems.
PDPTA
Felicita Di Giandomenico, Silvano Chiaradonna, Andrea Bondavalli, Fabrizio Grandoni
2000 C conf
Scheduling Solutions for Supporting Dependable Real-Time Applications.
ISORC
F. Sandrini, Felicita Di Giandomenico, Andrea Bondavalli, Edgar Nett
2000 J jnl
The meaning and role of value in scheduling flexible real-time systems.
J. Syst. Archit.
Alan Burns, Divya Prasad, Andrea Bondavalli, Felicita Di Giandomenico, Krithi Ramamritham, John A. Stankovic, Lorenzo Strigini
2000 J jnl
Threshold-Based Mechanisms to Discriminate Transient from Intermittent Faults.
IEEE Trans. Computers
Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Fabrizio Grandoni
1999 J jnl
A Contribution to the Evaluation of the Reliability of Iterative-Execution Software.
Softw. Test. Verification Reliab.
Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Lorenzo Strigini
1999 J jnl
An Optimal Value-Based Admission Policy and its Reflective Use in Real-Time Systems.
Real Time Syst.
Andrea Bondavalli, Felicita Di Giandomenico, Ivan Mura
1998 — conf
Optimal Discrimination between Transient and Permanent Faults.
HASE
Michele Pizza, Lorenzo Strigini, Andrea Bondavalli, Felicita Di Giandomenico
1998 C conf
State Restoration in a COTS-Based N-Modular Architecture.
ISORC
Andrea Bondavalli, Felicita Di Giandomenico, Fabrizio Grandoni, David Powell, Christophe Rabéjac
1997 — conf
A Scheduling Algorithm for Aperiodic Groups of Tasks in Distributed Real-Time Systems and its Holistic Analysis.
FTDCS
Paolo Bizzarri, Andrea Bondavalli, Felicita Di Giandomenico
1997 J jnl
Coordinated backward between client processes and data servers.
IEE Proc. Softw. Eng.
Lorenzo Strigini, Felicita Di Giandomenico, Alexander B. Romanovsky
1997 — conf
Discriminating Fault Rate and Persistency to Improve Fault Treatment.
FTCS
Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Fabrizio Grandoni
1997 — conf
Value-driven resource assignment in object-oriented real-time dependable systems.
WORDS
Andrea Bondavalli, Felicita Di Giandomenico, Ivan Mura
1996 — conf
Planning the Execution of Task Groups in Real-Time Systems.
RTS
Paolo Bizzarri, Andrea Bondavalli, Felicita Di Giandomenico, Fabio Tarini
1995 B conf
Dependability of Iterative Software: A Model for Evaluating the Effects of Input Correlation.
SAFECOMP
Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, S. La Torre
1994 B conf
Efficient Fault Tolerance: An Approach to Deal with Transient Faults in Multiprocessor Architectures.
ICPADS
Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico
1991 B conf
Flexible Schemes for Application-Level Fault Tolerance.
SRDS
Lorenzo Strigini, Felicita Di Giandomenico
1991 — conf
Implementations and Extensions of the Conversation Concept.
Fault-Tolerant Computing Systems
Felicita Di Giandomenico, Lorenzo Strigini
1990 B conf
Adjudicators for Diverse-Redundant Components.
SRDS
Felicita Di Giandomenico, Lorenzo Strigini
1988 J jnl
Gracefully Degradable Algorithm for Byzantine Agreement.
Comput. Syst. Sci. Eng.
Felicita Di Giandomenico, M. L. Guidotti, Fabrizio Grandoni, Luca Simoncini
1987 B conf
A Gracefully Degradable Algorithm for Byzantine Agreement.
SRDS
Felicita Di Giandomenico, M. L. Guidotti, Fabrizio Grandoni, Luca Simoncini