Domenico Cotroneo

Proceedings of the 1st IEEE Conference on Network Softwarization, 2015

Preventing recurrence of industrial control system accident using assurance case.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

MoIO: Run-time monitoring for I/O protocol violations in storage device drivers.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

The software aging and rejuvenation repository: Http: //openscience.us/repo/software-aging/.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

GRINDER: On Reusability of Fault Injection Tools.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE/ACM International Workshop on Automation of Software Test, 2015

Industry Practices and Event Logging: Assessment of a Critical Software Development Process.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

State-based robustness testing of IaaS cloud platforms.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Cloud Data and Platforms, 2015

Assessment of Defect Type influence in Complex and Integrated Space Systems: Analysis Based on ODC and ISVV Issues.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Dependable Systems and Networks Workshops, 2015

Impact of Malfunction on the Energy Efficiency of Batch Processing Systems.

[BibT_eX]

[DOI]

Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

A Reliable Crisis Information System to Share Data after the Event of a Large-Scale Disaster.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Computer and Information Technology, 2015

2014

A survey of software aging and rejuvenation studies.

[BibT_eX]

[DOI]

ACM J. Emerg. Technol. Comput. Syst., 2014

Filtering Security Alerts for the Analysis of a Production SaaS Cloud.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, 2014

An empirical study of injected versus actual interface errors.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2014

An Experiment with Conceptual Clustering for the Analysis of Security Alerts.

[BibT_eX]

[DOI]

Andrea Paudice

Santonu Sarkar

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Network Function Virtualization: Challenges and Directions for Reliability Assurance.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Improving Usability of Fault Injection.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Towards Patching Memory Leak Bugs in Off-The-Shelf Software.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Assessing Direct Monitoring Techniques to Analyze Failures of Critical Industrial Systems.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014

Event Logging in an Industrial Development Process: Practices and Reengineering Challenges.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

What Logs Should You Look at When an Application Fails? Insights from an Industrial Case Study.

[BibT_eX]

[DOI]

Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

2013

On Fault Representativeness of Software Fault Injection.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2013

Event Logs for the Analysis of Software Failures: A Rule-Based Approach.

[BibT_eX]

[DOI]

Antonio Pecchia

IEEE Trans. Software Eng., 2013

Combining Operational and Debug Testing for Improving Reliability.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2013

A measurement-based ageing analysis of the JVM.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2013

Predicting aging-related bugs using software complexity metrics.

[BibT_eX]

[DOI]

Perform. Evaluation, 2013

Testing techniques selection based on ODC fault types and software metrics.

[BibT_eX]

[DOI]

J. Syst. Softw., 2013

Fault Injection for Software Certification.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2013

On reliability in publish/subscribe services.

[BibT_eX]

[DOI]

Comput. Networks, 2013

Cost-Benefit Analysis of Virtualizing Batch Systems: Performance-Energy-Dependability Trade-Offs.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM 6th International Conference on Utility and Cloud Computing, 2013

State-Driven Testing of Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems - 17th International Conference, 2013

SABRINE: State-based robustness testing of operating systems.

[BibT_eX]

[DOI]

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Fault triggers in open-source software: An experience report.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Performance degradation analysis of a supercomputer.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Analysis and Prediction of Mandelbugs in an Industrial Software System.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

A learning-based method for combining testing techniques.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

Towards secure monitoring and control systems: Diversify!

[BibT_eX]

[DOI]

Antonio Pecchia

Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

Automatic collection of failure data from the iOS platform.

[BibT_eX]

[DOI]

Carlos Rodríguez-Domínguez

José Luis Garrido

Proceedings of the 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, 2013

2012

Automated Generation of Performance and Dependability Models for the Assessment of Wireless Sensor Networks.

[BibT_eX]

[DOI]

Catello Di Martino

IEEE Trans. Computers, 2012

A Preliminary Fault Injection Framework for Evaluating Multicore Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2012

Monitoring of Aging Software Systems Affected by Integer Overflows.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

On the Aging Effects Due to Concurrency Bugs: A Case Study on MySQL.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Experimental Analysis of Binary-Level Software Fault Injection in Complex Software.

[BibT_eX]

[DOI]

Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012

Assessing time coalescence techniques for the analysis of supercomputer logs.

[BibT_eX]

[DOI]

Catello Di Martino

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012

A logging framework for the on-line failure analysis of Android smart phones.

[BibT_eX]

[DOI]

Alessandro Testa

Proceedings of the 1st European Workshop on AppRoaches to MObiquitous Resilience, 2012

2011

OS-level hang detection in complex software systems.

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2011

Identifying Compromised Users in Shared Computing Infrastructures: A Data-Driven Bayesian Network Approach.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems (SRDS 2011), 2011

A Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2011

Architecture-Based Criticality Assessment of Software Systems.

[BibT_eX]

[DOI]

Proceedings of the 5th Latin-American Symposium on Dependable Computing, 2011

Investigation on Safety-Related Standards for Critical Systems.

[BibT_eX]

[DOI]

Nuno Silva

Proceedings of the 2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29, 2011

Software Aging and Rejuvenation: Where We Are and Where We Are Going.

[BibT_eX]

[DOI]

Proceedings of the IEEE Third International Workshop on Software Aging and Rejuvenation, 2011

The PreCertification Kit for Operating Systems in Safety Domains.

[BibT_eX]

[DOI]

Proceedings of the 2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29, 2011

Workload Characterization for Software Aging Analysis.

[BibT_eX]

[DOI]

Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Error detection framework for complex software systems.

[BibT_eX]

[DOI]

Proceedings of the 13th European Workshop on Dependable Computing, 2011

Improving Log-based Field Failure Data Analysis of multi-node computing systems.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

5th International workshop on adaptive and dependable mobile ubiquitous systems ADAMUS 2011.

[BibT_eX]

[DOI]

Vincenzo De Florio

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), 2011

2010

Architectural Evolution of Monitor and Control Systems - Issues and Challenges.

[BibT_eX]

[DOI]

Netw. Protoc. Algorithms, 2010

Memory leak analysis of mission-critical middleware.

[BibT_eX]

[DOI]

J. Syst. Softw., 2010

A Method to Support Fault Tolerance Design in Service Oriented Computing Systems.

[BibT_eX]

[DOI]

Int. J. Syst. Serv. Oriented Eng., 2010

Resilient and Timely Event Dissemination in Publish/Subscribe Middleware.

[BibT_eX]

[DOI]

Int. J. Adapt. Resilient Auton. Syst., 2010

An Investigation on Flexible Communications in Publish/Subscribe Services.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2010

Software Aging Analysis of the Linux Operating System.

[BibT_eX]

[DOI]

Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

Is software aging related to software metrics?

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Workshop on Software Aging and Rejuvenation, 2010

Reliable Event Dissemination over Wide-Area Networks without Severe Performance Fluctuations.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

An effective approach for injecting faults in wireless sensor network operating systems.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Symposium on Computers and Communications, 2010

Field Data Based Modeling of Sender Based Message Logging Protocols for Supercomputers Checkpointing.

[BibT_eX]

[DOI]

Catello Di Martino

Proceedings of the 30th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2010 Workshops), 2010

Emulation of Transient Software Faults for Dependability Assessment: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Eighth European Dependable Computing Conference, 2010

Representativeness analysis of injected software faults in complex software.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

Adaptive monitoring in microkernel OSs.

[BibT_eX]

[DOI]

Domenico Di Leo

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2010), Chicago, Illinois, USA, June 28, 2010

Assessing and improving the effectiveness of logs for the analysis of software faults.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

2009

Self-adaptive handoff management for mobile streaming continuity.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Serv. Manag., 2009

Calibrating RSS-Based Indoor Positioning Systems.

[BibT_eX]

[DOI]

Massimo Ficco

Proceedings of the 5th IEEE International Conference on Wireless and Mobile Computing, 2009

Assessment and Improvement of Hang Detection in the Linux Operating System.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), 2009

AVR-INJECT: A tool for injecting faults in Wireless Sensor Nodes.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Reliable publish/subscribe middleware for time-sensitive internet-scale applications.

[BibT_eX]

[DOI]

Aniruddha S. Gokhale

Proceedings of the Third ACM International Conference on Distributed Event-Based Systems, 2009

2008

Securing services in nomadic computing environments.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2008

Dependability Evaluation and Modeling of the Bluetooth Data Communication Channel.

[BibT_eX]

[DOI]

Proceedings of the 16th Euromicro International Conference on Parallel, 2008

An experiment in memory leak analysis with a mission-critical middleware for air traffic control.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Reliability Engineering Workshops, 2008

Software Faults Diagnosis in Complex OTS Based Safety Critical Systems.

[BibT_eX]

[DOI]

Gabriella Carrozza

Proceedings of the Seventh European Dependable Computing Conference, 2008

2007

The Esperanto Broker: a communication platform for nomadic computing systems.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2007

UbiComp 2006 Workshops, Part 1.

[BibT_eX]

[DOI]

Kristof Van Laerhoven

Sanggoog Lee

IEEE Pervasive Comput., 2007

Design and implementation of a high performance architecture for providing digital time stamping services to mobile devices.

[BibT_eX]

Comput. Syst. Sci. Eng., 2007

Characterizing Aging Phenomena of the Java Virtual Machine.

[BibT_eX]

[DOI]

Salvatore Orlando

Proceedings of the 26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), 2007

Modeling and Assessing the Dependability ofWireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), 2007

Investigation of failure causes in workload-driven reliability testing.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Software Quality Assurance, 2007

How Do Mobile Phones Fail? A Failure Data Analysis of Symbian OS Smart Phones.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2006

Automated Logging of Mobile Phones Failures Data.

[BibT_eX]

[DOI]

Paolo Ascione

Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

Failure classification and analysis of the Java Virtual Machine.

[BibT_eX]

[DOI]

Salvatore Orlando

Proceedings of the 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), 2006

The Hide and Seek Field Data Game.

[BibT_eX]

[DOI]

Proceedings of the Sixth European Dependable Computing Conference, 2006

Collecting and Analyzing Failure Data of Bluetooth Personal Area Networks.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

2005

Achieving all the time, everywhere access in next-generation mobile networks.

[BibT_eX]

[DOI]

ACM SIGMOBILE Mob. Comput. Commun. Rev., 2005

Reliable Monitoring of Network-related Performance Parameters inWireless Environments.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

A Strategy for Application-Transparent Integration of Nomadic Computing Domains.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2005

Mobility Management and Communication Support for Nomadic Applications.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

Integrated support for handoff management and context awareness in heterogeneous wireless networks.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Middleware for Pervasive and Ad-hoc Computing (MPAC 2005), held at the ACM/IFIP/USENIX 6th International Middleware Conference, November 28, 2005

An Automated Distributed Infrastructure for Collecting Bluetooth Field Failure Data.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

A User-Driven Adaptation Strategy for Mobile Video Streaming Applications.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 2005

CSAR-2: A Case Study of Parallel File System Dependability Analysis.

[BibT_eX]

[DOI]

Proceedings of the High Performance Computing and Communications, 2005

A Communication Broker for Nomadic Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the High Performance Computing and Communications, 2005

ESPERANTO: a middleware platform to achieve interoperability in nomadic computing domains.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

2004

Effective Fault Treatment for Improving the Dependability of COTS and Legacy-Based Applications.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2004

Implementing Positioning Services over an Ubiquitous Infrastructure.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2004

A Distributed Object Platform to Achieve Nomadic Interactions.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004

Security requirements in service oriented architectures for ubiquitous computing.

[BibT_eX]

[DOI]

Almerindo Graziano

Proceedings of the 2nd Workshop on Middleware for Pervasive and Ad-hoc Computing, 2004

2003

A real time-based architecture for qos multimedia provisioning.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2003

An Enhanced Service Oriented Architecture for Developing Web-based Applications.

[BibT_eX]

[DOI]

J. Web Eng., 2003

An architecture for security-oriented perfective maintenance of legacy software.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2003

Improving Dependability of Service Oriented Architectures for Pervasive Computing.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 2003

Providing Digital Time Stamping Services to Mobile Devices.

[BibT_eX]

[DOI]

Giacinto Paolo Saggese

Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 2003

Modeling and Detecting Failures in Next-generation Distributed Multimedia Applications.

[BibT_eX]

[DOI]

Proceedings of the 22nd Symposium on Reliable Distributed Systems (SRDS 2003), 2003

A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Dependable Computing, First Latin-American Symposium, 2003

2002

Building a dependable system from a legacy application with CORBA.

[BibT_eX]

[DOI]

J. Syst. Archit., 2002

A fault tolerant access to legacy database systems using CORBA technology.

[BibT_eX]

Comput. Syst. Sci. Eng., 2002

Service Differentiation of Communication-bound Processes in a Real-Time Operating System.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002

Implementation of Threshold-based Diagnostic Mechanisms for COTS-Based Applications.

[BibT_eX]

[DOI]

Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

Integration of Legacy Client-Server Applications in a Secure Multi-Tier Architecture.

[BibT_eX]

[DOI]

Proceedings of the 10th Euromicro Workshop on Parallel, 2002

A Jini Framework for Distributed Service Flexibility.

[BibT_eX]

[DOI]