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

BERSANI, MARCELLO MARIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.753
EU - Europa 3.198
AS - Asia 1.103
SA - Sud America 327
AF - Africa 79
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 1
Totale 9.466
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.146
RU - Federazione Russa 1.029
CA - Canada 585
GB - Regno Unito 533
DE - Germania 508
SG - Singapore 450
IT - Italia 440
CN - Cina 310
BR - Brasile 292
AT - Austria 171
FI - Finlandia 124
VN - Vietnam 122
FR - Francia 81
ES - Italia 55
IE - Irlanda 54
SE - Svezia 51
ID - Indonesia 41
NL - Olanda 33
IN - India 32
JO - Giordania 31
PL - Polonia 29
UA - Ucraina 25
CI - Costa d'Avorio 21
BE - Belgio 20
KR - Corea 18
MA - Marocco 18
HK - Hong Kong 17
BD - Bangladesh 15
MX - Messico 15
ZA - Sudafrica 15
JP - Giappone 14
GR - Grecia 10
AR - Argentina 9
CH - Svizzera 9
IQ - Iraq 9
EC - Ecuador 7
BG - Bulgaria 6
TR - Turchia 6
UZ - Uzbekistan 6
BJ - Benin 5
TN - Tunisia 5
VE - Venezuela 5
AE - Emirati Arabi Uniti 4
EG - Egitto 4
UY - Uruguay 4
CL - Cile 3
CO - Colombia 3
DO - Repubblica Dominicana 3
LT - Lituania 3
NO - Norvegia 3
NZ - Nuova Zelanda 3
PH - Filippine 3
PK - Pakistan 3
PS - Palestinian Territory 3
PT - Portogallo 3
TW - Taiwan 3
AU - Australia 2
BO - Bolivia 2
CZ - Repubblica Ceca 2
IL - Israele 2
IR - Iran 2
KE - Kenya 2
KZ - Kazakistan 2
OM - Oman 2
PA - Panama 2
RO - Romania 2
SN - Senegal 2
AL - Albania 1
AM - Armenia 1
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BH - Bahrain 1
DK - Danimarca 1
DZ - Algeria 1
ET - Etiopia 1
EU - Europa 1
GE - Georgia 1
HN - Honduras 1
HR - Croazia 1
HU - Ungheria 1
LK - Sri Lanka 1
LV - Lettonia 1
MU - Mauritius 1
NA - Namibia 1
NE - Niger 1
NG - Nigeria 1
NP - Nepal 1
PE - Perù 1
PY - Paraguay 1
RE - Reunion 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
TH - Thailandia 1
Totale 9.466
Salva come PNG Salva come JPEG
Città #
Ashburn 556
Montréal 510
Fairfield 389
Munich 369
Mcallen 348
Chandler 323
Singapore 264
Woodbridge 245
Santa Clara 236
Houston 200
Wilmington 194
Seattle 172
Vienna 163
Moscow 152
Ann Arbor 150
Cambridge 143
Milan 127
Beijing 81
Boardman 75
Helsinki 70
New York 67
Los Angeles 56
Council Bluffs 52
Dublin 52
Hefei 48
Dearborn 46
Lawrence 41
San Diego 39
London 38
Málaga 37
Ottawa 37
Turin 35
Jakarta 34
Amman 31
Medford 30
Buffalo 29
Frankfurt am Main 28
Warsaw 26
Turku 22
Abidjan 21
Dong Ket 21
Ho Chi Minh City 21
Dallas 19
São Paulo 19
Amsterdam 17
Jacksonville 17
Casablanca 16
Brussels 15
Nuremberg 15
Phoenix 15
Seoul 15
Princeton 14
Chicago 13
Hong Kong 13
Des Moines 12
Hanoi 11
Norwalk 11
Tokyo 11
Düsseldorf 10
Kent 10
Roubaix 10
Belo Horizonte 9
Lappeenranta 9
Rio de Janeiro 9
Rome 9
Bexley 8
Boston 8
Guangzhou 8
Johannesburg 8
Miami 8
Redmond 8
Toronto 8
Washington 8
Atlanta 7
Karlsruhe 7
Montreal 7
Paris 7
The Dalles 7
Tianjin 7
Berlin 6
Denver 6
Dongo 6
Orem 6
Redwood City 6
Stockholm 6
Tashkent 6
Athens 5
Bern 5
Brasília 5
Chennai 5
Cotonou 5
Forlì 5
Fremont 5
Lauterbourg 5
Poplar 5
Porto Alegre 5
Austin 4
Bologna 4
Brescia 4
Campinas 4
Totale 6.091
Salva come PNG Salva come JPEG
Nome #
Formal verification of storm topologies through D-VerT 1.241
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications 769
A tool for deciding the satisfiability of continuous-time metric temporal logic 263
A logical characterization of timed regular languages 239
Constraint LTL Satisfiability Checking without Automata 225
An SMT-based approach to satisfiability checking of MITL 207
Efficient large-scale trace checking using mapreduce 195
Towards the formal verification of data-intensive applications through metric temporal logic 194
Bounded Reachability for Temporal Logic over Constraint Systems 187
A Logical Characterization of Timed (non-)Regular Languages 182
Towards the formalization of properties of cloud-based elastic systems 179
A tool for verification of big-data applications 169
Formal Verification of Human-Robot Interaction in Healthcare Scenarios 169
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 167
Completeness of the Bounded Satisfiability Problem for Constraint LTL. 167
Deciding the Satisfiability of MITL Specifications 164
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities 161
A Deployment Framework for Formally Verified Human-Robot Interactions 161
PuRSUE -from specification of robotic environments to synthesis of controllers 159
Using formal verification to evaluate the execution time of Spark applications 156
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 154
On the timed analysis of big-data applications 152
A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic 148
Continuous architecting of stream-based systems 148
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability 143
The Complexity of Reversal-Bounded Model-Checking. 143
Expressiveness and complexity of regular pure two-dimensional context-free languages 139
On some classes of 2D-languages and their relations 139
Formal verification of data-intensive applications through model checking modulo theories 137
An LTL Semantics of BusinessWorkflows with Recovery 135
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 130
Statistical Model Checking of Human-Robot Interaction Scenarios 130
A timed semantics of workflows 128
RoboMAX: Robotic Mission Adaptation eXemplars 127
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings 125
Online verification in cyber-physical systems: Practical bounds for meaningful temporal costs. 123
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems 122
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification 120
Towards DevOps for privacy-by-design in data-intensive applications: A research roadmap 119
Verifying big data topologies by-design: a semi-automated approach 118
On the Initialization of Clocks in Timed Formalisms 116
DevOps Service Observability By-Design: Experimenting with Model-View-Controller 112
Data-Driven Energy Modeling of Machining Centers Through Automata Learning 105
Specification, stochastic modeling and analysis of interactive service robotic applications 104
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning 101
Towards Better Trust in Human-Machine Teaming through Explainable Dependability 99
SMT-Based Checking of SOLOIST over Sparse TracesFundamental Approaches to Software Engineering 99
Trace checking of streaming applications through DICE-TraCT 96
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior 93
Edge-based Runtime Verification for the Internet of Things 90
Towards Trust-preserving Continuous Co-evolution of Digital Twins 86
Improved Bounded Model Checking of Timed Automata 85
Event-sourced, observable software architectures: An experience report 82
On the Satisfiability of Metric Temporal Logics over the Reals 78
The Cost of Formal Verification in Adaptive CPS. An Example of a Virtualized Server Node 76
Architecting Explainable Service Robots 69
Proactive self-adaptation and assurance of explainable Human–Machine Teaming 32
Detecting Dependability Failures in Healthcare Scenarios via Digital Shadows 1
Totale 9.558
Salva come PNG Salva come JPEG
Categoria #
all - tutte 26.956
article - articoli 9.791
book - libri 0
conference - conferenze 16.405
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 760
Totale 53.912
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021423 0 0 0 0 0 49 25 42 55 96 65 91
2021/2022537 26 48 69 84 32 41 39 27 23 34 53 61
2022/2023796 110 83 30 105 90 77 4 41 115 77 42 22
2023/2024465 50 79 19 43 29 83 30 26 2 37 0 67
2024/20251.323 9 11 26 28 263 141 80 119 173 74 229 170
2025/20262.521 880 654 211 401 319 56 0 0 0 0 0 0
Totale 9.558