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 5.775
EU - Europa 3.358
AS - Asia 1.943
SA - Sud America 369
AF - Africa 144
OC - Oceania 8
Continente sconosciuto - Info sul continente non disponibili 1
Totale 11.598
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.144
RU - Federazione Russa 1.029
SG - Singapore 653
CA - Canada 602
GB - Regno Unito 541
DE - Germania 525
CN - Cina 466
IT - Italia 462
BR - Brasile 318
VN - Vietnam 318
AT - Austria 174
FR - Francia 150
FI - Finlandia 135
KR - Corea 115
JP - Giappone 100
MA - Marocco 69
ES - Italia 60
IE - Irlanda 56
IN - India 55
SE - Svezia 55
ID - Indonesia 44
HK - Hong Kong 38
NL - Olanda 37
JO - Giordania 32
PL - Polonia 31
UA - Ucraina 28
BD - Bangladesh 22
ZA - Sudafrica 22
BE - Belgio 21
CI - Costa d'Avorio 21
MX - Messico 18
IQ - Iraq 16
TW - Taiwan 16
TR - Turchia 12
CH - Svizzera 11
AR - Argentina 10
GR - Grecia 10
PK - Pakistan 10
UZ - Uzbekistan 9
VE - Venezuela 9
EC - Ecuador 8
CL - Cile 7
BG - Bulgaria 6
TN - Tunisia 6
AU - Australia 5
BJ - Benin 5
EG - Egitto 5
LT - Lituania 5
UY - Uruguay 5
AE - Emirati Arabi Uniti 4
CO - Colombia 4
KZ - Kazakistan 4
PE - Perù 4
PH - Filippine 4
PT - Portogallo 4
DO - Repubblica Dominicana 3
KE - Kenya 3
NO - Norvegia 3
NP - Nepal 3
NZ - Nuova Zelanda 3
PS - Palestinian Territory 3
TH - Thailandia 3
BH - Bahrain 2
BO - Bolivia 2
CZ - Repubblica Ceca 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
RO - Romania 2
SA - Arabia Saudita 2
SK - Slovacchia (Repubblica Slovacca) 2
SN - Senegal 2
AL - Albania 1
AM - Armenia 1
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
DK - Danimarca 1
DZ - Algeria 1
EE - Estonia 1
EU - Europa 1
GA - Gabon 1
GE - Georgia 1
HN - Honduras 1
HR - Croazia 1
HU - Ungheria 1
JM - Giamaica 1
LK - Sri Lanka 1
LU - Lussemburgo 1
LV - Lettonia 1
MU - Mauritius 1
NA - Namibia 1
NE - Niger 1
NG - Nigeria 1
PR - Porto Rico 1
Totale 11.594
Salva come PNG Salva come JPEG
Città #
Ashburn 764
Montréal 510
San Jose 402
Singapore 393
Fairfield 389
Munich 370
Mcallen 348
Chandler 323
Santa Clara 247
Woodbridge 245
Houston 202
Wilmington 194
Seattle 172
Vienna 165
Moscow 152
Ann Arbor 150
Cambridge 143
Milan 131
Seoul 110
Tokyo 96
Council Bluffs 94
The Dalles 94
Beijing 88
New York 84
Helsinki 81
Ho Chi Minh City 79
Boardman 75
Los Angeles 71
Hanoi 60
Lauterbourg 60
Dublin 54
Kenitra 52
Hefei 50
Dearborn 46
Lawrence 41
London 41
San Diego 40
Dallas 39
Málaga 37
Ottawa 37
Jakarta 35
Turin 35
Buffalo 34
Frankfurt am Main 34
Amman 32
Medford 30
Warsaw 28
Orem 26
Hong Kong 25
North Charleston 23
Phoenix 22
Turku 22
Abidjan 21
Dong Ket 21
São Paulo 20
Amsterdam 19
Jacksonville 18
Chicago 17
Casablanca 16
Nuremberg 16
Paris 16
Taipei 16
Brussels 15
Da Nang 15
Princeton 14
Denver 13
Johannesburg 13
Des Moines 12
Salt Lake City 12
Toronto 12
Atlanta 11
Chennai 11
Guangzhou 11
Haiphong 11
Las Vegas 11
Montreal 11
Norwalk 11
Tianjin 11
Düsseldorf 10
Kent 10
Roubaix 10
Stockholm 10
Belo Horizonte 9
Lappeenranta 9
Rio de Janeiro 9
Rome 9
Bexley 8
Boston 8
Miami 8
Redmond 8
Tashkent 8
Vancouver 8
Washington 8
Karlsruhe 7
Shanghai 7
Berlin 6
Dongo 6
Hải Dương 6
New Delhi 6
Redwood City 6
Totale 7.625
Salva come PNG Salva come JPEG
Nome #
Formal verification of storm topologies through D-VerT 1.279
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications 813
A tool for deciding the satisfiability of continuous-time metric temporal logic 306
Constraint LTL Satisfiability Checking without Automata 278
A logical characterization of timed regular languages 272
An SMT-based approach to satisfiability checking of MITL 261
Towards the formal verification of data-intensive applications through metric temporal logic 245
A Logical Characterization of Timed (non-)Regular Languages 243
Efficient large-scale trace checking using mapreduce 230
Bounded Reachability for Temporal Logic over Constraint Systems 218
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 209
Formal Verification of Human-Robot Interaction in Healthcare Scenarios 209
A tool for verification of big-data applications 206
Completeness of the Bounded Satisfiability Problem for Constraint LTL. 206
Towards the formalization of properties of cloud-based elastic systems 203
Using formal verification to evaluate the execution time of Spark applications 201
PuRSUE -from specification of robotic environments to synthesis of controllers 195
A Deployment Framework for Formally Verified Human-Robot Interactions 195
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 193
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities 190
Deciding the Satisfiability of MITL Specifications 189
On the timed analysis of big-data applications 184
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability 183
Continuous architecting of stream-based systems 183
A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic 182
RoboMAX: Robotic Mission Adaptation eXemplars 178
Formal verification of data-intensive applications through model checking modulo theories 170
DevOps Service Observability By-Design: Experimenting with Model-View-Controller 170
The Complexity of Reversal-Bounded Model-Checking. 167
A timed semantics of workflows 166
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems 165
An LTL Semantics of BusinessWorkflows with Recovery 165
Expressiveness and complexity of regular pure two-dimensional context-free languages 162
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 162
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification 161
On some classes of 2D-languages and their relations 160
Statistical Model Checking of Human-Robot Interaction Scenarios 157
Data-Driven Energy Modeling of Machining Centers Through Automata Learning 154
Edge-based Runtime Verification for the Internet of Things 152
Towards DevOps for privacy-by-design in data-intensive applications: A research roadmap 152
Verifying big data topologies by-design: a semi-automated approach 151
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings 150
On the Initialization of Clocks in Timed Formalisms 140
Specification, stochastic modeling and analysis of interactive service robotic applications 136
Online verification in cyber-physical systems: Practical bounds for meaningful temporal costs. 136
Event-sourced, observable software architectures: An experience report 135
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning 132
Towards Trust-preserving Continuous Co-evolution of Digital Twins 130
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior 125
Towards Better Trust in Human-Machine Teaming through Explainable Dependability 124
Trace checking of streaming applications through DICE-TraCT 123
SMT-Based Checking of SOLOIST over Sparse TracesFundamental Approaches to Software Engineering 118
Improved Bounded Model Checking of Timed Automata 117
The Cost of Formal Verification in Adaptive CPS. An Example of a Virtualized Server Node 103
On the Satisfiability of Metric Temporal Logics over the Reals 102
Architecting Explainable Service Robots 100
Proactive self-adaptation and assurance of explainable Human–Machine Teaming 90
Detecting Dependability Failures in Healthcare Scenarios via Digital Shadows 53
Reality Check on Formal Methods in Industry: A Study of Verum Dezyne 12
Totale 11.691
Salva come PNG Salva come JPEG
Categoria #
all - tutte 30.772
article - articoli 11.228
book - libri 0
conference - conferenze 18.651
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 893
Totale 61.544
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021156 0 0 0 0 0 0 0 0 0 0 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/20264.654 880 654 211 401 319 274 840 250 305 434 86 0
Totale 11.691