Felicita Di Giandomenico
Orcid: 0000-0002-8760-7299
According to our database1,
Felicita Di Giandomenico
authored at least 128 papers
between 1988 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Quality of Information and Communications Technology, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024
2023
Inf. Softw. Technol., December, 2023
Security-Informed Safety Analysis of Autonomous Transport Systems Considering AI-Powered Cyberattacks and Protection.
Entropy, August, 2023
IEEE Trans. Reliab., 2023
Safety and Cybersecurity Assessment Techniques for Critical Industries: A Mapping Study.
IEEE Access, 2023
Dependability Analysis of UPS Architectures for the Italian Railway Signaling System.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2023
Proceedings of the 13th International Conference on Dependable Systems, 2023
Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2023
2022
TAPAS: a Tool for Stochastic Evaluation of Large Interdependent Composed Models with Absorbing States.
SIGMETRICS Perform. Evaluation Rev., 2022
Redundancy-based intrusion tolerance approaches moving from classical fault tolerance methods.
Int. J. Appl. Math. Comput. Sci., 2022
Random Bad State Estimator to Address False Data Injection in Critical Infrastructures.
Proceedings of the 27th IEEE Pacific Rim International Symposium on Dependable Computing, 2022
Solution Bundles of Markov Performability Models through Adaptive Cross Approximation.
Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022
2021
Enhancing sustainability of the railway infrastructure: Trading energy saving and unavailability through efficient switch heating policies.
Sustain. Comput. Informatics Syst., 2021
SIGMETRICS Perform. Evaluation Rev., 2021
On identity-aware replication in stochastic modeling for simulation-based dependability analysis of large interconnected systems.
Perform. Evaluation, 2021
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021
Proceedings of the 14th International Conference on Computational Intelligence in Security for Information Systems and 12th International Conference on European Transnational Educational (CISIS 2021 and ICEUTE 2021), 2021
2020
Sci. Comput. Program., 2020
Proceedings of the IEEE International Conference on Smart Computing, 2020
Trading dependability and energy consumption in critical infrastructures: focus on the rail switch heating system.
Proceedings of the 25th IEEE Pacific Rim International Symposium on Dependable Computing, 2020
Analyzing Forward Robustness of Feedforward Deep Neural Networks with LeakyReLU Activation Function Through Symbolic Propagation.
Proceedings of the ECML PKDD 2020 Workshops, 2020
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
2019
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019
A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector.
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
Stochastic Evaluation of Large Interdependent Composed Models Through Kronecker Algebra and Exponential Sums.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019
2018
Softw. Qual. J., 2018
Supporting CPS Modeling Through a New Method for Solving Complex Non-holomorphic Equations.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018
Proceedings of the 14th European Dependable Computing Conference, 2018
2017
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, 2017
Proceedings of the 21st International Systems and Software Product Line Conference, 2017
Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017
Proceedings of the Software Engineering and Formal Methods, 2017
Statistical model checking of an energy-saving cyber-physical system in the railway domain.
Proceedings of the Symposium on Applied Computing, 2017
Dependable Dynamic Routing for Urban Transport Systems Through Integer Linear Programming.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017
Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017
A Stochastic Modeling Approach for an Efficient Dependability Evaluation of Large Systems with Non-anonymous Interconnected Components.
Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017
Model-Based Simulation in Möbius: An Efficient Approach Targeting Loosely Interconnected Components.
Proceedings of the Computer Performance Engineering - 14th European Workshop, 2017
2016
Achieving functional and non functional interoperability through synthesized connectors.
J. Syst. Softw., 2016
A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems.
J. Rail Transp. Plan. Manag., 2016
CoRR, 2016
Proceedings of the 2016 IEEE International Conference on Smart Grid Communications, 2016
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
Proceedings of the 2016 Seventh Latin-American Symposium on Dependable Computing, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
Quantification of the Effectiveness of Medium Voltage Control Policies in Smart Grids.
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016
2015
Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System.
Proceedings of the Software Engineering for Resilient Systems - 7th International Workshop, 2015
2014
Reliab. Eng. Syst. Saf., 2014
Proceedings of the Computer Safety, Reliability, and Security, 2014
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014
Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014
2013
Int. J. Crit. Comput. Based Syst., 2013
An Approach to Adaptive Dependability Assessment in Dynamic and Evolving Connected Systems.
Int. J. Adapt. Resilient Auton. Syst., 2013
Proceedings of the Software Engineering for Resilient Systems, 5th International Workshop, 2013
2012
Proceedings of the Methodologies and Technologies for Networked Enterprises, 2012
Int. J. Crit. Infrastructure Prot., 2012
Model-Based Assessment of Multi-region Electric Power Systems Showing Heterogeneous Characteristics.
Proceedings of the Computer Safety, Reliability, and Security, 2012
Analysis of Electric Power Systems Accounting for Interdependencies in Heterogeneous Scenarios.
Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012
Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012
Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012
Assessing Dependability and Resilience in Critical Infrastructures: Challenges and Opportunities.
Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012
2011
Definition, implementation and application of a model-based framework for analyzing interdependencies in electric power systems.
Int. J. Crit. Infrastructure Prot., 2011
An Intelligent Maintenance based on Machine Learning Approach for Wireless and Mobile Systems.
Proceedings of the WINSYS 2011, 2011
Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011
On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis.
Proceedings of the Software Engineering for Resilient Systems, 2011
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011
Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011
Proceedings of the Software and Data Technologies - 6th International Conference, 2011
Modeling and analysis of the impact of failures in Electric Power Systems organized in interconnected regions.
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011
2010
Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2010), 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities.
Proceedings of the Eighth European Dependable Computing Conference, 2010
2009
IEEE Trans. Reliab., 2009
Int. J. Syst. Syst. Eng., 2009
2008
Proceedings of the Critical Information Infrastructure Security, 2008
2007
Proceedings of the 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], 2007
Simulation Models and Implementation of a Simulator for the Performability Analysis of Electric Power Systems Considering Interdependencies.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007
On a Modeling Framework for the Analysis of Interdependencies in Electric Power Systems.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007
2006
Hidden Markov Models as a Support for Diagnosis: Formalization of the Problem and Synthesis of the Solution.
Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), 2006
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2006
2005
A hierarchical radio resource management framework for integrating WLANs in cellular networking environments.
IEEE Wirel. Commun., 2005
J. Braz. Comput. Soc., 2005
Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005
Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension.
Proceedings of the Dependable Computing, Second Latin-American Symposium, 2005
Evaluation of the Impact of Congestion on Service Availability in GPRS Infrastructures.
Proceedings of the Service Availability, 2005
2004
IEEE Trans. Reliab., 2004
Congestion analysis during outage, congestion treatment and outage recovery for simple GPRS networks.
Proceedings of the 9th IEEE Symposium on Computers and Communications (ISCC 2006), June 28, 2004
Proceedings of the Service Availability, 2004
Proceedings of the Building the Information Society, 2004
Fast Abstracts.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004
Proceedings of the First Conference on Computing Frontiers, 2004
2003
Proceedings of the Architecting Dependable Systems II, 2003
2002
An adaptive approach to achieving hardware and software fault tolerance in a distributed computing environment.
J. Syst. Archit., 2002
Proceedings of the Seventh IEEE Symposium on Computers and Communications (ISCC 2002), 2002
On the Effects of Outages on the QoS of GPRS Networks under Different User Characterizations.
Proceedings of the Dependable Computing, 2002
2001
Comput. J., 2001
Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001
Proceedings of the Computer Safety, 2001
Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2001
Towards Optimal Database Maintenance in Wireless Communication Systems.
Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics, 2001
Analysis of the Effects of Outages on the Quality of Service of GPRS Network Systems.
Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001
2000
IEEE Trans. Computers, 2000
J. Syst. Archit., 2000
Evaluation of Integrated Error Processing and Fault Diagnosis in Multiprocessor Systems.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000
Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000
Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000
Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000
1999
Softw. Test. Verification Reliab., 1999
Real Time Syst., 1999
1998
Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998
Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998
1997
IEE Proc. Softw. Eng., 1997
Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997
A Scheduling Algorithm for Aperiodic Groups of Tasks in Distributed Real-Time Systems and its Holistic Analysis.
Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997
Proceedings of the Digest of Papers: FTCS-27, 1997
1996
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996
1995
Dependability of Iterative Software: A Model for Evaluating the Effects of Input Correlation.
Proceedings of the 14th International Conference on Computer Safety, 1995
1994
Efficient Fault Tolerance: An Approach to Deal with Transient Faults in Multiprocessor Architectures.
Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994
1991
Proceedings of the Tenth Symposium on Reliable Distributed Systems, 1991
Proceedings of the Fault-Tolerant Computing Systems, Tests, Diagnosis, 1991
1990
Proceedings of the Ninth Symposium on Reliable Distributed Systems, 1990
1988
Gracefully Degradable Algorithm for Byzantine Agreement.
Comput. Syst. Sci. Eng., 1988