IRIS
Cimatti, Alessandro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.212
EU - Europa 1.498
AS - Asia 1.263
SA - Sud America 163
AF - Africa 13
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 1
Totale 9.152
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.180
SG - Singapore 874
RU - Federazione Russa 362
IT - Italia 276
CN - Cina 206
FI - Finlandia 151
SE - Svezia 144
BR - Brasile 142
DE - Germania 136
GB - Regno Unito 120
BG - Bulgaria 103
UA - Ucraina 99
JO - Giordania 40
ID - Indonesia 30
VN - Vietnam 30
FR - Francia 29
CA - Canada 26
NL - Olanda 23
HK - Hong Kong 10
RO - Romania 9
AT - Austria 8
BE - Belgio 8
IN - India 8
UZ - Uzbekistan 8
LT - Lituania 7
TR - Turchia 7
AR - Argentina 6
IQ - Iraq 6
CZ - Repubblica Ceca 5
JP - Giappone 5
BD - Bangladesh 4
CL - Cile 4
EC - Ecuador 4
IL - Israele 4
VE - Venezuela 4
ZA - Sudafrica 4
KG - Kirghizistan 3
KR - Corea 3
MA - Marocco 3
MY - Malesia 3
PK - Pakistan 3
PT - Portogallo 3
TW - Taiwan 3
CO - Colombia 2
EG - Egitto 2
EU - Europa 2
GE - Georgia 2
IE - Irlanda 2
IR - Iran 2
KZ - Kazakistan 2
LA - Repubblica Popolare Democratica del Laos 2
LK - Sri Lanka 2
LV - Lettonia 2
MX - Messico 2
NI - Nicaragua 2
NO - Norvegia 2
TN - Tunisia 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AU - Australia 1
AZ - Azerbaigian 1
BY - Bielorussia 1
CH - Svizzera 1
CR - Costa Rica 1
DK - Danimarca 1
DZ - Algeria 1
EE - Estonia 1
GA - Gabon 1
HR - Croazia 1
HU - Ungheria 1
LB - Libano 1
LU - Lussemburgo 1
PA - Panama 1
PH - Filippine 1
PL - Polonia 1
QA - Qatar 1
TH - Thailandia 1
UY - Uruguay 1
Totale 9.152
Salva come PNG Salva come JPEG
Città #
Chandler 892
Fairfield 701
Singapore 500
Ashburn 448
Santa Clara 327
Woodbridge 323
Houston 312
Seattle 297
Cambridge 279
Columbus 275
Wilmington 269
Princeton 240
Jacksonville 210
Ann Arbor 174
Moscow 148
San Mateo 142
Helsinki 117
New York 111
Beijing 108
Sofia 103
Trento 81
Council Bluffs 60
San Diego 54
London 42
Los Angeles 34
Jakarta 30
Falkenstein 28
Boardman 25
Como 25
Norwalk 22
Lawrence 20
Dong Ket 19
Washington 19
Toronto 18
Frankfurt am Main 17
Falls Church 13
Fremont 12
San Paolo di Civitate 12
São Paulo 12
Kilburn 11
North Bergen 11
Andover 10
Rome 10
Saint Petersburg 10
Dearborn 9
Timisoara 9
Dallas 8
Munich 8
Ottawa 8
Düsseldorf 7
Milan 7
Phoenix 7
Tashkent 7
Udine 7
Altamura 6
Bonndorf 6
Karlsruhe 6
Leawood 6
Shanghai 6
Verona 6
Vienna 6
Acton 5
Ballymena 5
Bolzano 5
Brussels 5
Campinas 5
College Park 5
Hefei 5
Hong Kong 5
Nuremberg 5
Redmond 5
Santarcangelo 5
Augusta 4
Belo Horizonte 4
Brescia 4
Chicago 4
Clifton 4
Guangzhou 4
Holywood 4
Hounslow 4
Lappeenranta 4
Monteforte d'Alpone 4
Nanjing 4
Palermo 4
Putian 4
Turin 4
Amsterdam 3
Brno 3
Curitiba 3
Des Moines 3
Fayetteville 3
Hangzhou 3
Istanbul 3
Izmir 3
Kunming 3
Malo 3
Mountain View 3
Nashville 3
New Bedfont 3
Sacramento 3
Totale 6.843
Salva come PNG Salva come JPEG
Nome #
Incremental Linearization: A practical approach to Satisfiability Modulo Nonlinear Arithmetic and Transcendental Functions 233
Strong temporal planning with uncontrollable durations 195
Invariant checking of NRA transition systems via incremental reduction to LRA with EUF 171
Incremental Linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions 158
Satisfiability Modulo Transcendental Functions via Incremental Linearization 155
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 153
Assumption-based Runtime Verification with Partial Observability and Resets 143
HRELTL: A temporal logic for hybrid systems 129
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 128
Solving strong controllability of temporal problems with uncertainty using SMT 127
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 121
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties 119
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 115
Efficient Interpolant Generation in Satisfiability Modulo Theories 114
Dynamic controllability via Timed Game Automata 114
A Data-driven Approach for RUL Prediction of an Experimental Filtration System 114
Solving Temporal Problems Using SMT: Strong Controllability 113
Verilog2SMV: A tool for word-level verification 112
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation 111
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures 109
Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization 109
NuRV: a nuXmv Extension for Runtime Verification 106
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 105
Parametric Analysis of Distributed Firm Real-Time Systems: A Case Study 104
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators 103
Efficient theory combination via Boolean search 102
The nuXmv Symbolic Model Checker 100
Building Efficient Decision Procedures on top of SAT solvers 95
A Comprehensive Approach to On-Board Autonomy Verification and Validation 91
Supporting Requirements Validation: The EuRailCheck Tool 90
Formal specification of beliefs in multi-agent systems 87
null 84
Efficient Interpolant Generation in Satisfiability Modulo Theories 84
Verifying Industrial Hybrid Systems with MathSAT 83
Satisfiability Modulo the Theory of Costs: Foundations and Applications 83
Software Model Checking via Large-Block Encoding. 82
From Informal Requirements to Property-Driven Formal Validation 82
An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty 81
SMT-based analysis of switching multi-domain linear Kirchhoff networks 80
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 79
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 79
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 78
Applying SMT in Symbolic Execution of Microcode 77
An Analytic Evaluation of SystemC Encodings in Promela 77
Formalization and validation of a subset of the European Train Control System 77
OthelloPlay: a plug-in based tool for requirement formalization and validation 77
Formalization and Validation of Safety-Critical Requirements 77
Predicting RUL of Bearings in the Pumps of a Critical Industrial Air Treatment System 75
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty 73
Kratos - A Software Model Checker for SystemC 72
Object Models with Temporal Constraints 72
Assumption-Based Runtime Verification of Infinite-State Systems 71
Formal Specification and Synthesis of FDI through an Example 70
Software Model Checking SystemC 70
Safety Assessment of AltaRica Models via Symbolic Model Checking 70
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 70
Formal Verification of Infinite-State BIP Models 70
Theory and Applications of Satisfiability Testing - SAT 2012- 15th International Conference. 68
From PSL to NBA: a Modular Symbolic Encoding 66
Lemmas for satisfiability modulo transcendental functions via incremental linearization 64
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test 63
Timelines with Temporal Uncertainty 62
Solving Temporal Problems Using SMT: Weak Controllability 61
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 61
Requirements Validation for Hybrid Systems 60
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies 59
Formal analysis of hardware requirements 59
A Model Checker for AADL 58
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 56
Conformant Planning via Symbolic Model Checking 55
Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Supporting Rover Operations Planning on Ground 55
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 55
Conformant Planning via Model Checking 53
Codesign of Dependable Systems: A Component-Based Modeling Language 53
Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic 53
Bounded Verification of Past LTL 53
Model Checking and Safety Assessment of Altarica models 52
HYCOMP - an SMT-based model checker for hybrid systems 52
Safety, Dependability and Performance Analysis of Extended AADL Models 51
Innovative Rover Operations Concepts–Autonomous Planning: Keeping a dog on the lead 50
Proving the Existence of Fair Paths in Infinite-State Systems 50
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 49
Conformant Planning via Symbolic Model Checking and Heuristic Search 48
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 48
Verifying SystemC: a Software Model Checking Approach 47
The xSAP Safety Analysis Platform 47
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems 47
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach 45
Symbolic Implementation of Alternating Automata 45
A Modular Approach to MaxSAT Modulo Theories 44
Diagnostic Information for Realizability 44
null 43
Syntactic Optimizations for PSL Verification 43
A Comprehensive Approach to On-Board Autonomy Verification and Validation 43
IC3 Modulo Theories via Implicit Predicate Abstraction 43
Verification and performance evaluation of AADL models 42
Innovative Rover Operations Concepts - Autonomous Planner (IRONCAP) - Concluding the adventure 42
RAT: A tool for formal analysis of requirements 42
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 42
Symbolic Compilation of PSL 39
Totale 8.031
Salva come PNG Salva come JPEG
Categoria #
all - tutte 60.218
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 563
Totale 60.781
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020459 0 0 0 0 0 0 0 0 0 268 62 129
2020/20211.650 18 194 209 398 91 70 91 139 63 133 88 156
2021/20221.127 29 122 11 54 64 60 40 284 61 49 99 254
2022/20231.744 197 200 33 246 140 268 10 154 287 30 121 58
2023/2024854 42 79 74 36 57 207 60 56 14 71 23 135
2024/20252.443 32 37 186 600 239 418 103 191 288 349 0 0
Totale 9.437