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 6.527
EU - Europa 3.621
AS - Asia 1.971
SA - Sud America 387
AF - Africa 145
Continente sconosciuto - Info sul continente non disponibili 96
OC - Oceania 8
Totale 12.755
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.836
RU - Federazione Russa 1.029
IT - Italia 705
SG - Singapore 666
CA - Canada 630
GB - Regno Unito 546
DE - Germania 531
CN - Cina 468
BR - Brasile 329
VN - Vietnam 322
AT - Austria 174
FR - Francia 150
FI - Finlandia 135
KR - Corea 115
JP - Giappone 103
MA - Marocco 69
ES - Italia 60
IE - Irlanda 56
IN - India 55
SE - Svezia 55
ID - Indonesia 46
HK - Hong Kong 39
NL - Olanda 37
PL - Polonia 33
JO - Giordania 32
UA - Ucraina 28
BD - Bangladesh 23
ZA - Sudafrica 22
BE - Belgio 21
CI - Costa d'Avorio 21
MX - Messico 20
IQ - Iraq 16
TW - Taiwan 16
TR - Turchia 13
CH - Svizzera 11
JM - Giamaica 11
AR - Argentina 10
GR - Grecia 10
PK - Pakistan 10
VE - Venezuela 10
EC - Ecuador 9
UZ - Uzbekistan 9
CO - Colombia 8
RO - Romania 8
CL - Cile 7
BG - Bulgaria 6
HN - Honduras 6
TN - Tunisia 6
AU - Australia 5
BJ - Benin 5
CR - Costa Rica 5
EG - Egitto 5
LT - Lituania 5
TT - Trinidad e Tobago 5
UY - Uruguay 5
AE - Emirati Arabi Uniti 4
KZ - Kazakistan 4
PE - Perù 4
PH - Filippine 4
PT - Portogallo 4
DO - Repubblica Dominicana 3
GT - Guatemala 3
KE - Kenya 3
NO - Norvegia 3
NP - Nepal 3
NZ - Nuova Zelanda 3
PR - Porto Rico 3
PS - Palestinian Territory 3
TH - Thailandia 3
AL - Albania 2
BH - Bahrain 2
BO - Bolivia 2
CZ - Repubblica Ceca 2
DZ - Algeria 2
ET - Etiopia 2
IL - Israele 2
IR - Iran 2
LB - Libano 2
ML - Mali 2
NI - Nicaragua 2
OM - Oman 2
PA - Panama 2
PY - Paraguay 2
SA - Arabia Saudita 2
SK - Slovacchia (Repubblica Slovacca) 2
SN - Senegal 2
AM - Armenia 1
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
DK - Danimarca 1
EE - Estonia 1
EU - Europa 1
GA - Gabon 1
GE - Georgia 1
HR - Croazia 1
HU - Ungheria 1
LK - Sri Lanka 1
LU - Lussemburgo 1
LV - Lettonia 1
Totale 12.652
Salva come PNG Salva come JPEG
Città #
Ashburn 848
Montréal 510
San Jose 478
Singapore 400
Fairfield 389
Munich 370
Mcallen 348
Chandler 323
Santa Clara 276
Woodbridge 245
Houston 210
Milan 207
Wilmington 196
Seattle 175
Vienna 165
Moscow 152
Ann Arbor 151
Cambridge 143
Council Bluffs 125
Seoul 110
Boardman 100
Tokyo 98
The Dalles 94
Beijing 90
New York 90
Los Angeles 83
Helsinki 81
Ho Chi Minh City 80
Hanoi 60
Lauterbourg 60
Dublin 54
Kenitra 52
Hefei 50
Dearborn 46
Turin 44
Lawrence 42
Ottawa 42
Rome 42
Dallas 41
London 41
San Diego 40
Buffalo 39
Phoenix 38
Málaga 37
Jakarta 35
Frankfurt am Main 34
Amman 32
Medford 32
Warsaw 29
Orem 28
Hong Kong 26
Chicago 23
North Charleston 23
Turku 22
Abidjan 21
Dong Ket 21
Memphis 21
São Paulo 21
Amsterdam 19
Jacksonville 19
Montreal 19
Casablanca 16
Nuremberg 16
Paris 16
Taipei 16
Brussels 15
Da Nang 15
Princeton 15
Atlanta 14
Denver 13
Des Moines 13
Johannesburg 13
Las Vegas 13
Salt Lake City 13
Norwalk 12
Toronto 12
Bologna 11
Boston 11
Chennai 11
Guangzhou 11
Haiphong 11
Tianjin 11
Düsseldorf 10
Kent 10
Miami 10
Rio de Janeiro 10
Roubaix 10
Stockholm 10
Belo Horizonte 9
Brooklyn 9
Kingston 9
Lappeenranta 9
Washington 9
Bexley 8
Karlsruhe 8
Redmond 8
Tashkent 8
Vancouver 8
Figino 7
Naples 7
Totale 8.127
Salva come PNG Salva come JPEG
Nome #
Formal verification of storm topologies through D-VerT 1.302
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications 822
A tool for deciding the satisfiability of continuous-time metric temporal logic 339
Constraint LTL Satisfiability Checking without Automata 289
A logical characterization of timed regular languages 283
An SMT-based approach to satisfiability checking of MITL 275
Towards the formal verification of data-intensive applications through metric temporal logic 264
A Logical Characterization of Timed (non-)Regular Languages 260
Efficient large-scale trace checking using mapreduce 248
Using formal verification to evaluate the execution time of Spark applications 235
Bounded Reachability for Temporal Logic over Constraint Systems 233
Formal Verification of Human-Robot Interaction in Healthcare Scenarios 230
A tool for verification of big-data applications 226
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 223
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 222
Towards the formalization of properties of cloud-based elastic systems 219
Completeness of the Bounded Satisfiability Problem for Constraint LTL. 216
Specification, stochastic modeling and analysis of interactive service robotic applications 214
A Deployment Framework for Formally Verified Human-Robot Interactions 211
PuRSUE -from specification of robotic environments to synthesis of controllers 210
On the timed analysis of big-data applications 202
A timed semantics of workflows 202
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities 200
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability 195
Deciding the Satisfiability of MITL Specifications 195
Continuous architecting of stream-based systems 194
RoboMAX: Robotic Mission Adaptation eXemplars 192
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems 189
A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic 189
DevOps Service Observability By-Design: Experimenting with Model-View-Controller 180
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 179
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification 178
An LTL Semantics of BusinessWorkflows with Recovery 175
Formal verification of data-intensive applications through model checking modulo theories 175
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings 174
The Complexity of Reversal-Bounded Model-Checking. 173
Expressiveness and complexity of regular pure two-dimensional context-free languages 170
Data-Driven Energy Modeling of Machining Centers Through Automata Learning 170
Edge-based Runtime Verification for the Internet of Things 168
On some classes of 2D-languages and their relations 166
Event-sourced, observable software architectures: An experience report 162
Verifying big data topologies by-design: a semi-automated approach 162
Statistical Model Checking of Human-Robot Interaction Scenarios 161
Towards DevOps for privacy-by-design in data-intensive applications: A research roadmap 159
On the Initialization of Clocks in Timed Formalisms 156
Towards Trust-preserving Continuous Co-evolution of Digital Twins 153
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning 150
Online verification in cyber-physical systems: Practical bounds for meaningful temporal costs. 147
Proactive self-adaptation and assurance of explainable Human–Machine Teaming 144
Trace checking of streaming applications through DICE-TraCT 142
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior 142
Towards Better Trust in Human-Machine Teaming through Explainable Dependability 138
Improved Bounded Model Checking of Timed Automata 130
SMT-Based Checking of SOLOIST over Sparse TracesFundamental Approaches to Software Engineering 123
Architecting Explainable Service Robots 119
The Cost of Formal Verification in Adaptive CPS. An Example of a Virtualized Server Node 115
On the Satisfiability of Metric Temporal Logics over the Reals 114
Detecting Dependability Failures in Healthcare Scenarios via Digital Shadows 83
Reality Check on Formal Methods in Industry: A Study of Verum Dezyne 40
Agentic Generation of Structured Clinical Specifications for Digital Healthcare Services 15
Formally Verifying the Absence of Overloading in Apache Storm 13
Totale 12.755
Salva come PNG Salva come JPEG
Categoria #
all - tutte 34.015
article - articoli 12.534
book - libri 0
conference - conferenze 20.477
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.004
Totale 68.030
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022394 0 0 0 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/20265.078 880 654 211 401 319 274 840 250 305 434 167 343
2026/2027640 139 128 366 7 0 0 0 0 0 0 0 0
Totale 12.755