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.581
EU - Europa 1.764
AS - Asia 182
AF - Africa 22
SA - Sud America 6
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 1
Totale 5.561
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.014
CA - Canada 567
GB - Regno Unito 482
DE - Germania 429
IT - Italia 393
AT - Austria 150
FI - Finlandia 79
VN - Vietnam 64
IE - Irlanda 52
CN - Cina 51
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
RU - Federazione Russa 5
GR - Grecia 4
SG - Singapore 4
TR - Turchia 4
BG - Bulgaria 3
BR - Brasile 3
HK - Hong Kong 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
JP - Giappone 1
MU - Mauritius 1
PH - Filippine 1
PT - Portogallo 1
UY - Uruguay 1
Totale 5.561
Salva come PNG Salva come JPEG
Città #
Montréal 510
Fairfield 389
Munich 356
Mcallen 348
Chandler 323
Woodbridge 245
Ashburn 205
Houston 197
Wilmington 192
Seattle 168
Ann Arbor 150
Vienna 149
Cambridge 143
Milan 106
Helsinki 57
Dublin 51
Dearborn 46
New York 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
Bern 5
Forlì 5
Fremont 5
Toronto 5
Austin 4
Bologna 4
Cozzo 4
Messina 4
Santa Barbara 4
Seoul 4
Zurich 4
Auburn Hills 3
Berlin 3
Brescia 3
Cantu 3
Columbus 3
Dallas 3
Fucecchio 3
Indiana 3
Jinan 3
Manchester 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
Hefei 2
Kilburn 2
Liverpool 2
Ludwigshafen 2
Lüneburg 2
Montreal 2
Pavia 2
San Lazzaro di Savena 2
Sovico 2
Varedo 2
Aachen 1
Albany 1
Americana 1
Ancona 1
Andover 1
Annemasse 1
Aquila 1
Arluno 1
Athens 1
Atlanta 1
Auckland 1
Bathurst 1
Totale 4.281
Salva come PNG Salva come JPEG
Nome #
Formal verification of storm topologies through D-VerT 1.172
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications 689
A tool for deciding the satisfiability of continuous-time metric temporal logic 167
Constraint LTL Satisfiability Checking without Automata 157
A logical characterization of timed regular languages 135
An SMT-based approach to satisfiability checking of MITL 135
Deciding the Satisfiability of MITL Specifications 126
Towards the formal verification of data-intensive applications through metric temporal logic 123
The Complexity of Reversal-Bounded Model-Checking. 116
Bounded Reachability for Temporal Logic over Constraint Systems 115
Efficient large-scale trace checking using mapreduce 115
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 113
A tool for verification of big-data applications 108
Formal Verification of Human-Robot Interaction in Healthcare Scenarios 107
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities 105
Towards the formalization of properties of cloud-based elastic systems 104
PuRSUE -from specification of robotic environments to synthesis of controllers 101
A Logical Characterization of Timed (non-)Regular Languages 98
Online verification in cyber-physical systems: Practical bounds for meaningful temporal costs. 98
Completeness of the Bounded Satisfiability Problem for Constraint LTL. 98
Expressiveness and complexity of regular pure two-dimensional context-free languages 89
On some classes of 2D-languages and their relations 89
Formal verification of data-intensive applications through model checking modulo theories 87
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability 84
An LTL Semantics of BusinessWorkflows with Recovery 80
Using formal verification to evaluate the execution time of Spark applications 79
Continuous architecting of stream-based systems 77
On the timed analysis of big-data applications 77
On the Initialization of Clocks in Timed Formalisms 73
A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic 71
Statistical Model Checking of Human-Robot Interaction Scenarios 65
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 63
A Deployment Framework for Formally Verified Human-Robot Interactions 63
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 52
DevOps Service Observability By-Design: Experimenting with Model-View-Controller 51
Towards DevOps for privacy-by-design in data-intensive applications: A research roadmap 51
Verifying big data topologies by-design: a semi-automated approach 49
On the Satisfiability of Metric Temporal Logics over the Reals 47
SMT-Based Checking of SOLOIST over Sparse TracesFundamental Approaches to Software Engineering 44
The Cost of Formal Verification in Adaptive CPS. An Example of a Virtualized Server Node 43
A timed semantics of workflows 42
Trace checking of streaming applications through DICE-TraCT 42
RoboMAX: Robotic Mission Adaptation eXemplars 36
Improved Bounded Model Checking of Timed Automata 35
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings 33
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning 20
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification 19
Towards Better Trust in Human-Machine Teaming through Explainable Dependability 19
Specification, stochastic modeling and analysis of interactive service robotic applications 16
Event-sourced, observable software architectures: An experience report 15
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior 15
Edge-based Runtime Verification for the Internet of Things 12
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems 11
Towards Trust-preserving Continuous Co-evolution of Digital Twins 9
Architecting Explainable Service Robots 7
Totale 5.647
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.788
article - articoli 5.246
book - libri 0
conference - conferenze 9.151
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 391
Totale 29.576
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019425 0 0 0 0 0 0 0 0 0 0 236 189
2019/20201.396 144 94 88 107 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/2024398 50 79 19 43 29 83 30 26 2 37 0 0
Totale 5.647