Gian Perrone

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Multi-scale Anomaly Detection with Wavelets.

Jack Coughlin, Gian Perrone

Proceedings of the International Conference on Big Data and Internet of Things, 2017

2016

Testing Context-Aware Applications Based on Bigraphical Modeling.

Lian Yu, Wei-Tek Tsai, Gian Perrone

IEEE Trans. Reliab., 2016

2013

A verification environment for bigraphs.

Gian Perrone, Søren Debois, Thomas T. Hildebrandt

Innov. Syst. Softw. Eng., 2013

Big Red: A Development Environment for Bigraphs.

Alexander John Faithfull, Gian Perrone, Thomas T. Hildebrandt

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

2012

Refinement for Transition Systems with Responses

Marco Carbone, Thomas T. Hildebrandt, Gian Perrone, Andrzej Wasowski

Proceedings of the Proceedings Fourth Workshop on Foundations of Interface Technologies, 2012

A model checker for Bigraphs.

Gian Perrone, Søren Debois, Thomas T. Hildebrandt

Proceedings of the ACM Symposium on Applied Computing, 2012

2011

Bigraphical Refinement

Gian Perrone, Søren Debois, Thomas T. Hildebrandt

Proceedings of the Proceedings 15th International Refinement Workshop, 2011