IRIS
Roveri, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.795
AS - Asia 4.514
EU - Europa 2.928
SA - Sud America 917
Continente sconosciuto - Info sul continente non disponibili 329
AF - Africa 100
OC - Oceania 7
Totale 18.590
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.562
SG - Singapore 1.852
VN - Vietnam 905
CN - Cina 837
IT - Italia 835
BR - Brasile 742
RU - Federazione Russa 356
DE - Germania 290
FR - Francia 205
SE - Svezia 205
GB - Regno Unito 196
KR - Corea 195
FI - Finlandia 189
LV - Lettonia 148
CA - Canada 122
HK - Hong Kong 122
BG - Bulgaria 118
IN - India 99
UA - Ucraina 86
BD - Bangladesh 82
NL - Olanda 67
ID - Indonesia 62
MX - Messico 54
AR - Argentina 51
IQ - Iraq 47
JP - Giappone 46
ZA - Sudafrica 42
ES - Italia 40
JO - Giordania 39
TR - Turchia 39
EC - Ecuador 34
PL - Polonia 30
BE - Belgio 23
VE - Venezuela 23
CO - Colombia 22
TW - Taiwan 22
CL - Cile 21
MA - Marocco 20
PK - Pakistan 20
IR - Iran 18
UZ - Uzbekistan 18
NO - Norvegia 17
IE - Irlanda 16
AT - Austria 15
IL - Israele 12
MY - Malesia 12
CH - Svizzera 11
CR - Costa Rica 11
CZ - Repubblica Ceca 11
JM - Giamaica 11
NP - Nepal 11
PE - Perù 11
PT - Portogallo 11
RO - Romania 10
AE - Emirati Arabi Uniti 9
KZ - Kazakistan 9
PH - Filippine 9
EG - Egitto 8
GR - Grecia 8
PY - Paraguay 8
LT - Lituania 7
TH - Thailandia 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
GD - Grenada 5
GE - Georgia 5
KG - Kirghizistan 5
TT - Trinidad e Tobago 5
BY - Bielorussia 4
EU - Europa 4
HN - Honduras 4
HU - Ungheria 4
NI - Nicaragua 4
DK - Danimarca 3
DO - Repubblica Dominicana 3
MK - Macedonia 3
RS - Serbia 3
UY - Uruguay 3
AG - Antigua e Barbuda 2
BB - Barbados 2
BO - Bolivia 2
BW - Botswana 2
GT - Guatemala 2
HR - Croazia 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
Totale 18.244
Salva come PNG Salva come JPEG
Città #
Singapore 1.209
Ashburn 1.014
Chandler 785
San Jose 691
Fairfield 679
Dallas 451
Santa Clara 359
Columbus 333
Houston 312
Woodbridge 305
Seattle 299
Ho Chi Minh City 278
Council Bluffs 260
Wilmington 257
Cambridge 256
Princeton 234
Hanoi 233
Beijing 222
New York 195
Seoul 186
Trento 178
San Mateo 164
Jacksonville 163
Los Angeles 159
Riga 148
Moscow 143
Ann Arbor 127
Lauterbourg 127
Helsinki 121
Sofia 117
Chicago 107
Munich 101
Milan 93
Hong Kong 90
São Paulo 68
The Dalles 60
Boardman 59
San Diego 55
London 54
Da Nang 49
Rome 48
Orem 42
Phoenix 39
Frankfurt am Main 38
Toronto 37
Jakarta 36
Buffalo 34
Tokyo 32
Haiphong 31
Denver 30
Montreal 30
Atlanta 29
Falkenstein 29
Turku 28
Como 27
Chennai 24
Johannesburg 24
Rio de Janeiro 23
Salt Lake City 23
Fremont 22
North Bergen 22
Norwalk 22
Elk Grove Village 21
Hefei 21
Redondo Beach 21
Verona 21
Warsaw 21
Dong Ket 20
Amsterdam 18
Nuremberg 18
Tashkent 18
Thái Bình 18
Mexico City 17
Tampa 17
Belo Horizonte 16
Biên Hòa 16
Brescia 16
Brooklyn 16
Falls Church 16
Novara 16
Stockholm 16
Dublin 15
Guangzhou 15
Las Vegas 15
Shanghai 15
Bolzano 14
Boston 14
Bến Tre 14
Hải Dương 14
Lawrence 14
Miano 14
Mumbai 14
Paris 14
Porto Alegre 14
Brasília 13
San Paolo di Civitate 13
Baghdad 12
Lappeenranta 12
Manchester 12
Miami 12
Totale 12.014
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 301
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 281
Strong temporal planning with uncontrollable durations 268
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 254
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 247
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 246
Certifying Proofs for LTL Model Checking 245
LLM-Driven Knowledge Extraction in Temporal and Description Logics 221
Satisfiability Modulo Transcendental Functions via Incremental Linearization 218
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 212
HRELTL: A temporal logic for hybrid systems 208
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 206
The nuXmv Symbolic Model Checker 193
Supporting Requirements Validation: The EuRailCheck Tool 191
A new method for testing decision procedures in modal logics 189
Object Models with Temporal Constraints 188
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 187
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 184
Dynamic controllability via Timed Game Automata 176
When Prolog Meets Generative Models: A New Approach for Managing Knowledge and Planning in Robotic Applications 174
A Demonstration of BDI-Based Robotic Systems with ROS2 172
Solving strong controllability of temporal problems with uncertainty using SMT 171
Verilog2SMV: A tool for word-level verification 163
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 163
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 161
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 159
Formal Verification of Infinite-State BIP Models 159
NuSMV 2: An opensource tool for symbolic model checking 158
Predicting RUL of Bearings in the Pumps of a Critical Industrial Air Treatment System 158
NUSMV: a new symbolic model checker 157
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 157
Solving Temporal Problems Using SMT: Strong Controllability 156
An Analytic Evaluation of SystemC Encodings in Promela 152
Formalization and validation of a subset of the European Train Control System 152
Formalization and Validation of Safety-Critical Requirements 151
Boolean Abstraction for Temporal Logic Satisfiability 150
From Informal Requirements to Property-Driven Formal Validation 148
Improving the Encoding of LTL Model Checking into SAT 144
A Bin-Packing Formulation for Radiotherapy Treatment Scheduling 142
Formalizing requirements with object models and temporal constraints 142
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 142
Lemmas for satisfiability modulo transcendental functions via incremental linearization 141
Discovery and Identification of Memory Corruption Vulnerabilities on Bare-metal Embedded Devices 141
Developing BDI-Based Robotic Systems with ROS2 140
A Comprehensive Approach to On-Board Autonomy Verification and Validation 139
A Framework for Integrating Business Processes and Business Requirements 138
Formal analysis of hardware requirements 138
Rat: A tool for the formal analysis of requirements 138
NUSMV: a new symbolic model verifier 136
A new method for testing decision procedures in modal and terminological logics 135
Agent-oriented modeling by interleaving formal and informal specification 131
OthelloPlay: a plug-in based tool for requirement formalization and validation 131
Integrating BDD-based and SAT-based Symbolic Model Checking 130
Specifying and analyzing early requirements: some experimental results 127
Requirements Validation for Hybrid Systems 126
Abstraction in planning via model checking 125
Certifying proofs for SAT-based model checking 125
A Model Checker for AADL 124
From PSL to NBA: a Modular Symbolic Encoding 123
Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements 121
Safety Assessment of AltaRica Models via Symbolic Model Checking 120
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 120
Specifying and analyzing early requirements in Tropos 118
Formal Verification of Requirements using Spin: A Case Study on Web Services 116
Kratos - A Software Model Checker for SystemC 116
Comparing Optimization Models for Radiotherapy Scheduling 115
Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings 113
NuSMV2: an open source tool for symbolic model checking 112
PISTIS: Trusted Computing Architecture for Low-end Embedded Systems 112
Conthereum: Concurrent Ethereum Optimized Transaction Scheduling for Multi-Core Execution 109
A Markovian model for the spread of the SARS-CoV-2 virus 109
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 107
Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Supporting Rover Operations Planning on Ground 107
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 106
Conformant Planning via Symbolic Model Checking 105
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 105
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 105
GIADA, un sistema centralizzato per la gestione dell'irrigazione a domanda / GIADA, a decision support system for a demand-driven irrigation 105
Real-Time BDI Agents: A Model and Its Implementation 103
A Hybrid Constrained Programming with Genetic Algorithm for the Job Shop Scheduling Problem 102
6th International Workshop on Systems Software Verification, SSV 2011 102
Preface 102
Comparing Large Language Models and Grammatical Evolution for Code Generation 101
Solving Temporal Problems Using SMT: Weak Controllability 100
Software Model Checking SystemC 100
Conformant Planning via Model Checking 100
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach 99
Verification and performance evaluation of AADL models 99
Symboleo2SC: From Legal Contract Specifications to Smart Contracts 98
Model Checking and Safety Assessment of Altarica models 98
NuSMV Version 2: BDD-based + SAT-based Symbolic ModelChecker. 97
Weak, strong, and strong cyclic planning via symbolic model checking 94
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 94
Codesign of Dependable Systems: A Component-Based Modeling Language 93
A Comprehensive Approach to On-board Autonomy Verification and Validation 93
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 91
Requirements-Driven Verification of Web Services 91
Spacecraft Early Design Validation using Formal Methods 91
Structure-Aware Computation of Predicate Abstraction 91
Boosting Lazy Abstraction for SystemC with Partial Order Reduction 90
Totale 14.284
Salva come PNG Salva come JPEG
Categoria #
all - tutte 85.849
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.263
Totale 87.112
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.118 0 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.092 491 296 977 1.242 924 460 1.437 228 636 738 317 346
2026/2027914 298 616 0 0 0 0 0 0 0 0 0 0
Totale 18.590