Gian Perrone

According to our database1, Gian Perrone authored at least 7 papers between 2011 and 2017.

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

2017
Multi-scale Anomaly Detection with Wavelets.
Proceedings of the International Conference on Big Data and Internet of Things, 2017

2016
Testing Context-Aware Applications Based on Bigraphical Modeling.
IEEE Trans. Reliability, 2016

2013
A verification environment for bigraphs.
ISSE, 2013

Big Red: A Development Environment for Bigraphs.
ECEASST, 2013

2012
Refinement for Transition Systems with Responses
Proceedings of the Proceedings Fourth Workshop on Foundations of Interface Technologies, 2012

A model checker for Bigraphs.
Proceedings of the ACM Symposium on Applied Computing, 2012

2011
Bigraphical Refinement
Proceedings of the Proceedings 15th International Refinement Workshop, 2011


  Loading...