IRIS
Roveri, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.434
AS - Asia 4.393
EU - Europa 2.665
SA - Sud America 902
AF - Africa 98
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 5
Totale 16.504
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.258
SG - Singapore 1.823
VN - Vietnam 902
CN - Cina 814
BR - Brasile 735
IT - Italia 625
RU - Federazione Russa 356
DE - Germania 281
SE - Svezia 203
FR - Francia 201
KR - Corea 194
FI - Finlandia 189
GB - Regno Unito 183
LV - Lettonia 148
BG - Bulgaria 117
HK - Hong Kong 117
CA - Canada 100
IN - India 91
UA - Ucraina 84
NL - Olanda 62
ID - Indonesia 58
AR - Argentina 49
IQ - Iraq 47
MX - Messico 47
JP - Giappone 46
BD - Bangladesh 42
ZA - Sudafrica 42
JO - Giordania 39
TR - Turchia 38
ES - Italia 34
EC - Ecuador 32
PL - Polonia 30
CO - Colombia 22
TW - Taiwan 22
CL - Cile 21
VE - Venezuela 21
MA - Marocco 20
PK - Pakistan 20
BE - Belgio 18
IR - Iran 18
UZ - Uzbekistan 18
NO - Norvegia 17
IE - Irlanda 15
AT - Austria 13
IL - Israele 12
MY - Malesia 12
CH - Svizzera 11
CZ - Repubblica Ceca 11
PT - Portogallo 11
NP - Nepal 10
RO - Romania 10
KZ - Kazakistan 9
PE - Perù 9
PH - Filippine 9
EG - Egitto 8
GR - Grecia 8
PY - Paraguay 8
AE - Emirati Arabi Uniti 7
LT - Lituania 7
AU - Australia 6
KE - Kenya 6
OM - Oman 6
TN - Tunisia 6
AL - Albania 5
AZ - Azerbaigian 5
CR - Costa Rica 5
DZ - Algeria 5
ET - Etiopia 5
GE - Georgia 5
KG - Kirghizistan 5
SA - Arabia Saudita 5
BY - Bielorussia 4
EU - Europa 4
GD - Grenada 4
HU - Ungheria 4
JM - Giamaica 4
TH - Thailandia 4
DO - Repubblica Dominicana 3
HN - Honduras 3
MK - Macedonia 3
NI - Nicaragua 3
RS - Serbia 3
UY - Uruguay 3
BO - Bolivia 2
BW - Botswana 2
DK - Danimarca 2
LB - Libano 2
LK - Sri Lanka 2
MD - Moldavia 2
PA - Panama 2
PS - Palestinian Territory 2
QA - Qatar 2
SI - Slovenia 2
SK - Slovacchia (Repubblica Slovacca) 2
SN - Senegal 2
SY - Repubblica araba siriana 2
TT - Trinidad e Tobago 2
BB - Barbados 1
BH - Bahrain 1
BN - Brunei Darussalam 1
Totale 16.491
Salva come PNG Salva come JPEG
Città #
Singapore 1.191
Ashburn 882
Chandler 785
Fairfield 679
San Jose 454
Dallas 434
Santa Clara 319
Woodbridge 305
Houston 304
Seattle 299
Columbus 287
Ho Chi Minh City 278
Wilmington 255
Cambridge 254
Princeton 233
Hanoi 232
Beijing 215
Seoul 186
San Mateo 164
Trento 164
Jacksonville 158
New York 157
Riga 148
Los Angeles 144
Moscow 142
Ann Arbor 127
Lauterbourg 127
Helsinki 121
Sofia 117
Munich 100
Chicago 99
Council Bluffs 92
Hong Kong 85
São Paulo 68
The Dalles 58
San Diego 54
London 52
Da Nang 49
Boardman 44
Milan 42
Orem 39
Frankfurt am Main 37
Rome 37
Jakarta 36
Toronto 35
Tokyo 32
Haiphong 31
Falkenstein 29
Phoenix 29
Buffalo 28
Turku 28
Como 27
Montreal 26
Denver 25
Johannesburg 24
Rio de Janeiro 23
Atlanta 22
Chennai 22
North Bergen 22
Norwalk 22
Salt Lake City 22
Elk Grove Village 21
Fremont 21
Hefei 21
Redondo Beach 21
Warsaw 21
Dong Ket 20
Verona 20
Amsterdam 18
Nuremberg 18
Tashkent 18
Thái Bình 18
Belo Horizonte 16
Biên Hòa 16
Falls Church 16
Stockholm 16
Tampa 16
Dublin 15
Bolzano 14
Brescia 14
Bến Tre 14
Guangzhou 14
Hải Dương 14
Lawrence 14
Paris 14
Porto Alegre 14
Shanghai 14
Brasília 13
San Paolo di Civitate 13
Baghdad 12
Boston 12
Lappeenranta 12
Ottawa 12
Palermo 12
Poplar 12
Bergen 11
Brussels 11
Curitiba 11
Des Moines 11
Manchester 11
Totale 11.091
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 292
Strong temporal planning with uncontrollable durations 253
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 246
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 240
Certifying Proofs for LTL Model Checking 235
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 219
Satisfiability Modulo Transcendental Functions via Incremental Linearization 209
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 200
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 196
HRELTL: A temporal logic for hybrid systems 193
The nuXmv Symbolic Model Checker 187
A new method for testing decision procedures in modal logics 184
Supporting Requirements Validation: The EuRailCheck Tool 183
Object Models with Temporal Constraints 181
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 175
Dynamic controllability via Timed Game Automata 173
LLM-Driven Knowledge Extraction in Temporal and Description Logics 169
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 169
Solving strong controllability of temporal problems with uncertainty using SMT 166
A Demonstration of BDI-Based Robotic Systems with ROS2 164
Verilog2SMV: A tool for word-level verification 159
When Prolog Meets Generative Models: A New Approach for Managing Knowledge and Planning in Robotic Applications 157
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 155
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 154
NUSMV: a new symbolic model checker 154
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 153
Solving Temporal Problems Using SMT: Strong Controllability 151
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 150
Formal Verification of Infinite-State BIP Models 149
An Analytic Evaluation of SystemC Encodings in Promela 148
Formalization and validation of a subset of the European Train Control System 148
Formalization and Validation of Safety-Critical Requirements 145
From Informal Requirements to Property-Driven Formal Validation 143
Boolean Abstraction for Temporal Logic Satisfiability 142
Improving the Encoding of LTL Model Checking into SAT 141
Rat: A tool for the formal analysis of requirements 136
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 134
A Comprehensive Approach to On-Board Autonomy Verification and Validation 134
Predicting RUL of Bearings in the Pumps of a Critical Industrial Air Treatment System 134
A Framework for Integrating Business Processes and Business Requirements 133
NuSMV 2: An opensource tool for symbolic model checking 132
Formalizing requirements with object models and temporal constraints 132
NUSMV: a new symbolic model verifier 131
Formal analysis of hardware requirements 131
A new method for testing decision procedures in modal and terminological logics 129
Discovery and Identification of Memory Corruption Vulnerabilities on Bare-metal Embedded Devices 128
Developing BDI-Based Robotic Systems with ROS2 127
Agent-oriented modeling by interleaving formal and informal specification 126
A Bin-Packing Formulation for Radiotherapy Treatment Scheduling 125
Integrating BDD-based and SAT-based Symbolic Model Checking 125
Specifying and analyzing early requirements: some experimental results 125
Lemmas for satisfiability modulo transcendental functions via incremental linearization 124
OthelloPlay: a plug-in based tool for requirement formalization and validation 124
Requirements Validation for Hybrid Systems 119
Abstraction in planning via model checking 118
From PSL to NBA: a Modular Symbolic Encoding 116
A Model Checker for AADL 115
Safety Assessment of AltaRica Models via Symbolic Model Checking 114
Specifying and analyzing early requirements in Tropos 111
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 111
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 110
Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings 110
Kratos - A Software Model Checker for SystemC 109
Formal Verification of Requirements using Spin: A Case Study on Web Services 108
Certifying proofs for SAT-based model checking 108
PISTIS: Trusted Computing Architecture for Low-end Embedded Systems 106
NuSMV2: an open source tool for symbolic model checking 105
Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Supporting Rover Operations Planning on Ground 105
A Markovian model for the spread of the SARS-CoV-2 virus 104
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 102
6th International Workshop on Systems Software Verification, SSV 2011 100
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 100
Preface 99
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 99
Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements 98
Conformant Planning via Symbolic Model Checking 98
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 97
Solving Temporal Problems Using SMT: Weak Controllability 96
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach 96
Software Model Checking SystemC 95
Conthereum: Concurrent Ethereum Optimized Transaction Scheduling for Multi-Core Execution 94
Real-Time BDI Agents: A Model and Its Implementation 94
Model Checking and Safety Assessment of Altarica models 93
GIADA, un sistema centralizzato per la gestione dell'irrigazione a domanda / GIADA, a decision support system for a demand-driven irrigation 93
NuSMV Version 2: BDD-based + SAT-based Symbolic ModelChecker. 92
Weak, strong, and strong cyclic planning via symbolic model checking 91
Requirements-Driven Verification of Web Services 88
Verification and performance evaluation of AADL models 88
A Comprehensive Approach to On-board Autonomy Verification and Validation 87
A Hybrid Constrained Programming with Genetic Algorithm for the Job Shop Scheduling Problem 86
Boosting Lazy Abstraction for SystemC with Partial Order Reduction 86
Conformant Planning via Model Checking 86
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 86
Structure-Aware Computation of Predicate Abstraction 86
Codesign of Dependable Systems: A Component-Based Modeling Language 85
A Comprehensive Approach to On-Board Autonomy Verification and Validation 85
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 84
Abstraction in Model Checking for Bug Hunting 83
NuSMV2: an Open Source Tool for Symbolic Model Checking 82
Innovative Rover Operations Concepts–Autonomous Planning: Keeping a dog on the lead 82
Totale 13.213
Salva come PNG Salva come JPEG
Categoria #
all - tutte 75.298
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.140
Totale 76.438
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021380 0 0 0 0 0 0 0 0 0 139 81 160
2021/20221.139 21 108 12 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/20267.231 491 296 977 1.242 924 460 1.437 228 636 540 0 0
Totale 16.815