IRIS Institutional Research Information System

Roveri, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 8.334
NA - Nord America 7.971
AS - Asia 4.028
SA - Sud America 950
AF - Africa 102
Continente sconosciuto - Info sul continente non disponibili 31
OC - Oceania 9
AN - Antartide 1
Totale 21.426
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.729
RU - Federazione Russa 4.545
SG - Singapore 1.576
DE - Germania 912
BR - Brasile 795
CN - Cina 693
VN - Vietnam 613
IT - Italia 552
SE - Svezia 473
UA - Ucraina 469
HK - Hong Kong 411
IN - India 328
FI - Finlandia 312
GB - Regno Unito 255
FR - Francia 231
IE - Irlanda 168
NL - Olanda 152
CA - Canada 129
BE - Belgio 73
MX - Messico 69
AR - Argentina 65
JP - Giappone 59
BD - Bangladesh 55
PL - Polonia 48
ZA - Sudafrica 43
IQ - Iraq 42
ES - Italia 31
EU - Europa 30
TR - Turchia 26
VE - Venezuela 22
EC - Ecuador 19
ID - Indonesia 19
LT - Lituania 19
IL - Israele 18
PK - Pakistan 18
SA - Arabia Saudita 17
UZ - Uzbekistan 16
IR - Iran 15
CO - Colombia 14
AE - Emirati Arabi Uniti 13
MA - Marocco 12
PY - Paraguay 12
CL - Cile 11
OM - Oman 11
AT - Austria 10
HU - Ungheria 10
KR - Corea 10
CZ - Repubblica Ceca 9
DO - Repubblica Dominicana 9
EG - Egitto 9
JO - Giordania 9
LB - Libano 9
TN - Tunisia 9
DK - Danimarca 8
GT - Guatemala 8
AU - Australia 7
AZ - Azerbaigian 7
GR - Grecia 7
MY - Malesia 7
PH - Filippine 7
TW - Taiwan 7
CH - Svizzera 6
CR - Costa Rica 6
DZ - Algeria 6
EE - Estonia 6
KE - Kenya 6
NP - Nepal 6
PT - Portogallo 6
TH - Thailandia 6
UY - Uruguay 6
CI - Costa d'Avorio 5
ET - Etiopia 5
KZ - Kazakistan 5
MD - Moldavia 5
PR - Porto Rico 5
PA - Panama 4
RO - Romania 4
SI - Slovenia 4
TT - Trinidad e Tobago 4
AL - Albania 3
AM - Armenia 3
BA - Bosnia-Erzegovina 3
BG - Bulgaria 3
LU - Lussemburgo 3
LV - Lettonia 3
LY - Libia 3
PS - Palestinian Territory 3
BB - Barbados 2
BH - Bahrain 2
BO - Bolivia 2
GE - Georgia 2
JM - Giamaica 2
KH - Cambogia 2
KW - Kuwait 2
LK - Sri Lanka 2
MM - Myanmar 2
PE - Perù 2
QA - Qatar 2
AQ - Antartide 1
BN - Brunei Darussalam 1
Totale 21.405
Salva come PNG Salva come JPEG
Città #
Chandler 1.010
Jacksonville 890
San Jose 823
Singapore 743
Ashburn 590
Hong Kong 398
Council Bluffs 352
Moscow 303
Dallas 286
Boardman 249
The Dalles 233
Wilmington 230
Beijing 217
Ann Arbor 174
Helsinki 169
Dublin 168
Los Angeles 162
New York 161
Ho Chi Minh City 155
Trento 150
Dong Ket 132
Hefei 132
Dearborn 129
Kronberg 127
Lauterbourg 119
Hanoi 108
Woodbridge 97
Munich 94
Brooklyn 89
São Paulo 70
Seattle 62
Milan 61
Brussels 60
Houston 59
Santa Clara 48
Tokyo 48
Phoenix 41
Orem 40
Warsaw 39
Toronto 37
Guangzhou 36
Shanghai 36
Verona 35
Denver 31
Montreal 31
Pune 31
Des Moines 30
Frankfurt am Main 30
Da Nang 29
Ottawa 28
Atlanta 25
Falkenstein 25
Turku 24
Chennai 23
Redwood City 23
Rio de Janeiro 23
Boston 22
Chicago 22
London 22
Nuremberg 22
Falls Church 21
Johannesburg 21
Rome 21
Belo Horizonte 20
Stockholm 20
Campinas 19
Poplar 19
Amsterdam 16
Hanover 16
Miami 16
Curitiba 15
Mexico City 15
Tashkent 15
Norwalk 14
San Francisco 14
Baghdad 13
Buffalo 13
Manchester 13
Haiphong 12
Mountain View 12
Ankara 11
Columbus 11
Naples 11
Porto Alegre 11
Querétaro 11
Brasília 10
Dhaka 10
Fairfield 10
Amman 9
Cape Town 9
Hangzhou 9
Leawood 9
Mumbai 9
Portland 9
Redmond 9
Salvador 9
San Mateo 9
Secaucus 9
Caxias do Sul 8
Charlotte 8
Totale 10.119
Salva come PNG Salva come JPEG
Nome #
GIADA, un sistema centralizzato per la gestione dell'irrigazione a domanda / GIADA, a decision support system for a demand-driven irrigation 348
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 348
HRELTL: A temporal logic for hybrid systems 317
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 299
NuSMV 264
Agent-oriented modeling by interleaving formal and informal specification 237
A Comprehensive Approach to On-Board Autonomy Verification and Validation 233
Agent-oriented modeling by interleaving formal and informal specification 230
NuGAT 226
A Comprehensive Approach to On-Board Autonomy Verification and Validation 223
Safety Assessment of AltaRica Models via Symbolic Model Checking 221
Certifying Proofs for LTL Model Checking 218
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 218
COMPASS Tool 217
A Model Checker for AADL 214
A New Method for Testing Decision Procedures in Modal and Terminological Logics 213
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 213
Satisfiability Modulo Transcendental Functions via Incremental Linearization 209
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 205
An Analytic Evaluation of SystemC Encodings in Promela 205
RAT 204
KRATOS 204
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 204
Certifying proofs for SAT-based model checking 203
Conformant Planning via Symbolic Model Checking 201
Model Checking and Safety Assessment of Altarica models 200
OthelloPlay: a plug-in based tool for requirement formalization and validation 200
Strong temporal planning with uncontrollable durations 200
A Framework for Integrating Business Processes and Business Requirements 199
RATSY - A new Requirements Analysis Tool with Synthesis 198
Boolean Abstraction for Temporal Logic Satisfiability 197
Supporting Requirements Validation: The EuRailCheck Tool 196
Conformant Planning via Symbolic Model Checking and Heuristic Search 194
Dynamic controllability via Timed Game Automata 194
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 194
A Critical Overview and Open Questions for Temporal Planning with Uncertainty 190
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 190
Verilog2SMV: A Tool for Word-level Verification 190
MBP: A Model Based Planner 188
Predicting RUL of Bearings in the Pumps of a Critical Industrial Air Treatment System 184
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space 181
Bounded Verification of Past LTL 181
Formal Verification of Infinite-State BIP Models 181
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 180
Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking 177
Abstraction in Planning via Model Checking 177
Strong Planning under Partial Observability 176
Boosting Lazy Abstraction for SystemC with Partial Order Reduction 176
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 176
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 175
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 175
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 175
Kratos - A Software Model Checker for SystemC 174
Abstraction in Model Checking for Bug Hunting 173
Codesign of Dependable Systems: A Component-Based Language 173
Diagnostic Information for Realizability 171
The nuXmv Symbolic Model Checker 171
Rat: A tool for the formal analysis of requirements 170
6th International Workshop on Systems Software Verification, SSV 2011 166
NuSMV: a New Symbolic Model Verifier 166
NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking 164
Software Model Checking with Explicit Scheduler and Symbolic Threads 164
Verification of Parametric System Designs 163
On-Board Autonomy via Symbolic Model Based Reasoning 163
Object Models with Temporal Constraints 162
Symbolic Compilation of PSL 161
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 161
Validation of Requirements for Hybrid Systems: a Formal Approach 160
RAT: A tool for formal analysis of requirements 160
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 160
Formalization and validation of a subset of the European Train Control System 158
Formal analysis of hardware requirements 156
Verifying SystemC: a Software Model Checking Approach 156
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010) 155
MBP: a Model Based Planner 155
Solving Temporal Problems using SMT: Weak Controllability 154
Specifying and Analyzing Early Requirements in Tropos 152
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 152
Spacecraft Early Design Validation using Formal Methods 152
Integrating BDD-based and SAT-based Symbolic Model Checking 150
Safety, Dependability and Performance Analysis of Extended AADL Models 149
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 149
Structure-Aware Computation of Predicate Abstraction 147
Preface 147
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning 146
Formal Verification of Requirements using Spin: A Case Study on Web Services 146
Specifying and Analyzing Early Requirements: Some Experimental Results 145
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 144
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 141
Symbolic Implementation of Alternating Automata 140
Solving strong controllability of temporal problems with uncertainty using SMT 138
Software Model Checking SystemC 138
NuSMV: A Reimplementation of SMV 138
Codesign of Dependable Systems: A Component-Based Modeling Language 135
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 135
Improving the encoding of LTL Model Checking into SAT 134
Conformant Planning via Model Checking 133
Symbolic Implementation of Alternating Automata 130
Tighter Integration of BDD and SMT for Predicate Abstraction 130
Requirements-Driven Verification of Web Services 130
Totale 18.235
Salva come PNG Salva come JPEG
Categoria #
all - tutte 91.046
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 91.046
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021218 0 0 0 0 0 0 0 0 0 0 0 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/20269.294 340 502 621 686 469 379 1.295 3.432 544 506 466 54
Totale 21.563