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.977
EU - Europa 3.215
AS - Asia 1.224
SA - Sud America 339
AF - Africa 132
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 1
Totale 9.893
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.367
RU - Federazione Russa 1.029
CA - Canada 586
GB - Regno Unito 536
SG - Singapore 515
DE - Germania 508
IT - Italia 446
CN - Cina 345
BR - Brasile 300
AT - Austria 171
VN - Vietnam 127
FI - Finlandia 124
FR - Francia 85
MA - Marocco 69
ES - Italia 56
IE - Irlanda 54
SE - Svezia 53
ID - Indonesia 41
IN - India 36
NL - Olanda 33
JO - Giordania 31
PL - Polonia 29
UA - Ucraina 25
CI - Costa d'Avorio 21
BE - Belgio 20
KR - Corea 18
HK - Hong Kong 17
JP - Giappone 17
MX - Messico 17
ZA - Sudafrica 17
BD - Bangladesh 16
GR - Grecia 10
IQ - Iraq 10
AR - Argentina 9
CH - Svizzera 9
TR - Turchia 9
EC - Ecuador 7
BG - Bulgaria 6
UZ - Uzbekistan 6
VE - Venezuela 6
BJ - Benin 5
TN - Tunisia 5
TW - Taiwan 5
AE - Emirati Arabi Uniti 4
CL - Cile 4
EG - Egitto 4
LT - Lituania 4
PK - Pakistan 4
UY - Uruguay 4
CO - Colombia 3
DO - Repubblica Dominicana 3
NO - Norvegia 3
NZ - Nuova Zelanda 3
PE - Perù 3
PH - Filippine 3
PS - Palestinian Territory 3
PT - Portogallo 3
AU - Australia 2
BO - Bolivia 2
CZ - Repubblica Ceca 2
IL - Israele 2
IR - Iran 2
KE - Kenya 2
KZ - Kazakistan 2
NP - Nepal 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
PY - Paraguay 1
RE - Reunion 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
TH - Thailandia 1
Totale 9.893
Salva come PNG Salva come JPEG
Città #
Ashburn 600
Montréal 510
Fairfield 389
Munich 369
Mcallen 348
Chandler 323
Singapore 296
Woodbridge 245
Santa Clara 236
Houston 201
Wilmington 194
Seattle 172
Vienna 163
Moscow 152
Ann Arbor 150
Cambridge 143
Milan 127
San Jose 113
Beijing 82
Boardman 75
New York 73
Helsinki 70
Los Angeles 64
Council Bluffs 56
Dublin 52
Kenitra 52
Hefei 49
Dearborn 46
Lawrence 41
London 40
San Diego 39
Málaga 37
Ottawa 37
Turin 35
Jakarta 34
Amman 31
Medford 30
Buffalo 29
Frankfurt am Main 28
Warsaw 26
Ho Chi Minh City 22
Turku 22
Abidjan 21
Dong Ket 21
Dallas 20
São Paulo 20
Phoenix 18
Amsterdam 17
Jacksonville 17
Casablanca 16
Brussels 15
Chicago 15
Nuremberg 15
Seoul 15
Princeton 14
Tokyo 14
Hanoi 13
Hong Kong 13
Denver 12
Des Moines 12
Norwalk 11
Orem 11
Atlanta 10
Düsseldorf 10
Johannesburg 10
Kent 10
Roubaix 10
Belo Horizonte 9
Guangzhou 9
Lappeenranta 9
Rio de Janeiro 9
Rome 9
Bexley 8
Boston 8
Miami 8
Montreal 8
Redmond 8
Stockholm 8
Toronto 8
Washington 8
Chennai 7
Karlsruhe 7
Paris 7
The Dalles 7
Tianjin 7
Berlin 6
Dongo 6
Redwood City 6
Tashkent 6
Athens 5
Bern 5
Bologna 5
Brasília 5
Cotonou 5
Curitiba 5
Forlì 5
Fremont 5
Lauterbourg 5
Poplar 5
Porto Alegre 5
Totale 6.384
Salva come PNG Salva come JPEG
Nome #
Formal verification of storm topologies through D-VerT 1.248
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications 775
A tool for deciding the satisfiability of continuous-time metric temporal logic 272
A logical characterization of timed regular languages 246
Constraint LTL Satisfiability Checking without Automata 236
An SMT-based approach to satisfiability checking of MITL 216
Efficient large-scale trace checking using mapreduce 206
Towards the formal verification of data-intensive applications through metric temporal logic 200
Bounded Reachability for Temporal Logic over Constraint Systems 198
A Logical Characterization of Timed (non-)Regular Languages 189
Towards the formalization of properties of cloud-based elastic systems 181
Formal Verification of Human-Robot Interaction in Healthcare Scenarios 180
Completeness of the Bounded Satisfiability Problem for Constraint LTL. 179
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 178
A tool for verification of big-data applications 176
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities 171
Deciding the Satisfiability of MITL Specifications 170
A Deployment Framework for Formally Verified Human-Robot Interactions 168
PuRSUE -from specification of robotic environments to synthesis of controllers 163
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 163
Using formal verification to evaluate the execution time of Spark applications 161
On the timed analysis of big-data applications 160
A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic 155
Continuous architecting of stream-based systems 154
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability 150
The Complexity of Reversal-Bounded Model-Checking. 147
Expressiveness and complexity of regular pure two-dimensional context-free languages 147
An LTL Semantics of BusinessWorkflows with Recovery 146
Formal verification of data-intensive applications through model checking modulo theories 144
On some classes of 2D-languages and their relations 143
RoboMAX: Robotic Mission Adaptation eXemplars 140
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 138
Statistical Model Checking of Human-Robot Interaction Scenarios 137
A timed semantics of workflows 133
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings 132
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems 131
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification 131
Online verification in cyber-physical systems: Practical bounds for meaningful temporal costs. 125
Towards DevOps for privacy-by-design in data-intensive applications: A research roadmap 125
Verifying big data topologies by-design: a semi-automated approach 122
On the Initialization of Clocks in Timed Formalisms 120
DevOps Service Observability By-Design: Experimenting with Model-View-Controller 120
Data-Driven Energy Modeling of Machining Centers Through Automata Learning 117
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning 111
Specification, stochastic modeling and analysis of interactive service robotic applications 110
Towards Better Trust in Human-Machine Teaming through Explainable Dependability 105
SMT-Based Checking of SOLOIST over Sparse TracesFundamental Approaches to Software Engineering 103
Trace checking of streaming applications through DICE-TraCT 101
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior 101
Event-sourced, observable software architectures: An experience report 96
Towards Trust-preserving Continuous Co-evolution of Digital Twins 95
Edge-based Runtime Verification for the Internet of Things 93
Improved Bounded Model Checking of Timed Automata 91
On the Satisfiability of Metric Temporal Logics over the Reals 83
Architecting Explainable Service Robots 78
The Cost of Formal Verification in Adaptive CPS. An Example of a Virtualized Server Node 77
Proactive self-adaptation and assurance of explainable Human–Machine Teaming 39
Detecting Dependability Failures in Healthcare Scenarios via Digital Shadows 9
Totale 9.985
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.750
article - articoli 10.070
book - libri 0
conference - conferenze 16.885
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 795
Totale 55.500
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021374 0 0 0 0 0 0 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.948 880 654 211 401 319 274 209 0 0 0 0 0
Totale 9.985