Roveri, Marco
 Distribuzione geografica
Continente #
NA - Nord America 5.303
EU - Europa 4.437
AS - Asia 1.995
SA - Sud America 488
AF - Africa 31
Continente sconosciuto - Info sul continente non disponibili 30
OC - Oceania 6
Totale 12.290
Nazione #
US - Stati Uniti d'America 5.205
RU - Federazione Russa 1.258
DE - Germania 800
SG - Singapore 743
IT - Italia 489
UA - Ucraina 454
BR - Brasile 450
SE - Svezia 404
CN - Cina 365
HK - Hong Kong 325
FI - Finlandia 300
IN - India 255
GB - Regno Unito 178
IE - Irlanda 165
VN - Vietnam 140
NL - Olanda 138
FR - Francia 77
BE - Belgio 72
CA - Canada 66
EU - Europa 30
JP - Giappone 30
MX - Messico 19
BD - Bangladesh 17
AR - Argentina 15
IR - Iran 14
ES - Italia 12
IL - Israele 12
LT - Lituania 12
IQ - Iraq 11
PL - Polonia 11
TR - Turchia 11
KR - Corea 10
ZA - Sudafrica 10
CZ - Repubblica Ceca 9
HU - Ungheria 9
UZ - Uzbekistan 9
VE - Venezuela 9
MA - Marocco 7
PK - Pakistan 7
AT - Austria 6
EE - Estonia 6
GR - Grecia 6
LB - Libano 6
AU - Australia 5
DK - Danimarca 5
EC - Ecuador 5
PT - Portogallo 5
TW - Taiwan 5
GT - Guatemala 4
SI - Slovenia 4
TN - Tunisia 4
AE - Emirati Arabi Uniti 3
AZ - Azerbaigian 3
CH - Svizzera 3
CR - Costa Rica 3
DZ - Algeria 3
JO - Giordania 3
LU - Lussemburgo 3
PS - Palestinian Territory 3
UY - Uruguay 3
AM - Armenia 2
BG - Bulgaria 2
CO - Colombia 2
DO - Repubblica Dominicana 2
EG - Egitto 2
ET - Etiopia 2
ID - Indonesia 2
KE - Kenya 2
LK - Sri Lanka 2
MY - Malesia 2
NP - Nepal 2
OM - Oman 2
PA - Panama 2
PY - Paraguay 2
RO - Romania 2
SA - Arabia Saudita 2
TH - Thailandia 2
AL - Albania 1
BA - Bosnia-Erzegovina 1
BH - Bahrain 1
BO - Bolivia 1
BY - Bielorussia 1
GY - Guiana 1
HN - Honduras 1
KG - Kirghizistan 1
KH - Cambogia 1
KW - Kuwait 1
KZ - Kazakistan 1
LV - Lettonia 1
LY - Libia 1
MK - Macedonia 1
MN - Mongolia 1
PW - Palau 1
RS - Serbia 1
SM - San Marino 1
SV - El Salvador 1
TM - Turkmenistan 1
Totale 12.290
Città #
Chandler 1.010
Jacksonville 887
Hong Kong 319
Ashburn 317
Moscow 297
Singapore 284
Boardman 247
Wilmington 230
The Dalles 184
Ann Arbor 174
Helsinki 168
Dublin 165
Trento 149
Dong Ket 132
Hefei 131
Dearborn 129
Kronberg 127
Woodbridge 97
Beijing 96
Munich 93
New York 92
Los Angeles 88
Brooklyn 75
Brussels 60
Milan 53
Seattle 52
Houston 51
Verona 35
Shanghai 34
Guangzhou 33
Phoenix 29
Ottawa 28
São Paulo 28
Toronto 28
Santa Clara 27
Pune 26
Falkenstein 25
Redwood City 23
Falls Church 21
Tokyo 20
Rome 18
Hanover 16
Norwalk 14
Rio de Janeiro 14
Belo Horizonte 13
Campinas 13
Frankfurt am Main 13
Miami 13
Turku 13
Mountain View 12
Nuremberg 12
San Francisco 11
Columbus 10
Curitiba 10
Fairfield 10
Leawood 9
London 9
Redmond 9
San Mateo 9
Secaucus 9
Atlanta 8
Cheyenne 8
Portland 8
Tashkent 8
Council Bluffs 7
Warsaw 7
Boston 6
Brasília 6
Charlotte 6
Chicago 6
Contagem 6
Dallas 6
Gunzenhausen 6
Nanjing 6
Palermo 6
Salvador 6
Woodland 6
Amsterdam 5
Augusta 5
Budapest 5
Des Moines 5
Inglewood 5
Laives 5
Nova Iguaçu 5
Porto Alegre 5
Ribeirão Preto 5
Sacramento 5
Saint Petersburg 5
Wangen 5
Zhengzhou 5
Antwerp 4
Baghdad 4
Betim 4
Brescia 4
Buffalo 4
Cambridge 4
Canoas 4
Chennai 4
Cincinnati 4
Dhaka 4
Totale 6.518
Nome #
GIADA, un sistema centralizzato per la gestione dell'irrigazione a domanda / GIADA, a decision support system for a demand-driven irrigation 290
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 253
HRELTL: A temporal logic for hybrid systems 251
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 207
NuSMV 159
Strong temporal planning with uncontrollable durations 141
Conformant Planning via Symbolic Model Checking 137
COMPASS Tool 132
A Comprehensive Approach to On-Board Autonomy Verification and Validation 130
NuGAT 129
Agent-oriented modeling by interleaving formal and informal specification 127
A Model Checker for AADL 126
KRATOS 125
OthelloPlay: a plug-in based tool for requirement formalization and validation 125
Agent-oriented modeling by interleaving formal and informal specification 124
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 123
Certifying Proofs for LTL Model Checking 123
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 123
Supporting Requirements Validation: The EuRailCheck Tool 119
RAT 117
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 116
Safety Assessment of AltaRica Models via Symbolic Model Checking 116
A New Method for Testing Decision Procedures in Modal and Terminological Logics 116
MBP: A Model Based Planner 116
Dynamic controllability via Timed Game Automata 114
A Comprehensive Approach to On-Board Autonomy Verification and Validation 112
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 112
An Analytic Evaluation of SystemC Encodings in Promela 111
RATSY - A new Requirements Analysis Tool with Synthesis 110
Strong Planning under Partial Observability 110
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 110
Model Checking and Safety Assessment of Altarica models 109
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 109
NuSMV: a New Symbolic Model Verifier 107
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 107
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space 105
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 105
A Framework for Integrating Business Processes and Business Requirements 102
Kratos - A Software Model Checker for SystemC 102
A Critical Overview and Open Questions for Temporal Planning with Uncertainty 101
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 101
Conformant Planning via Symbolic Model Checking and Heuristic Search 100
Formal Verification of Infinite-State BIP Models 100
Abstraction in Planning via Model Checking 99
Boolean Abstraction for Temporal Logic Satisfiability 98
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 98
Satisfiability Modulo Transcendental Functions via Incremental Linearization 96
Certifying proofs for SAT-based model checking 96
Predicting RUL of Bearings in the Pumps of a Critical Industrial Air Treatment System 95
Abstraction in Model Checking for Bug Hunting 94
Preface 94
Rat: A tool for the formal analysis of requirements 94
Integrating BDD-based and SAT-based Symbolic Model Checking 93
Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking 93
Structure-Aware Computation of Predicate Abstraction 93
Solving Temporal Problems using SMT: Weak Controllability 93
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010) 93
NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking 92
Boosting Lazy Abstraction for SystemC with Partial Order Reduction 92
Bounded Verification of Past LTL 92
Verilog2SMV: A Tool for Word-level Verification 92
Formalization and validation of a subset of the European Train Control System 91
6th International Workshop on Systems Software Verification, SSV 2011 91
Verifying SystemC: a Software Model Checking Approach 91
Symbolic Implementation of Alternating Automata 90
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 90
Specifying and Analyzing Early Requirements in Tropos 89
On-Board Autonomy via Symbolic Model Based Reasoning 89
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 88
Object Models with Temporal Constraints 87
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning 87
Codesign of Dependable Systems: A Component-Based Language 87
Diagnostic Information for Realizability 87
MBP: a Model Based Planner 87
The nuXmv Symbolic Model Checker 87
Symbolic Compilation of PSL 86
Safety, Dependability and Performance Analysis of Extended AADL Models 86
Codesign of Dependable Systems: A Component-Based Modeling Language 86
RAT: A tool for formal analysis of requirements 86
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 86
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 85
Formal analysis of hardware requirements 84
Validation of Requirements for Hybrid Systems: a Formal Approach 83
Formal Verification of Requirements using Spin: A Case Study on Web Services 83
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 83
Spacecraft Early Design Validation using Formal Methods 82
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking 81
Verification of Parametric System Designs 81
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 81
Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Concluding the adventure 81
Planning in Non-Deterministic Domains via Symbolic Model Checking 80
Symbolic Implementation of Alternating Automata 80
Formalizing requirements with object models and temporal constraints 80
Software Model Checking with Explicit Scheduler and Symbolic Threads 80
Requirements-Driven Verification of Web Services 80
Specifying and Analyzing Early Requirements: Some Experimental Results 79
Solving strong controllability of temporal problems with uncertainty using SMT 79
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 79
NuSMV: a new symbolic model checker 77
Conformant Planning via Model Checking 77
Totale 10.535
Categoria #
all - tutte 69.765
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 69.765


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.426 167 18 159 78 153 39 177 14 71 261 71 218
2021/2022718 26 10 16 97 54 19 31 101 49 30 116 169
2022/20232.044 64 150 48 380 119 320 32 147 477 150 89 68
2023/20241.257 103 53 123 85 85 224 47 158 54 165 16 144
2024/20253.889 40 52 312 140 84 74 195 246 1.328 445 606 367
2025/2026155 155 0 0 0 0 0 0 0 0 0 0 0
Totale 12.424