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

BARESI, LUCIANO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 13.068
EU - Europa 4.160
AS - Asia 1.220
AF - Africa 56
SA - Sud America 48
OC - Oceania 13
Continente sconosciuto - Info sul continente non disponibili 8
Totale 18.573
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 12.859
IT - Italia 852
SE - Svezia 561
UA - Ucraina 548
SG - Singapore 487
DE - Germania 472
AT - Austria 403
FI - Finlandia 338
GB - Regno Unito 293
VN - Vietnam 240
CN - Cina 233
CA - Canada 205
IE - Irlanda 180
ES - Italia 146
FR - Francia 81
BE - Belgio 65
JO - Giordania 60
NL - Olanda 55
BR - Brasile 37
IN - India 35
BG - Bulgaria 33
PL - Polonia 31
ID - Indonesia 30
CI - Costa d'Avorio 27
KR - Corea 26
DK - Danimarca 21
TR - Turchia 21
PH - Filippine 16
PK - Pakistan 13
RO - Romania 13
IR - Iran 12
CH - Svizzera 10
GR - Grecia 10
RU - Federazione Russa 10
HK - Hong Kong 9
JP - Giappone 9
MU - Mauritius 9
EU - Europa 8
RS - Serbia 8
AU - Australia 7
TW - Taiwan 7
BJ - Benin 6
IL - Israele 6
LV - Lettonia 6
NZ - Nuova Zelanda 6
LU - Lussemburgo 5
PS - Palestinian Territory 5
PT - Portogallo 5
NG - Nigeria 4
PE - Perù 4
SI - Slovenia 4
AR - Argentina 3
DZ - Algeria 3
MX - Messico 3
MY - Malesia 3
TN - Tunisia 3
AE - Emirati Arabi Uniti 2
BD - Bangladesh 2
CO - Colombia 2
EE - Estonia 2
HR - Croazia 2
SK - Slovacchia (Repubblica Slovacca) 2
TH - Thailandia 2
AL - Albania 1
BB - Barbados 1
CL - Cile 1
CM - Camerun 1
CY - Cipro 1
KE - Kenya 1
LK - Sri Lanka 1
LT - Lituania 1
MC - Monaco 1
MK - Macedonia 1
PY - Paraguay 1
SC - Seychelles 1
ZA - Sudafrica 1
Totale 18.573
Salva come PNG Salva come JPEG
Città #
Fairfield 1.788
Woodbridge 1.455
Chandler 1.103
Houston 1.078
Ann Arbor 918
Ashburn 856
Wilmington 844
Seattle 741
Cambridge 604
Santa Clara 582
Vienna 396
Singapore 331
Jacksonville 326
Boardman 264
Dearborn 261
Lawrence 214
Medford 182
Ottawa 179
Dublin 172
Milan 155
Helsinki 143
Dong Ket 130
Málaga 128
San Diego 113
Beijing 105
Des Moines 70
Amman 59
Brussels 59
Princeton 42
Auburn Hills 39
Norwalk 35
Amsterdam 33
London 32
Jakarta 30
Redwood City 30
Abidjan 27
Munich 26
Rome 24
Warsaw 24
Frankfurt am Main 22
Turin 22
Mountain View 21
New York 20
Washington 18
Brescia 15
Izmir 15
Lappeenranta 13
Como 12
Shanghai 12
Verona 12
Los Angeles 11
Berlin 10
Phoenix 10
Columbus 9
Hefei 9
Indiana 9
Greve 8
Nanjing 8
Seongnam 8
Chicago 7
Hanoi 7
Lahug 7
Miami 7
Portland 7
Tallahassee 7
Bergamo 6
Bolzano 6
Cotonou 6
Dallas 6
Giurgiu 6
Monza 6
Niš 6
Paris 6
Riga 6
Copenhagen 5
Florence 5
Fremont 5
Grafing 5
Islington 5
Kongens Lyngby 5
Kunming 5
Stockholm 5
São Paulo 5
Toronto 5
York 5
Central 4
Chiswick 4
Edinburgh 4
Gallo 4
Hong Kong 4
Jinan 4
Ladispoli 4
Leawood 4
Lucca 4
Madrid 4
Menlo Park 4
Nanchang 4
Port Louis 4
Redmond 4
Seongbuk-gu 4
Totale 14.073
Salva come PNG Salva come JPEG
Nome #
Translating BPMN to E-GSM: specifications and rules 202
A comparison framework for runtime monitoring approaches 154
TDeX: A Description Model for Heterogeneous Smart Devices and GUI Generation 150
Formal verification and validation of embedded systems: the UML-based MADES approach 148
A logic-based semantics for the verification of multi-diagram UML models 147
A discrete-Time feedback controller for containerized cloud applications 144
Multi-party business process compliance monitoring through IoT-enabled artifacts 140
WS-Policy for Service Monitoring 138
Business Process Monitoring for Dependability 137
A Service-based Infrastructure for Advanced Logistics 137
Dall'idea al codice con UML 2 136
A GSM-based approach for monitoring cross-organization business processes using smart objects 132
Assertions to Better Specify the Amazon Bug 131
Comprehensive Monitoring of BPEL Processes 124
MicroCloud: A Container-Based Solution for Efficient Resource Management in the Cloud 124
A logic-based approach for the verification of UML timed models 124
First Experiences on Constraining Consistency and Adaptivity of W2000 Models 123
Achieving Self-adaptation through Dynamic Group Management 123
GODA: A goal-oriented requirements engineering framework for runtime dependability analysis 122
A Distributed Approach for the Federation of Heterogeneous Registries 120
A Flexible and Semantic-Aware Publication Infrastructure for Web Services 120
Building Software for the Internet of Things 119
Development of Services for Mobile Information Systems 117
Efficient Scalable Verification of LTL Specifications 117
A3Droid: A framework for developing distributed crowdsensing 117
On Formalizing UML with High-Level Petri Nets 116
PLCTools: Graph Transformation Meets PLC Design 113
From Interaction Overview Diagrams to Temporal Logic 113
Consumer Mashups with Mashlight 112
Context-aware Composition of E-Services 112
A Timed Extension of WSCoL 111
Empowering low-latency applications through a serverless edge computing architecture 111
The MAIS Approach to Web Service Design 110
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata 109
A Framework for the Deployment of Adaptable Web Service Compositions 109
Keep it small, keep it real: Efficient run-time verification of web service compositions 109
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions 108
PAPS: A Framework for Decentralized Self-management at the Edge 108
E-Services 108
Ubiquitous Mobile Information and Collaboration Systems 107
Learning and evolution in dynamic software product lines 106
On Handling Business Process Anomalies through Artifact-based Modeling 106
Policies and Aspects for the Supervision of BPEL Processes 105
Fuzzy goals for Requirements-driven adaptation 105
W2000: A Modeling Notation for Complex Web Applications 104
Towards Dynamic Monitoring of WS-BPEL Processes 104
A distributed architecture for efficient Web service discovery 104
A Dynamic and Reactive Approach to the Supervision of BPEL Processes 104
Improving Evolutionary Testing by Means of Efficiency Enhancement Techniques 103
Meta-modeling Techniques Meet Web Application Design Tools 103
Style-Based Refinement of Dynamic Software Architectures 102
Extending UML for Modeling Web Applications 102
Dynamo: Dynamic Monitoring of WS-BPEL Processes 100
Introducing Formal Specification Methods in Industrial Practice 100
A Service-Based Framework for Flexible Business Processes 100
Flexible logic-based Co-simulation of Modelica models 100
Towards a Model-driven Approach to Develop Applications based on Physical Active Objects 100
Efficient Dynamic Updates of Distributed Components Through Version Consistency 100
Microservices identification through interface analysis 100
An Efficient Solution for Model Checking Graph Transformation Systems 100
A Toolbox for Automating Visual Software Engineering 99
Integrated and Composable Supervision of BPEL Processes 99
WIDE workflow development methodology 99
An Empirical Study on the Design Effort Of Web Applications 99
How bit-vector logic can help improve the verification of LTL specifications over infinite domains 98
Office building occupancy monitoring through image recognition sensors 98
Towards Fine-grained Automated Verification of Publish-Subscribe Architectures 98
Adaptive Goals for Self-adaptive Service Compositions 97
Estimating the Design Effort of Web Applications 97
Using formal verification to evaluate the execution time of Spark applications 97
Special issue on ubiquitous mobile information and collaboration systems (UMICS) 96
A unified model for the mobile-edge-cloud continuum 96
From Interaction Overview Diagrams to Temporal Logic 96
Towards Model-Driven Testing of a Web Application Generator. 95
A-3: An Architectural Style for Coordinating Distributed Components 95
Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata 95
Validation of Component and Service Federations in Automotive Software Applications 95
Validation of Web Service Compositions 95
TestFul: An Evolutionary Test Approach for Java 95
On Accurate Automatic Verification of Publish-Subscribe Architectures 95
An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations 94
A Fault Taxonomy for Web Service Composition 94
Dynamo and Self-Healing BPEL Compositions 93
Loose Compositions for Autonomic Systems 93
Live goals for adaptive service compositions 93
Emerging research themes in services-oriented systems 93
Distributed Coordinated Adaptation of Cloud-based Applications 93
Self-Healing BPEL Processes with Dynamo and the JBoss Rule Engine 93
Cloud-Based Systems Need Multi-Level Management 93
Software Engineering for Self-Adaptive Systems: A Second Research RoadmapSoftware Engineering for Self-Adaptive Systems II 92
Graph transformation to infer schemata from XML documents. 92
KOSMOS: Vertical and Horizontal Resource Autoscaling for Kubernetes 92
Towards Pervasive Supervision for Autonomic Systems 91
An Introduction to Software Testing 91
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems 91
Towards the UML-Based Formal Verification of Timed Systems 91
Provisioning of Complex Adaptive Services 91
Version-consistent dynamic reconfiguration of component-based distributed systems 90
Service-Oriented Dynamic Software Product Lines 90
A Distributed Approach for the Federation of Heterogeneous Registries 90
Totale 10.824
Salva come PNG Salva come JPEG
Categoria #
all - tutte 64.477
article - articoli 13.700
book - libri 494
conference - conferenze 40.799
curatela - curatele 1.157
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 7.289
Totale 127.916
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.191 0 0 0 0 0 0 541 382 504 216 418 130
2020/20212.397 194 121 207 95 212 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/20251.450 69 62 100 106 717 367 29 0 0 0 0 0
Totale 18.872