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 11.573
EU - Europa 7.165
AS - Asia 3.592
SA - Sud America 908
AF - Africa 299
OC - Oceania 52
Continente sconosciuto - Info sul continente non disponibili 7
Totale 23.596
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.820
RU - Federazione Russa 2.443
SG - Singapore 1.386
IT - Italia 1.240
CN - Cina 980
DE - Germania 920
BR - Brasile 783
GB - Regno Unito 710
CA - Canada 707
VN - Vietnam 376
AT - Austria 312
FI - Finlandia 288
SE - Svezia 184
UA - Ucraina 181
NL - Olanda 158
FR - Francia 154
MA - Marocco 152
ES - Italia 133
IN - India 128
IE - Irlanda 119
BE - Belgio 85
ID - Indonesia 82
JO - Giordania 82
HK - Hong Kong 78
PL - Polonia 71
KR - Corea 61
MY - Malesia 54
JP - Giappone 50
AU - Australia 47
ZA - Sudafrica 47
PK - Pakistan 42
TR - Turchia 40
BD - Bangladesh 38
AR - Argentina 36
TW - Taiwan 30
MX - Messico 28
GR - Grecia 25
CH - Svizzera 24
CI - Costa d'Avorio 24
IR - Iran 23
PH - Filippine 23
IQ - Iraq 19
BG - Bulgaria 17
CL - Cile 17
UZ - Uzbekistan 17
EC - Ecuador 16
CO - Colombia 15
NO - Norvegia 14
PE - Perù 14
EG - Egitto 13
PT - Portogallo 12
RO - Romania 12
LT - Lituania 11
TN - Tunisia 11
VE - Venezuela 11
TH - Thailandia 10
NP - Nepal 8
UY - Uruguay 8
AE - Emirati Arabi Uniti 7
BJ - Benin 7
LK - Sri Lanka 7
SA - Arabia Saudita 7
CZ - Repubblica Ceca 6
DZ - Algeria 6
EU - Europa 6
HR - Croazia 6
KE - Kenya 6
SD - Sudan 6
EE - Estonia 5
KZ - Kazakistan 5
LU - Lussemburgo 5
LV - Lettonia 5
NZ - Nuova Zelanda 5
PA - Panama 5
PS - Palestinian Territory 5
AL - Albania 4
AM - Armenia 4
AZ - Azerbaigian 4
BO - Bolivia 4
DK - Danimarca 4
ET - Etiopia 4
IL - Israele 4
KG - Kirghizistan 4
KW - Kuwait 4
LI - Liechtenstein 4
MO - Macao, regione amministrativa speciale della Cina 4
NG - Nigeria 4
PY - Paraguay 4
SK - Slovacchia (Repubblica Slovacca) 4
SN - Senegal 4
BA - Bosnia-Erzegovina 3
DO - Repubblica Dominicana 3
JM - Giamaica 3
KH - Cambogia 3
MU - Mauritius 3
BB - Barbados 2
GA - Gabon 2
GH - Ghana 2
HN - Honduras 2
HU - Ungheria 2
Totale 23.573
Salva come PNG Salva come JPEG
Città #
Ashburn 1.501
Fairfield 1.200
Singapore 804
Woodbridge 802
Chandler 797
Houston 554
Wilmington 549
Santa Clara 537
Montréal 510
Seattle 506
Ann Arbor 451
Cambridge 406
Milan 397
Munich 385
Moscow 370
Mcallen 348
Vienna 287
Beijing 217
Boardman 179
Helsinki 161
Hefei 158
Council Bluffs 157
Los Angeles 136
New York 130
Jacksonville 119
Turin 118
Ottawa 116
Dublin 109
Dearborn 106
Lawrence 105
San Diego 91
Dallas 86
Frankfurt am Main 86
Amman 81
Medford 80
Kenitra 79
Dong Ket 77
Málaga 74
Buffalo 71
Jakarta 66
San Jose 66
Amsterdam 65
Casablanca 63
London 61
Ho Chi Minh City 60
São Paulo 59
Warsaw 58
Hong Kong 46
Seoul 46
Brussels 44
Nuremberg 44
Hanoi 42
Kuala Lumpur 41
Tokyo 36
Redwood City 35
Washington 34
Des Moines 30
Princeton 30
Turku 30
Johannesburg 29
Phoenix 29
Denver 28
Pittsburgh 28
Norwalk 27
Kent 26
Chicago 25
Rio de Janeiro 25
Rome 25
Abidjan 24
Shanghai 23
Chennai 22
Redmond 22
Orem 21
Belo Horizonte 20
Düsseldorf 19
Guangzhou 19
Stockholm 19
The Dalles 19
Ladispoli 18
Poplar 18
Miami 17
Paris 17
Sydney 17
Boston 16
Central 16
Lappeenranta 16
Montreal 16
Tashkent 16
Toronto 16
Berlin 15
Brasília 15
Brooklyn 15
Cologne 15
Islamabad 14
Manchester 14
Taipei 14
Atlanta 13
Melbourne 13
Porto Alegre 13
Tianjin 13
Totale 14.683
Salva come PNG Salva come JPEG
Nome #
Formal verification of storm topologies through D-VerT 1.245
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications 773
Interoperability of heterogeneous Systems of Systems: from requirements to a reference architecture 431
SPRINT: Semantics for PerfoRmant and scalable INteroperability of multimodal Transport 345
SMART: Towards automated mapping between data specifications 320
A tool for deciding the satisfiability of continuous-time metric temporal logic 271
Context Awareness in the Travel Companion of the Shift2Rail Initiative 260
A logical characterization of timed regular languages 245
Electric Vehicle Sharing Services for Smarter Cities 242
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration 240
A Flexible Architecture for Managing Vehicle Sharing Systems 235
Constraint LTL Satisfiability Checking without Automata 231
A logic-based semantics for the verification of multi-diagram UML models 226
A Multirate Predictive Approach to Orbit Control of Small Spacecraft 220
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications 215
ST4RT – Semantic Transformations for Rail Transportation 212
An SMT-based approach to satisfiability checking of MITL 212
Formal Methods in Designing Critical Cyber-Physical Systems 211
Formal verification and validation of embedded systems: the UML-based MADES approach 210
A Metric Temporal Logic for Dealing with Zero-Time Transitions 205
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications 204
Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing 203
Automated Compositional Proofs for Real-Time Systems 201
Towards the formal verification of data-intensive applications through metric temporal logic 200
Architecture of the Green Move System 198
A logic-based approach for the verification of UML timed models 196
A UML 2-compatible language and tool for formal modeling real-time system architectures 194
Bounded Reachability for Temporal Logic over Constraint Systems 194
Modeling the Environment in Software-Intensive Systems 193
A Formal Approach for Designing CORBA based Applications 191
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics 190
Automated Compositional Proofs for Real-Time Systems 189
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling 189
A Compositional Framework for Formally Verifying Modular Systems 188
A Logical Characterization of Timed (non-)Regular Languages 187
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models 187
A Formal Approach to Sensor Placement and Configuration in a Network Intrusion Detection System 185
Automated Mapping for Semantic-based Conversion of Transportation Data Formats 184
Comments on temporal logics for real-time system specification 182
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications 181
3cixty: Building comprehensive knowledge bases for city exploration 180
A Formal Approach for Modeling and Verification of RTCORBA-based Applications 179
Semi-Formal and Formal Models Applied to Flexible Manufacturing Systems 179
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications 177
Formal Verification of Human-Robot Interaction in Healthcare Scenarios 176
Towards learning travelers’ preferences in a context-aware fashion 176
A tool for verification of big-data applications 175
MTL with Bounded Variability: Decidability and Complexity 174
Formal model of human erroneous behavior for safety analysis in collaborative robotics 174
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems 173
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 173
Completeness of the Bounded Satisfiability Problem for Constraint LTL. 173
Efficient Scalable Verification of LTL Specifications 172
Automated Formal Verification for Flexible Manufacturing Systems 171
Complex Autonomic Systems for Networked Enterprises:Mechanisms, Solutions and Design Approaches 171
Automated formal verification for flexible manufacturing systems 168
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities 167
Deciding the Satisfiability of MITL Specifications 167
A formal approach for designing CORBA-based applications 167
A Deployment Framework for Formally Verified Human-Robot Interactions 167
On How Bit-Vector Logic Can Help Verify LTL-based Specifications 166
PuRSUE -from specification of robotic environments to synthesis of controllers 163
On the Expressiveness of MTL Variants over Dense Time 163
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 160
Using formal verification to evaluate the execution time of Spark applications 160
On the timed analysis of big-data applications 159
Comments on “An Interval Logic for Real-Time System Specification” 159
From Interaction Overview Diagrams to Temporal Logic 158
A UML-compatible formal language for system architecture description 158
Green Move: towards next generation sustainable smartphone-based vehicle sharing 157
Software Engineering - A Structured Journey from Inception to Delivery 153
Safety Assessment of Collaborative Robotics Through Automated Formal Verification 152
A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic 151
From Interaction Overview Diagrams to Temporal Logic 151
Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components 150
A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids 149
A Predictive Approach to Formation Keeping for Constellations of Small Spacecraft in Elliptic Orbits 149
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability 148
THOR: A Hybrid Recommender System for the Personalized Travel Experience 146
An Educational Module for Temporal Features in Alloy 6 144
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems 144
A theory of sampling for continuous-time metric temporal logic 143
MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems 143
SCORE: the first student contest on software engineering 142
Formal verification of data-intensive applications through model checking modulo theories 141
Formally-based Model-Driven Development of Collaborative Robotic Applications 140
Flexible Modular Formalization of UML Sequence Diagrams 139
RoboMAX: Robotic Mission Adaptation eXemplars 138
A semantic-based access control mechanism for distributed systems 138
QUACK: a platform for the quality of new generation integrated embedded systems 137
How bit-vector logic can help improve the verification of LTL specifications over infinite domains 136
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 135
Green Move Dynamic Applications 134
Statistical Model Checking of Human-Robot Interaction Scenarios 133
Towards the UML-Based Formal Verification of Timed Systems 132
Modular Automated Verificationof Flexible Manufacturing Systems with MetricTemporal Logic and Non-Standard Analysis 132
Towards a formal model of autonomic services based on SelfLets 131
DICE: Quality-Driven Development of Data-Intensive Cloud Applications 131
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation 131
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings 130
Totale 19.670
Salva come PNG Salva come JPEG
Categoria #
all - tutte 65.041
article - articoli 21.053
book - libri 524
conference - conferenze 40.133
curatela - curatele 943
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.388
Totale 130.082
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021998 0 0 0 0 0 0 72 114 161 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/20267.309 2.091 1.777 661 1.066 844 715 155 0 0 0 0 0
Totale 23.779