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

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20222.697 0 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.893 2.024 1.921 444 936 717 578 1.949 639 643 991 272 779
2026/2027475 270 205 0 0 0 0 0 0 0 0 0 0
Totale 32.144