Mover, Sergio
 Distribuzione geografica
Continente #
NA - Nord America 330
EU - Europa 63
AS - Asia 20
Totale 413
Nazione #
US - Stati Uniti d'America 330
IT - Italia 21
FI - Finlandia 10
CN - Cina 9
FR - Francia 8
SE - Svezia 7
DE - Germania 6
GB - Regno Unito 6
JO - Giordania 6
BG - Bulgaria 5
SG - Singapore 5
Totale 413
Città #
Chandler 102
Ashburn 35
Fairfield 24
Princeton 22
Woodbridge 16
Houston 11
Helsinki 10
San Mateo 10
Beijing 9
Wilmington 9
Cambridge 7
Como 6
New York 5
Sofia 5
Washington 5
Cagliari 4
Norwalk 4
San Diego 4
Massy 3
Rome 3
Seattle 3
Munich 2
San Paolo di Civitate 2
Severn 2
Trento 2
Acton 1
Ann Arbor 1
Chiswick 1
Falkenstein 1
Falls Church 1
Fayetteville 1
Fremont 1
Hounslow 1
London 1
Los Angeles 1
Mountain View 1
New Bedfont 1
Palaiseau 1
Totale 318
Nome #
Supporting Requirements Validation: The EuRailCheck Tool 68
Safety Assessment of AltaRica Models via Symbolic Model Checking 58
Formal Verification of Infinite-State BIP Models 56
From Sequential Extended Regular Expressions to NFA with Symbolic Labels 50
Model Checking and Safety Assessment of Altarica models 32
HYCOMP - an SMT-based model checker for hybrid systems 32
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations 27
Verifying LTL Properties of Hybrid Systems with K-Liveness 25
Infinite-state invariant checking with IC3 and predicate abstraction 24
IC3 Modulo Theories via Implicit Predicate Abstraction 23
Parameter Synthesis with IC3 21
Verification of Hybrid Systems using Satisfiability Modulo Theories 13
SMT-Based Stability Verification of an Industrial Switched PI Control Systems 2
Totale 431
Categoria #
all - tutte 3.618
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 3.618


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202034 0 0 0 0 0 0 0 0 0 21 5 8
2020/202164 1 9 10 12 0 2 2 11 1 8 2 6
2021/202265 0 1 0 3 4 3 0 19 4 2 13 16
2022/2023179 15 26 2 29 17 25 0 11 30 4 16 4
2023/202489 7 7 11 7 17 21 8 4 1 5 1 0
Totale 431