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

BARESI, LUCIANO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 16.108
EU - Europa 8.331
AS - Asia 4.992
SA - Sud America 1.252
AF - Africa 351
OC - Oceania 20
Continente sconosciuto - Info sul continente non disponibili 9
Totale 31.063
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 15.757
RU - Federazione Russa 3.263
SG - Singapore 2.232
CN - Cina 1.459
BR - Brasile 1.081
IT - Italia 978
DE - Germania 617
SE - Svezia 599
UA - Ucraina 563
VN - Vietnam 455
AT - Austria 439
GB - Regno Unito 426
FI - Finlandia 360
CA - Canada 271
FR - Francia 207
NL - Olanda 190
MA - Marocco 187
IE - Irlanda 183
ES - Italia 175
HK - Hong Kong 122
IN - India 121
KR - Corea 105
AR - Argentina 74
PL - Polonia 72
JO - Giordania 67
BE - Belgio 66
TR - Turchia 61
BD - Bangladesh 52
MX - Messico 48
ID - Indonesia 47
JP - Giappone 43
ZA - Sudafrica 43
CI - Costa d'Avorio 41
PK - Pakistan 37
BG - Bulgaria 36
IQ - Iraq 31
EC - Ecuador 26
DK - Danimarca 25
CO - Colombia 20
PH - Filippine 20
RO - Romania 17
IL - Israele 16
IR - Iran 15
SA - Arabia Saudita 14
DZ - Algeria 13
GR - Grecia 13
UZ - Uzbekistan 13
CH - Svizzera 12
KE - Kenya 12
LT - Lituania 12
PY - Paraguay 12
RS - Serbia 12
AZ - Azerbaigian 11
TW - Taiwan 11
VE - Venezuela 11
AU - Australia 10
CL - Cile 10
LV - Lettonia 10
MU - Mauritius 10
PS - Palestinian Territory 9
TN - Tunisia 9
EG - Egitto 8
EU - Europa 8
NZ - Nuova Zelanda 8
PE - Perù 8
KZ - Kazakistan 7
PT - Portogallo 7
TT - Trinidad e Tobago 7
UY - Uruguay 7
BJ - Benin 6
CZ - Repubblica Ceca 6
HN - Honduras 6
NG - Nigeria 6
SK - Slovacchia (Repubblica Slovacca) 6
DO - Repubblica Dominicana 5
HR - Croazia 5
LU - Lussemburgo 5
MY - Malesia 5
PA - Panama 5
SI - Slovenia 5
AE - Emirati Arabi Uniti 4
AL - Albania 4
BB - Barbados 4
JM - Giamaica 4
NP - Nepal 4
OM - Oman 4
BA - Bosnia-Erzegovina 3
BY - Bielorussia 3
KG - Kirghizistan 3
LK - Sri Lanka 3
MD - Moldavia 3
SY - Repubblica araba siriana 3
TH - Thailandia 3
AM - Armenia 2
BN - Brunei Darussalam 2
BO - Bolivia 2
EE - Estonia 2
ET - Etiopia 2
GA - Gabon 2
LB - Libano 2
Totale 31.030
Salva come PNG Salva come JPEG
Città #
Ashburn 1.819
Fairfield 1.790
Woodbridge 1.455
Singapore 1.206
Chandler 1.103
Houston 1.095
Ann Arbor 918
Wilmington 846
Seattle 744
Santa Clara 605
Cambridge 604
Vienna 415
Moscow 407
Beijing 360
Hefei 330
Jacksonville 327
Council Bluffs 269
Boardman 268
Dearborn 261
Lawrence 214
San Jose 204
Milan 197
Medford 182
Los Angeles 181
Ottawa 179
Dublin 173
Dallas 164
Helsinki 147
Dong Ket 130
Málaga 128
San Diego 114
Hong Kong 113
Kenitra 112
Buffalo 100
São Paulo 94
New York 92
London 85
Ho Chi Minh City 84
Des Moines 71
Amman 66
Frankfurt am Main 66
Casablanca 62
Brussels 60
Seoul 60
Hanoi 56
Warsaw 53
Chicago 49
Kent 47
Amsterdam 45
Princeton 43
Stockholm 41
Orem 40
Auburn Hills 39
The Dalles 38
Abidjan 37
Norwalk 35
Munich 34
Denver 33
Rio de Janeiro 33
Rome 33
Jakarta 32
Shanghai 31
Tokyo 31
Düsseldorf 30
Redwood City 30
Chennai 28
Nuremberg 28
Brooklyn 26
Montreal 25
Turin 25
Phoenix 24
Atlanta 23
Johannesburg 23
Brasília 21
Mountain View 21
San Francisco 21
Ulsan 20
Belo Horizonte 19
Columbus 19
Guangzhou 19
Paris 19
Izmir 18
Poplar 18
Redondo Beach 18
Washington 18
Ankara 16
Toronto 16
Brescia 15
Turku 15
Boston 14
Dhaka 14
Lappeenranta 14
Tianjin 14
Changsha 13
Da Nang 13
Guayaquil 13
Mumbai 13
Baghdad 12
Berlin 12
Campinas 12
Totale 19.349
Salva come PNG Salva come JPEG
Nome #
Translating BPMN to E-GSM: specifications and rules 262
A comparison framework for runtime monitoring approaches 243
A discrete-Time feedback controller for containerized cloud applications 231
A logic-based semantics for the verification of multi-diagram UML models 227
Multi-party business process compliance monitoring through IoT-enabled artifacts 215
A Service-based Infrastructure for Advanced Logistics 212
Formal verification and validation of embedded systems: the UML-based MADES approach 212
TDeX: A Description Model for Heterogeneous Smart Devices and GUI Generation 207
W2000: A Modeling Notation for Complex Web Applications 201
A Timed Extension of WSCoL 198
Dall'idea al codice con UML 2 197
A GSM-based approach for monitoring cross-organization business processes using smart objects 197
A logic-based approach for the verification of UML timed models 196
Assertions to Better Specify the Amazon Bug 196
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions 195
Development of Services for Mobile Information Systems 193
A Distributed Approach for the Federation of Heterogeneous Registries 191
A Flexible and Semantic-Aware Publication Infrastructure for Web Services 188
Building Software for the Internet of Things 186
On Handling Business Process Anomalies through Artifact-based Modeling 184
Business Process Monitoring for Dependability 181
A3Droid: A framework for developing distributed crowdsensing 181
First Experiences on Constraining Consistency and Adaptivity of W2000 Models 180
A distributed architecture for efficient Web service discovery 179
E-Services 179
Achieving Self-adaptation through Dynamic Group Management 178
A Framework for the Deployment of Adaptable Web Service Compositions 175
Efficient Scalable Verification of LTL Specifications 175
GODA: A goal-oriented requirements engineering framework for runtime dependability analysis 173
A unified model for the mobile-edge-cloud continuum 173
On Formalizing UML with High-Level Petri Nets 169
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata 168
KOSMOS: Vertical and Horizontal Resource Autoscaling for Kubernetes 168
WS-Policy for Service Monitoring 167
Keep it small, keep it real: Efficient run-time verification of web service compositions 167
On How Bit-Vector Logic Can Help Verify LTL-based Specifications 167
Empowering low-latency applications through a serverless edge computing architecture 166
An Empirical Study on the Design Effort Of Web Applications 166
Provisioning of Complex Adaptive Services 166
PLCTools: Graph Transformation Meets PLC Design 165
Comprehensive Monitoring of BPEL Processes 165
A Service-Based Framework for Flexible Business Processes 165
Context-aware Composition of E-Services 165
A Fault Taxonomy for Web Service Composition 161
Using formal verification to evaluate the execution time of Spark applications 161
A Dynamic and Reactive Approach to the Supervision of BPEL Processes 161
On the timed analysis of big-data applications 160
MicroCloud: A Container-Based Solution for Efficient Resource Management in the Cloud 159
Fuzzy goals for Requirements-driven adaptation 159
From Interaction Overview Diagrams to Temporal Logic 158
Green Move: towards next generation sustainable smartphone-based vehicle sharing 158
Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems 158
A-3: An Architectural Style for Coordinating Distributed Components 156
Meta-modeling Techniques Meet Web Application Design Tools 156
PAPS: A Framework for Decentralized Self-management at the Edge 155
The MAIS Approach to Web Service Design 154
Improving Evolutionary Testing by Means of Efficiency Enhancement Techniques 154
Microservices identification through interface analysis 154
(a cura di) Proceedings from International Workshop on Multi-channel and Mobile Information systems. Included in Santucci, G., Klas, W., Bertolotto, C. and Baresi, L. 4th International Conference on Web Information Systems Engineering Workshops (WISE 2003 Workshops), March 2004, Proceedings. 153
An Efficient Solution for Model Checking Graph Transformation Systems 153
Integrated and Composable Supervision of BPEL Processes 152
Evolution in dynamic software product lines 152
From Interaction Overview Diagrams to Temporal Logic 152
Ubiquitous Mobile Information and Collaboration Systems 151
Automated quality assessment of incident tickets for smart service continuity 151
Validation of Web Service Compositions 150
Towards Model-Driven Testing of a Web Application Generator. 149
Learning and evolution in dynamic software product lines 148
Estimating the Design Effort of Web Applications 148
Office building occupancy monitoring through image recognition sensors 148
Microservices: The Evolution and Extinction of Web Services? 148
Self-Healing BPEL Processes with Dynamo and the JBoss Rule Engine 148
Version-consistent dynamic reconfiguration of component-based distributed systems 147
Supporting the decision of migrating to microservices through multi-layer fuzzy cognitive maps 147
A comparison framework for runtime monitoring approaches (journal-first abstract) 147
An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations 145
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems 145
A Distributed Approach for the Federation of Heterogeneous Registries 145
mArtifact: an Artifact-driven Process Monitoring Platform 145
Policies and Aspects for the Supervision of BPEL Processes 144
Towards a Model-driven Approach to Develop Applications based on Physical Active Objects 144
Loose Compositions for Autonomic Systems 143
W2000 meets J2ME for the Fast Prototyping of Mobile Web Applications 143
Adaptive Goals for Self-adaptive Service Compositions 143
Realizing self-adaptive systems via online reinforcement learning and feature-model-guided exploration 142
Software Engineering for Self-Adaptive Systems: A Second Research RoadmapSoftware Engineering for Self-Adaptive Systems II 142
Towards Dynamic Monitoring of WS-BPEL Processes 142
Live goals for adaptive service compositions 141
Distributed Coordinated Adaptation of Cloud-based Applications 141
Efficient Dynamic Updates of Distributed Components Through Version Consistency 141
Flexible Modular Formalization of UML Sequence Diagrams 140
Dynamo: Dynamic Monitoring of WS-BPEL Processes 139
Adaptation of Service-Based Systems 139
TestFul: An Evolutionary Test Approach for Java 139
A declarative modelling framework for the deployment and management of blockchain applications 138
Consumer Mashups with Mashlight 138
Translating BPMN to E-GSM: proof of correctness 137
How bit-vector logic can help improve the verification of LTL specifications over infinite domains 136
A qualitative and quantitative analysis of container engines 135
Towards a unified framework for the monitoring and recovery of BPEL processes 135
Totale 16.499
Salva come PNG Salva come JPEG
Categoria #
all - tutte 95.241
article - articoli 20.511
book - libri 730
conference - conferenze 60.055
curatela - curatele 1.840
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 10.584
Totale 188.961
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.347 0 0 0 0 0 0 170 212 165 267 206 327
2021/20222.140 80 226 176 170 334 68 126 109 102 142 248 359
2022/20232.612 343 254 83 294 269 307 13 189 370 202 180 108
2023/20241.149 103 214 80 97 85 109 53 60 15 106 27 200
2024/20254.392 69 62 100 106 717 367 143 444 680 331 625 748
2025/20269.565 2.699 2.505 868 1.353 844 876 420 0 0 0 0 0
Totale 31.379