Mover, Sergio
 Distribuzione geografica
Continente #
NA - Nord America 779
EU - Europa 394
AS - Asia 104
Continente sconosciuto - Info sul continente non disponibili 6
Totale 1.283
Nazione #
US - Stati Uniti d'America 773
DE - Germania 100
UA - Ucraina 75
SE - Svezia 58
FI - Finlandia 46
IT - Italia 34
IN - India 29
CN - Cina 27
GB - Regno Unito 26
IE - Irlanda 25
VN - Vietnam 22
HK - Hong Kong 20
BE - Belgio 10
RU - Federazione Russa 10
FR - Francia 7
CA - Canada 6
EU - Europa 6
KR - Corea 2
NL - Olanda 2
SG - Singapore 2
AL - Albania 1
IR - Iran 1
MY - Malesia 1
Totale 1.283
Città #
Chandler 213
Jacksonville 157
Ashburn 48
Ann Arbor 40
Wilmington 40
Dublin 25
Helsinki 24
Kronberg 23
Dearborn 22
Dong Ket 22
Hong Kong 20
Boardman 17
Beijing 14
Woodbridge 12
Phoenix 11
Trento 11
Brussels 10
New York 9
Houston 8
Seattle 8
Brooklyn 7
Milan 7
Ottawa 6
Pune 6
Redwood City 6
Guangzhou 4
Guanzate 4
Hanover 3
Pittsburgh 3
Verona 3
Bolzano 2
Cambridge 2
Fairfield 2
Hefei 2
Inglewood 2
Munich 2
Norwalk 2
Portland 2
Saint Petersburg 2
Shanghai 2
Singapore 2
Augusta 1
Bangalore 1
Catania 1
Cheyenne 1
Costa Mesa 1
Fuzhou 1
Genova 1
Kuala Lumpur 1
Laurel 1
Los Angeles 1
Luft 1
Mountain View 1
Nanjing 1
Redmond 1
Rochester 1
San Mateo 1
Secaucus 1
Spinea 1
Xiamen 1
Xian 1
Totale 825
Nome #
NuSMV 110
Supporting Requirements Validation: The EuRailCheck Tool 90
Safety Assessment of AltaRica Models via Symbolic Model Checking 76
Model Checking and Safety Assessment of Altarica models 72
Infinite-state invariant checking with IC3 and predicate abstraction 68
Model Checking of Hybrid Systems using Shallow Synchronization 61
Proving and Explaining the Unfeasibility of Message Sequence Charts for Hybrid Systems 61
HyDI: A Language for Symbolic Hybrid Systems with Discrete Interaction 59
Efficient Scenario VeriFIcation for Hybrid Automata 58
Formal Verification of Infinite-State BIP Models 58
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 58
The nuXmv Symbolic Model Checker 57
HYCOMP - an SMT-based model checker for hybrid systems 56
SMT-Based Verification of Hybrid Systems 55
Quantifier-free encoding of hybrid systems with non-linear dynamics 55
Quantifier-free encoding of invariants for hybrid systems 53
Time-aware Relational Abstractions for Hybrid Systems 51
IC3 Modulo Theories via Implicit Predicate Abstraction 51
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 48
Parameter Synthesis with IC3 45
SMT-based scenario verification for hybrid systems 37
Verifying LTL Properties of Hybrid Systems with K-Liveness 30
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 11
Totale 1.320
Categoria #
all - tutte 6.936
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 6.936


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201912 0 0 0 0 0 0 0 0 0 2 7 3
2019/2020246 24 23 2 2 30 18 32 0 28 37 27 23
2020/2021220 31 1 24 10 25 10 28 1 7 38 11 34
2021/2022107 6 0 3 17 4 1 4 18 8 3 30 13
2022/2023374 13 43 4 88 11 60 7 36 75 20 14 3
2023/2024178 18 9 17 16 16 37 12 28 13 12 0 0
Totale 1.320