RE.PUBLIC@POLIMI pubblicazioni di ricerca del Politecnico di Milano

ROSSI, MATTEO GIOVANNI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 13.518
EU - Europa 7.691
AS - Asia 5.250
SA - Sud America 979
AF - Africa 339
OC - Oceania 57
Continente sconosciuto - Info sul continente non disponibili 7
Totale 27.841
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 12.735
RU - Federazione Russa 2.445
SG - Singapore 1.665
IT - Italia 1.485
CN - Cina 1.261
DE - Germania 947
BR - Brasile 833
VN - Vietnam 811
GB - Regno Unito 730
CA - Canada 724
AT - Austria 315
FI - Finlandia 310
FR - Francia 289
KR - Corea 286
JP - Giappone 236
SE - Svezia 188
UA - Ucraina 188
NL - Olanda 168
HK - Hong Kong 161
IN - India 161
MA - Marocco 156
ES - Italia 138
IE - Irlanda 126
BE - Belgio 92
ID - Indonesia 91
JO - Giordania 85
PL - Polonia 75
MY - Malesia 66
ZA - Sudafrica 58
PK - Pakistan 56
AU - Australia 52
BD - Bangladesh 52
TW - Taiwan 51
TR - Turchia 50
AR - Argentina 42
MX - Messico 32
IQ - Iraq 30
PH - Filippine 28
CH - Svizzera 27
GR - Grecia 26
IR - Iran 25
CI - Costa d'Avorio 24
CL - Cile 24
UZ - Uzbekistan 23
NO - Norvegia 18
BG - Bulgaria 17
EC - Ecuador 17
CO - Colombia 16
PE - Perù 16
PT - Portogallo 16
EG - Egitto 15
SA - Arabia Saudita 14
LT - Lituania 13
TH - Thailandia 13
TN - Tunisia 13
VE - Venezuela 13
NP - Nepal 12
RO - Romania 12
KE - Kenya 11
UY - Uruguay 10
AE - Emirati Arabi Uniti 9
DZ - Algeria 9
HR - Croazia 8
KZ - Kazakistan 8
LK - Sri Lanka 8
BJ - Benin 7
CZ - Repubblica Ceca 7
ET - Etiopia 7
AL - Albania 6
EE - Estonia 6
EU - Europa 6
RS - Serbia 6
SD - Sudan 6
AM - Armenia 5
AZ - Azerbaigian 5
JM - Giamaica 5
LU - Lussemburgo 5
LV - Lettonia 5
NZ - Nuova Zelanda 5
PA - Panama 5
PS - Palestinian Territory 5
BO - Bolivia 4
DK - Danimarca 4
GA - Gabon 4
IL - Israele 4
KG - Kirghizistan 4
KH - Cambogia 4
KW - Kuwait 4
LI - Liechtenstein 4
MO - Macao, regione amministrativa speciale della Cina 4
MZ - Mozambico 4
NG - Nigeria 4
PY - Paraguay 4
SK - Slovacchia (Repubblica Slovacca) 4
SN - Senegal 4
BA - Bosnia-Erzegovina 3
BH - Bahrain 3
CR - Costa Rica 3
DO - Repubblica Dominicana 3
HN - Honduras 3
Totale 27.797
Salva come PNG Salva come JPEG
Città #
Ashburn 1.862
Fairfield 1.200
Singapore 986
San Jose 909
Woodbridge 802
Chandler 797
Houston 555
Santa Clara 551
Wilmington 549
Montréal 510
Seattle 506
Milan 490
Ann Arbor 451
Cambridge 408
Munich 385
Moscow 370
Mcallen 348
Vienna 289
Seoul 264
Beijing 241
Council Bluffs 241
The Dalles 233
Tokyo 220
Ho Chi Minh City 189
Boardman 183
Helsinki 181
Los Angeles 171
Hefei 159
Dallas 153
New York 143
Hanoi 136
Turin 136
Lauterbourg 129
Jacksonville 119
Ottawa 117
Dublin 116
Dearborn 106
Lawrence 105
Hong Kong 104
Frankfurt am Main 101
San Diego 91
Amman 83
Medford 81
Kenitra 79
Dong Ket 77
Buffalo 76
Málaga 74
Amsterdam 73
Jakarta 69
North Charleston 67
London 65
São Paulo 64
Casablanca 63
Warsaw 62
Orem 55
Brussels 49
Kuala Lumpur 47
Nuremberg 46
Phoenix 36
Johannesburg 35
Redwood City 35
Washington 35
Taipei 34
Shanghai 33
Chennai 32
Las Vegas 32
Des Moines 31
Pittsburgh 31
Princeton 30
Turku 30
Da Nang 29
Denver 29
Guangzhou 28
Haiphong 28
Chicago 27
Norwalk 27
Rome 27
Kent 26
Rio de Janeiro 26
Abidjan 24
Paris 24
Redmond 22
Stockholm 21
Tianjin 21
Belo Horizonte 20
Montreal 20
Tashkent 20
Toronto 20
Düsseldorf 19
Islamabad 19
Poplar 19
Ladispoli 18
Miami 18
Sydney 18
Brasília 17
Changsha 17
Santiago 17
Ankara 16
Boston 16
Brooklyn 16
Totale 17.779
Salva come PNG Salva come JPEG
Nome #
Formal verification of storm topologies through D-VerT 1.273
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications 812
Interoperability of heterogeneous Systems of Systems: from requirements to a reference architecture 525
Software Engineering - A Structured Journey from Inception to Delivery 397
SPRINT: Semantics for PerfoRmant and scalable INteroperability of multimodal Transport 379
SMART: Towards automated mapping between data specifications 355
A tool for deciding the satisfiability of continuous-time metric temporal logic 303
Context Awareness in the Travel Companion of the Shift2Rail Initiative 285
A Flexible Architecture for Managing Vehicle Sharing Systems 284
Constraint LTL Satisfiability Checking without Automata 277
A logic-based semantics for the verification of multi-diagram UML models 274
A logical characterization of timed regular languages 271
Formal Methods in Designing Critical Cyber-Physical Systems 271
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration 267
Electric Vehicle Sharing Services for Smarter Cities 267
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications 257
An SMT-based approach to satisfiability checking of MITL 257
A logic-based approach for the verification of UML timed models 251
ST4RT – Semantic Transformations for Rail Transportation 243
Towards the formal verification of data-intensive applications through metric temporal logic 243
A Multirate Predictive Approach to Orbit Control of Small Spacecraft 240
A Logical Characterization of Timed (non-)Regular Languages 240
A Metric Temporal Logic for Dealing with Zero-Time Transitions 239
Architecture of the Green Move System 238
Formal verification and validation of embedded systems: the UML-based MADES approach 234
Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing 228
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications 228
Automated Compositional Proofs for Real-Time Systems 224
Modeling the Environment in Software-Intensive Systems 219
A Compositional Framework for Formally Verifying Modular Systems 217
A Formal Approach for Designing CORBA based Applications 216
Bounded Reachability for Temporal Logic over Constraint Systems 215
Efficient Scalable Verification of LTL Specifications 215
Automated Compositional Proofs for Real-Time Systems 215
Automated Mapping for Semantic-based Conversion of Transportation Data Formats 215
On How Bit-Vector Logic Can Help Verify LTL-based Specifications 213
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics 212
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling 211
A UML 2-compatible language and tool for formal modeling real-time system architectures 210
Towards learning travelers’ preferences in a context-aware fashion 209
A Formal Approach to Sensor Placement and Configuration in a Network Intrusion Detection System 207
MTL with Bounded Variability: Decidability and Complexity 207
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 206
Completeness of the Bounded Satisfiability Problem for Constraint LTL. 206
A tool for verification of big-data applications 205
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications 204
Formal Verification of Human-Robot Interaction in Healthcare Scenarios 204
From Interaction Overview Diagrams to Temporal Logic 204
A Formal Approach for Modeling and Verification of RTCORBA-based Applications 202
3cixty: Building comprehensive knowledge bases for city exploration 202
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models 202
Automated Formal Verification for Flexible Manufacturing Systems 200
Formal model of human erroneous behavior for safety analysis in collaborative robotics 200
Comments on temporal logics for real-time system specification 199
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications 199
Using formal verification to evaluate the execution time of Spark applications 198
THOR: A Hybrid Recommender System for the Personalized Travel Experience 196
Semi-Formal and Formal Models Applied to Flexible Manufacturing Systems 194
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems 194
A Deployment Framework for Formally Verified Human-Robot Interactions 194
An Educational Module for Temporal Features in Alloy 6 193
From Interaction Overview Diagrams to Temporal Logic 193
Complex Autonomic Systems for Networked Enterprises:Mechanisms, Solutions and Design Approaches 193
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 193
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities 189
Deciding the Satisfiability of MITL Specifications 189
PuRSUE -from specification of robotic environments to synthesis of controllers 189
Automated formal verification for flexible manufacturing systems 188
Green Move: towards next generation sustainable smartphone-based vehicle sharing 187
A formal approach for designing CORBA-based applications 187
A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids 186
Comments on “An Interval Logic for Real-Time System Specification” 184
On the timed analysis of big-data applications 183
A UML-compatible formal language for system architecture description 183
A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic 182
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability 181
On the Expressiveness of MTL Variants over Dense Time 179
RoboMAX: Robotic Mission Adaptation eXemplars 178
A theory of sampling for continuous-time metric temporal logic 176
A semantic-based access control mechanism for distributed systems 175
SCORE: the first student contest on software engineering 173
Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components 172
Safety Assessment of Collaborative Robotics Through Automated Formal Verification 172
Formally-based Model-Driven Development of Collaborative Robotic Applications 169
A Predictive Approach to Formation Keeping for Constellations of Small Spacecraft in Elliptic Orbits 166
Formal verification of data-intensive applications through model checking modulo theories 166
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems 165
Flexible Modular Formalization of UML Sequence Diagrams 165
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems 164
MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems 164
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification 161
Towards the UML-Based Formal Verification of Timed Systems 160
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 160
Personalized Context-Aware Recommender System for Travelers 159
Green Move Dynamic Applications 159
How bit-vector logic can help improve the verification of LTL specifications over infinite domains 158
Statistical Model Checking of Human-Robot Interaction Scenarios 156
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation 156
Modular Automated Verificationof Flexible Manufacturing Systems with MetricTemporal Logic and Non-Standard Analysis 151
Data-Driven Energy Modeling of Machining Centers Through Automata Learning 149
Totale 22.905
Salva come PNG Salva come JPEG
Categoria #
all - tutte 71.367
article - articoli 23.011
book - libri 852
conference - conferenze 43.821
curatela - curatele 1.023
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.660
Totale 142.734
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021651 0 0 0 0 0 0 0 0 0 234 146 271
2021/20221.582 91 180 151 160 156 88 104 65 146 112 148 181
2022/20232.058 258 189 78 235 193 233 18 115 302 245 105 87
2023/20241.172 109 194 62 108 97 221 75 57 11 73 16 149
2024/20253.292 40 58 81 96 626 309 185 321 444 226 476 430
2025/202611.557 2.091 1.777 661 1.066 844 715 2.000 661 814 928 0 0
Totale 28.027