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

BARESI, LUCIANO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 20.114
EU - Europa 9.615
AS - Asia 7.376
SA - Sud America 1.380
AF - Africa 389
Continente sconosciuto - Info sul continente non disponibili 336
OC - Oceania 26
Totale 39.236
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 19.607
RU - Federazione Russa 3.267
SG - Singapore 2.540
CN - Cina 1.870
IT - Italia 1.813
BR - Brasile 1.155
VN - Vietnam 1.049
DE - Germania 674
SE - Svezia 605
UA - Ucraina 568
KR - Corea 465
FR - Francia 456
GB - Regno Unito 454
AT - Austria 439
FI - Finlandia 380
CA - Canada 339
JP - Giappone 324
HK - Hong Kong 262
NL - Olanda 211
MA - Marocco 190
IE - Irlanda 188
ES - Italia 183
IN - India 172
BD - Bangladesh 98
AR - Argentina 81
PL - Polonia 79
TR - Turchia 79
TW - Taiwan 75
BE - Belgio 74
JO - Giordania 68
ZA - Sudafrica 60
MX - Messico 58
ID - Indonesia 57
IQ - Iraq 49
PK - Pakistan 47
CI - Costa d'Avorio 41
CO - Colombia 38
BG - Bulgaria 37
PH - Filippine 36
EC - Ecuador 31
DK - Danimarca 26
SA - Arabia Saudita 25
CL - Cile 23
RO - Romania 22
CR - Costa Rica 20
DZ - Algeria 20
JM - Giamaica 20
IL - Israele 17
UZ - Uzbekistan 17
VE - Venezuela 17
AU - Australia 16
AZ - Azerbaigian 16
GR - Grecia 16
CH - Svizzera 15
IR - Iran 15
KE - Kenya 14
RS - Serbia 14
LT - Lituania 13
PY - Paraguay 13
PE - Perù 12
TT - Trinidad e Tobago 12
LV - Lettonia 11
MY - Malesia 11
TH - Thailandia 11
TN - Tunisia 11
HN - Honduras 10
MU - Mauritius 10
AE - Emirati Arabi Uniti 9
EG - Egitto 9
KZ - Kazakistan 9
PS - Palestinian Territory 9
PT - Portogallo 9
CZ - Repubblica Ceca 8
EU - Europa 8
NZ - Nuova Zelanda 8
GT - Guatemala 7
HR - Croazia 7
NG - Nigeria 7
NP - Nepal 7
PA - Panama 7
SI - Slovenia 7
SK - Slovacchia (Repubblica Slovacca) 7
UY - Uruguay 7
BB - Barbados 6
BJ - Benin 6
DO - Repubblica Dominicana 6
NI - Nicaragua 6
AL - Albania 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
PR - Porto Rico 3
Totale 38.843
Salva come PNG Salva come JPEG
Città #
Ashburn 2.360
Fairfield 1.790
Woodbridge 1.456
Singapore 1.408
San Jose 1.398
Houston 1.109
Chandler 1.103
Ann Arbor 918
Wilmington 850
Seattle 749
Santa Clara 675
Cambridge 604
Council Bluffs 561
Milan 491
Vienna 415
Seoul 412
Moscow 408
Beijing 392
The Dalles 340
Jacksonville 332
Hefei 330
Boardman 326
Tokyo 304
Los Angeles 262
Dearborn 261
Dallas 258
Ho Chi Minh City 243
Hong Kong 234
Lauterbourg 220
Hanoi 218
Lawrence 214
Medford 182
Ottawa 180
Dublin 177
Helsinki 164
North Charleston 157
Rome 151
Dong Ket 130
Málaga 128
Phoenix 124
New York 122
San Diego 116
Kenitra 112
Buffalo 108
São Paulo 104
Frankfurt am Main 93
London 89
Des Moines 72
Orem 67
Amman 66
Chicago 64
Brussels 63
Casablanca 63
Turin 59
Warsaw 57
Amsterdam 55
Taipei 55
Shanghai 48
Kent 47
Da Nang 44
Las Vegas 43
Princeton 43
Stockholm 43
Brooklyn 40
Montreal 40
Auburn Hills 39
Chennai 39
Abidjan 37
Denver 37
Munich 37
Norwalk 37
Rio de Janeiro 36
Guangzhou 35
Jakarta 34
Naples 33
Düsseldorf 30
Johannesburg 30
Nuremberg 30
Redwood City 30
Atlanta 28
San Francisco 28
Frisco 27
Izmir 26
Washington 26
Bologna 25
Haiphong 25
Toronto 25
Brescia 24
Florence 24
Paris 24
Brasília 23
Columbus 23
Dhaka 23
Verona 23
Belo Horizonte 22
Mountain View 21
Shenzhen 20
Tianjin 20
Ulsan 20
Genoa 19
Totale 24.727
Salva come PNG Salva come JPEG
Nome #
Translating BPMN to E-GSM: specifications and rules 305
A logic-based semantics for the verification of multi-diagram UML models 283
A comparison framework for runtime monitoring approaches 281
A discrete-Time feedback controller for containerized cloud applications 268
Multi-party business process compliance monitoring through IoT-enabled artifacts 268
A logic-based approach for the verification of UML timed models 263
A Service-based Infrastructure for Advanced Logistics 260
Assertions to Better Specify the Amazon Bug 252
A GSM-based approach for monitoring cross-organization business processes using smart objects 247
TDeX: A Description Model for Heterogeneous Smart Devices and GUI Generation 245
A distributed architecture for efficient Web service discovery 242
Formal verification and validation of embedded systems: the UML-based MADES approach 242
Development of Services for Mobile Information Systems 238
Efficient Scalable Verification of LTL Specifications 230
A Timed Extension of WSCoL 229
W2000: A Modeling Notation for Complex Web Applications 228
On How Bit-Vector Logic Can Help Verify LTL-based Specifications 227
A unified model for the mobile-edge-cloud continuum 226
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions 225
E-Services 225
On Handling Business Process Anomalies through Artifact-based Modeling 224
KOSMOS: Vertical and Horizontal Resource Autoscaling for Kubernetes 222
A Distributed Approach for the Federation of Heterogeneous Registries 220
Dall'idea al codice con UML 2 218
Building Software for the Internet of Things 218
A Flexible and Semantic-Aware Publication Infrastructure for Web Services 214
Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems 214
First Experiences on Constraining Consistency and Adaptivity of W2000 Models 213
From Interaction Overview Diagrams to Temporal Logic 213
A3Droid: A framework for developing distributed crowdsensing 213
Context-aware Composition of E-Services 210
Using formal verification to evaluate the execution time of Spark applications 210
From Interaction Overview Diagrams to Temporal Logic 209
On Formalizing UML with High-Level Petri Nets 207
Business Process Monitoring for Dependability 207
A Framework for the Deployment of Adaptable Web Service Compositions 205
Green Move: towards next generation sustainable smartphone-based vehicle sharing 205
Achieving Self-adaptation through Dynamic Group Management 205
GODA: A goal-oriented requirements engineering framework for runtime dependability analysis 205
Efficient Dynamic Updates of Distributed Components Through Version Consistency 201
Keep it small, keep it real: Efficient run-time verification of web service compositions 198
Empowering low-latency applications through a serverless edge computing architecture 197
Provisioning of Complex Adaptive Services 197
Automated quality assessment of incident tickets for smart service continuity 196
On the timed analysis of big-data applications 195
Fine-Grained Dynamic Resource Allocation for Big-Data Applications 193
A Service-Based Framework for Flexible Business Processes 192
An Empirical Study on the Design Effort Of Web Applications 191
A Dynamic and Reactive Approach to the Supervision of BPEL Processes 190
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata 189
Comprehensive Monitoring of BPEL Processes 189
(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. 188
Fuzzy goals for Requirements-driven adaptation 188
Office building occupancy monitoring through image recognition sensors 188
A Fault Taxonomy for Web Service Composition 186
Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens 186
Realizing self-adaptive systems via online reinforcement learning and feature-model-guided exploration 185
Microservices identification through interface analysis 185
A declarative modelling framework for the deployment and management of blockchain applications 184
PLCTools: Graph Transformation Meets PLC Design 184
MicroCloud: A Container-Based Solution for Efficient Resource Management in the Cloud 184
Improving Evolutionary Testing by Means of Efficiency Enhancement Techniques 183
A-3: An Architectural Style for Coordinating Distributed Components 183
Meta-modeling Techniques Meet Web Application Design Tools 183
An Efficient Solution for Model Checking Graph Transformation Systems 183
PAPS: A Framework for Decentralized Self-management at the Edge 183
WS-Policy for Service Monitoring 182
Microservices: The Evolution and Extinction of Web Services? 182
The MAIS Approach to Web Service Design 181
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems 181
A multi‐faceted analysis of the performance variability of virtual machines 180
Learning and evolution in dynamic software product lines 180
A Conceptual Framework for Quality Assurance of LLM-based Socio-critical Systems 179
Flexible Modular Formalization of UML Sequence Diagrams 179
Ubiquitous Mobile Information and Collaboration Systems 178
Evolution in dynamic software product lines 178
A qualitative and quantitative analysis of container engines 177
mArtifact: an Artifact-driven Process Monitoring Platform 177
A comparison framework for runtime monitoring approaches (journal-first abstract) 177
Validation of Web Service Compositions 177
Version-consistent dynamic reconfiguration of component-based distributed systems 176
Integrated and Composable Supervision of BPEL Processes 175
A3: self-adaptation capabilities through groups and coordination 175
DANTE: Data-Driven Test Case Selection and Prioritization for Long-Running Test Suites 173
Self-Healing BPEL Processes with Dynamo and the JBoss Rule Engine 173
Towards Model-Driven Testing of a Web Application Generator. 172
How bit-vector logic can help improve the verification of LTL specifications over infinite domains 172
Towards Dynamic Monitoring of WS-BPEL Processes 171
W2000 meets J2ME for the Fast Prototyping of Mobile Web Applications 171
Using the guard-stage-milestone notation for monitoring BPMN-based processes 171
Supporting the decision of migrating to microservices through multi-layer fuzzy cognitive maps 170
How have iOS Development Technologies Changed over Time? A Study in Open-Source 169
Service-Oriented Dynamic Software Product Lines 169
Towards a Model-driven Approach to Develop Applications based on Physical Active Objects 169
Adaptation of Service-Based Systems 169
Distributed Coordinated Adaptation of Cloud-based Applications 169
An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations 168
Translating BPMN to E-GSM: proof of correctness 168
Policies and Aspects for the Supervision of BPEL Processes 167
Towards the UML-Based Formal Verification of Timed Systems 167
Totale 20.039
Salva come PNG Salva come JPEG
Categoria #
all - tutte 114.972
article - articoli 24.731
book - libri 873
conference - conferenze 72.801
curatela - curatele 2.271
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 12.475
Totale 228.123
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.834 0 0 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/202616.282 2.699 2.505 868 1.353 844 876 2.508 844 946 1.343 412 1.084
2026/20271.140 443 436 261 0 0 0 0 0 0 0 0 0
Totale 39.236