Alessandro Testa

Ad Hoc Sens. Wirel. Networks, 2016

2015

Heuristic strategies for assessing wireless sensor network resiliency: an event-based formal approach.

[BibT_eX]

[DOI]

J. Heuristics, 2015

2013

Dependability Assessment of Wireless Sensor Networks with Formal Methods.

[BibT_eX]

[DOI]

PhD thesis, 2013

A guideline for choosing the best modeling approach for maritime logistic simulation.

[BibT_eX]

[DOI]

Pietro Giribone

Proceedings of the IEEE 12th International Conference on Intelligent Software Methodologies, 2013

A survey on resiliency assessment techniques for wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the MobiWac'13, 2013

Approaches of Wireless Sensor Network Dependability Assessment.

[BibT_eX]

[DOI]

Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

2012

Dependable Services for Mobile Health Monitoring Systems.

[BibT_eX]

[DOI]

Int. J. Ambient Comput. Intell., 2012

Evalutating Different Scenario in Maritime Coal Supply Chain Using Simulation.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2012

A Simulation Study for Supporting Maritime Coal Supply Chain Design.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2012

Static Verification of Wireless Sensor Networks with Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Signal Image Technology and Internet Based Systems, 2012

Long-term Monitoring of Vital Signs for Mobile Patients.

[BibT_eX]

Proceedings of the PECCS 2012, 2012

Analyzing and modeling the failure behavior of Wireless Sensor Networks software under errors.

[BibT_eX]

[DOI]

Catello Di Martino

Proceedings of the 8th International Wireless Communications and Mobile Computing Conference, 2012

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

[BibT_eX]

[DOI]

Domenico Cotroneo

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

2011

On Dependability Issues in Ambient Intelligence Systems.

[BibT_eX]

[DOI]

Int. J. Ambient Comput. Intell., 2011

A generalized simulation framework to manage logistics systems: a case study in waste management and environmental protection.

[BibT_eX]

[DOI]

Lucia Cassettari

Proceedings of the Winter Simulation Conference 2011, 2011

A Flexible Modeling Approach for Supporting Rapid Business Simulations.

[BibT_eX]

[DOI]

Roberto Mosca

Alessandro Bertolotto

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2011

A Simplified Human Cognitive Approach for Supporting Crowd Modeling in Tunnel Fires Emergency Simulation.

[BibT_eX]

[DOI]

Proceedings of the Modern Approaches in Applied Intelligence, 2011

2010

iCAAS: An Interoperable and Configurable Architecture for Accessing Sensor Networks.

[BibT_eX]

[DOI]

Catello Di Martino

Gabriele D'Avino

Int. J. Adapt. Resilient Auton. Syst., 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

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

iCAAS: interoperable and configurable architecture for accessing sensor networks.

[BibT_eX]

[DOI]

Catello Di Martino

Proceedings of the 3rd international workshop on Adaptive and dependable mobile ubiquitous systems, 2009

Applied Simulation to Support Steel Industry Re-engineering, Planning and Operations: Methodologies and Case Studies.

[BibT_eX]

[DOI]