IRIS
Roveri, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 11.474
AS - Asia 4.585
EU - Europa 3.206
SA - Sud America 968
Continente sconosciuto - Info sul continente non disponibili 339
AF - Africa 103
OC - Oceania 9
Totale 20.684
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.069
SG - Singapore 1.862
IT - Italia 991
VN - Vietnam 907
CN - Cina 843
BR - Brasile 762
RU - Federazione Russa 361
DE - Germania 299
SE - Svezia 251
GB - Regno Unito 218
CA - Canada 208
FR - Francia 208
KR - Corea 196
FI - Finlandia 193
LV - Lettonia 148
HK - Hong Kong 127
BG - Bulgaria 124
IN - India 104
UA - Ucraina 87
BD - Bangladesh 86
NL - Olanda 68
ID - Indonesia 67
MX - Messico 66
AR - Argentina 57
JP - Giappone 53
IQ - Iraq 47
ES - Italia 46
TR - Turchia 42
ZA - Sudafrica 42
EC - Ecuador 41
JO - Giordania 40
PL - Polonia 33
CO - Colombia 30
VE - Venezuela 29
CR - Costa Rica 25
BE - Belgio 23
CL - Cile 23
PK - Pakistan 23
JM - Giamaica 22
TW - Taiwan 22
MA - Marocco 20
IR - Iran 18
UZ - Uzbekistan 18
IE - Irlanda 17
NO - Norvegia 17
AT - Austria 15
MY - Malesia 14
SA - Arabia Saudita 14
IL - Israele 13
HN - Honduras 12
NP - Nepal 12
AE - Emirati Arabi Uniti 11
CH - Svizzera 11
CZ - Repubblica Ceca 11
NI - Nicaragua 11
PE - Perù 11
PT - Portogallo 11
SV - El Salvador 11
PH - Filippine 10
RO - Romania 10
EG - Egitto 9
GR - Grecia 9
KZ - Kazakistan 9
PR - Porto Rico 9
TT - Trinidad e Tobago 9
AU - Australia 8
GT - Guatemala 8
LT - Lituania 8
PY - Paraguay 8
AL - Albania 7
TH - Thailandia 7
DK - Danimarca 6
DZ - Algeria 6
EE - Estonia 6
KE - Kenya 6
OM - Oman 6
RS - Serbia 6
TN - Tunisia 6
AZ - Azerbaigian 5
ET - Etiopia 5
GD - Grenada 5
GE - Georgia 5
KG - Kirghizistan 5
BY - Bielorussia 4
EU - Europa 4
GP - Guadalupe 4
HU - Ungheria 4
PS - Palestinian Territory 4
UY - Uruguay 4
BB - Barbados 3
BO - Bolivia 3
CW - ???statistics.table.value.countryCode.CW??? 3
DO - Repubblica Dominicana 3
MK - Macedonia 3
QA - Qatar 3
SC - Seychelles 3
AG - Antigua e Barbuda 2
BW - Botswana 2
HR - Croazia 2
LB - Libano 2
Totale 20.321
Salva come PNG Salva come JPEG
Città #
Ashburn 1.233
Singapore 1.211
San Jose 885
Chandler 785
Fairfield 679
Dallas 463
Council Bluffs 428
Santa Clara 386
Columbus 339
Houston 317
Woodbridge 305
Seattle 302
Ho Chi Minh City 278
Wilmington 257
Cambridge 256
Princeton 235
Hanoi 234
Beijing 224
New York 212
Seoul 186
Trento 181
Los Angeles 170
San Mateo 164
Jacksonville 163
Riga 148
Moscow 143
Milan 141
Ann Arbor 127
Lauterbourg 127
Sofia 123
Helsinki 122
Chicago 114
Munich 101
Hong Kong 93
Phoenix 83
São Paulo 70
The Dalles 69
Boardman 65
Rome 62
London 57
San Diego 56
Da Nang 49
Toronto 47
Orem 45
Montreal 44
Buffalo 39
Denver 39
North Bergen 39
Frankfurt am Main 38
Jakarta 36
Tokyo 36
Atlanta 35
Stanford 34
Haiphong 31
Brooklyn 30
Falkenstein 29
Turku 28
Como 27
Salt Lake City 25
Chennai 24
Johannesburg 24
Warsaw 24
Rio de Janeiro 23
Elk Grove Village 22
Fremont 22
Norwalk 22
Verona 22
Hefei 21
Redondo Beach 21
Dong Ket 20
Las Vegas 20
Miami 20
San José 20
Amsterdam 18
Nuremberg 18
Tampa 18
Tashkent 18
Thái Bình 18
Mexico City 17
Stockholm 17
Belo Horizonte 16
Biên Hòa 16
Brescia 16
Falls Church 16
Novara 16
Brasília 15
Dublin 15
Guangzhou 15
Mumbai 15
Naples 15
Queens 15
Shanghai 15
Washington 15
Bologna 14
Bolzano 14
Boston 14
Bến Tre 14
Hải Dương 14
Lawrence 14
Miano 14
Totale 12.972
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 309
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 288
Strong temporal planning with uncontrollable durations 287
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 267
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 266
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 263
Certifying Proofs for LTL Model Checking 254
LLM-Driven Knowledge Extraction in Temporal and Description Logics 247
Satisfiability Modulo Transcendental Functions via Incremental Linearization 233
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 227
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 223
HRELTL: A temporal logic for hybrid systems 218
The nuXmv Symbolic Model Checker 211
Supporting Requirements Validation: The EuRailCheck Tool 207
Object Models with Temporal Constraints 200
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 200
A new method for testing decision procedures in modal logics 196
When Prolog Meets Generative Models: A New Approach for Managing Knowledge and Planning in Robotic Applications 196
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 191
A Demonstration of BDI-Based Robotic Systems with ROS2 190
Solving strong controllability of temporal problems with uncertainty using SMT 183
Dynamic controllability via Timed Game Automata 183
NUSMV: a new symbolic model checker 180
Verilog2SMV: A tool for word-level verification 177
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 175
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 173
Formal Verification of Infinite-State BIP Models 172
Predicting RUL of Bearings in the Pumps of a Critical Industrial Air Treatment System 172
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 171
NuSMV 2: An opensource tool for symbolic model checking 170
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 170
An Analytic Evaluation of SystemC Encodings in Promela 167
Solving Temporal Problems Using SMT: Strong Controllability 165
Formalization and validation of a subset of the European Train Control System 165
Boolean Abstraction for Temporal Logic Satisfiability 165
Formalization and Validation of Safety-Critical Requirements 164
From Informal Requirements to Property-Driven Formal Validation 162
Lemmas for satisfiability modulo transcendental functions via incremental linearization 160
Developing BDI-Based Robotic Systems with ROS2 156
Comparing Optimization Models for Radiotherapy Scheduling 155
A Bin-Packing Formulation for Radiotherapy Treatment Scheduling 154
Formalizing requirements with object models and temporal constraints 153
Improving the Encoding of LTL Model Checking into SAT 151
NUSMV: a new symbolic model verifier 151
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 151
Discovery and Identification of Memory Corruption Vulnerabilities on Bare-metal Embedded Devices 150
A Framework for Integrating Business Processes and Business Requirements 149
OthelloPlay: a plug-in based tool for requirement formalization and validation 149
Agent-oriented modeling by interleaving formal and informal specification 147
A Comprehensive Approach to On-Board Autonomy Verification and Validation 146
Formal analysis of hardware requirements 146
Rat: A tool for the formal analysis of requirements 146
Comparing Large Language Models and Grammatical Evolution for Code Generation 145
A new method for testing decision procedures in modal and terminological logics 145
Certifying proofs for SAT-based model checking 143
A Hybrid Constrained Programming with Genetic Algorithm for the Job Shop Scheduling Problem 140
Abstraction in planning via model checking 140
Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements 138
Specifying and analyzing early requirements: some experimental results 138
Integrating BDD-based and SAT-based Symbolic Model Checking 137
Safety Assessment of AltaRica Models via Symbolic Model Checking 137
A Model Checker for AADL 137
From PSL to NBA: a Modular Symbolic Encoding 137
Specifying and analyzing early requirements in Tropos 133
Requirements Validation for Hybrid Systems 133
Verifying SystemC: a Software Model Checking Approach 133
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 129
A Markovian model for the spread of the SARS-CoV-2 virus 129
Kratos - A Software Model Checker for SystemC 128
Formal Verification of Requirements using Spin: A Case Study on Web Services 125
PISTIS: Trusted Computing Architecture for Low-end Embedded Systems 125
Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings 124
Weak, strong, and strong cyclic planning via symbolic model checking 122
NuSMV2: an open source tool for symbolic model checking 121
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 118
GIADA, un sistema centralizzato per la gestione dell'irrigazione a domanda / GIADA, a decision support system for a demand-driven irrigation 118
Real-Time BDI Agents: A Model and Its Implementation 117
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 117
Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Supporting Rover Operations Planning on Ground 117
6th International Workshop on Systems Software Verification, SSV 2011 116
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 116
Conthereum: Concurrent Ethereum Optimized Transaction Scheduling for Multi-Core Execution 114
Conformant Planning via Symbolic Model Checking 113
Verification and performance evaluation of AADL models 112
Solving Temporal Problems Using SMT: Weak Controllability 111
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 111
Model Checking and Safety Assessment of Altarica models 111
Preface 110
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach 110
Firmware Secure Updates meet Formal Verification 109
Software Model Checking SystemC 109
Conformant Planning via Model Checking 109
NuSMV Version 2: BDD-based + SAT-based Symbolic ModelChecker. 108
A Comprehensive Approach to On-Board Autonomy Verification and Validation 108
Symboleo2SC: From Legal Contract Specifications to Smart Contracts 107
A Comprehensive Approach to On-board Autonomy Verification and Validation 104
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 102
Codesign of Dependable Systems: A Component-Based Modeling Language 101
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning 101
Structure-Aware Computation of Predicate Abstraction 101
Totale 15.660
Salva come PNG Salva come JPEG
Categoria #
all - tutte 92.735
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.329
Totale 94.064
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022998 0 0 0 56 66 77 32 320 64 62 70 251
2022/20231.577 190 185 25 204 119 225 14 189 228 36 110 52
2023/2024779 52 69 58 40 46 160 39 45 20 53 29 168
2024/20253.110 38 36 205 557 217 392 144 192 298 452 273 306
2025/20268.092 491 296 977 1.242 924 460 1.437 228 636 738 317 346
2026/20273.008 298 634 872 1.204 0 0 0 0 0 0 0 0
Totale 20.684