Concepedia

Gian Perrone

GP

5

Publications

131

Citations

5

H-Index

2011

Active since

Affiliations

IT University of Copenhagen(Current)

Gian Perrone is an author at IT University of Copenhagen specializing in formal verification, automated reasoning, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationGraph TheoryProgram AnalysisSoftware AnalysisSystems Engineering

Publications per year

2011–2016

5

Publications

5

A model checker for Bigraphs

Gian Perrone, Søren Debois, Thomas Hildebrandt · 2012 · 58 citations

Engineering, Bigraphical Reactive System, Verification +19

Big Red: A Development Environment for Bigraphs

Alexander Faithfull, Gian Perrone, Thomas Hildebrandt · IT University Of Copenhagen (IT University of Copenhagen) · 2013 · 26 citations · Full text

A verification environment for bigraphs

Gian Perrone, Søren Debois, Thomas Hildebrandt · Innovations in Systems and Software Engineering · 2013 · 19 citations

Engineering, Graph Theory, Automated Reasoning +8

Testing Context-Aware Applications Based on Bigraphical Modeling

Lian Yu, Wei‐Tek Tsai, Gian Perrone · IEEE Transactions on Reliability · 2016 · 17 citations

Engineering, Verification, Software Engineering +26

Bigraphical Refinement

Gian Perrone, Søren Debois, Thomas Hildebrandt · Electronic Proceedings in Theoretical Computer Science · 2011 · 11 citations · Full text

General Refinement, Physics, Horizontal Refinement +2

Rows per page

1–5 of 5