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

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20191.171 0 0 0 0 0 0 0 0 0 0 644 527
2019/20203.858 255 251 86 314 478 466 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/2024721 88 181 81 81 59 97 38 25 14 52 5 0
Totale 16.573