RE.PUBLIC@POLIMI pubblicazioni di ricerca del Politecnico di Milano

GHEZZI, CARLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 12.222
EU - Europa 3.761
AS - Asia 1.251
SA - Sud America 153
AF - Africa 120
OC - Oceania 16
Continente sconosciuto - Info sul continente non disponibili 8
Totale 17.531
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 12.008
DE - Germania 643
IT - Italia 597
UA - Ucraina 543
AT - Austria 466
SG - Singapore 364
SE - Svezia 341
FI - Finlandia 315
GB - Regno Unito 270
CN - Cina 204
VN - Vietnam 190
CA - Canada 166
IE - Irlanda 159
ID - Indonesia 119
IN - India 84
BE - Belgio 81
JO - Giordania 73
NL - Olanda 69
BR - Brasile 68
ES - Italia 66
FR - Francia 56
PK - Pakistan 39
MX - Messico 35
CI - Costa d'Avorio 32
TR - Turchia 32
EG - Egitto 29
PE - Perù 26
CH - Svizzera 25
PT - Portogallo 23
KR - Corea 22
PH - Filippine 22
PL - Polonia 21
AR - Argentina 19
MY - Malesia 19
RU - Federazione Russa 17
RO - Romania 15
JP - Giappone 14
NO - Norvegia 14
AU - Australia 13
CO - Colombia 11
EC - Ecuador 11
GR - Grecia 11
CL - Cile 10
DK - Danimarca 10
LK - Sri Lanka 9
NG - Nigeria 9
PA - Panama 8
PY - Paraguay 8
EU - Europa 7
IL - Israele 7
IQ - Iraq 7
SA - Arabia Saudita 7
HK - Hong Kong 6
MU - Mauritius 6
IR - Iran 5
MZ - Mozambico 5
NP - Nepal 5
TH - Thailandia 5
TW - Taiwan 5
ZA - Sudafrica 5
DZ - Algeria 4
KE - Kenya 4
TN - Tunisia 4
ZW - Zimbabwe 4
EE - Estonia 3
HU - Ungheria 3
NZ - Nuova Zelanda 3
BG - Bulgaria 2
BJ - Benin 2
CR - Costa Rica 2
DO - Repubblica Dominicana 2
GE - Georgia 2
HR - Croazia 2
KZ - Kazakistan 2
LS - Lesotho 2
OM - Oman 2
RS - Serbia 2
SD - Sudan 2
SI - Slovenia 2
TZ - Tanzania 2
UG - Uganda 2
UZ - Uzbekistan 2
ZM - Zambia 2
A1 - Anonimo 1
AM - Armenia 1
BB - Barbados 1
BD - Bangladesh 1
BH - Bahrain 1
CM - Camerun 1
CZ - Repubblica Ceca 1
ET - Etiopia 1
GH - Ghana 1
GM - Gambi 1
IS - Islanda 1
LU - Lussemburgo 1
MA - Marocco 1
MC - Monaco 1
MK - Macedonia 1
MO - Macao, regione amministrativa speciale della Cina 1
PS - Palestinian Territory 1
Totale 17.530
Salva come PNG Salva come JPEG
Città #
Fairfield 1.696
Woodbridge 1.406
Ann Arbor 1.058
Chandler 1.051
Houston 912
Wilmington 801
Ashburn 713
Seattle 658
Cambridge 581
Santa Clara 472
Vienna 446
Jacksonville 332
Dearborn 258
Singapore 242
Boardman 224
Lawrence 194
Dublin 149
Medford 138
Ottawa 132
Milan 129
Helsinki 112
San Diego 101
Des Moines 96
Dong Ket 84
Beijing 81
Brussels 78
Amman 72
Princeton 56
Redwood City 55
Grafing 52
Málaga 49
Jakarta 42
Abidjan 32
Amsterdam 29
Berlin 29
London 29
Auburn Hills 28
Nürnberg 21
Warsaw 19
New York 18
Fortaleza 17
Lima 17
Norwalk 17
Surabaya 17
Los Angeles 16
Dülmen 15
Mountain View 15
Phoenix 15
Verona 15
Gurgaon 14
Islamabad 14
Shanghai 14
Utrecht 13
Bern 12
Hefei 12
Barcelos 11
Lappeenranta 11
Dresden 10
Frankfurt am Main 10
Madrid 10
Santiago 10
Redmond 9
Seongnam 9
Washington 9
Zurich 9
Atlanta 8
Falls Church 8
Guayaquil 8
Indiana 8
Istanbul 8
Jakarta Pusat 8
Rome 8
Toronto 8
Dallas 7
Falkenstein 7
Izmir 7
Morrinhos 7
Nanjing 7
Bogotá 6
Gießen 6
Kumar 6
Petaling Jaya 6
Turin 6
Bangalore 5
Bari 5
Cancún 5
Collingwood 5
Fremont 5
Grottaglie 5
Kuala Lumpur 5
Kunming 5
Maputo 5
Miami 5
Montréal 5
Munro 5
Nanchang 5
Porto 5
San Francisco 5
Arlington 4
Blatzheim 4
Totale 13.208
Salva come PNG Salva come JPEG
Nome #
Fundamentals of Software Engineering 1.200
Theoretical Foundations of Computer Science. 208
Rethinking the use of models in software architecture 202
Context-oriented programming for adaptive wireless sensor network software 147
Change-point detection for black-box services 144
SAVVY-WS at a glance: supporting verifiable dynamic service compositions 137
Formal Methods in Designing Critical Cyber-Physical Systems 135
Supporting Configuration Management for Virtual Workgroups in a Peer-to-Peer Setting 134
Using Agents for Multi-target Search on the Web 133
ContextErlang: A language for distributed context-aware self-adaptive applications 133
A quality driven extension to the QVT-relations transformation language 131
Reliability-driven Dynamic Binding via Feedback Control 131
Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification 131
SIMPLE: A Program Development System 130
Adaptive Service-Oriented Mobile Applications: A Declarative Approach 130
Fostering Component Evolution with C# Attributes 127
A hybrid approach (syntactic and textual) to clone detection 127
Efficient large-scale trace checking using mapreduce 126
A Model Checking Approach to Verify BPEL4WS Workflows 125
Process Programming in the Service Age: Old Problems and New Challenges 124
On requirements verification for model refinements 123
Dealing with Changes in Service Orchestrations 122
Complex Autonomic Systems for Networked Enterprises:Mechanisms, Solutions and Design Approaches 122
QoS Driven Dynamic Binding in-the-many 122
An evaluation of the adaptation capabilities in programming languages 121
A formal approach to adaptive software: Continuous assurance of non-functional requirements 121
Engineering topology aware adaptive security: Preventing requirements violations at runtime 121
A Framework for Formalizing Inconsistencies and Deviations in Human-Centered Systems 121
Software Qualities and Principles 118
Ariadne: topology aware adaptive security for cyber-physical systems 117
Using Symbolic Execution for Verifying Safety-Critical Systems 116
Towards agile verification 116
Runtime Monitoring of Functional Component Changes with Behavior Models 114
Towards the formalization of properties of cloud-based elastic systems 112
A compositional method for reliability analysis of workflows affected by multiple failure modes 112
A Timed Extension of WSCoL 111
ReMAN: A pro-active reputation management infrastructure for composite web services 111
Topology Aware Adaptive Security 111
Computational REST Meets Erlang 111
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata 109
Run-time efficient probabilistic model checking 109
Supporting Cooperative Software Processes in a Decentralized and Nomadic World 109
The Role of Contracts in Distributed Development 108
How To Deal With Deviations During Process Model Enactment 108
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions 108
A Framework for the Deployment of Adaptable Web Service Compositions 107
An Empirical Investigation Into Large-Scale Java Open Source Code Repository 107
A journey to highly dynamic, self-adaptive service-based applications 106
Trace checking of metric temporal logic with aggregating modalities using MapReduce 106
Transparent reputation management for composite web services 105
Monitoring Conversational Web Services 104
Quality Prediction of Service Compositions through Probabilistic Model Checking 104
Towards Quality Driven Exploration of Model Transformation Spaces 104
Evolution of Software Composition Mechanisms: A Survey 103
Syntax-Driven Program Verification of Matching Logic Properties 102
A Survey and Assessment of Software Process Representation Formalisms 102
Context-oriented programming: A software engineering perspective 101
RESTful service architectures for pervasive networking environments 100
PACE: A data-flow coordination language for asynchronous network-based applications 100
Towards a Model-driven Approach to Develop Applications based on Physical Active Objects 100
DSOL: a declarative approach to self-adaptive service orchestrations 100
Efficient Dynamic Updates of Distributed Components Through Version Consistency 100
Quantitative Verification of Non-Functional Requirements with Uncertainty 99
Freeing Cooperation From Servers Tyranny 99
Automated Dynamic Maintenance of Composite Services based on Service Reputation 99
Automatic Cross Validation of Multiple Specifications: A Case Study 98
Model Evolution by Run-Time Parameter Adaptation 98
Towards Fine-grained Automated Verification of Publish-Subscribe Architectures 98
Optimizing Service Selection and Allocation in Situational Computing Applications 97
Reasoning on Non Functional Requirements for Integrated Services 97
Software adaptation in wireless sensor networks 96
Towards context-oriented self-adaptation in resource-constrained cyberphysical systems 96
Architectural Issues of Adaptive Pervasive Systems 95
Self-Adaptive Software Meets Control Theory: A Preliminary Approach Supporting Reliability Requirements 95
Behavioral validation of JFSL specifications through model synthesis 95
A control-theoretic approach to self-adaptive systems and an application to cloud-based software 95
Validation of Component and Service Federations in Automotive Software Applications 95
Validation of Web Service Compositions 95
Context Oriented Programming in Highly Concurrent Systems 95
On Accurate Automatic Verification of Publish-Subscribe Architectures 95
Team-level programming of drone sensor networks 93
QVTR²: a Rational and Performance-aware Extension to the Relations Language 92
A Model Parametric Real-Time Logic 92
Model-Based Verification of Quantitative Non-Functional Properties for Software Product Lines 91
An Analysis of Language-Level Support for Self-Adaptive Software 91
Version-consistent dynamic reconfiguration of component-based distributed systems 90
LL(1) grammars supporting an efficient error handling 89
On requirement verification for evolving Statecharts specifications 89
Enhancing Remote Method Invocation through Type-Based Static Analysis 88
Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens 88
Resource-oriented middleware abstractions for pervasive computing 88
Methodologies and Technologies for Networked Enterprises 88
Efficient Recovery of Algebraic Specifications for Stateful Components 88
Software engineering for self-adaptive systems: research challenges in the provision of assurances 88
Playing with Time in Publish-Subscribe using a Domain-Specific Model Checker 87
Syntactic-semantic incrementality for agile verification 87
Embedding continuous lifelong verification in service life cycles 87
Predicting Performance Properties for Open Systems with KAMI 86
Writing Dynamic Service Orchestrations with DSOL 86
Augmenting Parsers to Support Incrementality 85
Totale 11.989
Salva come PNG Salva come JPEG
Categoria #
all - tutte 51.495
article - articoli 13.517
book - libri 1.689
conference - conferenze 29.418
curatela - curatele 237
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 6.634
Totale 102.990
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.008 0 0 0 0 0 0 520 347 475 176 373 117
2020/20212.070 182 120 218 90 180 133 170 191 139 236 156 255
2021/20222.902 205 362 356 336 428 219 118 92 73 127 216 370
2022/20232.310 306 236 83 287 286 295 10 162 364 81 141 59
2023/2024895 88 181 81 81 59 97 38 25 14 52 17 162
2024/20251.027 13 28 98 62 514 312 0 0 0 0 0 0
Totale 17.774