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 8.571
EU - Europa 3.542
AS - Asia 653
AF - Africa 35
SA - Sud America 24
OC - Oceania 20
Continente sconosciuto - Info sul continente non disponibili 6
Totale 12.851
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.914
IT - Italia 971
DE - Germania 660
CA - Canada 657
GB - Regno Unito 582
AT - Austria 267
FI - Finlandia 225
VN - Vietnam 201
CN - Cina 184
UA - Ucraina 170
SE - Svezia 165
IE - Irlanda 112
ES - Italia 103
BE - Belgio 78
JO - Giordania 76
IN - India 53
NL - Olanda 51
FR - Francia 37
HK - Hong Kong 27
PL - Polonia 22
SG - Singapore 19
CI - Costa d'Avorio 17
RU - Federazione Russa 16
AU - Australia 15
KR - Corea 15
GR - Grecia 14
TR - Turchia 14
BR - Brasile 13
CH - Svizzera 13
IR - Iran 13
JP - Giappone 12
RO - Romania 11
NO - Norvegia 8
PT - Portogallo 8
BG - Bulgaria 7
EU - Europa 6
ID - Indonesia 5
NZ - Nuova Zelanda 5
TH - Thailandia 5
TW - Taiwan 5
CL - Cile 4
EG - Egitto 4
KW - Kuwait 4
MY - Malesia 4
PH - Filippine 4
PK - Pakistan 4
DK - Danimarca 3
EC - Ecuador 3
ET - Etiopia 3
HR - Croazia 3
LU - Lussemburgo 3
LV - Lettonia 3
MO - Macao, regione amministrativa speciale della Cina 3
MU - Mauritius 3
SK - Slovacchia (Repubblica Slovacca) 3
ZA - Sudafrica 3
CO - Colombia 2
DZ - Algeria 2
KH - Cambogia 2
LT - Lituania 2
SI - Slovenia 2
TN - Tunisia 2
AM - Armenia 1
AR - Argentina 1
CZ - Repubblica Ceca 1
GH - Ghana 1
HU - Ungheria 1
MD - Moldavia 1
PS - Palestinian Territory 1
SA - Arabia Saudita 1
UY - Uruguay 1
Totale 12.851
Salva come PNG Salva come JPEG
Città #
Fairfield 1.200
Woodbridge 802
Chandler 797
Ashburn 622
Wilmington 545
Houston 543
Montréal 510
Seattle 498
Ann Arbor 451
Cambridge 406
Munich 357
Mcallen 348
Vienna 259
Milan 258
Helsinki 145
Jacksonville 116
Ottawa 114
Turin 112
Dearborn 106
Lawrence 104
Dublin 103
San Diego 89
Medford 80
Dong Ket 77
Amman 75
Málaga 74
New York 73
Beijing 58
Brussels 42
Redwood City 35
Amsterdam 32
Washington 32
Des Moines 30
Princeton 30
Norwalk 27
Pittsburgh 22
Redmond 22
Warsaw 22
London 19
Rome 19
Ladispoli 18
Abidjan 17
Boardman 17
Miami 16
Shanghai 15
Phoenix 14
Auburn Hills 12
Berlin 12
Karlsruhe 12
Central 11
Bern 10
Fremont 9
Seoul 9
Vimodrone 9
Bergamo 8
Busto Arsizio 8
Cologne 8
Aachen 7
Indiana 7
Sterrebeek 7
A Coruña 6
Athens 6
Bursa 6
Grafing 6
Hefei 6
Hyderabad 6
Madrid 6
Manchester 6
Mountain View 6
Namur 6
Nanjing 6
Nieuwpoort 6
San Donato Milanese 6
Storrs Mansfield 6
Toronto 6
Brescia 5
Central District 5
Dallas 5
Falls Church 5
Forlì 5
Guangzhou 5
Hangzhou 5
Jinan 5
Köln 5
Nashville 5
Sydney 5
Austin 4
Bologna 4
Coventry 4
Dongo 4
Enschede 4
Hong Kong 4
Islamabad 4
Itapagé 4
Messina 4
Montreal 4
Nahe 4
Oslo 4
Paris 4
Portland 4
Totale 9.681
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
SPRINT: Semantics for PerfoRmant and scalable INteroperability of multimodal Transport 216
SMART: Towards automated mapping between data specifications 186
A tool for deciding the satisfiability of continuous-time metric temporal logic 167
Electric Vehicle Sharing Services for Smarter Cities 161
Constraint LTL Satisfiability Checking without Automata 157
Context Awareness in the Travel Companion of the Shift2Rail Initiative 155
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration 147
A Multirate Predictive Approach to Orbit Control of Small Spacecraft 144
Formal verification and validation of embedded systems: the UML-based MADES approach 140
A logic-based semantics for the verification of multi-diagram UML models 138
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling 137
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics 136
A Flexible Architecture for Managing Vehicle Sharing Systems 135
A logical characterization of timed regular languages 135
An SMT-based approach to satisfiability checking of MITL 135
Modeling the Environment in Software-Intensive Systems 132
Automated Compositional Proofs for Real-Time Systems 130
A UML 2-compatible language and tool for formal modeling real-time system architectures 128
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications 127
Deciding the Satisfiability of MITL Specifications 126
Automated Compositional Proofs for Real-Time Systems 124
A Metric Temporal Logic for Dealing with Zero-Time Transitions 124
Formal Methods in Designing Critical Cyber-Physical Systems 124
ST4RT – Semantic Transformations for Rail Transportation 123
Towards the formal verification of data-intensive applications through metric temporal logic 123
MTL with Bounded Variability: Decidability and Complexity 122
A Formal Approach for Designing CORBA based Applications 122
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models 120
Comments on temporal logics for real-time system specification 119
Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing 119
Architecture of the Green Move System 119
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications 117
Bounded Reachability for Temporal Logic over Constraint Systems 115
Complex Autonomic Systems for Networked Enterprises:Mechanisms, Solutions and Design Approaches 114
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 113
Automated formal verification for flexible manufacturing systems 112
A logic-based approach for the verification of UML timed models 111
Automated Formal Verification for Flexible Manufacturing Systems 110
A Compositional Framework for Formally Verifying Modular Systems 109
Efficient Scalable Verification of LTL Specifications 108
A tool for verification of big-data applications 108
Automated Mapping for Semantic-based Conversion of Transportation Data Formats 108
On the Expressiveness of MTL Variants over Dense Time 108
A Formal Approach to Sensor Placement and Configuration in a Network Intrusion Detection System 107
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems 107
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications 107
Formal Verification of Human-Robot Interaction in Healthcare Scenarios 107
Semi-Formal and Formal Models Applied to Flexible Manufacturing Systems 106
From Interaction Overview Diagrams to Temporal Logic 105
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities 105
Formal model of human erroneous behavior for safety analysis in collaborative robotics 104
PuRSUE -from specification of robotic environments to synthesis of controllers 101
Comments on “An Interval Logic for Real-Time System Specification” 100
A Formal Approach for Modeling and Verification of RTCORBA-based Applications 99
MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems 99
A UML-compatible formal language for system architecture description 99
A Logical Characterization of Timed (non-)Regular Languages 98
Completeness of the Bounded Satisfiability Problem for Constraint LTL. 98
Towards a formal model of autonomic services based on SelfLets 97
Flexible logic-based Co-simulation of Modelica models 97
Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components 96
3cixty: Building comprehensive knowledge bases for city exploration 96
Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata 92
How bit-vector logic can help improve the verification of LTL specifications over infinite domains 92
A formal approach for designing CORBA-based applications 91
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications 90
QUACK: a platform for the quality of new generation integrated embedded systems 89
SCORE: the first student contest on software engineering 89
From Interaction Overview Diagrams to Temporal Logic 89
Formal verification of data-intensive applications through model checking modulo theories 87
Modular Automated Verificationof Flexible Manufacturing Systems with MetricTemporal Logic and Non-Standard Analysis 87
A theory of sampling for continuous-time metric temporal logic 85
Towards the UML-Based Formal Verification of Timed Systems 85
Handbook of Research on Embedded Systems Design 85
SMT-based Verification of LTL Specifications with Integer Constraintsand its Application to Runtime Checking of Service Substitutability 84
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems 83
DICE: Quality-Driven Development of Data-Intensive Cloud Applications 82
Safety Assessment of Collaborative Robotics Through Automated Formal Verification 81
Flexible Modular Formalization of UML Sequence Diagrams 81
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation 80
Using formal verification to evaluate the execution time of Spark applications 79
Green Move Dynamic Applications 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
On How Bit-Vector Logic Can Help Verify LTL-based Specifications 71
A Predictive Approach to Formation Keeping for Constellations of Small Spacecraft in Elliptic Orbits 67
Green Move: towards next generation sustainable smartphone-based vehicle sharing 65
Statistical Model Checking of Human-Robot Interaction Scenarios 65
Temporal pattern recognition in large scale graphs 64
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 63
A Deployment Framework for Formally Verified Human-Robot Interactions 63
Formally-based Model-Driven Development of Collaborative Robotic Applications 61
An Evolutionary Approach to the Design of Supervision and Control Systems 60
MADES FP7 EU Project: Effective High Level SysML/MARTE Methodology for Real-Time and Embedded Avionics Systems 57
Towards learning travelers’ preferences in a context-aware fashion 54
On the Visualization of Semantic-based Mappings 53
Modeling Time in Computing 52
Totale 12.117
Salva come PNG Salva come JPEG
Categoria #
all - tutte 33.761
article - articoli 10.659
book - libri 162
conference - conferenze 21.061
curatela - curatele 533
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.346
Totale 67.522
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019971 0 0 0 0 0 0 0 0 0 0 529 442
2019/20203.129 264 184 122 237 329 355 364 290 346 198 296 144
2020/20211.842 160 143 156 151 115 119 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.011 109 194 62 108 97 221 75 57 11 73 4 0
Totale 13.017