BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Carlo Ghezzi
SearchCollections
Map detail
Carlo Ghezzi13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipCarlo GhezziACarlo GhezziResearcherJavaCtx: Seamless Toolchain Integration for Context-Oriented ProgrammingWJavaCtx: Seamless Toolc...preprint / 2011Context-Oriented Programming: A Programming Paradigm for Autonomic SystemsWContext-Oriented Progra...preprint / 2012Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduceWTrace checking of Metri...preprint / 2014Offline Trace Checking of Quantitative Properties of Service-Based ApplicationsWOffline Trace Checking ...preprint / 2014Enhancing Reuse of Constraint Solutions to Improve Symbolic ExecutionWEnhancing Reuse of Cons...preprint / 2015A Syntactic-Semantic Approach to Incremental VerificationWA Syntactic-Semantic Ap...preprint / 2013Efficient Large-scale Trace Checking Using MapReduceWEfficient Large-scale T...preprint / 2015Modeling, refining and analyzing Incomplete Büchi AutomataWModeling, refining and ...preprint / 2016An EMOF-Compliant Abstract Syntax for BigraphsWAn EMOF-Compliant Abstr...preprint / 2016Cloud Deployment Tradeoffs for the Analysis of Spatially-Distributed Systems of Internet-of-ThingsWCloud Deployment Tradeo...preprint / 2020Early Validation of Cyber-Physical Space Systems via Multi-Concerns IntegrationWEarly Validation of Cyb...preprint / 2020Verification for Reliable Product LinesWVerification for Reliab...preprint / 2013
Person12 links

Carlo Ghezzi

Researcher

PaperJavaCtx: Seamless Toolchain Integration for Context-Oriented ProgrammingAuthorship / preprint / 2011PaperContext-Oriented Programming: A Programming Paradigm for Autonomic SystemsAuthorship / preprint / 2012PaperTrace checking of Metric Temporal Logic with Aggregating Modalities using MapReduceAuthorship / preprint / 2014PaperOffline Trace Checking of Quantitative Properties of Service-Based ApplicationsAuthorship / preprint / 2014PaperEnhancing Reuse of Constraint Solutions to Improve Symbolic ExecutionAuthorship / preprint / 2015PaperA Syntactic-Semantic Approach to Incremental VerificationAuthorship / preprint / 2013PaperEfficient Large-scale Trace Checking Using MapReduceAuthorship / preprint / 2015PaperModeling, refining and analyzing Incomplete Büchi AutomataAuthorship / preprint / 2016

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)