IRIS Institutional Research Information System

Roveri, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 8.323
NA - Nord America 7.493
AS - Asia 3.969
SA - Sud America 950
AF - Africa 101
Continente sconosciuto - Info sul continente non disponibili 30
OC - Oceania 9
AN - Antartide 1
Totale 20.876
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.256
RU - Federazione Russa 4.545
SG - Singapore 1.553
DE - Germania 912
BR - Brasile 795
CN - Cina 670
VN - Vietnam 607
IT - Italia 545
SE - Svezia 473
UA - Ucraina 469
HK - Hong Kong 410
IN - India 325
FI - Finlandia 312
GB - Regno Unito 254
FR - Francia 231
IE - Irlanda 168
NL - Olanda 152
CA - Canada 128
BE - Belgio 73
MX - Messico 68
AR - Argentina 65
JP - Giappone 59
BD - Bangladesh 55
PL - Polonia 48
ZA - Sudafrica 42
IQ - Iraq 41
ES - Italia 30
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
PH - Filippine 7
TW - Taiwan 7
CH - Svizzera 6
DZ - Algeria 6
EE - Estonia 6
KE - Kenya 6
MY - Malesia 6
PT - Portogallo 6
TH - Thailandia 6
UY - Uruguay 6
CI - Costa d'Avorio 5
CR - Costa Rica 5
ET - Etiopia 5
KZ - Kazakistan 5
NP - Nepal 5
PA - Panama 4
PR - Porto Rico 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
MD - Moldavia 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
MM - Myanmar 2
PE - Perù 2
QA - Qatar 2
AQ - Antartide 1
BN - Brunei Darussalam 1
BW - Botswana 1
Totale 20.856
Salva come PNG Salva come JPEG
Città #
Chandler 1.010
Jacksonville 887
San Jose 759
Singapore 743
Ashburn 586
Hong Kong 397
Moscow 303
Dallas 282
Boardman 247
The Dalles 232
Wilmington 230
Beijing 209
Ann Arbor 174
Helsinki 169
Dublin 168
Los Angeles 159
New York 159
Ho Chi Minh City 153
Trento 149
Dong Ket 132
Hefei 132
Dearborn 129
Kronberg 127
Lauterbourg 119
Hanoi 107
Woodbridge 97
Munich 94
Brooklyn 89
São Paulo 70
Seattle 62
Milan 61
Brussels 60
Houston 58
Tokyo 48
Santa Clara 47
Orem 40
Phoenix 40
Warsaw 39
Toronto 37
Guangzhou 36
Shanghai 36
Verona 35
Montreal 31
Pune 31
Denver 30
Frankfurt am Main 30
Da Nang 29
Des Moines 29
Ottawa 28
Falkenstein 25
Atlanta 24
Turku 24
Chennai 23
Redwood City 23
Rio de Janeiro 23
Boston 22
Nuremberg 22
Falls Church 21
Johannesburg 21
London 21
Rome 21
Belo Horizonte 20
Chicago 20
Stockholm 20
Campinas 19
Poplar 19
Council Bluffs 18
Amsterdam 16
Hanover 16
Miami 16
Curitiba 15
Tashkent 15
Mexico City 14
Norwalk 14
San Francisco 14
Baghdad 13
Manchester 13
Haiphong 12
Mountain View 12
Ankara 11
Buffalo 11
Naples 11
Porto Alegre 11
Querétaro 11
Brasília 10
Columbus 10
Dhaka 10
Fairfield 10
Amman 9
Cape Town 9
Leawood 9
Portland 9
Redmond 9
Salvador 9
San Mateo 9
Secaucus 9
Caxias do Sul 8
Charlotte 8
Cheyenne 8
Hangzhou 8
Totale 9.674
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 344
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 344
HRELTL: A temporal logic for hybrid systems 314
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 295
NuSMV 259
Agent-oriented modeling by interleaving formal and informal specification 234
A Comprehensive Approach to On-Board Autonomy Verification and Validation 229
Agent-oriented modeling by interleaving formal and informal specification 227
NuGAT 222
A Comprehensive Approach to On-Board Autonomy Verification and Validation 220
Safety Assessment of AltaRica Models via Symbolic Model Checking 218
Certifying Proofs for LTL Model Checking 214
COMPASS Tool 213
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 213
A Model Checker for AADL 210
A New Method for Testing Decision Procedures in Modal and Terminological Logics 210
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions 210
Satisfiability Modulo Transcendental Functions via Incremental Linearization 206
KRATOS 203
RAT 201
An Analytic Evaluation of SystemC Encodings in Promela 201
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 201
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 200
Certifying proofs for SAT-based model checking 199
Model Checking and Safety Assessment of Altarica models 197
OthelloPlay: a plug-in based tool for requirement formalization and validation 196
Strong temporal planning with uncontrollable durations 195
A Framework for Integrating Business Processes and Business Requirements 194
Boolean Abstraction for Temporal Logic Satisfiability 194
RATSY - A new Requirements Analysis Tool with Synthesis 193
Supporting Requirements Validation: The EuRailCheck Tool 193
Conformant Planning via Symbolic Model Checking 191
Dynamic controllability via Timed Game Automata 190
Conformant Planning via Symbolic Model Checking and Heuristic Search 188
A Critical Overview and Open Questions for Temporal Planning with Uncertainty 186
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 184
Verilog2SMV: A Tool for Word-level Verification 183
MBP: A Model Based Planner 183
Formal Verification of Infinite-State BIP Models 178
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 178
Conditional Planning under Partial Obserbability as Heuristic-Symbolic Search in Belief Space 177
Bounded Verification of Past LTL 177
Abstraction in Planning via Model Checking 174
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 174
Boosting Lazy Abstraction for SystemC with Partial Order Reduction 173
Strong Planning under Partial Observability 172
Kratos - A Software Model Checker for SystemC 171
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 171
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 171
Abstraction in Model Checking for Bug Hunting 170
Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking 170
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development 170
Codesign of Dependable Systems: A Component-Based Language 169
Predicting RUL of Bearings in the Pumps of a Critical Industrial Air Treatment System 167
Diagnostic Information for Realizability 166
Rat: A tool for the formal analysis of requirements 165
The nuXmv Symbolic Model Checker 165
NuSMV: a New Symbolic Model Verifier 163
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF 163
6th International Workshop on Systems Software Verification, SSV 2011 162
On-Board Autonomy via Symbolic Model Based Reasoning 161
NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking 160
Verification of Parametric System Designs 159
Object Models with Temporal Constraints 158
Validation of Requirements for Hybrid Systems: a Formal Approach 158
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 157
Symbolic Compilation of PSL 156
RAT: A tool for formal analysis of requirements 156
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 156
Formal analysis of hardware requirements 153
Formalization and validation of a subset of the European Train Control System 153
Verifying SystemC: a Software Model Checking Approach 153
MBP: a Model Based Planner 151
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010) 150
Software Model Checking with Explicit Scheduler and Symbolic Threads 150
Specifying and Analyzing Early Requirements in Tropos 148
Solving Temporal Problems using SMT: Weak Controllability 148
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 147
Integrating BDD-based and SAT-based Symbolic Model Checking 146
Safety, Dependability and Performance Analysis of Extended AADL Models 145
Spacecraft Early Design Validation using Formal Methods 145
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 144
Structure-Aware Computation of Predicate Abstraction 143
Preface 143
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning 142
Specifying and Analyzing Early Requirements: Some Experimental Results 142
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 141
Formal Verification of Requirements using Spin: A Case Study on Web Services 141
Symbolic Implementation of Alternating Automata 137
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 136
Codesign of Dependable Systems: A Component-Based Modeling Language 134
Solving strong controllability of temporal problems with uncertainty using SMT 134
Software Model Checking SystemC 134
NuSMV: A Reimplementation of SMV 134
Improving the encoding of LTL Model Checking into SAT 132
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 131
Symbolic Implementation of Alternating Automata 129
Tighter Integration of BDD and SMT for Predicate Abstraction 127
Conformant Planning via Model Checking 126
Strong Planning in Non-Deterministic Domains via Model Checking 125
Totale 17.785
Salva come PNG Salva come JPEG
Categoria #
all - tutte 87.397
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 87.397
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021550 0 0 0 0 0 0 0 0 0 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/20268.744 340 502 621 686 469 379 1.295 3.432 544 476 0 0
Totale 21.013