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.238
EU - Europa 7.285
AS - Asia 5.255
SA - Sud America 1.185
AF - Africa 334
OC - Oceania 23
Continente sconosciuto - Info sul continente non disponibili 9
Totale 30.329
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 15.911
RU - Federazione Russa 2.689
SG - Singapore 1.771
CN - Cina 1.116
BR - Brasile 973
VN - Vietnam 826
IT - Italia 742
DE - Germania 729
UA - Ucraina 557
AT - Austria 477
GB - Regno Unito 366
SE - Svezia 358
FI - Finlandia 338
FR - Francia 317
KR - Corea 263
CA - Canada 215
IN - India 194
ID - Indonesia 185
JP - Giappone 184
HK - Hong Kong 169
IE - Irlanda 167
NL - Olanda 148
MA - Marocco 125
ES - Italia 90
JO - Giordania 84
BE - Belgio 82
MX - Messico 72
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
TW - Taiwan 29
CH - Svizzera 28
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
ZW - Zimbabwe 4
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
BB - Barbados 2
BH - Bahrain 2
BJ - Benin 2
BY - Bielorussia 2
CG - Congo 2
Totale 30.280
Salva come PNG Salva come JPEG
Città #
Fairfield 1.696
Ashburn 1.671
Woodbridge 1.406
Ann Arbor 1.058
Chandler 1.051
San Jose 982
Houston 925
Singapore 916
Wilmington 801
Seattle 664
Cambridge 581
Santa Clara 493
Vienna 450
Moscow 362
Jacksonville 333
The Dalles 320
Council Bluffs 268
Beijing 266
Dearborn 258
Seoul 237
Milan 236
Boardman 224
Lawrence 194
Los Angeles 188
Lauterbourg 180
Ho Chi Minh City 173
Tokyo 165
Hanoi 159
Dublin 155
Hong Kong 148
Dallas 147
Medford 138
Ottawa 132
Helsinki 121
North Charleston 113
Hefei 101
San Diego 101
Buffalo 100
Des Moines 97
New York 97
Dong Ket 84
Amman 83
Brussels 79
Jakarta 76
São Paulo 72
London 66
Casablanca 56
Kenitra 56
Princeton 56
Warsaw 56
Redwood City 55
Grafing 52
Málaga 49
Frankfurt am Main 47
Las Vegas 46
Amsterdam 42
Abidjan 34
Rio de Janeiro 34
Shanghai 33
Surabaya 33
Orem 32
Chennai 31
Atlanta 30
Chicago 30
Berlin 29
Da Nang 29
Auburn Hills 28
Phoenix 27
Taipei 25
Fortaleza 24
Guangzhou 24
Haiphong 24
Johannesburg 24
Tianjin 23
Brooklyn 21
Nürnberg 21
Stockholm 20
Belo Horizonte 19
Denver 19
Lima 19
Montreal 19
Redondo Beach 19
Dhaka 18
Istanbul 17
Norwalk 17
Guarulhos 16
Guayaquil 16
Munich 16
Santiago 16
Baghdad 15
Brasília 15
Dülmen 15
Mountain View 15
Toronto 15
Verona 15
Boston 14
Gurgaon 14
Islamabad 14
Madrid 14
Mumbai 14
Totale 19.629
Salva come PNG Salva come JPEG
Nome #
Fundamentals of Software Engineering 1.310
Theoretical Foundations of Computer Science. 275
Formal Methods in Designing Critical Cyber-Physical Systems 271
An Empirical Investigation Into Large-Scale Java Open Source Code Repository 267
Context-oriented programming for adaptive wireless sensor network software 247
Rethinking the use of models in software architecture 241
A hybrid approach (syntactic and textual) to clone detection 240
Adaptive Service-Oriented Mobile Applications: A Declarative Approach 234
A quality driven extension to the QVT-relations transformation language 230
A Framework for Formalizing Inconsistencies and Deviations in Human-Centered Systems 229
Using Symbolic Execution for Verifying Safety-Critical Systems 228
Efficient large-scale trace checking using mapreduce 228
Change-point detection for black-box services 222
A Model Checking Approach to Verify BPEL4WS Workflows 218
A Timed Extension of WSCoL 217
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions 216
QoS Driven Dynamic Binding in-the-many 216
Engineering topology aware adaptive security: Preventing requirements violations at runtime 216
A compositional method for reliability analysis of workflows affected by multiple failure modes 213
Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification 209
Runtime Monitoring of Functional Component Changes with Behavior Models 206
Software Qualities and Principles 204
A Model Parametric Real-Time Logic 204
Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems 204
A formal approach to adaptive software: Continuous assurance of non-functional requirements 203
Topology Aware Adaptive Security 202
DSOL: a declarative approach to self-adaptive service orchestrations 202
A Framework for the Deployment of Adaptable Web Service Compositions 201
Towards the formalization of properties of cloud-based elastic systems 201
SAVVY-WS at a glance: supporting verifiable dynamic service compositions 200
An evaluation of the adaptation capabilities in programming languages 199
ContextErlang: A language for distributed context-aware self-adaptive applications 199
Evolution of Software Composition Mechanisms: A Survey 198
On requirements verification for model refinements 197
Reliability-driven Dynamic Binding via Feedback Control 196
A control-theoretic approach to self-adaptive systems and an application to cloud-based software 196
Trace checking of metric temporal logic with aggregating modalities using MapReduce 196
Process Programming in the Service Age: Old Problems and New Challenges 195
A journey to highly dynamic, self-adaptive service-based applications 193
Dealing with Changes in Service Orchestrations 193
Complex Autonomic Systems for Networked Enterprises:Mechanisms, Solutions and Design Approaches 193
Computational REST Meets Erlang 192
Fostering Component Evolution with C# Attributes 191
A Peer-to-Peer Middleware for Mobile Teamwork 191
Run-time efficient probabilistic model checking 190
Software adaptation in wireless sensor networks 190
Behavioral validation of JFSL specifications through model synthesis 189
An Analysis of Language-Level Support for Self-Adaptive Software 189
Supporting Configuration Management for Virtual Workgroups in a Peer-to-Peer Setting 189
A Survey and Assessment of Software Process Representation Formalisms 188
Using Agents for Multi-target Search on the Web 187
Ariadne: topology aware adaptive security for cyber-physical systems 187
Transparent reputation management for composite web services 185
Towards context-oriented self-adaptation in resource-constrained cyberphysical systems 184
Towards agile verification 183
ReMAN: A pro-active reputation management infrastructure for composite web services 180
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata 178
The Role of Contracts in Distributed Development 178
Efficient Dynamic Updates of Distributed Components Through Version Consistency 178
Towards Quality Driven Exploration of Model Transformation Spaces 177
SIMPLE: A Program Development System 177
Optimizing Service Selection and Allocation in Situational Computing Applications 176
Quality Prediction of Service Compositions through Probabilistic Model Checking 175
Monitoring Conversational Web Services 174
Model Evolution by Run-Time Parameter Adaptation 174
Validation of Web Service Compositions 171
Supporting Cooperative Software Processes in a Decentralized and Nomadic World 170
Reasoning on Non Functional Requirements for Integrated Services 170
Version-consistent dynamic reconfiguration of component-based distributed systems 168
Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens 167
Team-level programming of drone sensor networks 166
Self-Adaptive Software Meets Control Theory: A Preliminary Approach Supporting Reliability Requirements 165
Context-oriented programming: A software engineering perspective 165
Towards a Model-driven Approach to Develop Applications based on Physical Active Objects 165
From model checking to a temporal proof for partial models 165
Automatic Cross Validation of Multiple Specifications: A Case Study 165
A proposal for a new software reliability model and its preliminary assessment 164
Resource-oriented middleware abstractions for pervasive computing 164
Embedding continuous lifelong verification in service life cycles 164
PACE: A data-flow coordination language for asynchronous network-based applications 163
QVTR²: a Rational and Performance-aware Extension to the Relations Language 162
Syntax-Driven Program Verification of Matching Logic Properties 161
Architectural Issues of Adaptive Pervasive Systems 160
Context Oriented Programming in Highly Concurrent Systems 160
RESTful service architectures for pervasive networking environments 159
A Characterization of Mobility and State Distribution in Mobile Code Languages 159
How To Deal With Deviations During Process Model Enactment 156
CJava: Introducing concurrent objects in Java 155
Automated Dynamic Maintenance of Composite Services based on Service Reputation 155
Enhancing Remote Method Invocation through Type-Based Static Analysis 154
Predicting Performance Properties for Open Systems with KAMI 152
Separate Compilation and Partial Specification in Pascal 151
Freeing Cooperation From Servers Tyranny 149
Software engineering for self-adaptive systems: research challenges in the provision of assurances 149
Methodologies and Technologies for Networked Enterprises 148
On requirement verification for evolving Statecharts specifications 147
Model-Based Verification of Quantitative Non-Functional Properties for Software Product Lines 146
Efficient Recovery of Algebraic Specifications for Stateful Components 146
Writing Dynamic Service Orchestrations with DSOL 146
A Unified High-level Petri Net Model for Time Critical Systems 144
Totale 19.862
Salva come PNG Salva come JPEG
Categoria #
all - tutte 80.063
article - articoli 21.384
book - libri 2.008
conference - conferenze 45.667
curatela - curatele 381
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 10.623
Totale 160.126
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021647 0 0 0 0 0 0 0 0 0 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/202610.796 2.024 1.921 444 936 717 578 1.949 639 643 945 0 0
Totale 30.572