IRIS
Roveri, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.023
AS - Asia 4.464
EU - Europa 2.827
SA - Sud America 905
AF - Africa 99
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 5
Totale 17.330
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.830
SG - Singapore 1.837
VN - Vietnam 905
CN - Cina 826
IT - Italia 761
BR - Brasile 736
RU - Federazione Russa 356
DE - Germania 288
SE - Svezia 205
FR - Francia 203
KR - Corea 195
FI - Finlandia 189
GB - Regno Unito 189
LV - Lettonia 148
HK - Hong Kong 120
BG - Bulgaria 117
CA - Canada 108
IN - India 91
UA - Ucraina 84
BD - Bangladesh 74
NL - Olanda 65
ID - Indonesia 62
MX - Messico 50
AR - Argentina 49
IQ - Iraq 47
JP - Giappone 46
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 19
IR - Iran 18
UZ - Uzbekistan 18
NO - Norvegia 17
IE - Irlanda 16
AT - Austria 15
IL - Israele 12
MY - Malesia 12
CH - Svizzera 11
CZ - Repubblica Ceca 11
NP - Nepal 11
PE - Perù 11
PT - Portogallo 11
RO - Romania 10
KZ - Kazakistan 9
PH - Filippine 9
EG - Egitto 8
GR - Grecia 8
PY - Paraguay 8
AE - Emirati Arabi Uniti 7
CR - Costa Rica 7
LT - Lituania 7
AU - Australia 6
DZ - Algeria 6
KE - Kenya 6
OM - Oman 6
SA - Arabia Saudita 6
TN - Tunisia 6
AL - Albania 5
AZ - Azerbaigian 5
ET - Etiopia 5
GE - Georgia 5
JM - Giamaica 5
KG - Kirghizistan 5
BY - Bielorussia 4
EU - Europa 4
GD - Grenada 4
HU - Ungheria 4
TH - Thailandia 4
DK - Danimarca 3
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
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 17.313
Salva come PNG Salva come JPEG
Città #
Singapore 1.197
Ashburn 965
Chandler 785
Fairfield 679
San Jose 651
Dallas 439
Santa Clara 330
Houston 308
Woodbridge 305
Seattle 299
Columbus 287
Ho Chi Minh City 278
Wilmington 257
Cambridge 254
Princeton 234
Hanoi 233
Beijing 221
Seoul 186
New York 184
Trento 167
San Mateo 164
Jacksonville 159
Los Angeles 153
Riga 148
Moscow 143
Ann Arbor 127
Lauterbourg 127
Helsinki 121
Sofia 117
Council Bluffs 107
Chicago 102
Munich 100
Hong Kong 88
Milan 77
São Paulo 68
The Dalles 59
Boardman 56
San Diego 54
London 52
Da Nang 49
Orem 41
Rome 41
Frankfurt am Main 38
Jakarta 36
Toronto 36
Phoenix 35
Buffalo 34
Tokyo 32
Haiphong 31
Falkenstein 29
Montreal 29
Denver 28
Turku 28
Como 27
Johannesburg 24
Atlanta 23
Rio de Janeiro 23
Chennai 22
North Bergen 22
Norwalk 22
Salt Lake City 22
Elk Grove Village 21
Fremont 21
Hefei 21
Redondo Beach 21
Verona 21
Warsaw 21
Dong Ket 20
Amsterdam 18
Nuremberg 18
Tashkent 18
Thái Bình 18
Tampa 17
Belo Horizonte 16
Biên Hòa 16
Falls Church 16
Novara 16
Stockholm 16
Dublin 15
Shanghai 15
Bolzano 14
Boston 14
Brescia 14
Bến Tre 14
Guangzhou 14
Hải Dương 14
Lawrence 14
Mexico City 14
Paris 14
Porto Alegre 14
Brasília 13
Brooklyn 13
Miano 13
San Paolo di Civitate 13
Baghdad 12
Lappeenranta 12
Ottawa 12
Palermo 12
Poplar 12
Bergen 11
Totale 11.561
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 297
Strong temporal planning with uncontrollable durations 258
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 252
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 244
Certifying Proofs for LTL Model Checking 241
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 225
Satisfiability Modulo Transcendental Functions via Incremental Linearization 212
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 208
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 205
HRELTL: A temporal logic for hybrid systems 201
LLM-Driven Knowledge Extraction in Temporal and Description Logics 200
The nuXmv Symbolic Model Checker 190
Supporting Requirements Validation: The EuRailCheck Tool 188
A new method for testing decision procedures in modal logics 186
Object Models with Temporal Constraints 184
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 179
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 176
Dynamic controllability via Timed Game Automata 173
Solving strong controllability of temporal problems with uncertainty using SMT 169
A Demonstration of BDI-Based Robotic Systems with ROS2 168
When Prolog Meets Generative Models: A New Approach for Managing Knowledge and Planning in Robotic Applications 164
Verilog2SMV: A tool for word-level verification 162
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 162
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 157
NUSMV: a new symbolic model checker 156
Formal Verification of Infinite-State BIP Models 156
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 155
Predicting RUL of Bearings in the Pumps of a Critical Industrial Air Treatment System 155
Solving Temporal Problems Using SMT: Strong Controllability 153
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 153
An Analytic Evaluation of SystemC Encodings in Promela 150
Formalization and validation of a subset of the European Train Control System 150
Formalization and Validation of Safety-Critical Requirements 149
From Informal Requirements to Property-Driven Formal Validation 146
Boolean Abstraction for Temporal Logic Satisfiability 145
NuSMV 2: An opensource tool for symbolic model checking 142
Improving the Encoding of LTL Model Checking into SAT 141
Formalizing requirements with object models and temporal constraints 140
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 140
Rat: A tool for the formal analysis of requirements 136
A Comprehensive Approach to On-Board Autonomy Verification and Validation 135
Formal analysis of hardware requirements 135
Developing BDI-Based Robotic Systems with ROS2 135
NUSMV: a new symbolic model verifier 134
A Framework for Integrating Business Processes and Business Requirements 134
Discovery and Identification of Memory Corruption Vulnerabilities on Bare-metal Embedded Devices 134
A new method for testing decision procedures in modal and terminological logics 133
A Bin-Packing Formulation for Radiotherapy Treatment Scheduling 130
Lemmas for satisfiability modulo transcendental functions via incremental linearization 130
Integrating BDD-based and SAT-based Symbolic Model Checking 128
OthelloPlay: a plug-in based tool for requirement formalization and validation 128
Agent-oriented modeling by interleaving formal and informal specification 127
Specifying and analyzing early requirements: some experimental results 125
Abstraction in planning via model checking 124
Requirements Validation for Hybrid Systems 123
A Model Checker for AADL 121
From PSL to NBA: a Modular Symbolic Encoding 121
Safety Assessment of AltaRica Models via Symbolic Model Checking 119
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 117
Formal Verification of Requirements using Spin: A Case Study on Web Services 115
Specifying and analyzing early requirements in Tropos 114
Certifying proofs for SAT-based model checking 114
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 112
Kratos - A Software Model Checker for SystemC 112
Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings 111
PISTIS: Trusted Computing Architecture for Low-end Embedded Systems 110
A Markovian model for the spread of the SARS-CoV-2 virus 107
NuSMV2: an open source tool for symbolic model checking 106
Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Supporting Rover Operations Planning on Ground 106
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 105
Conthereum: Concurrent Ethereum Optimized Transaction Scheduling for Multi-Core Execution 104
Conformant Planning via Symbolic Model Checking 103
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 103
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 103
Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements 102
Preface 102
GIADA, un sistema centralizzato per la gestione dell'irrigazione a domanda / GIADA, a decision support system for a demand-driven irrigation 102
6th International Workshop on Systems Software Verification, SSV 2011 101
Real-Time BDI Agents: A Model and Its Implementation 100
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 100
Software Model Checking SystemC 99
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach 98
Solving Temporal Problems Using SMT: Weak Controllability 97
Verification and performance evaluation of AADL models 97
NuSMV Version 2: BDD-based + SAT-based Symbolic ModelChecker. 94
Model Checking and Safety Assessment of Altarica models 94
Weak, strong, and strong cyclic planning via symbolic model checking 93
Conformant Planning via Model Checking 92
Symboleo2SC: From Legal Contract Specifications to Smart Contracts 91
Requirements-Driven Verification of Web Services 91
A Hybrid Constrained Programming with Genetic Algorithm for the Job Shop Scheduling Problem 90
Structure-Aware Computation of Predicate Abstraction 90
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 89
A Comprehensive Approach to On-board Autonomy Verification and Validation 89
Boosting Lazy Abstraction for SystemC with Partial Order Reduction 88
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 88
A Comprehensive Approach to On-Board Autonomy Verification and Validation 88
Spacecraft Early Design Validation using Formal Methods 88
Comparing Large Language Models and Grammatical Evolution for Code Generation 86
Comparing Optimization Models for Radiotherapy Scheduling 86
Totale 13.661
Salva come PNG Salva come JPEG
Categoria #
all - tutte 80.864
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.207
Totale 82.071
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021160 0 0 0 0 0 0 0 0 0 0 0 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/20268.061 491 296 977 1.242 924 460 1.437 228 636 738 317 315
Totale 17.645