Francesco Brancati

According to our database1, Francesco Brancati authored at least 28 papers between 2009 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Systems-of-systems modeling using a comprehensive viewpoint-based SysML profile.
Journal of Software: Evolution and Process, 2018

Twitter Stream Event Detection for Critical Situation Management.
Proceedings of the Intelligent Environments 2018, 2018

2017
Media trustworthiness verification and event assessment through an integrated framework: a case-study.
Multimedia Tools Appl., 2017

2016
Emergence in Cyber-Physical Systems-of-Systems (CPSoSs).
Proceedings of the Cyber-Physical Systems of Systems - Foundations, 2016

Time and Resilient Master Clocks in Cyber-Physical Systems.
Proceedings of the Cyber-Physical Systems of Systems - Foundations, 2016

Managing Dynamicity in SoS.
Proceedings of the Cyber-Physical Systems of Systems - Foundations, 2016

Case Study Definition and Implementation.
Proceedings of the Cyber-Physical Systems of Systems - Foundations, 2016

2015
Continuous and Transparent User Identity Verification for Secure Internet Services.
IEEE Trans. Dependable Sec. Comput., 2015

An OS-level Framework for Anomaly Detection in Complex Software Systems.
IEEE Trans. Dependable Sec. Comput., 2015

Towards an understanding of emergence in systems-of-systems.
Proceedings of the 10th System of Systems Engineering Conference, SoSE 2015, 2015

Cost Prediction for V&V and Certification Processes.
Proceedings of the IEEE International Conference on Dependable Systems and Networks Workshops, 2015

2014
Insider Threat Assessment: a Model-Based Methodology.
Operating Systems Review, 2014

Introduction to the Safecomp 2014 Workshop: DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS '14).
Proceedings of the Computer Safety, Reliability, and Security, 2014

2013
Master Failure Detection Protocol in Internal Synchronization Environment.
IEEE Trans. Instrumentation and Measurement, 2013

A Mathematical Model for the Flow Resistance and the Related Hydrodynamic Dispersion Induced by River Dunes.
J. Applied Mathematics, 2013

Resilient estimation of synchronisation uncertainty through software clocks.
IJCCBS, 2013

Experimental analysis of the first order time difference of indicators used in the monitoring of complex systems.
Proceedings of the 2nd IEEE International Workshop on Measurements & Networking, 2013

A monitoring and testing framework for critical off-the-shelf applications and services.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2012
Experimental Characterization of Uncertainty Sources in a Software-Only Synchronization System.
IEEE Trans. Instrumentation and Measurement, 2012

Improving Security of Internet Services through Continuous and Transparent User Identity Verification.
Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012

Introduction to DESEC4LCCI 2012.
Proceedings of the Computer Safety, Reliability, and Security, 2012

Design and Implementation of Real-Time Wearable Devices for a Safety-Critical Track Warning System.
Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

2011
A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2011

Towards identifying OS-level anomalies to detect application software failures.
Proceedings of the IEEE International Workshop on Measurement and Networking, 2011

A Reliable and Self-Aware Clock for reference time failure detection in internal synchronization environment.
Proceedings of the IEEE International Workshop on Measurement and Networking, 2011

2010
Practical Aspects in Analyzing and Sharing the Results of Experimental Evaluation.
Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31, 2010

Experimental Validation of a Synchronization Uncertainty-Aware Software Clock.
Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31, 2010

2009
An Experimental Framework for the Analysis and Validation of Software Clocks.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009


  Loading...