2026
2025
Automatic Generation of Plausible Co-Occurring Causes for Effects Explanation or Prediction
ACM Trans. Intell. Syst. Technol., vol: 16, 2025
Association for Computing Machinery
Journal Papers
CGP-Tuning: Structure-Aware Soft Prompt Tuning for Code Vulnerability Detection
IEEE Transactions on Software Engineering, vol: 51, pages: 2533-2548, 2025
IEEE Computer Society
Journal Papers
COSMOS: A Fault Injection Framework to Assess Hardware-Assisted Hypervisors
IEEE Transactions on Dependable and Secure Computing, vol: 22, pages: 7448-7462, 2025
Journal Papers
Enhancing robustness of AI offensive code generators via data augmentation
Empir. Softw. Eng., vol: 30, pages: 7, 2025
Journal Papers
Causal reasoning in Software Quality Assurance: A systematic review
Information and Software Technology, vol: 178, pages: 107599, 2025
Journal Papers
2024
AI Code Generators for Security: Friend or Foe?
IEEE Security & Privacy, pages: 2-10, 2024
Journal Papers
Performance and Availability Challenges in Designing Resilient 5G Architectures
IEEE Transactions on Network and Service Management, pages: 1-1, 2024
Journal Papers
Reinforcement learning for online testing of autonomous driving systems: a replication and extension study
Empirical Software Engineering, vol: 30, pages: 19, 2024
Journal Papers
Federated learning for IoT devices: Enhancing TinyML with on-board training
Information Fusion, vol: 104, pages: 102189, 2024
Journal Papers
Causality-Driven Testing of Autonomous Driving Systems
ACM Trans. Softw. Eng. Methodol., 2024
Association for Computing Machinery
Journal Papers
Temporal isolation assessment in virtualized safety-critical mixed-criticality systems: A case study on Xen hypervisor
Elsevier Journal of Systems and Software (JSS), pages: 112147, 2024
Journal Papers
DeVAIC: A tool for security assessment of AI-generated code
Information and Software Technology, pages: 107572, 2024
Journal Papers
Automating the correctness assessment of AI-generated code for security contexts
Journal of Systems and Software, vol: 216, pages: 112113, 2024
Journal Papers
Automated functional and robustness testing of microservice architectures
Journal of Systems and Software, vol: 207, pages: 111857, 2024
Journal Papers
Criticality-aware monitoring and orchestration for containerized industry 4.0 environments
ACM Transactions on Embedded Computing Systems (TECS), vol: 23, pages: 1--28, 2024
ACM
Journal Papers
Monitoring tools for DevOps and microservices: A systematic grey literature review
Journal of Systems and Software (JSS), pages: 111906, 2024
Elsevier
Journal Papers
2023
Who evaluates the evaluators? On automatic metrics for assessing AI-based offensive code generators
Expert Systems with Applications (ESWA), vol: 225, pages: 120073, 2023
Elsevier
Journal Papers
LSTM-based failure prediction for railway rolling stock equipment
Expert Systems with Applications (ESWA), vol: 222, pages: 119767, 2023
Elsevier
Journal Papers
Assessing operational accuracy of CNN-based image classifiers using an oracle surrogate
Intelligent Systems with Applications (ISWA), vol: 17, pages: 200172, 2023
Elsevier
Journal Papers
Enabling memory access isolation in real-time cloud systems using Intel's detection/regulation capabilities
Journal of Systems Architecture (JSA), vol: 137, pages: 102848, 2023
Elsevier
Journal Papers
Run-time failure detection via non-intrusive event analysis in a large-scale cloud computing platform
Journal of Systems and Software (JSS), vol: 198, pages: 111611, 2023
Elsevier
Journal Papers
DevOpRET: Continuous reliability testing in DevOps
J. Softw. Evol. Process., vol: 35, 2023
Wiley Online Library
Journal Papers
A Comparative Analysis of Software Aging in Image Classifiers on Cloud and Edge
IEEE Transactions on Dependable and Secure Computing (TDSC), vol: 20, pages: 563--573, 2023
IEEE
Journal Papers
Survivability Analysis of IoT Systems Under Resource Exhausting Attacks
IEEE Trans. Inf. Forensics Secur., vol: 18, pages: 3277--3288, 2023
IEEE
Journal Papers
A Latency-Driven Availability Assessment for Multi-Tenant Service Chains
IEEE Trans. Serv. Comput., vol: 16, pages: 815--829, 2023
IEEE
Journal Papers
Evaluating virtualization for fog monitoring of real-time applications in mixed-criticality systems
Real-Time Systems, pages: 1--34, 2023
Springer
Journal Papers
Multi-Provider IMS Infrastructure with Controlled Redundancy: A Performability Evaluation
IEEE Transactions on Network and Service Management (TNSM), Early Access, 2023
IEEE
Journal Papers
2022
Can we generate shellcodes via natural language? An empirical study
Autom. Softw. Eng., vol: 29, pages: 30, 2022
Springer
Journal Papers
Virtualization Over Multiprocessor Systems-on-Chip: An Enabling Paradigm for the Industrial Internet of Things
Computer, vol: 55, pages: 35--47, 2022
IEEE
Journal Papers
A Survey of Field-based Testing Techniques
ACM Comput. Surv., vol: 54, pages: 92:1--92:39, 2022
dl.acm.org
Journal Papers
StateAFL: Greybox fuzzing for stateful network servers
Empir. Softw. Eng., vol: 27, pages: 191, 2022
Springer
Journal Papers
Virtualizing mixed-criticality systems: A survey on industrial trends and issues
Future Generation Computer Systems (FGCS), vol: 129, pages: 315--330, 2022
Elsevier
Journal Papers
SLA-Driven Software Orchestration in Industry 4.0
IEEE Internet Things Mag., vol: 5, pages: 136--141, 2022
IEEE
Journal Papers
Micro2vec: Anomaly detection in microservices systems by mining numeric representations of computer logs
J. Netw. Comput. Appl., vol: 208, pages: 103515, 2022
Elsevier
Journal Papers
ThorFI: a Novel Approach for Network Fault Injection as a Service
J. Netw. Comput. Appl., vol: 201, pages: 103334, 2022
Elsevier
Journal Papers
Software micro-rejuvenation for Android mobile systems
Journal of Systems and Software (JSS), vol: 186, pages: 111181, 2022
Elsevier
Journal Papers
Fault Injection Analytics: A Novel Approach to Discover Failure Modes in Cloud-Computing Systems
IEEE Transactions on Dependable and Secure Computing (TDSC), vol: 19, pages: 1476--1491, 2022
IEEE
Journal Papers
FUSION - Fog Computing and Blockchain for Trusted Industrial Internet of Things
IEEE Transactions on Engineering Management (IEEE-TEM), vol: 69, pages: 2944--2958, 2022
IEEE
Journal Papers
Microservices Monitoring with Event Logs and Black Box Execution Tracing
IEEE Trans. Serv. Comput., vol: 15, pages: 294--307, 2022
IEEE
Journal Papers
2021
Timing covert channel analysis of the VxWorks MILS embedded hypervisor under the common criteria security certification
Computers & Security (COSE), vol: 106, pages: 102307, 2021
Elsevier
Journal Papers
A graph-based approach to detect unexplained sequences in a log
Expert Systems with Applications (ESWA), vol: 171, pages: 114556, 2021
Elsevier
Journal Papers
Enhancing the analysis of software failures in cloud computing systems with deep learning
Journal of Systems and Software (JSS), vol: 181, pages: 111043, 2021
Elsevier
Journal Papers
Dependability Assessment of the Android OS Through Fault Injection
IEEE Transactions on Reliability (TR), vol: 70, pages: 346--361, 2021
IEEE
Journal Papers
Adaptive Test Case Allocation, Selection and Generation Using Coverage Spectrum and Operational Profile
IEEE Transactions on Software Engineering (TSE), vol: 47, pages: 881--898, 2021
IEEE
Journal Papers
2020
Blockchain-empowered decentralised trust management for the Internet of Vehicles security
Comput. Electr. Eng., vol: 86, pages: 106722, 2020
Elsevier
Journal Papers
An empirical analysis of error propagation in critical software systems
Empir. Softw. Eng., vol: 25, pages: 2450--2484, 2020
Springer
Journal Papers
A comprehensive study on software aging across android versions and vendors
Empir. Softw. Eng., vol: 25, pages: 3357--3395, 2020
Springer
Journal Papers
Contextual filtering and prioritization of computer application logs for security situational awareness
Future Generation Computer Systems (FGCS), vol: 111, pages: 668--680, 2020
Elsevier
Journal Papers
On the testing resource allocation problem: Research trends and perspectives
Journal of Systems and Software (JSS), vol: 161, 2020
Elsevier
Journal Papers
Discovering process models for the analysis of application failures under uncertainty of event logs
Knowl. Based Syst., vol: 189, 2020
Elsevier
Journal Papers
Reliability assessment of service-based software under operational profile uncertainty
Reliab. Eng. Syst. Saf., vol: 204, pages: 107193, 2020
Elsevier
Journal Papers
A survey on software aging and rejuvenation in the cloud
Softw. Qual. J., vol: 28, pages: 7--38, 2020
Springer
Journal Papers
Testing microservice architectures for operational reliability
Softw. Test. Verification Reliab., vol: 30, 2020
Wiley Online Library
Journal Papers
Security Log Analysis in Critical Industrial Systems Exploiting Game Theoretic Feature Selection and Evidence Combination
IEEE Trans. Ind. Informatics, vol: 16, pages: 3871--3880, 2020
IEEE
Journal Papers
Assessing Invariant Mining Techniques for Cloud-Based Utility Computing Systems
IEEE Trans. Serv. Comput., vol: 13, pages: 44--58, 2020
IEEE
Journal Papers
Analyzing the Effects of Bugs on Software Interfaces
IEEE Transactions on Software Engineering (TSE), vol: 46, pages: 280--301, 2020
IEEE
Journal Papers
2019
Evolutionary Fuzzing of Android OS Vendor System Services
Empir. Softw. Eng., vol: 24, pages: 3630--3658, 2019
Springer
Journal Papers
A framework for on-line timing error detection in software systems
Future Generation Computer Systems (FGCS), vol: 90, pages: 521--538, 2019
Elsevier
Journal Papers
Overload control for virtual network functions under CPU contention
Future Generation Computer Systems (FGCS), vol: 99, pages: 164--176, 2019
Elsevier
Journal Papers
On Data Sovereignty in Cloud-Based Computation Offloading for Smart Cities Applications
IEEE Internet Things J., vol: 6, pages: 4521--4535, 2019
IEEE
Journal Papers
Linux page fault analysis in android systems
Microprocess. Microsystems, vol: 66, pages: 10--18, 2019
Elsevier
Journal Papers
Empirical Analysis and Validation of Security Alerts Filtering Techniques
IEEE Transactions on Dependable and Secure Computing (TDSC), vol: 16, pages: 856--870, 2019
IEEE
Journal Papers
2018
Hybrid Simulation and Test of Vessel Traffic Systems on the Cloud
IEEE Access, vol: 6, pages: 47273--47287, 2018
IEEE
Journal Papers
Cloud Reliability: Possible Sources of Security and Legal Issues?
IEEE Cloud Comput., vol: 5, pages: 31--38, 2018
IEEE
Journal Papers
Aging-related performance anomalies in the apache storm stream processing system
Future Generation Computer Systems (FGCS), vol: 86, pages: 975--994, 2018
Elsevier
Journal Papers
A software quality framework for large-scale mission-critical systems engineering
Inf. Softw. Technol., vol: 102, pages: 100--116, 2018
Elsevier
Journal Papers
Faultprog: Testing the Accuracy of Binary-Level Software Fault Injection
IEEE Transactions on Dependable and Secure Computing (TDSC), vol: 15, pages: 40--53, 2018
IEEE
Journal Papers
Learning from the Ones that Got Away: Detecting New Forms of Phishing Attacks
IEEE Transactions on Dependable and Secure Computing (TDSC), vol: 15, pages: 988--1001, 2018
IEEE
Journal Papers
Multiobjective Testing Resource Allocation Under Uncertainty
IEEE Trans. Evol. Comput., vol: 22, pages: 347--362, 2018
IEEE
Journal Papers
Run-Time Detection of Protocol Bugs in Storage I/O Device Drivers
IEEE Transactions on Reliability (TR), vol: 67, pages: 847--869, 2018
IEEE
Journal Papers
2017
GAMESH: A grid architecture for scalable monitoring and enhanced dependable job scheduling
Future Generation Computer Systems (FGCS), vol: 71, pages: 192--201, 2017
Elsevier
Journal Papers
Optimized task allocation on private cloud for hybrid simulation of large-scale critical systems
Future Generation Computer Systems (FGCS), vol: 74, pages: 104--118, 2017
Elsevier
Journal Papers
On the injection of hardware faults in virtualized multicore systems
J. Parallel Distributed Comput., vol: 106, pages: 50--61, 2017
Elsevier
Journal Papers
A Formal Methodology to Design and Deploy Dependable Wireless Sensor Networks
Sensors, vol: 17, pages: 19, 2017
mdpi.com
Journal Papers
NFV-Throttle: An Overload Control Framework for Network Function Virtualization
IEEE Transactions on Network and Service Management (TNSM), vol: 14, pages: 949--963, 2017
IEEE
Journal Papers
NFV-Bench: A Dependability Benchmark for Network Function Virtualization Systems
IEEE Transactions on Network and Service Management (TNSM), vol: 14, pages: 934--948, 2017
IEEE
Journal Papers
2016
Assessing Dependability with Software Fault Injection: A Survey
ACM Computing Surveys, vol: 48, pages: 44:1--44:55, 2016
dl.acm.org
Journal Papers
Automated root cause identification of security alerts: Evaluation in a SaaS Cloud
Future Generation Computer Systems (FGCS), vol: 56, pages: 375--387, 2016
Elsevier
Journal Papers
How do bugs surface? A comprehensive study on the characteristics of software bugs manifestation
Journal of Systems and Software (JSS), vol: 113, pages: 27--43, 2016
Elsevier
Journal Papers
Using multi-objective metaheuristics for the optimal selection of positioning systems
Soft Computing, vol: 20, pages: 2641--2664, 2016
Springer
Journal Papers
To Cloudify or Not to Cloudify: The Question for a Scientific Data Center
IEEE Transactions on Cloud Computing (TCC), vol: 4, pages: 90--103, 2016
IEEE
Journal Papers
Characterizing Direct Monitoring Techniques in Software Systems
IEEE Transactions on Reliability (TR), vol: 65, pages: 1665--1681, 2016
IEEE
Journal Papers
Recovery From Software Failures Caused by Mandelbugs
IEEE Transactions on Reliability (TR), vol: 65, pages: 70--87, 2016
IEEE
Journal Papers
RELAI Testing: A Technique to Assess and Improve Software Reliability
IEEE Transactions on Software Engineering (TSE), vol: 42, pages: 452--475, 2016
IEEE
Journal Papers
2015
Heuristic strategies for assessing wireless sensor network resiliency: an event-based formal approach
J. Heuristics, vol: 21, pages: 145--175, 2015
Springer
Journal Papers
Defect analysis in mission-critical software systems: a detailed investigation
J. Softw. Evol. Process., vol: 27, pages: 22--49, 2015
John Wiley & Sons
Journal Papers
2014
A survey of software aging and rejuvenation studies
ACM J. Emerg. Technol. Comput. Syst., vol: 10, pages: 8:1--8:34, 2014
Journal Papers
An OS-level framework for anomaly detection in complex software systems
IEEE Transactions on Dependable and Secure Computing (TDSC), vol: 12, pages: 366--372, 2014
IEEE
Journal Papers
Dynamic test planning: a study in an industrial context
International Journal on Software Tools for Technology Transfer, vol: 16, pages: 593--607, 2014
Springer
Journal Papers
Heuristic strategies for assessing wireless sensor network resiliency: an event-based formal approach
Journal of Heuristics, pages: 1-31, 2014
Springer US
Journal Papers
2013
A Failure Modes and Effects Analysis of Mobile Health Monitoring Systems
pages: 569--582, 2013
Springer New York
Journal Papers
Engineering air traffic control systems with a model-driven approach
Software, IEEE, vol: 30, pages: 42--48, 2013
IEEE
Journal Papers
Event logs for the analysis of software failures: A rule-based approach
Software Engineering, IEEE Transactions on, vol: 39, pages: 806--821, 2013
IEEE
Journal Papers
Context data distribution with quality guarantees for Android-based mobile systems
Security and Communication Networks, vol: 6, pages: 450--460, 2013
Wiley Online Library
Journal Papers
Combining operational and debug testing for improving reliability
Reliability, IEEE Transactions on, vol: 62, pages: 408--423, 2013
IEEE
Journal Papers
Fault injection for software certification
Security & Privacy, IEEE, vol: 11, pages: 38--45, 2013
IEEE
Journal Papers
A measurement-based ageing analysis of the JVM
Software Testing, Verification and Reliability, vol: 23, pages: 199--239, 2013
Wiley Online Library
Journal Papers
2012
A recovery-oriented approach for software fault diagnosis in complex critical systems
Innovations and Approaches for Resilient and Adaptive Systems, pages: 29, 2012
IGI Global
Journal Papers
Adaptive Modeling of Routing Algorithms for Wireless Sensor Networks
Technological Innovations in Adaptive and Dependable Systems: Advancing Models and Concepts: Advancing Models and Concepts, pages: 73, 2012
IGI Global
Journal Papers
Dependable services for mobile health monitoring systems
International Journal of Ambient Computing and Intelligence (IJACI), vol: 4, pages: 1--15, 2012
IGI Global
Journal Papers
Automated generation of performance and dependability models for the assessment of wireless sensor networks
Computers, IEEE Transactions on, vol: 61, pages: 870--884, 2012
IEEE
Journal Papers
2011
Bug localization in test-driven development
Advances in Software Engineering, vol: 2011, pages: 2, 2011
Hindawi Publishing Corp.
Journal Papers
2010
A Method to Support Fault Tolerance Design in Service Oriented Computing Systems
International Journal of Systems and Service-Oriented Engineering (IJSSOE), vol: 1, pages: 75--89, 2010
IGI Global
Journal Papers
Architectural Evolution of Monitor and Control Systems-Issues and Challenges.
Network Protocols and Algorithms, vol: 2, pages: 1--17, 2010
Macrothink Institute
Journal Papers
2009
A hybrid positioning system for technology-independent location-aware computing
Software: Practice and Experience, vol: 39, pages: 1095--1125, 2009
Wiley Online Library
Journal Papers
2007
2005
Achieving all the time, everywhere access in next-generation mobile networks
ACM SIGMOBILE Mobile Computing and Communications Review, vol: 9, pages: 29--39, 2005
ACM
Journal Papers
2004
Effective fault treatment for improving the dependability of COTS and legacy-based applications
Dependable and Secure Computing, IEEE Transactions on, vol: 1, pages: 223--237, 2004
IEEE
Journal Papers
2003
An architecture for security-oriented perfective maintenance of legacy software
Information and Software Technology, vol: 45, pages: 619--631, 2003
Elsevier
Journal Papers
A real time-based architecture for qos multimedia provisioning
Microprocessors and Microsystems, vol: 27, pages: 55--63, 2003
Elsevier
Journal Papers
2002
Building a dependable system from a legacy application with CORBA
Journal of Systems Architecture, vol: 48, pages: 81--98, 2002
Elsevier
Journal Papers
2001
Effective metadata models for web-based educational systems
European journal of engineering education, vol: 26, pages: 127--137, 2001
Taylor & Francis
Journal Papers
1998
Formal specification of concurrent systems: a structured approach
The Computer Journal, vol: 41, pages: 145--162, 1998
Br Computer Soc
Journal Papers
1997
Formal methods integration for the specification of dependable distributed systems
Journal of systems architecture, vol: 43, pages: 671--685, 1997
Elsevier
Journal Papers
2025
A Benchmark for DDoS Attacks Detection in Microservice Architectures
2025 International Conference on Computing, Networking and Communications (ICNC)
Conference Papers
Can Neural Decompilation Assist Vulnerability Prediction on Binary Code?
Proceedings of the 18th European Workshop on Systems Security
Conference Papers
Microservices Performance Testing with Causality-enhanced Large Language Models
2025 IEEE/ACM Second International Conference on AI Foundation Models and Software Engineering (Forge)
Conference Papers
Adaptive Probabilistic Operational Testing for Large Language Models Evaluation
2025 IEEE/ACM International Conference on Automation of Software Test (AST)
Conference Papers
Learning-based Automated Generation of Critical Workload Configurations for Microservices Performance Testing
2025 IEEE International Conference on Web Services (ICWS)
Conference Papers
Log-Driven Testing of Microservice Systems with Transformers
2025 IEEE International Conference on Web Services (ICWS)
Conference Papers
CTI-HAL: A Human-Annotated Dataset for Cyber Threat Intelligence Analysis
2025 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW)
Conference Papers
Securing ai code generation through automated pattern-based patching
2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)
Conference Papers
2024
DeepSample: DNN Sampling-Based Testing for Operational Accuracy Assessment
2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE)
Conference Papers
Anomaly Detection and Root Cause Analysis of Microservices Energy Consumption
2024 IEEE International Conference on Web Services (ICWS)
Conference Papers
Failover Timing Analysis in Orchestrating Container-based Critical Applications
2024 19th European Dependable Computing Conference (EDCC)
Conference Papers
Vulnerabilities in ai code generators: Exploring targeted data poisoning attacks
Proceedings of the 32nd IEEE/ACM International Conference on Program Comprehension
Conference Papers
DDoShield-IoT: A Testbed for Simulating and Lightweight Detection of IoT Botnet DDoS Attacks
2024 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)
Conference Papers
Lightweight and Predictable Memory Virtualization on Medium-Size Microcontrollers
2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)
Conference Papers
The Omnivisor: A Real-Time Static Partitioning Hypervisor Extension for Heterogeneous Core Virtualization over MPSoCs
36th Euromicro Conference on Real-Time Systems (ECRTS 2024)
Conference Papers
2023
Poisoning Programs by Un-Repairing Code: Security Concerns of AI-generated Code
2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW)
Conference Papers
Simulation Environment for the Evaluation of Lightweight Intrusion Detection Systems
2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW)
Conference Papers
EMER-GO: real-time grip enhanced speed advisory for emergency intelligent transportation systems
53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Workshops, Porto, Portugal, June 27-30, 2023
Conference Papers
Partitioned Containers: Towards Safe Clouds for Industrial Applications
53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Supplemental Volume, Porto, Portugal, June 27-30, 2023
Conference Papers
IRIS: a Record and Replay Framework to Enable Hardware-assisted Virtualization Fuzzing
53rd Annual IEEE/IFIP International Conference on Dependable Systems and Network, DSN 2023, Porto, Portugal, June 27-30, 2023
Conference Papers
An Evolutionary Strategy for Automatic Hypotheses Generation inspired by Abductive Reasoning
Companion Proceedings of the Conference on Genetic and Evolutionary Computation, GECCO 2023, Companion Volume, Lisbon, Portugal, July 15-19, 2023
Conference Papers
Reasoning-Based Software Testing
45th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, NIER@ICSE, Melbourne, Australia, May 14-20, 2023
Conference Papers
Iterative Assessment and Improvement of DNN Operational Accuracy
45th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, NIER@ICSE, Melbourne, Australia, May 14-20, 2023
Conference Papers
Software Aging in a Real-Time Object Detection System on an Edge Server
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023
Conference Papers
2022
Microservices Integrated Performance and Reliability Testing
IEEE/ACM International Conference on Automation of Software Test, AST@ICSE 2022, Pittsburgh, PA, USA, May 21-22, 2022
Conference Papers
Concepts and challenges in the design of a tokamak plasma control system. ITER PCS for First Plasma and beyond
IEEE Conference on Control Technology and Applications, CCTA 2022, Trieste, Italy, August 23-25, 2022
Conference Papers
Performability Assessment of Containerized Multi-Tenant IMS through Multidimensional UGF
18th International Conference on Network and Service Management, CNSM 2022, Thessaloniki, Greece, October 31 - Nov. 4, 2022
Conference Papers
Introducing k4.0s: a Model for Mixed-Criticality Container Orchestration in Industry 4.0
IEEE Intl. Conf. on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress, DASC/PiCom/CBDCom/CyberSciTech 2022, Falerna, Italy, September 12-15, 2022
Conference Papers
On Temporal Isolation Assessment in Virtualized Railway Signaling as a Service Systems
IEEE Intl. Conf. on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress, DASC/PiCom/CBDCom/CyberSciTech 2022, Falerna, Italy, September 12-15, 2022
Conference Papers
Federated and Generative Data Sharing for Data-Driven Security: Challenges and Approach
IEEE Intl. Conf. on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress, DASC/PiCom/CBDCom/CyberSciTech 2022, Falerna, Italy, September 12-15, 2022
Conference Papers
Certify the Uncertified: Towards Assessment of Virtualization for Mixed-criticality in the Automotive Domain
52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN Workshops 2022, Baltimore, MD, USA, June 27-30, 2022
Conference Papers
Achieving Isolation in Mixed-Criticality Industrial Edge Systems with Real-Time Containers
34th Euromicro Conference on Real-Time Systems, ECRTS 2022, July 5-8, 2022, Modena, Italy
Conference Papers
RPUGuard: Real-Time Processing Unit Virtualization for Mixed-Criticality Applications
18th European Dependable Computing Conference, EDCC 2022, Zaragoza, Spain, September 12-15, 2022
Conference Papers
Assessing Intel's Memory Bandwidth Allocation for resource limitation in real-time systems
25th IEEE International Symposium On Real-Time Distributed Computing, ISORC 2022, Västerås, Sweden, May 17-18, 2022
Conference Papers
RunPHI: Enabling Mixed-criticality Containers via Partitioning Hypervisors in Industry 4.0
IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE 2022 - Workshops, Charlotte, NC, USA, October 31 - Nov. 3, 2022
Conference Papers
Towards Assessing Isolation Properties in Partitioning Hypervisors
IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE 2022 - Workshops, Charlotte, NC, USA, October 31 - Nov. 3, 2022
Conference Papers
SlowCoach: Mutating Code to Simulate Performance Bugs
IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022
Conference Papers
An unsupervised approach to discover filtering rules from diagnostic logs
IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE 2022 - Workshops, Charlotte, NC, USA, October 31 - Nov. 3, 2022
Conference Papers
Message from the RSDA 2022 Workshop Chairs
IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE 2022 - Workshops, Charlotte, NC, USA, October 31 - Nov. 3, 2022
Conference Papers
Automatic Mapping of Unstructured Cyber Threat Intelligence: An Experimental Study: (Practical Experience Report)
IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022
Conference Papers
Message from the WoSoCer 2022 Chairs
IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE 2022 - Workshops, Charlotte, NC, USA, October 31 - Nov. 3, 2022
Conference Papers
Can NMT Understand Me? Towards Perturbation-based Evaluation of NMT Models for Code Generation
2022 IEEE/ACM 1st International Workshop on Natural Language-Based Software Engineering (NLBSE 2022), Co-located with ICSE 2022, Pittsburgh, PA, USA, May 8, 2022
Conference Papers
Automated Grey-Box Testing of Microservice Architectures
22nd IEEE International Conference on Software Quality, Reliability and Security, QRS 2022, Guangzhou, China, December 5-9, 2022
Conference Papers
An Empirical Study on Software Aging of Long-Running Object Detection Algorithms
22nd IEEE International Conference on Software Quality, Reliability and Security, QRS 2022, Guangzhou, China, December 5-9, 2022
Conference Papers
Assessing Black-box Test Case Generation Techniques for Microservices
Quality of Information and Communications Technology - 15th International Conference, QUATIC 2022, Talavera de la Reina, Spain, September 12-14, 2022, Proceedings
Conference Papers
2021
Automated Hypotheses Generation via Combinatorial Causal Optimization
IEEE Congress on Evolutionary Computation, CEC 2021, Kraków, Poland, June 28 - July 1, 2021
Conference Papers
Preventing timing failures in mixed-criticality clouds with dynamic real-time containers
17th European Dependable Computing Conference, EDCC 2021, Munich, Germany, September 13-16, 2021
Conference Papers
Operation is the hardest teacher: estimating DNN accuracy looking for mispredictions
43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021
Conference Papers
Memory Degradation Analysis in Private and Public Cloud Environments
IEEE International Symposium on Software Reliability Engineering, ISSRE 2021 - Workshops, Wuhan, China, October 25-28, 2021
Conference Papers
Hierarchical Scheduling for Real-Time Containers in Mixed-Criticality Systems
IEEE International Symposium on Software Reliability Engineering, ISSRE 2021 - Workshops, Wuhan, China, October 25-28, 2021
Conference Papers
EVIL: Exploiting Software via Natural Language
32nd IEEE International Symposium on Software Reliability Engineering, ISSRE 2021, Wuhan, China, October 25-28, 2021
Conference Papers
ProFuzzBench: a benchmark for stateful protocol fuzzing
ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021
Conference Papers
Virtualizing Real-Time Processing Units in Multi-Processor Systems-on-Chip
6th IEEE International Forum on Research and Technology for Society and Industry, RTSI 2021, Naples, Italy, September 6-9, 2021
Conference Papers
Microservices Monitoring with Event Logs and Black Box Execution Tracing
IEEE World Congress on Services, SERVICES 2021, Chicago, IL, USA, September 5-10, 2021
Conference Papers
Shellcode_IA32: A Dataset for Automatic Shellcode Generation
Proceedings of the 1st Workshop on Natural Language Processing for Programming (NLP4Prog 2021)
Conference Papers
2020
ProFIPy: Programmable Software Fault Injection as-a-Service
50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2020, Valencia, Spain, June 29 - July 2, 2020
Conference Papers
Learning-to-rank vs ranking-to-learn: strategies for regression testing in continuous integration
ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020
Conference Papers
Towards Runtime Verification via Event Stream Processing in Cloud Computing Infrastructures
Service-Oriented Computing - ICSOC 2020 Workshops - AIOps, CFTIC, STRAPS, AI-PA, AI-IOTS, and Satellite Events, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings
Conference Papers
SAR Handbook Chapter: Measurements-based aging analysis
2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020
Conference Papers
Software Aging in Image Classification Systems on Cloud and Edge
2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020
Conference Papers
Chapter 1: Software Aging and Rejuvenation: A Genesis - Extended Abstract
2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020
Conference Papers
Dependability Evaluation of Middleware Technology for Large-scale Distributed Caching
31st IEEE International Symposium on Software Reliability Engineering, ISSRE 2020, Coimbra, Portugal, October 12-15, 2020
Conference Papers
Reliability Evaluation of ML systems, the oracle problem
2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020
Conference Papers
SAR Handbook Chapter: Experimental Tools for Software Aging Analysis
2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020
Conference Papers
2019
Towards Cognitive Security Defense from Data
49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2019, Portland, OR, USA, June 24-27, 2019, Supplemental Volume
Conference Papers
RT-CASEs: Container-Based Virtualization for Temporally Separated Mixed-Criticality Task Sets
31st Euromicro Conference on Real-Time Systems, ECRTS 2019, July 9-12, 2019, Stuttgart, Germany
Conference Papers
Discovering Hidden Errors from Application Log Traces with Process Mining
15th European Dependable Computing Conference, EDCC 2019, Naples, Italy, September 17-20, 2019
Conference Papers
FailViz: A Tool for Visualizing Fault Injection Experiments in Distributed Systems
15th European Dependable Computing Conference, EDCC 2019, Naples, Italy, September 17-20, 2019
Conference Papers
Towards continuous software reliability testing in DevOps
Proceedings of the 14th International Workshop on Automation of Software Test, AST@ICSE 2019, May 27, 2019, Montreal, QC, Canada
Conference Papers
Accurate and Lightweight Range-Free Localization for Wireless Sensor Networks
Pervasive Systems, Algorithms and Networks - 16th International Symposium, I-SPAN 2019, Naples, Italy, September 16-20, 2019, Proceedings
Conference Papers
Advancing Monitoring in Microservices Systems
IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019
Conference Papers
Analyzing the Context of Bug-Fixing Changes in the OpenStack Cloud Computing Platform
30th IEEE International Symposium on Software Reliability Engineering, ISSRE 2019, Berlin, Germany, October 28-31, 2019
Conference Papers
Enhancing Failure Propagation Analysis in Cloud Computing Systems
30th IEEE International Symposium on Software Reliability Engineering, ISSRE 2019, Berlin, Germany, October 28-31, 2019
Conference Papers
A Configurable Software Aging Detection and Rejuvenation Agent for Android
IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019
Conference Papers
A Hybrid Framework for Web Services Reliability and Performance Assessment
IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019
Conference Papers
Isolating Real-Time Safety-Critical Embedded Systems via SGX-Based Lightweight Virtualization
IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019
Conference Papers
How bad can a bug get? an empirical analysis of software failures in the OpenStack cloud computing platform
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019
Conference Papers
Privacy Preserving Intrusion Detection Via Homomorphic Encryption
28th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2019, Naples, Italy, June 12-14, 2019
Conference Papers
2018
Towards Lightweight Temporal and Fault Isolation in Mixed-Criticality Systems with Real-Time Containers
48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2018, Luxembourg, June 25-28, 2018
Conference Papers
In Production Performance Testing of SDN Control Plane for Telecom Operators
48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2018, Luxembourg City, Luxembourg, June 25-28, 2018
Conference Papers
An Exploratory Study on Zeroconf Monitoring of Microservices Systems
14th European Dependable Computing Conference, EDCC 2018, Iaşi, Romania, September 10-14, 2018
Conference Papers
How to Assess the Dependability of Applications on Top of the Blockchain: Novel Research Challenges
14th European Dependable Computing Conference, EDCC 2018, Iaşi, Romania, September 10-14, 2018
Conference Papers
Contextual Anomaly Detection for a Critical Industrial System Based on Logs and Metrics
14th European Dependable Computing Conference, EDCC 2018, Iaşi, Romania, September 10-14, 2018
Conference Papers
Search-based optimization for the testing resource allocation problem: research trends and opportunities
Proceedings of the 11th International Workshop on Search-Based Software Testing, ICSE 2018, Gothenburg, Sweden, May 28-29, 2018
Conference Papers
Challenges and Directions in Security Information and Event Management (SIEM)
2018 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Memphis, TN, USA, October 15-18, 2018
Conference Papers
Enhancing the Analysis of Error Propagation and Failure Modes in Cloud Systems
2018 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Memphis, TN, USA, October 15-18, 2018
Conference Papers
Dependability Certification Guidelines for NFVIs through Fault Injection
2018 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Memphis, TN, USA, October 15-18, 2018
Conference Papers
Software Aging and Rejuvenation in the Cloud: A Literature Review
2018 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Memphis, TN, USA, October 15-18, 2018
Conference Papers
Robotics Software Engineering and Certification: Issues and Challenges
2018 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Memphis, TN, USA, October 15-18, 2018
Conference Papers
Run-Time Reliability Estimation of Microservice Architectures
29th IEEE International Symposium on Software Reliability Engineering, ISSRE 2018, Memphis, TN, USA, October 15-18, 2018
Conference Papers
Trust Management in Fog/Edge Computing by Means of Blockchain Technologies
IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData), iThings/GreenCom/CPSCom/SmartData 2018, Halifax, NS, Canada, July 30 - August 3, 2018
Conference Papers
Probabilistic Sampling-Based Testing for Accelerated Reliability Assessment
2018 IEEE International Conference on Software Quality, Reliability and Security, QRS 2018, Lisbon, Portugal, July 16-20, 2018
Conference Papers
Hybrid Is Better: Why and How Test Coverage and Software Reliability Can Benefit Each Other
Web Information Systems and Technologies - 14th International Conference, WEBIST 2018, Seville, Spain, September 18-20, 2018, Revised Selected Papers
Conference Papers
2017
Entropy-Based Security Analytics: Measurements from a Critical Information System
47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2017, Denver, CO, USA, June 26-29, 2017
Conference Papers
Advancing Fault Injection and Dependability Evaluation in the Software-Driven Telecom Industry
13th European Dependable Computing Conference, EDCC 2017, Geneva, Switzerland, September 4-8, 2017
Conference Papers
Adaptive coverage and operational profile-based testing for reliability improvement
Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017
Conference Papers
A Fault Correlation Approach to Detect Performance Anomalies in Virtual Network Function Chains
28th IEEE International Symposium on Software Reliability Engineering, ISSRE 2017, Toulouse, France, October 23-26, 2017
Conference Papers
Chizpurfle: A Gray-Box Android Fuzzer for Vendor Service Customizations
28th IEEE International Symposium on Software Reliability Engineering, ISSRE 2017, Toulouse, France, October 23-26, 2017
Conference Papers
Work-in-Progress: Real-Time Containers for Large-Scale Mixed-Criticality Systems
2017 IEEE Real-Time Systems Symposium, RTSS 2017, Paris, France, December 5-8, 2017
Conference Papers
Secure crisis information sharing through an interoperability framework among first responders: The SECTOR practical experience
13th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2017, Rome, Italy, October 9-11, 2017
Conference Papers
2016
Error Monitoring for Legacy Mission-Critical Systems
46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2016, Toulouse, France, June 28 - July 1, 2016
Conference Papers
Measuring Resiliency through Field Data: Techniques, Tools and Challenges
46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2016, Toulouse, France, June 28 - July 1, 2016
Conference Papers
Prediction of the Testing Effort for the Safety Certification of Open-Source Software: A Case Study on a Real-Time Operating System
12th European Dependable Computing Conference, EDCC 2016, Gothenburg, Sweden, September 5-9, 2016
Conference Papers
An Effort Allocation Method to Optimal Code Sanitization for Quality-Aware Energy Efficiency Improvement
Proceedings of the 3rd International Workshop on Measurement and Metrics for Green and Sustainable Software Systems, MeGSuS 2016, co-located with 10th International Symposium on Empirical Software Engineering and Measurement (ESEM 2016), Ciudad Real, Spain, September 7, 2016
Conference Papers
Finding a way in the Model Driven jungle: Invited Keynote Talk
Proceedings of the 9th India Software Engineering Conference, Goa, India, February 18-20, 2016
Conference Papers
Software Aging Analysis of the Android Mobile OS
27th IEEE International Symposium on Software Reliability Engineering, ISSRE 2016, Ottawa, ON, Canada, October 23-27, 2016
Conference Papers
On Adaptive Sampling-Based Testing for Software Reliability Assessment
27th IEEE International Symposium on Software Reliability Engineering, ISSRE 2016, Ottawa, ON, Canada, October 23-27, 2016
Conference Papers
Model-Based Software Engineering and Certification: Some Open Issues
2016 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2016, Ottawa, ON, Canada, October 23-27, 2016
Conference Papers
Scalable monitoring and dependable job scheduling support for multi-domain grid infrastructures
Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016
Conference Papers
Automatic Invariant Selection for Online Anomaly Detection
Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
Conference Papers
2015
Sampling UAV Most Informative Diagnostic Signals
10th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, 3PGCIC 2015, Krakow, Poland, November 4-6, 2015
Conference Papers
A Reliable Crisis Information System to Share Data after the Event of a Large-Scale Disaster
15th IEEE International Conference on Computer and Information Technology, CIT 2015; 14th IEEE International Conference on Ubiquitous Computing and Communications, IUCC 2015; 13th IEEE International Conference on Dependable, Autonomic and Secure Computing, DASC 2015; 13th IEEE International Conference on Pervasive Intelligence and Computing, PICom 2015, Liverpool, United Kingdom, October 26-28, 2015
Conference Papers
SECTOR: Secure Common Information Space for the Interoperability of First Responders
Conference on ENTERprise Information Systems/International Conference on Project MANagement/Conference on Health and Social Care Information Systems and Technologies, CENTERIS/ProjMAN/HCist 2015, Vilamoura, Portugal, October 7-9, 2015
Conference Papers
Impact of Malfunction on the Energy Efficiency of Batch Processing Systems
45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015, Rio de Janeiro, Brazil, June 22-25, 2015
Conference Papers
Assessment of Defect Type influence in Complex and Integrated Space Systems: Analysis Based on ODC and ISVV Issues
IEEE International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2015, Rio de Janeiro, Brazil, June 22-25, 2015
Conference Papers
State-based robustness testing of IaaS cloud platforms
Proceedings of the 5th International Workshop on Cloud Data and Platforms, CloudDP@EuroSys 2015, Bordeaux, France, April 21-24, 2015
Conference Papers
Prioritizing Correction of Static Analysis Infringements for Cost-Effective Code Sanitization
2nd IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice, SER&IP 2015, Florence, Italy, May 17, 2015
Conference Papers
Performance of Defect Prediction in Rapidly Evolving Software
3rd IEEE/ACM International Workshop on Release Engineering, RELENG 2015, Florence, Italy, May 19, 2015
Conference Papers
Industry Practices and Event Logging: Assessment of a Critical Software Development Process
37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2
Conference Papers
Emulating Environment-Dependent Software Faults
1st IEEE/ACM International Workshop on Complex Faults and Failures in Large Software Systems, COUFLESS 2015, Florence, Italy, May 23, 2015
Conference Papers
GRINDER: On Reusability of Fault Injection Tools
10th IEEE/ACM International Workshop on Automation of Software Test, AST 2015, Florence, Italy, May 23-24, 2015
Conference Papers
No PAIN, No Gain? The Utility of PArallel Fault INjections
37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1
Conference Papers
The software aging and rejuvenation repository: Http: //openscience.us/repo/software-aging/
2015 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Gaithersburg, MD, USA, November 2-5, 2015
Conference Papers
MoIO: Run-time monitoring for I/O protocol violations in storage device drivers
26th IEEE International Symposium on Software Reliability Engineering, ISSRE 2015, Gaithersbury, MD, USA, November 2-5, 2015
Conference Papers
Preventing recurrence of industrial control system accident using assurance case
2015 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Gaithersburg, MD, USA, November 2-5, 2015
Conference Papers
SysML-based and Prolog-supported FMEA
2015 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Gaithersburg, MD, USA, November 2-5, 2015
Conference Papers
Model-Driven Engineering of a Railway Interlocking System
MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, ESEO, Angers, Loire Valley, France, 9-11 February, 2015
Conference Papers
Model-in-the-Loop Testing of a Railway Interlocking System
Model-Driven Engineering and Software Development - Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers
Conference Papers
Dependability evaluation and benchmarking of Network Function Virtualization Infrastructures
Proceedings of the 1st IEEE Conference on Network Softwarization, NetSoft 2015, London, United Kingdom, April 13-17, 2015
Conference Papers
2014
What Logs Should You Look at When an Application Fails? Insights from an Industrial Case Study
44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2014, Atlanta, GA, USA, June 23-26, 2014
Conference Papers
Mining Invariants from SaaS Application Logs (Practical Experience Report)
2014 Tenth European Dependable Computing Conference, Newcastle, United Kingdom, May 13-16, 2014
Conference Papers
On the Impact of Debugging on Software Reliability Growth Analysis: A Case Study
Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30 - July 3, 2014, Proceedings, Part V
Conference Papers
NAPOLI FUTURA: Novel Approaches for Protecting Critical Infrastructures from Cyber Attacks
25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014
Conference Papers
Event Logging in an Industrial Development Process: Practices and Reengineering Challenges
25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014
Conference Papers
Reproducibility of Environment-Dependent Software Failures: An Experience Report
25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014
Conference Papers
Assessing Direct Monitoring Techniques to Analyze Failures of Critical Industrial Systems
25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014
Conference Papers
Towards Patching Memory Leak Bugs in Off-The-Shelf Software
25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014
Conference Papers
Improving Usability of Fault Injection
25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014
Conference Papers
Network Function Virtualization: Challenges and Directions for Reliability Assurance
25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014
Conference Papers
Using Invariants for Anomaly Detection: The Case Study of a SaaS Application
25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014
Conference Papers
An Experiment with Conceptual Clustering for the Analysis of Security Alerts
25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014
Conference Papers
The Dual Nature of Software Aging: Twenty Years of Software Aging Research
25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014
Conference Papers
Towards Fault Propagation Analysis in Cloud Computing Ecosystems
25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014
Conference Papers
An empirical study of injected versus actual interface errors
International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014
Conference Papers
Filtering Security Alerts for the Analysis of a Production SaaS Cloud
Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, UCC 2014, London, United Kingdom, December 8-11, 2014
Conference Papers
Big Data in Critical Infrastructures Security Monitoring: Challenges and Opportunities
Proc. of 1st International Workshop on Real-time Big Data Analytics for Critical Infrastructure Protection (BIG4CIP 2014)
Conference Papers
2013
Automatic collection of failure data from the iOS platform
43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, DSN Workshops 2013, Budapest, Hungary, June 24-27, 2013
Conference Papers
Towards secure monitoring and control systems: Diversify!
2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013
Conference Papers
Analysis of bugs in Apache Virtual Computing Lab
2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013
Conference Papers
Issues and Ongoing Work on State-Driven Workload Generation for Distributed Systems
Dependable Computing - 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013. Proceedings
Conference Papers
A learning-based method for combining testing techniques
35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013
Conference Papers
Analysis and Prediction of Mandelbugs in an Industrial Software System
Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013, Luxembourg, Luxembourg, March 18-22, 2013
Conference Papers
Towards fast OS rejuvenation: An experimental evaluation of fast OS reboot techniques
IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013
Conference Papers
Requirements engineering in rail transit production: An experience report
IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013 - Supplemental Proceedings
Conference Papers
Performance degradation analysis of a supercomputer
IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013 - Supplemental Proceedings
Conference Papers
Fault triggers in open-source software: An experience report
IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013
Conference Papers
SABRINE: State-based robustness testing of operating systems
2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013
Conference Papers
A survey on resiliency assessment techniques for wireless sensor networks
MobiWac'13, Proceedings of the 11th ACM International Symposium on Mobility Management and Wireless Access, Barcelona, Spain, November 3-8, 2013
Conference Papers
State-Driven Testing of Distributed Systems
Principles of Distributed Systems - 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings
Conference Papers
Cost-Benefit Analysis of Virtualizing Batch Systems: Performance-Energy-Dependability Trade-Offs
IEEE/ACM 6th International Conference on Utility and Cloud Computing, UCC 2013, Dresden, Germany, December 9-12, 2013
Conference Papers
2012
MobiFuzzy: A Fuzzy Library to Build Mobile DSSs for Remote Patient Monitoring
Autonomous and Intelligent Systems
Conference Papers
A logging framework for the on-line failure analysis of Android smart phones
Proceedings of the 1st European Workshop on AppRoaches to MObiquitous Resilience, ARMOR '12, Sibiu, Romania, May 8-11, 2012
Conference Papers
Assessing time coalescence techniques for the analysis of supercomputer logs
IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2012, Boston, MA, USA, June 25-28, 2012
Conference Papers
Experimental Analysis of Binary-Level Software Fault Injection in Complex Software
2012 Ninth European Dependable Computing Conference, Sibiu, Romania, May 8-11, 2012
Conference Papers
Context data distribution in mobile systems: A case study on Android-based phones
Proceedings of IEEE International Conference on Communications, ICC 2012, Ottawa, ON, Canada, June 10-15, 2012
Conference Papers
Achieving Reliable and Timely Event Dissemination over WAN
Distributed Computing and Networking - 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings
Conference Papers
Software Rejuvenation: Do IT & Telco Industries Use It?
23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, 2012
Conference Papers
On the Aging Effects Due to Concurrency Bugs: A Case Study on MySQL
23rd IEEE International Symposium on Software Reliability Engineering, ISSRE 2012, Dallas, TX, USA, November 27-30, 2012
Conference Papers
Integrating MDT in an Industrial Process in the Air Traffic Control Domain
23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, 2012
Conference Papers
Monitoring of Aging Software Systems Affected by Integer Overflows
23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, 2012
Conference Papers
Detection of Software Failures through Event Logs: An Experimental Study
23rd IEEE International Symposium on Software Reliability Engineering, ISSRE 2012, Dallas, TX, USA, November 27-30, 2012
Conference Papers
Assessing AUTOSAR Systems Using Fault Injection
23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, 2012
Conference Papers
Analyzing and modeling the failure behavior of Wireless Sensor Networks software under errors
8th International Wireless Communications and Mobile Computing Conference, IWCMC 2012, Limassol, Cyprus, August 27-31, 2012
Conference Papers
A Preliminary Fault Injection Framework for Evaluating Multicore Systems
Computer Safety, Reliability, and Security - SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings
Conference Papers
Static Verification of Wireless Sensor Networks with Formal Methods
Eighth International Conference on Signal Image Technology and Internet Based Systems, SITIS 2012, Sorrento, Naples, Italy, November 25-29, 2012
Conference Papers
Leveraging Power of Transmission for Range-Free Localization of Tiny Sensors
Web and Wireless Geographical Information Systems - 11th International Symposium, W2GIS 2012, Naples, Italy, April 12-13, 2012. Proceedings
Conference Papers
2011
Qualification and Selection of Off-the-Shelf Components for Safety Critical Systems: A Systematic Approach
2011 Fifth Latin-American Symposium on Dependable Computing Workshops
Conference Papers
Enabling on-line dependability assessment of Android smart phones
IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), Hong Kong, China, June 27-30, 2011
Conference Papers
5th international workshop on adaptive and dependable mobile ubiquitous systems ADAMUS 2011
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2011, Hong Kong, China, June 27-30 2011
Conference Papers
5th International workshop on adaptive and dependable mobile ubiquitous systems ADAMUS 2011
IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), Hong Kong, China, June 27-30, 2011
Conference Papers
Improving Log-based Field Failure Data Analysis of multi-node computing systems
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2011, Hong Kong, China, June 27-30 2011
Conference Papers
Error detection framework for complex software systems
Proceedings of the 13th European Workshop on Dependable Computing, EWDC '11, Pisa, Italy, May 11-12, 2011
Conference Papers
Workload Characterization for Software Aging Analysis
IEEE 22nd International Symposium on Software Reliability Engineering, ISSRE 2011, Hiroshima, Japan, November 29 - December 2, 2011
Conference Papers
The PreCertification Kit for Operating Systems in Safety Domains
2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29 - December 2, 2011
Conference Papers
Software Aging and Rejuvenation: Where We Are and Where We Are Going
IEEE Third International Workshop on Software Aging and Rejuvenation, WoSAR 2011, Hiroshima, Japan, November 29 - December 2, 2011
Conference Papers
Investigation on Safety-Related Standards for Critical Systems
2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29 - December 2, 2011
Conference Papers
Towards identifying OS-level anomalies to detect application software failures
IEEE International Workshop on Measurement and Networking, M&N 2011, Anacapri, Italy, October 10-11, 2011
Conference Papers
Architecture-Based Criticality Assessment of Software Systems
5th Latin-American Symposium on Dependable Computing, LADC 2011, São José dos Campos, Brazil, 25-29 April 2011
Conference Papers
A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems
Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings
Conference Papers
A Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain
Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings
Conference Papers
Criticality-Driven Component Integration in Complex Software Systems
Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings
Conference Papers
On the Benefit of Network Coding for Timely and Reliable Event Dissemination in WAN
30th IEEE Symposium on Reliable Distributed Systems Workshops, SRDS Workshops 2011, Madrid, Spain, October 4-7, 2011
Conference Papers
Identifying Compromised Users in Shared Computing Infrastructures: A Data-Driven Bayesian Network Approach
30th IEEE Symposium on Reliable Distributed Systems (SRDS 2011), Madrid, Spain, October 4-7, 2011
Conference Papers
2010
Effective Data Dissemination for Large-Scale Complex Critical Infrastructures
2010 Third International Conference on Dependability
Conference Papers
Assessing and improving the effectiveness of logs for the analysis of software faults
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010, Chicago, IL, USA, June 28 - July 1 2010
Conference Papers
Adaptive monitoring in microkernel OSs
IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2010), Chicago, Illinois, USA, June 28 - July 1, 2010
Conference Papers
Representativeness analysis of injected software faults in complex software
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010, Chicago, IL, USA, June 28 - July 1 2010
Conference Papers
Emulation of Transient Software Faults for Dependability Assessment: A Case Study
Eighth European Dependable Computing Conference, EDCC-8 2010, Valencia, Spain, 28-30 April 2010
Conference Papers
Online Monitoring of Software System Reliability
Eighth European Dependable Computing Conference, EDCC-8 2010, Valencia, Spain, 28-30 April 2010
Conference Papers
Field Data Based Modeling of Sender Based Message Logging Protocols for Supercomputers Checkpointing
30th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2010 Workshops), 21-25 June 2010, Genova, Italy
Conference Papers
An effective approach for injecting faults in wireless sensor network operating systems
Proceedings of the 15th IEEE Symposium on Computers and Communications, ISCC 2010, Riccione, Italy, June 22-25, 2010
Conference Papers
Reliable Event Dissemination over Wide-Area Networks without Severe Performance Fluctuations
13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2010, Carmona, Sevilla, Spain, 5-6 May 2010
Conference Papers
Is software aging related to software metrics?
Second IEEE International Workshop on Software Aging and Rejuvenation, WoSAR@ISSRE 2010, San Jose, CA, USA, November 2, 2010
Conference Papers
Software Aging Analysis of the Linux Operating System
IEEE 21st International Symposium on Software Reliability Engineering, ISSRE 2010, San Jose, CA, USA, 1-4 November 2010
Conference Papers
An Investigation on Flexible Communications in Publish/Subscribe Services
Software Technologies for Embedded and Ubiquitous Systems - 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings
Conference Papers
2009
A Failure Analysis of Data Distribution Middleware in a Mission-Critical System for Air Traffic Control
Proceedings of the 4th International Workshop on Middleware for Service Oriented Computing
Conference Papers
Reliable publish/subscribe middleware for time-sensitive internet-scale applications
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems, DEBS 2009, Nashville, Tennessee, USA, July 6-9, 2009
Conference Papers
iCAAS: interoperable and configurable architecture for accessing sensor networks
Proceedings of the 3rd international workshop on Adaptive and dependable mobile ubiquitous systems, ADAMUS@ICPS 2009, London, United Kingdom, July 13-17, 2009
Conference Papers
AVR-INJECT: A tool for injecting faults in Wireless Sensor Nodes
23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009
Conference Papers
Assessment and Improvement of Hang Detection in the Linux Operating System
28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), Niagara Falls, New York, USA, September 27-30, 2009
Conference Papers
Calibrating RSS-Based Indoor Positioning Systems
5th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2009, Marrakech, Morocco, 12-14 October 2009, Proceedings
Conference Papers
A logging approach for effective dependability evaluation of complex systems
Dependability, 2009. DEPEND'09. Second International Conference on
Conference Papers
2008
Software Faults Diagnosis in Complex OTS Based Safety Critical Systems
Seventh European Dependable Computing Conference, EDCC-7 2008, Kaunas, Lithuania, 7-9 May 2008
Conference Papers
Performance assessment of OMG compliant data distribution middleware
22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008
Conference Papers
An experiment in memory leak analysis with a mission-critical middleware for air traffic control
IEEE International Conference on Software Reliability Engineering Workshops, ISSRE Workshops 2008, Seattle, WA, USA, November 11-14, 2008
Conference Papers
Dependability Evaluation and Modeling of the Bluetooth Data Communication Channel
16th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2008), 13-15 February 2008, Toulouse, France
Conference Papers
The Role of Field Data for Analyzing the Dependability of Short Range Wireless Technologies
Software Technologies for Embedded and Ubiquitous Systems, 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008, Proceedings
Conference Papers
Operating system support to detect application hangs
Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems
Conference Papers
2007
How Do Mobile Phones Fail? A Failure Data Analysis of Symbian OS Smart Phones
The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK, Proceedings
Conference Papers
Supporting Mobile Ubiquitous Applications with Mobility Prediction and Soft Handoff
Software Technologies for Embedded and Ubiquitous Systems, 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers
Conference Papers
Component airbag: a novel approach to develop dependable component-based applications
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007
Conference Papers
Investigation of failure causes in workload-driven reliability testing
Fourth International Workshop on Software Quality Assurance, SOQUA 2007, in conjunction with the 6th ESEC/FSE joint meeting, Dubrovnik, Croatia, September 3-4, 2007
Conference Papers
Modeling and Assessing the Dependability ofWireless Sensor Networks
26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), Beijing, China, October 10-12, 2007
Conference Papers
Characterizing Aging Phenomena of the Java Virtual Machine
26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), Beijing, China, October 10-12, 2007
Conference Papers
2006
Collecting and Analyzing Failure Data of Bluetooth Personal Area Networks
2006 International Conference on Dependable Systems and Networks (DSN 2006), 25-28 June 2006, Philadelphia, Pennsylvania, USA, Proceedings
Conference Papers
The Hide and Seek Field Data Game
Sixth European Dependable Computing Conference, EDCC 2006, Coimbra, Portugal, 18-20 October 2006
Conference Papers
Failure classification and analysis of the Java Virtual Machine
26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), 4-7 July 2006, Lisboa, Portugal
Conference Papers
An OptimizedWorkload for Failure Data Analysis of Mobile P2P over Bluetooth Ad-Hoc Networks
26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 4-7 July 2006, Lisboa, Portugal
Conference Papers
Automated Logging of Mobile Phones Failures Data
Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 24-26 April 2006, Gyeongju, Korea
Conference Papers
Java Virtual Machine Monitoring for Dependability Benchmarking
Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 24-26 April 2006, Gyeongju, Korea
Conference Papers
Unearthing Design Patterns to Support Context-Awareness
4th IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2006 Workshops), 13-17 March 2006, Pisa, Italy
Conference Papers
An architecture for providing Java applications with indoor and outdoor hybrid location sensing
The Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems and the Second International Workshop on Collaborative Computing, Integration, and Assurance, SEUS 2006 / WCCIA 2006, Gyeongju, South Korea, April 27-28, 2006
Conference Papers
2005
ESPERANTO: a middleware platform to achieve interoperability in nomadic computing domains
2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), January 3-6, 2005, Cairo, Egypt
Conference Papers
A Communication Broker for Nomadic Computing Systems
High Performance Computing and Communications, First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005, Proceedings
Conference Papers
CSAR-2: A Case Study of Parallel File System Dependability Analysis
High Performance Computing and Communications, First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005, Proceedings
Conference Papers
A User-Driven Adaptation Strategy for Mobile Video Streaming Applications
25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 6-10 June 2005, Columbus, OH, USA
Conference Papers
Indoor and Outdoor Location Based Services for Portable Wireless Devices
25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 6-10 June 2005, Columbus, OH, USA
Conference Papers
An Automated Distributed Infrastructure for Collecting Bluetooth Field Failure Data
Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 18-20 May 2005, Seattle, WA, USA
Conference Papers
Integrated support for handoff management and context awareness in heterogeneous wireless networks
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 - December 2, 2005, Grenoble, France
Conference Papers
Mobility Management and Communication Support for Nomadic Applications
On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part I
Conference Papers
A Pattern-Oriented Approach to Enhance Context Infrastructures
2005 IEEE/IPSJ International Symposium on Applications and the Internet Workshops (SAINT 2005 Workshops), 31 January - 4 February 2005, Trento, Italy
Conference Papers
A Strategy for Application-Transparent Integration of Nomadic Computing Domains
Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, SEUS 2005, Seattle, WA, USA, May 16-17, 2005
Conference Papers
Reliable Monitoring of Network-related Performance Parameters inWireless Environments
10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2-4 February 2005, Sedona, AZ, USA
Conference Papers
Reliable monitoring of network-related performance parameters in wireless environments
Object-Oriented Real-Time Dependable Systems, 2005. WORDS 2005. 10th IEEE International Workshop on
Conference Papers
2004
Security requirements in service oriented architectures for ubiquitous computing
Proceedings of the 2nd Workshop on Middleware for Pervasive and Ad-hoc Computing, Toronto, Ontario, Canada, October 18-22, 2004
Conference Papers
A Distributed Object Platform to Achieve Nomadic Interactions
On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings
Conference Papers
Indoor Positioning for Location-Aware Applications on Java-Based Mobile Devices
On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings
Conference Papers
Supporting Location-Aware Distributed Applications on Mobile Devices
Applied Parallel Computing, State of the Art in Scientific Computing, 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004, Revised Selected Papers
Conference Papers
Implementing Positioning Services over an Ubiquitous Infrastructure
2nd IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, WSTFEUS 2004, Vienna, Austria, May 11-12, 2004
Conference Papers
2003
A QoS-aware network supporting an E-learning framework
Quality Education @ a Distance, IFIP TC3/WG3.6 Working Conference on Quality Education @ a Distance, February 3-6, Geelong, Australia
Conference Papers
A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation
Dependable Computing, First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings
Conference Papers
Modeling and Detecting Failures in Next-generation Distributed Multimedia Applications
22nd Symposium on Reliable Distributed Systems (SRDS 2003), 6-8 October 2003, Florence, Italy
Conference Papers
Providing Digital Time Stamping Services to Mobile Devices
9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 1-3 October 2003, Anacapri (Capri Island), Italy
Conference Papers
Improving Dependability of Service Oriented Architectures for Pervasive Computing
8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 15-17 January 2003, Guadalajara, Mexico
Conference Papers
2002
Implementing a CORBA-Based Architecture for Leveraging the Security Level of Existing Applications
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30 - November 1, 2002, Proceedings
Conference Papers
An active security protocol against DoS attacks
Proceedings of the Seventh IEEE Symposium on Computers and Communications (ISCC 2002), 1-4 July 2002, Taormina, Italy
Conference Papers
A Jini Framework for Distributed Service Flexibility
10th Euromicro Workshop on Parallel, Distributed and Network-Based Processing (PDP 2002), 9-11 January 2002, Canary Islands, Spain
Conference Papers
Integration of Legacy Client-Server Applications in a Secure Multi-Tier Architecture
10th Euromicro Workshop on Parallel, Distributed and Network-Based Processing (PDP 2002), 9-11 January 2002, Canary Islands, Spain
Conference Papers
Metadata models for QoS-aware information management systems
Proceedings of the 14th international conference on Software engineering and knowledge engineering, SEKE 2002, Ischia, Italy, July 15-19, 2002
Conference Papers
Implementation of Threshold-based Diagnostic Mechanisms for COTS-Based Applications
21st Symposium on Reliable Distributed Systems (SRDS 2002), 13-16 October 2002, Osaka, Japan
Conference Papers
Service Differentiation of Communication-bound Processes in a Real-Time Operating System
7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 7-9 January 2002, San Diego, CA, USA
Conference Papers
2001
A Service Differentiation Scheme for the End-System
Interactive Distributed Multimedia Systems, 8th International Workshop,IDMS 2001, Lancaster, UK, September 4-7, 2001, Proceedings
Conference Papers
Integrating Mobile Agent Infrastructures with CORBA-based Distributed Multimedia Applications
Ninth Euromicro Workshop on Parallel and Distributed Processing, PDP 2001, 7-9 February 2001, Mantova, Italy
Conference Papers
2000
An integrated approach to design complex CORBA systems
Software Methods and Tools, 2000. SMT 2000. Proceedings. International Conference on
Conference Papers
Experience with the GESTALT On-Line Learning Support System
26th EUROMICRO 2000 Conference, Informatics: Inventing the Future, 5-7 September 2000, Maastricht, The Netherlands
Conference Papers
Bringing service differentiation to the end system
Proceedings of the IEEE International Conference on Networks 2000: Networking Trends and Challenges in the New Millennium, ICON 2000, Singapore, September 5-8, 2000
Conference Papers
A CORBA-Based Architecture for Adding Dependability to Legacy Servers
International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 2000, Limerick, Ireland, June 10-11, 2000
Conference Papers
1999
A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications
International Symposium on Software Engineering for Parallel and Distributed Systems, PDSE 1999, Los Angeles, California, USA, May 17-18, 1999
Conference Papers
1997
Integrating Trace Logic and Petri Nets Specifications
30th Annual Hawaii International Conference on System Sciences (HICSS-30), 7-10 January 1997, Maui, Hawaii, USA
Conference Papers
Distributed Coordination in Optimization Algorithms
High-Performance Computing and Networking, International Conference and Exhibition, HPCN Europe 1997, Vienna, Austria, April 28-30, 1997, Proceedings
Conference Papers
Workshop on Software Engineering for Parallel and Distributed Systems
Pulling Together, Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997
Conference Papers
1996
Petri Net Modelling of PARSE Designs
Euro-Par '96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I
Conference Papers
1995
Paradigms for the Parallelization of Branch and Bound Algorithms
Applied Parallel Computing, Computations in Physics, Chemistry and Engineering Science, Second International Workshop, PARA '95, Lyngby, Denmark, August 21-24, 1995, Proceedings
Conference Papers
1994
Software Architecture of the EPOCA Integrated Environment
Computer Performance Evaluation, Modeling Techniques and Tools, 7th International Conference, Vienna, Austria, May 3-6, 1994, Proceedings
Conference Papers