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 3.796
EU - Europa 1.798
AS - Asia 278
AF - Africa 26
SA - Sud America 6
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 1
Totale 5.910
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.229
CA - Canada 567
GB - Regno Unito 482
DE - Germania 439
IT - Italia 402
AT - Austria 152
FI - Finlandia 88
SG - Singapore 84
CN - Cina 65
VN - Vietnam 64
IE - Irlanda 52
SE - Svezia 44
ES - Italia 40
JO - Giordania 31
UA - Ucraina 22
CI - Costa d'Avorio 18
BE - Belgio 16
IN - India 15
FR - Francia 10
PL - Polonia 10
CH - Svizzera 9
KR - Corea 7
NL - Olanda 7
BG - Bulgaria 5
GR - Grecia 5
RU - Federazione Russa 5
BJ - Benin 4
TR - Turchia 4
BR - Brasile 3
HK - Hong Kong 3
JP - Giappone 3
NO - Norvegia 3
NZ - Nuova Zelanda 3
TN - Tunisia 3
AU - Australia 2
CL - Cile 2
RO - Romania 2
DK - Danimarca 1
EU - Europa 1
HR - Croazia 1
HU - Ungheria 1
IR - Iran 1
LV - Lettonia 1
MU - Mauritius 1
PH - Filippine 1
PT - Portogallo 1
UY - Uruguay 1
Totale 5.910
Salva come PNG Salva come JPEG
Città #
Montréal 510
Fairfield 389
Munich 359
Mcallen 348
Chandler 323
Woodbridge 245
Ashburn 206
Houston 197
Wilmington 192
Seattle 168
Ann Arbor 150
Vienna 150
Cambridge 143
Santa Clara 128
Milan 112
Boardman 75
Helsinki 64
Dublin 51
Singapore 51
New York 47
Dearborn 46
Lawrence 41
San Diego 38
Málaga 37
Ottawa 37
Amman 31
Turin 31
Medford 30
Dong Ket 21
Beijing 20
Abidjan 18
Jacksonville 17
Brussels 15
Princeton 14
Des Moines 12
London 11
Norwalk 11
Warsaw 10
Miami 8
Phoenix 8
Redmond 8
Rome 8
Washington 8
Karlsruhe 7
Dongo 6
Redwood City 6
Amsterdam 5
Berlin 5
Bern 5
Forlì 5
Fremont 5
Toronto 5
Austin 4
Bologna 4
Cotonou 4
Cozzo 4
Messina 4
Santa Barbara 4
Seoul 4
Zurich 4
Auburn Hills 3
Brescia 3
Cantu 3
Columbus 3
Dallas 3
Frankfurt am Main 3
Fucecchio 3
Indiana 3
Jinan 3
Lappeenranta 3
Manchester 3
North Bergen 3
Palermo 3
Portland 3
Saronno 3
Sesto San Giovanni 3
Shanghai 3
State College 3
Albano Laziale 2
Biella 2
Chiavenna 2
Como 2
Erlangen 2
Gallo 2
Genoa 2
Guangzhou 2
Hefei 2
Kilburn 2
Liverpool 2
Ludwigshafen 2
Lüneburg 2
Montreal 2
Nagano 2
Pavia 2
San Lazzaro di Savena 2
Sovico 2
Springfield 2
Varedo 2
Wuhan 2
Aachen 1
Totale 4.566
Salva come PNG Salva come JPEG
Nome #
Formal verification of storm topologies through D-VerT 1.176
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications 696
A tool for deciding the satisfiability of continuous-time metric temporal logic 177
Constraint LTL Satisfiability Checking without Automata 163
A logical characterization of timed regular languages 147
An SMT-based approach to satisfiability checking of MITL 142
Deciding the Satisfiability of MITL Specifications 132
Towards the formal verification of data-intensive applications through metric temporal logic 127
Bounded Reachability for Temporal Logic over Constraint Systems 120
The Complexity of Reversal-Bounded Model-Checking. 120
Efficient large-scale trace checking using mapreduce 120
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 118
Formal Verification of Human-Robot Interaction in Healthcare Scenarios 114
A tool for verification of big-data applications 112
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities 109
Towards the formalization of properties of cloud-based elastic systems 109
A Logical Characterization of Timed (non-)Regular Languages 107
Completeness of the Bounded Satisfiability Problem for Constraint LTL. 105
PuRSUE -from specification of robotic environments to synthesis of controllers 104
Online verification in cyber-physical systems: Practical bounds for meaningful temporal costs. 102
Expressiveness and complexity of regular pure two-dimensional context-free languages 94
On some classes of 2D-languages and their relations 94
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability 93
Formal verification of data-intensive applications through model checking modulo theories 91
Using formal verification to evaluate the execution time of Spark applications 88
An LTL Semantics of BusinessWorkflows with Recovery 87
Continuous architecting of stream-based systems 82
On the timed analysis of big-data applications 82
On the Initialization of Clocks in Timed Formalisms 81
A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic 77
Statistical Model Checking of Human-Robot Interaction Scenarios 73
A Deployment Framework for Formally Verified Human-Robot Interactions 73
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 72
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 58
DevOps Service Observability By-Design: Experimenting with Model-View-Controller 57
Towards DevOps for privacy-by-design in data-intensive applications: A research roadmap 56
Verifying big data topologies by-design: a semi-automated approach 53
On the Satisfiability of Metric Temporal Logics over the Reals 50
SMT-Based Checking of SOLOIST over Sparse TracesFundamental Approaches to Software Engineering 48
A timed semantics of workflows 48
The Cost of Formal Verification in Adaptive CPS. An Example of a Virtualized Server Node 48
Trace checking of streaming applications through DICE-TraCT 47
RoboMAX: Robotic Mission Adaptation eXemplars 42
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings 41
Improved Bounded Model Checking of Timed Automata 40
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification 27
Towards Better Trust in Human-Machine Teaming through Explainable Dependability 27
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning 26
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems 23
Specification, stochastic modeling and analysis of interactive service robotic applications 22
Event-sourced, observable software architectures: An experience report 21
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior 20
Edge-based Runtime Verification for the Internet of Things 17
Data-Driven Energy Modeling of Machining Centers Through Automata Learning 14
Towards Trust-preserving Continuous Co-evolution of Digital Twins 13
Architecting Explainable Service Robots 12
Totale 5.997
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.123
article - articoli 6.533
book - libri 0
conference - conferenze 11.108
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 482
Totale 36.246
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020963 0 0 0 0 123 145 142 112 125 108 115 93
2020/2021728 90 86 73 32 24 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/2025283 9 11 26 28 209 0 0 0 0 0 0 0
Totale 5.997