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.074
EU - Europa 3.583
AS - Asia 1.956
SA - Sud America 375
AF - Africa 144
OC - Oceania 8
Continente sconosciuto - Info sul continente non disponibili 1
Totale 12.141
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.412
RU - Federazione Russa 1.029
IT - Italia 684
SG - Singapore 660
CA - Canada 617
GB - Regno Unito 541
DE - Germania 525
CN - Cina 467
BR - Brasile 323
VN - Vietnam 321
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 39
NL - Olanda 37
PL - Polonia 33
JO - Giordania 32
UA - Ucraina 28
BD - Bangladesh 22
ZA - Sudafrica 22
BE - Belgio 21
CI - Costa d'Avorio 21
MX - Messico 19
IQ - Iraq 16
TW - Taiwan 16
TR - Turchia 13
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
JM - Giamaica 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
HN - Honduras 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
PS - Palestinian Territory 3
RO - Romania 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
PR - Porto Rico 2
PY - Paraguay 2
SA - Arabia Saudita 2
SK - Slovacchia (Repubblica Slovacca) 2
SN - Senegal 2
TT - Trinidad e Tobago 2
AL - Albania 1
AM - Armenia 1
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
CR - Costa Rica 1
DK - Danimarca 1
DZ - Algeria 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.134
Salva come PNG Salva come JPEG
Città #
Ashburn 783
Montréal 510
San Jose 412
Singapore 397
Fairfield 389
Munich 370
Mcallen 348
Chandler 323
Santa Clara 270
Woodbridge 245
Houston 207
Milan 206
Wilmington 196
Seattle 173
Vienna 165
Moscow 152
Ann Arbor 150
Cambridge 143
Seoul 110
Boardman 100
Council Bluffs 96
Tokyo 96
The Dalles 94
Beijing 89
New York 87
Helsinki 81
Ho Chi Minh City 79
Los Angeles 77
Hanoi 60
Lauterbourg 60
Dublin 54
Kenitra 52
Hefei 50
Dearborn 46
Turin 43
Rome 42
Lawrence 41
London 41
Dallas 40
San Diego 40
Buffalo 38
Málaga 37
Ottawa 37
Jakarta 35
Frankfurt am Main 34
Amman 32
Medford 32
Warsaw 29
Hong Kong 26
Orem 26
Phoenix 24
North Charleston 23
Turku 22
Abidjan 21
Chicago 21
Dong Ket 21
Memphis 20
São Paulo 20
Amsterdam 19
Jacksonville 18
Casablanca 16
Nuremberg 16
Paris 16
Taipei 16
Brussels 15
Da Nang 15
Montreal 15
Princeton 14
Atlanta 13
Denver 13
Johannesburg 13
Des Moines 12
Las Vegas 12
Salt Lake City 12
Toronto 12
Chennai 11
Guangzhou 11
Haiphong 11
Norwalk 11
Tianjin 11
Düsseldorf 10
Kent 10
Roubaix 10
Stockholm 10
Belo Horizonte 9
Bologna 9
Lappeenranta 9
Miami 9
Rio de Janeiro 9
Bexley 8
Boston 8
Redmond 8
Tashkent 8
Vancouver 8
Washington 8
Figino 7
Karlsruhe 7
Naples 7
Shanghai 7
Berlin 6
Totale 7.884
Salva come PNG Salva come JPEG
Nome #
Formal verification of storm topologies through D-VerT 1.290
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications 817
A tool for deciding the satisfiability of continuous-time metric temporal logic 323
Constraint LTL Satisfiability Checking without Automata 283
A logical characterization of timed regular languages 276
An SMT-based approach to satisfiability checking of MITL 269
Towards the formal verification of data-intensive applications through metric temporal logic 257
A Logical Characterization of Timed (non-)Regular Languages 254
Efficient large-scale trace checking using mapreduce 242
Bounded Reachability for Temporal Logic over Constraint Systems 230
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 218
Towards the formalization of properties of cloud-based elastic systems 217
Formal Verification of Human-Robot Interaction in Healthcare Scenarios 216
A tool for verification of big-data applications 214
Using formal verification to evaluate the execution time of Spark applications 209
Completeness of the Bounded Satisfiability Problem for Constraint LTL. 209
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 206
PuRSUE -from specification of robotic environments to synthesis of controllers 203
A Deployment Framework for Formally Verified Human-Robot Interactions 203
Specification, stochastic modeling and analysis of interactive service robotic applications 201
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities 196
Deciding the Satisfiability of MITL Specifications 193
On the timed analysis of big-data applications 192
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability 189
Continuous architecting of stream-based systems 187
A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic 186
RoboMAX: Robotic Mission Adaptation eXemplars 184
A timed semantics of workflows 177
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 174
DevOps Service Observability By-Design: Experimenting with Model-View-Controller 174
An LTL Semantics of BusinessWorkflows with Recovery 173
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems 172
Formal verification of data-intensive applications through model checking modulo theories 172
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification 171
The Complexity of Reversal-Bounded Model-Checking. 170
Expressiveness and complexity of regular pure two-dimensional context-free languages 168
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings 162
On some classes of 2D-languages and their relations 161
Data-Driven Energy Modeling of Machining Centers Through Automata Learning 161
Edge-based Runtime Verification for the Internet of Things 159
Verifying big data topologies by-design: a semi-automated approach 159
Statistical Model Checking of Human-Robot Interaction Scenarios 158
Towards DevOps for privacy-by-design in data-intensive applications: A research roadmap 155
Event-sourced, observable software architectures: An experience report 149
On the Initialization of Clocks in Timed Formalisms 145
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning 144
Towards Trust-preserving Continuous Co-evolution of Digital Twins 143
Online verification in cyber-physical systems: Practical bounds for meaningful temporal costs. 142
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior 134
Towards Better Trust in Human-Machine Teaming through Explainable Dependability 133
Trace checking of streaming applications through DICE-TraCT 132
Improved Bounded Model Checking of Timed Automata 124
SMT-Based Checking of SOLOIST over Sparse TracesFundamental Approaches to Software Engineering 120
Proactive self-adaptation and assurance of explainable Human–Machine Teaming 117
Architecting Explainable Service Robots 112
On the Satisfiability of Metric Temporal Logics over the Reals 111
The Cost of Formal Verification in Adaptive CPS. An Example of a Virtualized Server Node 108
Detecting Dependability Failures in Healthcare Scenarios via Digital Shadows 65
Reality Check on Formal Methods in Industry: A Study of Verum Dezyne 21
Agentic Generation of Structured Clinical Specifications for Digital Healthcare Services 5
Totale 12.235
Salva come PNG Salva come JPEG
Categoria #
all - tutte 32.258
article - articoli 11.850
book - libri 0
conference - conferenze 19.467
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 941
Totale 64.516
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/20265.078 880 654 211 401 319 274 840 250 305 434 167 343
2026/2027120 120 0 0 0 0 0 0 0 0 0 0 0
Totale 12.235