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

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.568 0 0 0 0 0 221 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/20268.489 2.699 2.505 868 1.353 844 220 0 0 0 0 0 0
Totale 30.303