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

GHEZZI, CARLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 16.622
EU - Europa 7.357
AS - Asia 5.268
SA - Sud America 1.185
AF - Africa 334
OC - Oceania 23
Continente sconosciuto - Info sul continente non disponibili 9
Totale 30.798
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 16.278
RU - Federazione Russa 2.689
SG - Singapore 1.774
CN - Cina 1.119
BR - Brasile 973
VN - Vietnam 826
IT - Italia 808
DE - Germania 729
UA - Ucraina 557
AT - Austria 477
GB - Regno Unito 370
SE - Svezia 358
FI - Finlandia 338
FR - Francia 317
KR - Corea 264
CA - Canada 227
IN - India 194
ID - Indonesia 186
JP - Giappone 184
HK - Hong Kong 174
IE - Irlanda 167
NL - Olanda 149
MA - Marocco 125
ES - Italia 90
JO - Giordania 84
BE - Belgio 82
MX - Messico 74
AR - Argentina 66
PL - Polonia 65
PK - Pakistan 64
TR - Turchia 64
BD - Bangladesh 54
PH - Filippine 49
IQ - Iraq 47
ZA - Sudafrica 45
EC - Ecuador 38
CI - Costa d'Avorio 35
EG - Egitto 35
PE - Perù 31
CH - Svizzera 29
TW - Taiwan 29
SA - Arabia Saudita 28
CO - Colombia 25
PT - Portogallo 25
MY - Malesia 24
AU - Australia 20
RO - Romania 17
CL - Cile 16
PY - Paraguay 16
KE - Kenya 15
NO - Norvegia 14
GR - Grecia 12
TN - Tunisia 12
DK - Danimarca 11
IL - Israele 11
NG - Nigeria 11
DO - Repubblica Dominicana 10
TH - Thailandia 10
VE - Venezuela 10
LK - Sri Lanka 9
UZ - Uzbekistan 9
AZ - Azerbaigian 8
DZ - Algeria 8
EE - Estonia 8
NP - Nepal 8
PA - Panama 8
EU - Europa 7
MU - Mauritius 7
CZ - Repubblica Ceca 6
GE - Georgia 6
IR - Iran 6
OM - Oman 6
UY - Uruguay 6
AE - Emirati Arabi Uniti 5
ET - Etiopia 5
HU - Ungheria 5
JM - Giamaica 5
MZ - Mozambico 5
PS - Palestinian Territory 5
RS - Serbia 5
AL - Albania 4
BO - Bolivia 4
CR - Costa Rica 4
SV - El Salvador 4
ZW - Zimbabwe 4
BB - Barbados 3
BG - Bulgaria 3
HR - Croazia 3
KH - Cambogia 3
KZ - Kazakistan 3
LV - Lettonia 3
NI - Nicaragua 3
NZ - Nuova Zelanda 3
SY - Repubblica araba siriana 3
TT - Trinidad e Tobago 3
UG - Uganda 3
AO - Angola 2
BH - Bahrain 2
BJ - Benin 2
BY - Bielorussia 2
Totale 30.749
Salva come PNG Salva come JPEG
Città #
Ashburn 1.712
Fairfield 1.696
Woodbridge 1.406
San Jose 1.059
Ann Arbor 1.058
Chandler 1.051
Houston 929
Singapore 918
Wilmington 801
Seattle 665
Cambridge 581
Santa Clara 501
Vienna 450
Moscow 362
Jacksonville 336
The Dalles 320
Council Bluffs 291
Milan 291
Boardman 283
Beijing 267
Dearborn 258
Seoul 238
Los Angeles 199
Lawrence 194
Lauterbourg 180
Ho Chi Minh City 173
Tokyo 165
Hanoi 159
Dublin 155
Dallas 153
Hong Kong 153
Medford 138
Ottawa 133
Helsinki 121
North Charleston 113
New York 104
Buffalo 102
Hefei 101
San Diego 101
Des Moines 97
Dong Ket 84
Amman 83
Brussels 79
Jakarta 76
São Paulo 72
London 67
Casablanca 56
Kenitra 56
Princeton 56
Warsaw 56
Redwood City 55
Grafing 52
Las Vegas 49
Málaga 49
Frankfurt am Main 47
Amsterdam 42
Abidjan 34
Rio de Janeiro 34
Atlanta 33
Orem 33
Shanghai 33
Surabaya 33
Chennai 31
Chicago 31
Berlin 29
Da Nang 29
Auburn Hills 28
Phoenix 28
Taipei 25
Fortaleza 24
Guangzhou 24
Haiphong 24
Johannesburg 24
Tianjin 23
Brooklyn 22
Montreal 22
Nürnberg 21
Denver 20
Stockholm 20
Belo Horizonte 19
Lima 19
Redondo Beach 19
Dhaka 18
Istanbul 17
Norwalk 17
Guarulhos 16
Guayaquil 16
Munich 16
Santiago 16
Toronto 16
Baghdad 15
Brasília 15
Dülmen 15
Mountain View 15
Verona 15
Washington 15
Boston 14
Charlotte 14
Gurgaon 14
Islamabad 14
Totale 19.953
Salva come PNG Salva come JPEG
Nome #
Fundamentals of Software Engineering 1.313
An Empirical Investigation Into Large-Scale Java Open Source Code Repository 323
Formal Methods in Designing Critical Cyber-Physical Systems 277
Theoretical Foundations of Computer Science. 276
Context-oriented programming for adaptive wireless sensor network software 250
Rethinking the use of models in software architecture 244
A hybrid approach (syntactic and textual) to clone detection 241
Adaptive Service-Oriented Mobile Applications: A Declarative Approach 236
Efficient large-scale trace checking using mapreduce 234
Using Symbolic Execution for Verifying Safety-Critical Systems 233
A quality driven extension to the QVT-relations transformation language 232
A Framework for Formalizing Inconsistencies and Deviations in Human-Centered Systems 231
Change-point detection for black-box services 227
A Timed Extension of WSCoL 223
A Model Checking Approach to Verify BPEL4WS Workflows 222
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions 221
Engineering topology aware adaptive security: Preventing requirements violations at runtime 221
QoS Driven Dynamic Binding in-the-many 220
A compositional method for reliability analysis of workflows affected by multiple failure modes 215
Runtime Monitoring of Functional Component Changes with Behavior Models 211
Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification 210
Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems 210
DSOL: a declarative approach to self-adaptive service orchestrations 209
Software Qualities and Principles 207
Topology Aware Adaptive Security 207
A Model Parametric Real-Time Logic 205
A formal approach to adaptive software: Continuous assurance of non-functional requirements 204
Towards the formalization of properties of cloud-based elastic systems 204
A Framework for the Deployment of Adaptable Web Service Compositions 203
SAVVY-WS at a glance: supporting verifiable dynamic service compositions 203
An evaluation of the adaptation capabilities in programming languages 201
ContextErlang: A language for distributed context-aware self-adaptive applications 201
Evolution of Software Composition Mechanisms: A Survey 199
Reliability-driven Dynamic Binding via Feedback Control 199
On requirements verification for model refinements 199
Trace checking of metric temporal logic with aggregating modalities using MapReduce 199
A control-theoretic approach to self-adaptive systems and an application to cloud-based software 198
Software adaptation in wireless sensor networks 197
Process Programming in the Service Age: Old Problems and New Challenges 196
Fostering Component Evolution with C# Attributes 195
Dealing with Changes in Service Orchestrations 195
A journey to highly dynamic, self-adaptive service-based applications 194
Behavioral validation of JFSL specifications through model synthesis 194
Computational REST Meets Erlang 194
A Peer-to-Peer Middleware for Mobile Teamwork 193
Complex Autonomic Systems for Networked Enterprises:Mechanisms, Solutions and Design Approaches 193
A Survey and Assessment of Software Process Representation Formalisms 193
Run-time efficient probabilistic model checking 192
An Analysis of Language-Level Support for Self-Adaptive Software 190
Supporting Configuration Management for Virtual Workgroups in a Peer-to-Peer Setting 190
Ariadne: topology aware adaptive security for cyber-physical systems 189
Towards context-oriented self-adaptation in resource-constrained cyberphysical systems 188
Using Agents for Multi-target Search on the Web 187
Transparent reputation management for composite web services 186
Efficient Dynamic Updates of Distributed Components Through Version Consistency 186
Towards agile verification 185
ReMAN: A pro-active reputation management infrastructure for composite web services 181
Optimizing Service Selection and Allocation in Situational Computing Applications 181
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata 180
Quality Prediction of Service Compositions through Probabilistic Model Checking 179
Towards Quality Driven Exploration of Model Transformation Spaces 179
The Role of Contracts in Distributed Development 178
SIMPLE: A Program Development System 178
Model Evolution by Run-Time Parameter Adaptation 177
Monitoring Conversational Web Services 176
Validation of Web Service Compositions 174
Team-level programming of drone sensor networks 173
Supporting Cooperative Software Processes in a Decentralized and Nomadic World 173
Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens 172
Reasoning on Non Functional Requirements for Integrated Services 172
Version-consistent dynamic reconfiguration of component-based distributed systems 170
Automatic Cross Validation of Multiple Specifications: A Case Study 169
A proposal for a new software reliability model and its preliminary assessment 168
Resource-oriented middleware abstractions for pervasive computing 168
Context-oriented programming: A software engineering perspective 168
Self-Adaptive Software Meets Control Theory: A Preliminary Approach Supporting Reliability Requirements 167
QVTR²: a Rational and Performance-aware Extension to the Relations Language 166
Towards a Model-driven Approach to Develop Applications based on Physical Active Objects 166
Embedding continuous lifelong verification in service life cycles 166
From model checking to a temporal proof for partial models 165
PACE: A data-flow coordination language for asynchronous network-based applications 164
Syntax-Driven Program Verification of Matching Logic Properties 164
Context Oriented Programming in Highly Concurrent Systems 163
A Characterization of Mobility and State Distribution in Mobile Code Languages 162
How To Deal With Deviations During Process Model Enactment 162
Architectural Issues of Adaptive Pervasive Systems 161
RESTful service architectures for pervasive networking environments 161
Enhancing Remote Method Invocation through Type-Based Static Analysis 159
Automated Dynamic Maintenance of Composite Services based on Service Reputation 158
CJava: Introducing concurrent objects in Java 156
Predicting Performance Properties for Open Systems with KAMI 153
Separate Compilation and Partial Specification in Pascal 153
Software engineering for self-adaptive systems: research challenges in the provision of assurances 153
Freeing Cooperation From Servers Tyranny 151
On requirement verification for evolving Statecharts specifications 151
Efficient Recovery of Algebraic Specifications for Stateful Components 149
Methodologies and Technologies for Networked Enterprises 148
A Unified High-level Petri Net Model for Time Critical Systems 147
Model-Based Verification of Quantitative Non-Functional Properties for Software Product Lines 147
Writing Dynamic Service Orchestrations with DSOL 147
Totale 20.200
Salva come PNG Salva come JPEG
Categoria #
all - tutte 83.557
article - articoli 22.402
book - libri 2.045
conference - conferenze 47.649
curatela - curatele 392
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 11.069
Totale 167.114
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021255 0 0 0 0 0 0 0 0 0 0 0 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/202611.265 2.024 1.921 444 936 717 578 1.949 639 643 991 272 151
Totale 31.041