IRIS Institutional Research Information System

Roveri, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.381
EU - Europa 8.379
AS - Asia 4.040
SA - Sud America 959
Continente sconosciuto - Info sul continente non disponibili 168
AF - Africa 102
OC - Oceania 9
AN - Antartide 1
Totale 22.039
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.129
RU - Federazione Russa 4.545
SG - Singapore 1.577
DE - Germania 916
BR - Brasile 799
CN - Cina 699
VN - Vietnam 613
IT - Italia 565
SE - Svezia 495
UA - Ucraina 469
HK - Hong Kong 411
IN - India 328
FI - Finlandia 312
GB - Regno Unito 256
FR - Francia 232
IE - Irlanda 168
NL - Olanda 152
CA - Canada 135
BE - Belgio 73
MX - Messico 69
AR - Argentina 67
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 21
ID - Indonesia 19
LT - Lituania 19
IL - Israele 18
PK - Pakistan 18
AE - Emirati Arabi Uniti 17
SA - Arabia Saudita 17
UZ - Uzbekistan 16
IR - Iran 15
CO - Colombia 14
CL - Cile 12
MA - Marocco 12
PY - Paraguay 12
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
MY - Malesia 8
AU - Australia 7
AZ - Azerbaigian 7
GR - Grecia 7
PH - Filippine 7
PT - Portogallo 7
TW - Taiwan 7
CH - Svizzera 6
CR - Costa Rica 6
DZ - Algeria 6
EE - Estonia 6
KE - Kenya 6
NP - Nepal 6
TH - Thailandia 6
UY - Uruguay 6
CI - Costa d'Avorio 5
ET - Etiopia 5
JM - Giamaica 5
KZ - Kazakistan 5
MD - Moldavia 5
PR - Porto Rico 5
SI - Slovenia 5
TT - Trinidad e Tobago 5
BG - Bulgaria 4
PA - Panama 4
RO - Romania 4
AL - Albania 3
AM - Armenia 3
BA - Bosnia-Erzegovina 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
KH - Cambogia 2
KW - Kuwait 2
LK - Sri Lanka 2
MK - Macedonia 2
MM - Myanmar 2
PE - Perù 2
QA - Qatar 2
AQ - Antartide 1
Totale 21.881
Salva come PNG Salva come JPEG
Città #
Chandler 1.010
Jacksonville 890
San Jose 827
Singapore 743
Council Bluffs 704
Ashburn 594
Hong Kong 398
Moscow 303
Dallas 286
Boardman 250
The Dalles 233
Wilmington 230
Beijing 220
Ann Arbor 174
Helsinki 169
Dublin 168
Los Angeles 164
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 90
São Paulo 71
Milan 64
Seattle 63
Brussels 60
Houston 59
Santa Clara 49
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
Rome 22
Falls Church 21
Johannesburg 21
Belo Horizonte 20
Stockholm 20
Campinas 19
Poplar 19
Amsterdam 16
Hanover 16
Miami 16
Buffalo 15
Curitiba 15
Mexico City 15
San Francisco 15
Tashkent 15
Norwalk 14
Baghdad 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
Palermo 9
Portland 9
Redmond 9
Salvador 9
San Mateo 9
Secaucus 9
Caxias do Sul 8
Totale 10.497
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 352
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 352
HRELTL: A temporal logic for hybrid systems 321
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 304
NuSMV 271
Agent-oriented modeling by interleaving formal and informal specification 243
A Comprehensive Approach to On-Board Autonomy Verification and Validation 236
Agent-oriented modeling by interleaving formal and informal specification 233
NuGAT 229
A Comprehensive Approach to On-Board Autonomy Verification and Validation 228
Safety Assessment of AltaRica Models via Symbolic Model Checking 226
Certifying Proofs for LTL Model Checking 223
COMPASS Tool 221
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 221
A Model Checker for AADL 218
A New Method for Testing Decision Procedures in Modal and Terminological Logics 218
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 217
Satisfiability Modulo Transcendental Functions via Incremental Linearization 213
Certifying proofs for SAT-based model checking 210
RAT 209
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 209
An Analytic Evaluation of SystemC Encodings in Promela 209
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 209
KRATOS 208
Conformant Planning via Symbolic Model Checking 205
Strong temporal planning with uncontrollable durations 204
RATSY - A new Requirements Analysis Tool with Synthesis 203
A Framework for Integrating Business Processes and Business Requirements 203
Model Checking and Safety Assessment of Altarica models 203
OthelloPlay: a plug-in based tool for requirement formalization and validation 203
Boolean Abstraction for Temporal Logic Satisfiability 201
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 199
Supporting Requirements Validation: The EuRailCheck Tool 199
Conformant Planning via Symbolic Model Checking and Heuristic Search 198
Dynamic controllability via Timed Game Automata 198
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 197
Verilog2SMV: A Tool for Word-level Verification 194
A Critical Overview and Open Questions for Temporal Planning with Uncertainty 192
MBP: A Model Based Planner 190
Predicting RUL of Bearings in the Pumps of a Critical Industrial Air Treatment System 188
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space 186
Bounded Verification of Past LTL 185
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 185
Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking 184
Formal Verification of Infinite-State BIP Models 184
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 181
Strong Planning under Partial Observability 180
Abstraction in Planning via Model Checking 178
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 178
Boosting Lazy Abstraction for SystemC with Partial Order Reduction 177
Kratos - A Software Model Checker for SystemC 177
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 177
Abstraction in Model Checking for Bug Hunting 176
Codesign of Dependable Systems: A Component-Based Language 176
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 176
The nuXmv Symbolic Model Checker 176
Diagnostic Information for Realizability 175
NuSMV: a New Symbolic Model Verifier 174
Rat: A tool for the formal analysis of requirements 173
6th International Workshop on Systems Software Verification, SSV 2011 170
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 170
Verification of Parametric System Designs 167
On-Board Autonomy via Symbolic Model Based Reasoning 167
Software Model Checking with Explicit Scheduler and Symbolic Threads 167
Object Models with Temporal Constraints 165
NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking 165
Symbolic Compilation of PSL 165
Validation of Requirements for Hybrid Systems: a Formal Approach 164
Formalization and validation of a subset of the European Train Control System 163
RAT: A tool for formal analysis of requirements 163
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 163
Formal analysis of hardware requirements 159
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010) 159
Verifying SystemC: a Software Model Checking Approach 159
MBP: a Model Based Planner 158
Solving Temporal Problems using SMT: Weak Controllability 157
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 156
Spacecraft Early Design Validation using Formal Methods 155
Specifying and Analyzing Early Requirements in Tropos 154
Integrating BDD-based and SAT-based Symbolic Model Checking 152
Safety, Dependability and Performance Analysis of Extended AADL Models 152
Structure-Aware Computation of Predicate Abstraction 151
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 151
Preface 150
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning 149
Specifying and Analyzing Early Requirements: Some Experimental Results 148
Formal Verification of Requirements using Spin: A Case Study on Web Services 148
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 145
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 144
Symbolic Implementation of Alternating Automata 143
Solving strong controllability of temporal problems with uncertainty using SMT 142
Software Model Checking SystemC 141
NuSMV: A Reimplementation of SMV 141
Codesign of Dependable Systems: A Component-Based Modeling Language 139
Improving the encoding of LTL Model Checking into SAT 138
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 138
Conformant Planning via Model Checking 137
Symbolic Implementation of Alternating Automata 133
NuSMV: a new symbolic model checker 132
Tighter Integration of BDD and SMT for Predicate Abstraction 132
Totale 18.607
Salva come PNG Salva come JPEG
Categoria #
all - tutte 93.467
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 93.467
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022692 0 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.338 340 502 621 686 469 379 1.295 3.432 544 506 466 98
2026/2027432 401 31 0 0 0 0 0 0 0 0 0 0
Totale 22.039