Gian Perrone
Gian Perrone
Square, Inc.
Verified email at squareup.com - Homepage
Title
Cited by
Cited by
Year
A model checker for bigraphs
G Perrone, S Debois, TT Hildebrandt
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1320-1325, 2012
632012
Big red: A development environment for bigraphs
AJ Faithfull, G Perrone, TT Hildebrandt
Electronic Communications of the EASST 61, 2013
322013
Bigraphical Refinement
G Perrone, S Debois, T Hildebrandt
Arxiv preprint arXiv:1106.4091, 2011
172011
Refinement for Transition Systems with Responses
M Carbone, T Hildebrandt, G Perrone, A Wąsowski
Arxiv preprint arXiv:1207.4270, 2012
152012
Determining item recommendations from merchant data
A Kumar, D Hipschman, R Yan, B James, G Perrone, M Leduc
US Patent 9,619,831, 2017
142017
A verification environment for bigraphs
G Perrone, S Debois, TT Hildebrandt
Innovations in Systems and Software Engineering 9 (2), 95-104, 2013
142013
Domain-specific modelling languages in bigraphs
G Perrone
Ph. D. Thesis, IT University of Copenhagen, Copenhagen, Denmark, 2013
132013
Determining recommendations from buyer information
G Perrone, M Leduc, J Coughlin, A Kumar
US Patent 9,767,471, 2017
92017
Testing Context-Aware Applications Based on Bigraphical Modeling
L Yu, WT Tsai, G Perrone
IEEE Transactions on Reliability 65 (3), 1584-1611, 2016
92016
Multi-scale Anomaly Detection with Wavelets
J Coughlin, G Perrone
Proceedings of the International Conference on Big Data and Internet of Things, 2017
22017
Determining pricing information from merchant data
AR Kumar, R Yan, M Ng, G Perrone, M Leduc
US Patent App. 16/431,671, 2019
12019
Determining item recommendations from merchant data
A Kumar, D Hipschman, R Yan, JB James, G Perrone, M Leduc
US Patent App. 16/369,455, 2019
12019
Petri nets in bigraphs revisited
W Wang, GD Perrone, T Hildebrandt
24 th Nordic Workshop on Programming Theory, 2013
12013
Determining pricing information from merchant data
A Kumar, R Yan, M Ng, G Perrone, M Leduc
US Patent 10,339,548, 2019
2019
BMC & BAM
TT Hildebrandt, G Perrone
2012
Mesh Mobs
T Kindberg, J Bardram, S Büttrich, M Esbensen, S Houben, R Khaled, ...
2011
Automatic Parallelisation of Web Applications
GD Perrone, D Streader
2008
Light-Weight Specification and Verification of Runtime Behaviour
G Perrone, D Streader
The system can't perform the operation now. Try again later.
Articles 1–18