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

GHEZZI, CARLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 13.996
EU - Europa 6.871
AS - Asia 3.366
SA - Sud America 1.131
AF - Africa 251
OC - Oceania 19
Continente sconosciuto - Info sul continente non disponibili 9
Totale 25.643
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 13.709
RU - Federazione Russa 2.684
SG - Singapore 1.391
BR - Brasile 940
CN - Cina 791
DE - Germania 712
IT - Italia 631
UA - Ucraina 553
AT - Austria 476
VN - Vietnam 357
SE - Svezia 356
GB - Regno Unito 342
FI - Finlandia 328
CA - Canada 193
IE - Irlanda 162
IN - India 150
ID - Indonesia 142
NL - Olanda 139
FR - Francia 125
BE - Belgio 81
ES - Italia 80
JO - Giordania 80
MA - Marocco 67
AR - Argentina 59
MX - Messico 57
TR - Turchia 56
PK - Pakistan 53
PL - Polonia 51
HK - Hong Kong 42
BD - Bangladesh 40
IQ - Iraq 36
KR - Corea 36
CI - Costa d'Avorio 35
EG - Egitto 35
EC - Ecuador 34
JP - Giappone 33
PE - Perù 31
ZA - Sudafrica 31
CH - Svizzera 28
PH - Filippine 27
SA - Arabia Saudita 25
CO - Colombia 23
PT - Portogallo 23
MY - Malesia 20
RO - Romania 17
AU - Australia 16
CL - Cile 15
KE - Kenya 15
NO - Norvegia 14
PY - Paraguay 13
GR - Grecia 12
DK - Danimarca 11
IL - Israele 11
DO - Repubblica Dominicana 10
NG - Nigeria 10
TN - Tunisia 10
LK - Sri Lanka 9
EE - Estonia 8
PA - Panama 8
UZ - Uzbekistan 8
EU - Europa 7
MU - Mauritius 7
VE - Venezuela 7
CZ - Repubblica Ceca 6
DZ - Algeria 6
IR - Iran 6
NP - Nepal 6
TW - Taiwan 6
UY - Uruguay 6
AZ - Azerbaigian 5
GE - Georgia 5
MZ - Mozambico 5
OM - Oman 5
RS - Serbia 5
TH - Thailandia 5
AE - Emirati Arabi Uniti 4
AL - Albania 4
CR - Costa Rica 4
HU - Ungheria 4
JM - Giamaica 4
PS - Palestinian Territory 4
ZW - Zimbabwe 4
BO - Bolivia 3
ET - Etiopia 3
HR - Croazia 3
KZ - Kazakistan 3
NI - Nicaragua 3
NZ - Nuova Zelanda 3
TT - Trinidad e Tobago 3
UG - Uganda 3
BB - Barbados 2
BG - Bulgaria 2
BJ - Benin 2
BY - Bielorussia 2
KG - Kirghizistan 2
KH - Cambogia 2
LS - Lesotho 2
LV - Lettonia 2
MK - Macedonia 2
SD - Sudan 2
Totale 25.610
Salva come PNG Salva come JPEG
Città #
Fairfield 1.696
Woodbridge 1.406
Ashburn 1.345
Ann Arbor 1.058
Chandler 1.051
Houston 922
Wilmington 801
Singapore 766
Seattle 662
Cambridge 581
Santa Clara 484
Vienna 450
Moscow 362
Jacksonville 333
Dearborn 258
Beijing 248
Boardman 224
Council Bluffs 206
Lawrence 194
Dublin 150
Milan 141
Los Angeles 140
Medford 138
Ottawa 132
Helsinki 112
San Diego 101
Hefei 99
Buffalo 97
Des Moines 96
Dong Ket 84
Amman 79
Brussels 78
São Paulo 67
New York 63
London 62
Dallas 60
Casablanca 56
Ho Chi Minh City 56
Princeton 56
Redwood City 55
Grafing 52
Málaga 49
Jakarta 48
Warsaw 43
Hanoi 42
Hong Kong 37
Abidjan 34
Frankfurt am Main 34
Rio de Janeiro 34
Amsterdam 33
The Dalles 31
Berlin 29
Auburn Hills 28
Phoenix 27
Chicago 23
Fortaleza 23
Surabaya 23
Atlanta 22
Nürnberg 21
Shanghai 21
Chennai 20
Tianjin 20
Lima 19
Redondo Beach 19
Tokyo 19
Belo Horizonte 18
Stockholm 18
Dhaka 17
Norwalk 17
Brooklyn 16
Guarulhos 16
Munich 16
Seoul 16
Dülmen 15
Guayaquil 15
Istanbul 15
Mountain View 15
Santiago 15
Verona 15
Brasília 14
Gurgaon 14
Islamabad 14
Salvador 14
Johannesburg 13
Poplar 13
Utrecht 13
Bern 12
Columbus 12
Denver 12
Zurich 12
Baghdad 11
Barcelos 11
Curitiba 11
Düsseldorf 11
Lappeenranta 11
Madrid 11
Porto Alegre 11
Quito 11
Toronto 11
Turku 11
Totale 16.197
Salva come PNG Salva come JPEG
Nome #
Fundamentals of Software Engineering 1.252
Theoretical Foundations of Computer Science. 245
Rethinking the use of models in software architecture 229
Context-oriented programming for adaptive wireless sensor network software 213
Formal Methods in Designing Critical Cyber-Physical Systems 207
A Framework for Formalizing Inconsistencies and Deviations in Human-Centered Systems 201
Change-point detection for black-box services 200
Adaptive Service-Oriented Mobile Applications: A Declarative Approach 199
A hybrid approach (syntactic and textual) to clone detection 197
Efficient large-scale trace checking using mapreduce 195
QoS Driven Dynamic Binding in-the-many 192
A Model Checking Approach to Verify BPEL4WS Workflows 192
A Timed Extension of WSCoL 189
A quality driven extension to the QVT-relations transformation language 189
SAVVY-WS at a glance: supporting verifiable dynamic service compositions 187
Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification 184
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions 183
An evaluation of the adaptation capabilities in programming languages 179
Towards the formalization of properties of cloud-based elastic systems 179
A formal approach to adaptive software: Continuous assurance of non-functional requirements 178
Fostering Component Evolution with C# Attributes 175
Using Symbolic Execution for Verifying Safety-Critical Systems 175
Dealing with Changes in Service Orchestrations 172
On requirements verification for model refinements 172
Reliability-driven Dynamic Binding via Feedback Control 171
A compositional method for reliability analysis of workflows affected by multiple failure modes 171
Supporting Configuration Management for Virtual Workgroups in a Peer-to-Peer Setting 170
Engineering topology aware adaptive security: Preventing requirements violations at runtime 169
A Survey and Assessment of Software Process Representation Formalisms 169
Computational REST Meets Erlang 169
A Framework for the Deployment of Adaptable Web Service Compositions 168
Software Qualities and Principles 168
Process Programming in the Service Age: Old Problems and New Challenges 168
A control-theoretic approach to self-adaptive systems and an application to cloud-based software 168
Trace checking of metric temporal logic with aggregating modalities using MapReduce 168
Using Agents for Multi-target Search on the Web 167
Complex Autonomic Systems for Networked Enterprises:Mechanisms, Solutions and Design Approaches 167
A Model Parametric Real-Time Logic 167
ReMAN: A pro-active reputation management infrastructure for composite web services 165
Run-time efficient probabilistic model checking 165
SIMPLE: A Program Development System 163
Topology Aware Adaptive Security 163
ContextErlang: A language for distributed context-aware self-adaptive applications 160
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata 159
Monitoring Conversational Web Services 159
An Analysis of Language-Level Support for Self-Adaptive Software 159
Ariadne: topology aware adaptive security for cyber-physical systems 159
Towards agile verification 158
An Empirical Investigation Into Large-Scale Java Open Source Code Repository 156
The Role of Contracts in Distributed Development 155
DSOL: a declarative approach to self-adaptive service orchestrations 155
Transparent reputation management for composite web services 154
Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems 154
A journey to highly dynamic, self-adaptive service-based applications 153
Supporting Cooperative Software Processes in a Decentralized and Nomadic World 153
Quality Prediction of Service Compositions through Probabilistic Model Checking 152
Towards Quality Driven Exploration of Model Transformation Spaces 152
Runtime Monitoring of Functional Component Changes with Behavior Models 152
A Peer-to-Peer Middleware for Mobile Teamwork 148
Evolution of Software Composition Mechanisms: A Survey 148
Validation of Web Service Compositions 147
Model Evolution by Run-Time Parameter Adaptation 147
Syntax-Driven Program Verification of Matching Logic Properties 146
Optimizing Service Selection and Allocation in Situational Computing Applications 146
Reasoning on Non Functional Requirements for Integrated Services 146
Version-consistent dynamic reconfiguration of component-based distributed systems 144
Automated Dynamic Maintenance of Composite Services based on Service Reputation 144
Behavioral validation of JFSL specifications through model synthesis 143
Architectural Issues of Adaptive Pervasive Systems 142
Software adaptation in wireless sensor networks 142
Automatic Cross Validation of Multiple Specifications: A Case Study 142
Towards context-oriented self-adaptation in resource-constrained cyberphysical systems 142
PACE: A data-flow coordination language for asynchronous network-based applications 141
Resource-oriented middleware abstractions for pervasive computing 140
Context-oriented programming: A software engineering perspective 140
Embedding continuous lifelong verification in service life cycles 140
Towards a Model-driven Approach to Develop Applications based on Physical Active Objects 139
Enhancing Remote Method Invocation through Type-Based Static Analysis 138
Self-Adaptive Software Meets Control Theory: A Preliminary Approach Supporting Reliability Requirements 138
RESTful service architectures for pervasive networking environments 138
Context Oriented Programming in Highly Concurrent Systems 137
A proposal for a new software reliability model and its preliminary assessment 136
Efficient Dynamic Updates of Distributed Components Through Version Consistency 136
A Characterization of Mobility and State Distribution in Mobile Code Languages 135
Freeing Cooperation From Servers Tyranny 135
How To Deal With Deviations During Process Model Enactment 134
QVTR²: a Rational and Performance-aware Extension to the Relations Language 132
Separate Compilation and Partial Specification in Pascal 131
On requirement verification for evolving Statecharts specifications 131
Modeling and Validation of Publish/Subscribe Architectures 129
Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens 128
Predicting Performance Properties for Open Systems with KAMI 128
Quantitative Verification of Non-Functional Requirements with Uncertainty 127
Reliability Analysis of Component-Based Systems with Multiple Failure Modes 127
Efficient Recovery of Algebraic Specifications for Stateful Components 126
Validation of Component and Service Federations in Automotive Software Applications 125
From model checking to a temporal proof for partial models 125
Towards Fine-grained Automated Verification of Publish-Subscribe Architectures 125
Methodologies and Technologies for Networked Enterprises 124
Model-Based Verification of Quantitative Non-Functional Properties for Software Product Lines 123
Totale 16.925
Salva come PNG Salva come JPEG
Categoria #
all - tutte 72.536
article - articoli 19.313
book - libri 1.890
conference - conferenze 41.492
curatela - curatele 335
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 9.506
Totale 145.072
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.280 0 0 0 0 0 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/20253.029 13 28 98 62 514 312 133 345 460 215 426 423
2025/20266.110 2.024 1.921 444 936 717 68 0 0 0 0 0 0
Totale 25.886