IRIS
Roveri, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.403
AS - Asia 2.887
EU - Europa 2.149
SA - Sud America 780
AF - Africa 63
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 3
Totale 13.290
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.286
SG - Singapore 1.635
BR - Brasile 658
CN - Cina 632
IT - Italia 485
RU - Federazione Russa 348
DE - Germania 252
VN - Vietnam 236
FI - Finlandia 171
SE - Svezia 170
GB - Regno Unito 153
LV - Lettonia 147
BG - Bulgaria 117
UA - Ucraina 77
CA - Canada 73
HK - Hong Kong 71
NL - Olanda 47
ID - Indonesia 44
AR - Argentina 40
FR - Francia 38
IN - India 37
JO - Giordania 31
ZA - Sudafrica 30
MX - Messico 28
BD - Bangladesh 25
EC - Ecuador 25
TR - Turchia 25
IQ - Iraq 22
ES - Italia 21
PL - Polonia 21
JP - Giappone 19
IR - Iran 15
CL - Cile 14
NO - Norvegia 14
TW - Taiwan 14
VE - Venezuela 14
CO - Colombia 13
MA - Marocco 13
UZ - Uzbekistan 13
BE - Belgio 12
PK - Pakistan 12
AT - Austria 11
PT - Portogallo 10
IL - Israele 9
RO - Romania 9
IE - Irlanda 7
KR - Corea 7
LT - Lituania 7
CZ - Repubblica Ceca 6
EG - Egitto 6
PE - Perù 6
PY - Paraguay 6
CH - Svizzera 5
GE - Georgia 5
GR - Grecia 5
KG - Kirghizistan 5
MY - Malesia 5
AE - Emirati Arabi Uniti 4
BY - Bielorussia 4
DZ - Algeria 4
EU - Europa 4
KZ - Kazakistan 4
TN - Tunisia 4
AL - Albania 3
AU - Australia 3
CR - Costa Rica 3
DO - Repubblica Dominicana 3
HN - Honduras 3
HU - Ungheria 3
OM - Oman 3
PH - Filippine 3
BO - Bolivia 2
BW - Botswana 2
DK - Danimarca 2
JM - Giamaica 2
KE - Kenya 2
LK - Sri Lanka 2
NP - Nepal 2
PS - Palestinian Territory 2
UY - Uruguay 2
AZ - Azerbaigian 1
BB - Barbados 1
EE - Estonia 1
GD - Grenada 1
KW - Kuwait 1
LA - Repubblica Popolare Democratica del Laos 1
LU - Lussemburgo 1
MK - Macedonia 1
NG - Nigeria 1
NI - Nicaragua 1
PA - Panama 1
PR - Porto Rico 1
QA - Qatar 1
SA - Arabia Saudita 1
SI - Slovenia 1
SN - Senegal 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 13.290
Salva come PNG Salva come JPEG
Città #
Singapore 1.083
Chandler 785
Ashburn 737
Fairfield 679
Dallas 428
Santa Clara 308
Woodbridge 305
Houston 297
Seattle 297
Columbus 287
Cambridge 254
Wilmington 253
Princeton 233
Beijing 205
San Mateo 164
Jacksonville 157
Trento 149
Riga 147
Moscow 142
Ann Arbor 127
New York 122
Sofia 117
Los Angeles 113
Helsinki 107
Munich 100
Chicago 92
Ho Chi Minh City 89
São Paulo 58
Hong Kong 56
San Diego 54
Council Bluffs 53
Hanoi 46
London 46
Boardman 38
Rome 33
Jakarta 30
Toronto 29
Falkenstein 28
Turku 28
Como 27
The Dalles 25
Buffalo 24
North Bergen 22
Norwalk 22
Fremont 21
Milan 21
Phoenix 21
Redondo Beach 21
Rio de Janeiro 21
Salt Lake City 21
Dong Ket 20
Hefei 20
Denver 19
Frankfurt am Main 19
Atlanta 18
Elk Grove Village 18
Verona 17
Falls Church 16
Montreal 16
Warsaw 16
Johannesburg 15
Belo Horizonte 14
Lawrence 14
Nuremberg 14
Porto Alegre 14
Tampa 14
Brasília 13
San Paolo di Civitate 13
Tashkent 13
Guangzhou 12
Orem 12
Ottawa 12
Palermo 12
Paris 12
Shanghai 12
Stockholm 12
Amsterdam 11
Bergen 11
Boston 11
Des Moines 11
Lappeenranta 11
Andover 10
Changsha 10
Chennai 10
Curitiba 10
Dearborn 10
Kilburn 10
Poplar 10
Tokyo 10
Berlin 9
Brussels 9
Campinas 9
Mexico City 9
Sorocaba 9
Thái Bình 9
Timisoara 9
Ankara 8
Augusta 8
Brooklyn 8
Cape Town 8
Totale 9.139
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 265
Strong temporal planning with uncontrollable durations 231
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 220
Certifying Proofs for LTL Model Checking 205
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 198
Comparing Different Variants of the IC3 Algorithm for Hardware Model Checking 196
Satisfiability Modulo Transcendental Functions via Incremental Linearization 194
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 184
HRELTL: A temporal logic for hybrid systems 167
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 166
Object Models with Temporal Constraints 162
A new method for testing decision procedures in modal logics 158
Solving strong controllability of temporal problems with uncertainty using SMT 153
Dynamic controllability via Timed Game Automata 144
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 138
Verilog2SMV: A tool for word-level verification 138
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 137
Solving Temporal Problems Using SMT: Strong Controllability 136
The nuXmv Symbolic Model Checker 136
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 136
NUSMV: a new symbolic model checker 133
Supporting Requirements Validation: The EuRailCheck Tool 132
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 129
Formal Verification of Infinite-State BIP Models 129
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 128
Improving the Encoding of LTL Model Checking into SAT 127
Formalization and Validation of Safety-Critical Requirements 127
LLM-Driven Knowledge Extraction in Temporal and Description Logics 126
Formalization and validation of a subset of the European Train Control System 126
From Informal Requirements to Property-Driven Formal Validation 123
NUSMV: a new symbolic model verifier 121
A Demonstration of BDI-Based Robotic Systems with ROS2 120
Boolean Abstraction for Temporal Logic Satisfiability 120
Specifying and analyzing early requirements: some experimental results 117
Formalizing requirements with object models and temporal constraints 117
Integrating BDD-based and SAT-based Symbolic Model Checking 116
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 115
A Comprehensive Approach to On-Board Autonomy Verification and Validation 115
A Framework for Integrating Business Processes and Business Requirements 112
A new method for testing decision procedures in modal and terminological logics 110
Agent-oriented modeling by interleaving formal and informal specification 110
Predicting RUL of Bearings in the Pumps of a Critical Industrial Air Treatment System 109
An Analytic Evaluation of SystemC Encodings in Promela 107
Specifying and analyzing early requirements in Tropos 106
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 106
OthelloPlay: a plug-in based tool for requirement formalization and validation 105
A Bin-Packing Formulation for Radiotherapy Treatment Scheduling 103
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 101
Kratos - A Software Model Checker for SystemC 98
NuSMV2: an open source tool for symbolic model checking 97
A Model Checker for AADL 97
NuSMV 2: An opensource tool for symbolic model checking 96
Developing BDI-Based Robotic Systems with ROS2 96
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 94
From PSL to NBA: a Modular Symbolic Encoding 94
Safety Assessment of AltaRica Models via Symbolic Model Checking 93
Lemmas for satisfiability modulo transcendental functions via incremental linearization 93
When Prolog Meets Generative Models: A New Approach for Managing Knowledge and Planning in Robotic Applications 93
Formal Verification of Requirements using Spin: A Case Study on Web Services 92
Formal analysis of hardware requirements 92
Rat: A tool for the formal analysis of requirements 92
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 90
Preface 88
Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings 88
Software Model Checking SystemC 87
NuSMV Version 2: BDD-based + SAT-based Symbolic ModelChecker. 85
6th International Workshop on Systems Software Verification, SSV 2011 85
Discovery and Identification of Memory Corruption Vulnerabilities on Bare-metal Embedded Devices 85
Certifying proofs for SAT-based model checking 84
Solving Temporal Problems Using SMT: Weak Controllability 83
Weak, strong, and strong cyclic planning via symbolic model checking 83
Requirements Validation for Hybrid Systems 83
Conformant Planning via Symbolic Model Checking 82
Conthereum: Concurrent Ethereum Optimized Transaction Scheduling for Multi-Core Execution 79
Abstraction in planning via model checking 79
PISTIS: Trusted Computing Architecture for Low-end Embedded Systems 78
A Markovian model for the spread of the SARS-CoV-2 virus 78
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 77
Model Checking and Safety Assessment of Altarica models 77
Structure-Aware Computation of Predicate Abstraction 76
Real-Time BDI Agents: A Model and Its Implementation 75
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 75
Software Model Checking with Explicit Scheduler and Symbolic Threads 74
Bounded Verification of Past LTL 74
Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements 73
Boosting Lazy Abstraction for SystemC with Partial Order Reduction 73
Codesign of Dependable Systems: A Component-Based Modeling Language 73
Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Supporting Rover Operations Planning on Ground 73
Conformant Planning via Model Checking 71
A Comprehensive Approach to On-Board Autonomy Verification and Validation 71
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements 70
GIADA, un sistema centralizzato per la gestione dell'irrigazione a domanda / GIADA, a decision support system for a demand-driven irrigation 70
Verifying SystemC: a Software Model Checking Approach 68
Innovative Rover Operations Concepts–Autonomous Planning: Keeping a dog on the lead 68
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 68
Abstraction in Model Checking for Bug Hunting 67
Safety, Dependability and Performance Analysis of Extended AADL Models 66
A Comprehensive Approach to On-board Autonomy Verification and Validation 66
A Critical Overview and Open Questions for Temporal Planning with Uncertainty 65
NUSMV: a reimplementation of SMV 64
Totale 10.952
Salva come PNG Salva come JPEG
Categoria #
all - tutte 69.260
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.082
Totale 70.342
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021809 0 0 0 0 0 114 99 162 54 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/20264.002 491 296 977 1.242 924 72 0 0 0 0 0 0
Totale 13.586