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

BARESI, LUCIANO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 18.803
EU - Europa 8.828
AS - Asia 7.205
SA - Sud America 1.340
AF - Africa 389
OC - Oceania 25
Continente sconosciuto - Info sul continente non disponibili 9
Totale 36.599
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 18.413
RU - Federazione Russa 3.266
SG - Singapore 2.516
CN - Cina 1.855
BR - Brasile 1.138
IT - Italia 1.083
VN - Vietnam 973
DE - Germania 656
SE - Svezia 604
UA - Ucraina 567
KR - Corea 463
GB - Regno Unito 448
FR - Francia 447
AT - Austria 439
FI - Finlandia 378
JP - Giappone 324
CA - Canada 289
HK - Hong Kong 259
NL - Olanda 208
MA - Marocco 190
IE - Irlanda 188
ES - Italia 182
IN - India 159
BD - Bangladesh 83
PL - Polonia 79
AR - Argentina 77
TW - Taiwan 73
BE - Belgio 72
TR - Turchia 71
JO - Giordania 68
ZA - Sudafrica 60
MX - Messico 55
ID - Indonesia 54
IQ - Iraq 49
PK - Pakistan 47
CI - Costa d'Avorio 41
BG - Bulgaria 37
PH - Filippine 35
EC - Ecuador 30
CO - Colombia 26
DK - Danimarca 26
CL - Cile 21
DZ - Algeria 20
RO - Romania 20
SA - Arabia Saudita 20
IL - Israele 17
UZ - Uzbekistan 17
AZ - Azerbaigian 16
VE - Venezuela 16
AU - Australia 15
IR - Iran 15
CH - Svizzera 14
GR - Grecia 14
KE - Kenya 14
RS - Serbia 14
LT - Lituania 12
PY - Paraguay 12
LV - Lettonia 11
MY - Malesia 11
TH - Thailandia 11
TN - Tunisia 11
MU - Mauritius 10
PE - Perù 10
EG - Egitto 9
KZ - Kazakistan 9
PS - Palestinian Territory 9
EU - Europa 8
JM - Giamaica 8
NZ - Nuova Zelanda 8
TT - Trinidad e Tobago 8
AE - Emirati Arabi Uniti 7
CZ - Repubblica Ceca 7
HN - Honduras 7
NG - Nigeria 7
PT - Portogallo 7
SI - Slovenia 7
UY - Uruguay 7
BJ - Benin 6
HR - Croazia 6
NP - Nepal 6
PA - Panama 6
SK - Slovacchia (Repubblica Slovacca) 6
AL - Albania 5
BB - Barbados 5
DO - Repubblica Dominicana 5
LU - Lussemburgo 5
OM - Oman 5
BY - Bielorussia 4
KG - Kirghizistan 4
SY - Repubblica araba siriana 4
BA - Bosnia-Erzegovina 3
BH - Bahrain 3
ET - Etiopia 3
LB - Libano 3
LK - Sri Lanka 3
MD - Moldavia 3
AM - Armenia 2
AO - Angola 2
BF - Burkina Faso 2
BN - Brunei Darussalam 2
Totale 36.550
Salva come PNG Salva come JPEG
Città #
Ashburn 2.257
Fairfield 1.790
Woodbridge 1.456
Singapore 1.392
San Jose 1.305
Houston 1.105
Chandler 1.103
Ann Arbor 918
Wilmington 847
Seattle 744
Santa Clara 626
Cambridge 604
Vienna 415
Seoul 412
Moscow 408
Beijing 389
Council Bluffs 373
The Dalles 338
Hefei 330
Jacksonville 328
Tokyo 304
Boardman 269
Dearborn 261
Dallas 249
Milan 243
Los Angeles 240
Hong Kong 231
Ho Chi Minh City 221
Lauterbourg 220
Lawrence 214
Hanoi 193
Medford 182
Ottawa 179
Dublin 177
Helsinki 164
North Charleston 157
Dong Ket 130
Málaga 128
New York 114
San Diego 114
Kenitra 112
Buffalo 103
São Paulo 102
Frankfurt am Main 89
London 89
Des Moines 72
Orem 67
Amman 66
Brussels 63
Casablanca 63
Chicago 59
Warsaw 57
Taipei 55
Amsterdam 54
Rome 51
Shanghai 48
Kent 47
Princeton 43
Stockholm 43
Las Vegas 42
Da Nang 40
Auburn Hills 39
Chennai 38
Abidjan 37
Denver 37
Munich 36
Guangzhou 35
Norwalk 35
Rio de Janeiro 35
Jakarta 34
Phoenix 33
Montreal 31
Düsseldorf 30
Johannesburg 30
Nuremberg 30
Redwood City 30
Brooklyn 29
Turin 28
Atlanta 26
San Francisco 26
Haiphong 25
Brasília 23
Paris 23
Belo Horizonte 22
Columbus 21
Mountain View 21
Shenzhen 20
Tianjin 20
Toronto 20
Ulsan 20
Washington 20
Baghdad 18
Izmir 18
Mumbai 18
Poplar 18
Redondo Beach 18
Ankara 17
Biên Hòa 17
Hải Dương 17
Brescia 16
Totale 23.506
Salva come PNG Salva come JPEG
Nome #
Translating BPMN to E-GSM: specifications and rules 292
A logic-based semantics for the verification of multi-diagram UML models 274
A comparison framework for runtime monitoring approaches 270
A discrete-Time feedback controller for containerized cloud applications 254
A logic-based approach for the verification of UML timed models 252
A Service-based Infrastructure for Advanced Logistics 247
Multi-party business process compliance monitoring through IoT-enabled artifacts 246
Assertions to Better Specify the Amazon Bug 243
A GSM-based approach for monitoring cross-organization business processes using smart objects 237
Formal verification and validation of embedded systems: the UML-based MADES approach 237
TDeX: A Description Model for Heterogeneous Smart Devices and GUI Generation 233
Development of Services for Mobile Information Systems 232
A distributed architecture for efficient Web service discovery 229
W2000: A Modeling Notation for Complex Web Applications 222
A Timed Extension of WSCoL 220
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions 219
Efficient Scalable Verification of LTL Specifications 217
E-Services 216
On How Bit-Vector Logic Can Help Verify LTL-based Specifications 215
Dall'idea al codice con UML 2 213
Building Software for the Internet of Things 211
A unified model for the mobile-edge-cloud continuum 211
A Flexible and Semantic-Aware Publication Infrastructure for Web Services 209
A3Droid: A framework for developing distributed crowdsensing 209
On Handling Business Process Anomalies through Artifact-based Modeling 209
A Distributed Approach for the Federation of Heterogeneous Registries 208
Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems 207
KOSMOS: Vertical and Horizontal Resource Autoscaling for Kubernetes 206
From Interaction Overview Diagrams to Temporal Logic 206
First Experiences on Constraining Consistency and Adaptivity of W2000 Models 205
A Framework for the Deployment of Adaptable Web Service Compositions 203
Using formal verification to evaluate the execution time of Spark applications 201
Business Process Monitoring for Dependability 200
From Interaction Overview Diagrams to Temporal Logic 200
Context-aware Composition of E-Services 197
Achieving Self-adaptation through Dynamic Group Management 196
On Formalizing UML with High-Level Petri Nets 193
GODA: A goal-oriented requirements engineering framework for runtime dependability analysis 192
Provisioning of Complex Adaptive Services 191
Keep it small, keep it real: Efficient run-time verification of web service compositions 190
Empowering low-latency applications through a serverless edge computing architecture 189
Green Move: towards next generation sustainable smartphone-based vehicle sharing 187
A Service-Based Framework for Flexible Business Processes 184
An Empirical Study on the Design Effort Of Web Applications 184
On the timed analysis of big-data applications 184
Efficient Dynamic Updates of Distributed Components Through Version Consistency 183
A Fault Taxonomy for Web Service Composition 182
Comprehensive Monitoring of BPEL Processes 182
WS-Policy for Service Monitoring 181
An Efficient Solution for Model Checking Graph Transformation Systems 181
Microservices identification through interface analysis 180
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata 179
A Dynamic and Reactive Approach to the Supervision of BPEL Processes 179
A-3: An Architectural Style for Coordinating Distributed Components 178
Meta-modeling Techniques Meet Web Application Design Tools 178
PLCTools: Graph Transformation Meets PLC Design 177
(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. 177
MicroCloud: A Container-Based Solution for Efficient Resource Management in the Cloud 177
PAPS: A Framework for Decentralized Self-management at the Edge 175
Microservices: The Evolution and Extinction of Web Services? 175
Automated quality assessment of incident tickets for smart service continuity 175
Integrated and Composable Supervision of BPEL Processes 174
Fuzzy goals for Requirements-driven adaptation 174
A qualitative and quantitative analysis of container engines 172
The MAIS Approach to Web Service Design 172
Validation of Web Service Compositions 172
Ubiquitous Mobile Information and Collaboration Systems 171
Realizing self-adaptive systems via online reinforcement learning and feature-model-guided exploration 170
Version-consistent dynamic reconfiguration of component-based distributed systems 170
Office building occupancy monitoring through image recognition sensors 170
Evolution in dynamic software product lines 170
Fine-Grained Dynamic Resource Allocation for Big-Data Applications 170
A declarative modelling framework for the deployment and management of blockchain applications 169
Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens 168
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems 168
W2000 meets J2ME for the Fast Prototyping of Mobile Web Applications 168
An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations 167
Learning and evolution in dynamic software product lines 167
Supporting the decision of migrating to microservices through multi-layer fuzzy cognitive maps 167
Self-Healing BPEL Processes with Dynamo and the JBoss Rule Engine 167
Improving Evolutionary Testing by Means of Efficiency Enhancement Techniques 166
Towards Model-Driven Testing of a Web Application Generator. 166
Towards a Model-driven Approach to Develop Applications based on Physical Active Objects 166
Flexible Modular Formalization of UML Sequence Diagrams 166
A multi‐faceted analysis of the performance variability of virtual machines 165
Towards Dynamic Monitoring of WS-BPEL Processes 165
mArtifact: an Artifact-driven Process Monitoring Platform 164
A comparison framework for runtime monitoring approaches (journal-first abstract) 164
A Conceptual Framework for Quality Assurance of LLM-based Socio-critical Systems 163
Towards the UML-Based Formal Verification of Timed Systems 160
Software Engineering for Self-Adaptive Systems: A Second Research RoadmapSoftware Engineering for Self-Adaptive Systems II 159
Adaptation of Service-Based Systems 159
A3: self-adaptation capabilities through groups and coordination 159
Using the guard-stage-milestone notation for monitoring BPMN-based processes 159
How bit-vector logic can help improve the verification of LTL specifications over infinite domains 159
Infrastructure and Design for flexibility and adaptivity 159
A Distributed Approach for the Federation of Heterogeneous Registries 159
Policies and Aspects for the Supervision of BPEL Processes 158
Dynamo: Dynamic Monitoring of WS-BPEL Processes 158
Loose Compositions for Autonomic Systems 158
Totale 19.057
Salva come PNG Salva come JPEG
Categoria #
all - tutte 105.960
article - articoli 22.801
book - libri 801
conference - conferenze 66.952
curatela - curatele 2.076
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 11.643
Totale 210.233
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021533 0 0 0 0 0 0 0 0 0 0 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/202615.108 2.699 2.505 868 1.353 844 876 2.508 844 946 1.343 322 0
Totale 36.922