CNR Institutional Research Information System

TER BEEK, MAURICE HENRI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 4.380
NA - Nord America 1.728
SA - Sud America 931
EU - Europa 728
AF - Africa 67
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 7.839
Salva come PNG Salva come JPEG
Nazione #
SG - Singapore 1.933
US - Stati Uniti d'America 1.636
CN - Cina 990
BR - Brasile 772
HK - Hong Kong 495
VN - Vietnam 435
IT - Italia 241
KR - Corea 199
FI - Finlandia 102
DE - Germania 76
AR - Argentina 64
IN - India 63
GB - Regno Unito 59
NL - Olanda 54
JP - Giappone 49
BD - Bangladesh 42
AT - Austria 40
MX - Messico 36
CA - Canada 34
IL - Israele 34
EC - Ecuador 27
FR - Francia 26
ID - Indonesia 20
ZA - Sudafrica 20
IQ - Iraq 17
SA - Arabia Saudita 16
TR - Turchia 16
CO - Colombia 15
UA - Ucraina 14
VE - Venezuela 14
SE - Svezia 13
MA - Marocco 11
PE - Perù 11
PY - Paraguay 11
CL - Cile 9
ES - Italia 9
PL - Polonia 9
BG - Bulgaria 8
EG - Egitto 8
PK - Pakistan 8
RU - Federazione Russa 8
DK - Danimarca 7
UZ - Uzbekistan 7
AE - Emirati Arabi Uniti 6
GR - Grecia 6
IE - Irlanda 6
RS - Serbia 6
AL - Albania 5
AZ - Azerbaigian 5
LV - Lettonia 5
PH - Filippine 5
RO - Romania 5
BE - Belgio 4
CZ - Repubblica Ceca 4
KE - Kenya 4
KZ - Kazakistan 4
MY - Malesia 4
TN - Tunisia 4
TT - Trinidad e Tobago 4
UY - Uruguay 4
BO - Bolivia 3
CI - Costa d'Avorio 3
HU - Ungheria 3
LU - Lussemburgo 3
NP - Nepal 3
PA - Panama 3
TH - Thailandia 3
AM - Armenia 2
AU - Australia 2
BA - Bosnia-Erzegovina 2
BB - Barbados 2
BH - Bahrain 2
BS - Bahamas 2
CH - Svizzera 2
DO - Repubblica Dominicana 2
DZ - Algeria 2
GE - Georgia 2
HN - Honduras 2
JM - Giamaica 2
JO - Giordania 2
KG - Kirghizistan 2
LB - Libano 2
OM - Oman 2
PT - Portogallo 2
SN - Senegal 2
TJ - Tagikistan 2
XK - ???statistics.table.value.countryCode.XK??? 2
ZM - Zambia 2
AO - Angola 1
BN - Brunei Darussalam 1
BW - Botswana 1
CR - Costa Rica 1
CY - Cipro 1
EE - Estonia 1
ET - Etiopia 1
GA - Gabon 1
GF - Guiana Francese 1
GM - Gambi 1
GP - Guadalupe 1
HR - Croazia 1
Totale 7.814
Salva come PNG Salva come JPEG
Città #
Singapore 1.296
Santa Clara 606
Hong Kong 495
Hefei 488
Dallas 201
Seoul 195
Beijing 190
Ho Chi Minh City 147
Ashburn 129
Hanoi 115
San Jose 111
Lappeenranta 62
Los Angeles 54
Pisa 52
São Paulo 52
Cascina 40
Helsinki 34
Minamishinagawa 30
New York 28
Nuremberg 27
Buffalo 24
Florence 24
Bengaluru 23
Curitiba 19
Vienna 19
Rio de Janeiro 18
Tokyo 17
Frankfurt am Main 16
Amsterdam 15
Milan 15
Belo Horizonte 14
Da Nang 14
Brasília 13
Dhaka 13
Mexico City 13
Orem 13
Stockholm 13
Brooklyn 12
Guayaquil 12
Hải Dương 12
Porto Alegre 12
Haiphong 11
London 11
Atlanta 10
Guarulhos 10
Livorno 10
Falkenstein 9
Fortaleza 9
Guangzhou 9
Johannesburg 9
Manaus 9
Rome 9
Baghdad 8
Bologna 8
Montreal 8
Ninh Bình 8
Phoenix 8
Poplar 8
Quito 8
Warsaw 8
Chennai 7
Denver 7
Ha Long 7
Juiz de Fora 7
Ribeirão Preto 7
Tashkent 7
Toronto 7
Biên Hòa 6
Can Tho 6
Chicago 6
Gravataí 6
Naples 6
Piracicaba 6
Turku 6
Boston 5
Cairo 5
Canoas 5
Ciudad del Este 5
Dubai 5
Houston 5
Istanbul 5
Jacareí 5
Lima 5
Maceió 5
Mumbai 5
Munich 5
Nova Iguaçu 5
Portsmouth 5
Recife 5
Salvador 5
São José dos Campos 5
Thái Nguyên 5
Almaty 4
Americana 4
Baku 4
Bauru 4
Belém 4
Betim 4
Blumenau 4
Campina Grande 4
Totale 5.066
Salva come PNG Salva come JPEG
Nome #
Comparing the universal variability language with other textual variability modeling languages 101
Mutant equivalence as monotonicity in parametric timed games 80
X-by-Construction meets AI 77
Coherent modal transition systems refinement 75
Formal Methods in railways: a systematic mapping study 72
QUANTICOL - A quantitative approach to management and design of collective and adaptive behaviours 70
ISTI-day 2025 Proceedings 70
Resilience of Interaction Techniques to Interrupts 68
Communication requirements for team automata 66
Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2009) 66
An experience on formal analysis of a high-level graphical SOA design 65
Static Analysis of Featured Transition Systems 65
Review on formal methods for software engineering: languages, methods, application domains 64
An integrated perspective on the evaluation of complex railway systems 63
Modelling and analysing an identity federation protocol: federated network providers scenario 62
SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) 61
Advancing orchestration synthesis for contract automata 58
Can AI help with the formalization of railway cybersecurity requirements? 58
Advanced integrated evaluation of railway systems 58
Editorial 57
Introduction to the special collection from iFM 2022 57
A toolchain for strategy synthesis with spatial properties - Complementary material 57
Evaluating a language workbench: from working memory capacity to comprehension to acceptance 55
Orchestration synthesis for real-time service contracts 53
Associativity of Infinite Synchronized Shuffles and Team Automata 53
Systematic evaluation and usability analysis of formal tools for railway system design 52
Evaluating the understandability and user acceptance of Attack-Defense Trees: original experiment and replication 51
A runtime environment for contract automata 51
A summary of: on the expressiveness of modal transition systems with variability constraints 50
Comparing formal tools for system design: a judgment study 49
Static analysis and family-based model checking with VMC 48
Efficient static analysis and verification of featured transition systems 48
Assessing the understandability and acceptance of attack-defense trees for modelling security requirements 47
Model transformation and property preservation in rigorous software development: a systematic literature review 47
Sustainable mobility: increase of capacity and digitisation of railway transport 47
A toolchain for strategy synthesis with spatial properties 47
Designing a demonstrator of formal methods for railways infrastructure managers 47
Chaining available tools to support the modelling and analysis of a bike-sharing product line: an experience report 46
Analysing self-adaptive systems as software product lines 46
Quantitative variability modelling and analysis 45
QUANTICOL - D6.1 - Dissemination plan for the project 44
Web service composition approaches: from industrial standards to formal methods 43
Formal description of variability in product families 43
Supervisory synthesis of configurable behavioural contracts with modalities 43
A logical framework to deal with variability 43
Formal methods for industrial critical systems: 30 years of railway applications 43
From EU projects to a family of model checkers. From Kandinsky to KandISTI 42
Preface - Architecting Dependable Systems VI 42
Analysing self-adaptive systems as software product lines 42
Systematic evaluation and usability analysis of formal methods tools for railway signaling system design 42
Product lines for service oriented applications - PL for SOA 41
Formal methods in railways: a systematic mapping study 41
SPLC '24: Proceedings of the 28th ACM International Systems and Software Product Line Conference 41
Product lines of dataflows 41
An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam 41
Feature-Oriented modelling and analysis of a self-adaptive robotic system 41
Formal methods in industry 40
Adopting Formal Methods in an Industrial Setting: The Railways Case 40
Models for formal methods and tools: the case of railway systems 40
Empirical software engineering and formal methods for IoT systems 39
FTS4VMC: a front-end tool for static analysis and family-based model checking of FTSs with VMC 39
Formal methods and tools applied in the railway domain 39
Static analysis and family-based model checking of featured transition systems with VMC 39
30 years of simulation-based quantitative analysis tools: a comparison experiment between Möbius and Uppaal SMC 39
Animating Rebeca 38
QFLan: A tool for the quantitative analysis of highly reconfigurable systems 37
Quantitative security risk modeling and analysis with RisQFLan 37
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods 37
RebeCaos 37
Spatial Model Checking for Smart Stations: Research Challenges 37
Controller synthesis of service contracts with variability 37
Safe and secure future AI-driven railway technologies: challenges for formal methods in railway 37
An experimental toolchain for strategy synthesis with spatial properties 36
27th ACM International Systems and Software Product Line Conference (SPLC 2023). Proceedings - Volume A 36
A logical framework to deal with variability 36
Conditions for compatibility of components: the case of masters and slaves 35
Feature-oriented modelling and analysis of a self-adaptive robotic system 35
A deontic logical framework for modelling product families 35
Supervisory controller synthesis for product lines using CIF 3 34
A runtime environment for contract automata 34
A framework for quantitative modeling and analysis of highly (re)configurable systems 34
Contributions of team automata in security 33
Quantitative security risk modeling and analysis with RisQFLan 33
Deontic logics for modeling behavioural variability 32
A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems 31
A configurable software model of a self-adaptive robotic system 31
Controlled hybrid CD grammar systems 31
Resilience of Interaction Techniques to Interrupts: A formal model-based approach 31
Web Services and Formal Methods 30
Contract automata library 30
Research challenges in orchestration synthesis 30
States and Events in KandISTI: A Retrospective 30
On the expressiveness of modal transition systems with variability constraints 30
Empirical formal methods: guidelines for performing empirical studies on formal methods 30
A model-checking tool for families of services 30
A collection of models of a bike-sharing case study. 29
Preface 29
27th ACM International Systems and Software Product Line Conference (SPLC 2023). Proceedings - Volume B 29
Integrating testing with runtime verification for mission-critical distributed control systems 29
The role of Formal Methods in Computer Science education 29
Totale 4.529
Salva come PNG Salva come JPEG
Categoria #
all - tutte 33.267
article - articoli 9.114
book - libri 359
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.102
Totale 44.842
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202449 0 0 0 0 0 0 0 0 16 6 11 16
2024/20253.641 31 26 285 169 514 185 59 100 113 201 1.041 917
2025/20264.288 367 601 725 981 1.100 324 190 0 0 0 0 0
Totale 7.978