CNR Institutional Research Information System

TER BEEK, MAURICE HENRI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 5.641
NA - Nord America 2.483
EU - Europa 1.557
SA - Sud America 974
AF - Africa 89
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 2
Totale 10.753
Salva come PNG Salva come JPEG
Nazione #
SG - Singapore 2.456
US - Stati Uniti d'America 2.363
CN - Cina 1.255
BR - Brasile 807
VN - Vietnam 619
HK - Hong Kong 534
FR - Francia 343
IT - Italia 338
RU - Federazione Russa 309
JP - Giappone 222
KR - Corea 199
DE - Germania 127
FI - Finlandia 112
IN - India 74
GB - Regno Unito 70
AR - Argentina 65
NL - Olanda 64
BD - Bangladesh 56
CA - Canada 47
MX - Messico 43
AT - Austria 40
IL - Israele 35
ID - Indonesia 34
EC - Ecuador 27
ZA - Sudafrica 26
IQ - Iraq 20
SA - Arabia Saudita 19
TR - Turchia 19
SE - Svezia 18
CO - Colombia 17
ES - Italia 16
UA - Ucraina 15
VE - Venezuela 15
MA - Marocco 14
PY - Paraguay 13
PE - Perù 12
PK - Pakistan 12
PL - Polonia 11
BE - Belgio 10
UZ - Uzbekistan 10
CL - Cile 9
IE - Irlanda 9
AE - Emirati Arabi Uniti 8
BG - Bulgaria 8
DK - Danimarca 8
EG - Egitto 8
PH - Filippine 8
AZ - Azerbaigian 7
AU - Australia 6
GR - Grecia 6
KE - Kenya 6
MY - Malesia 6
RS - Serbia 6
TN - Tunisia 6
AL - Albania 5
CI - Costa d'Avorio 5
DZ - Algeria 5
JM - Giamaica 5
KZ - Kazakistan 5
LV - Lettonia 5
NP - Nepal 5
OM - Oman 5
RO - Romania 5
BO - Bolivia 4
CZ - Repubblica Ceca 4
TH - Thailandia 4
TT - Trinidad e Tobago 4
UY - Uruguay 4
AM - Armenia 3
AO - Angola 3
HU - Ungheria 3
JO - Giordania 3
LT - Lituania 3
LU - Lussemburgo 3
NO - Norvegia 3
PA - Panama 3
PT - Portogallo 3
BA - Bosnia-Erzegovina 2
BB - Barbados 2
BH - Bahrain 2
BS - Bahamas 2
CH - Svizzera 2
CR - Costa Rica 2
CY - Cipro 2
DO - Repubblica Dominicana 2
ET - Etiopia 2
GE - Georgia 2
HN - Honduras 2
HR - Croazia 2
KG - Kirghizistan 2
LB - Libano 2
NG - Nigeria 2
NI - Nicaragua 2
SN - Senegal 2
SV - El Salvador 2
TJ - Tagikistan 2
TW - Taiwan 2
XK - ???statistics.table.value.countryCode.XK??? 2
ZM - Zambia 2
BN - Brunei Darussalam 1
Totale 10.724
Salva come PNG Salva come JPEG
Città #
Singapore 1.579
Santa Clara 612
Hong Kong 530
Hefei 488
San Jose 432
Lauterbourg 289
Ho Chi Minh City 213
Dallas 206
Ashburn 204
Beijing 202
Seoul 195
Tokyo 185
Hanoi 156
Moscow 147
Los Angeles 91
Pisa 84
New York 76
Lappeenranta 69
São Paulo 54
Frankfurt am Main 47
Cascina 40
Helsinki 37
Da Nang 31
Minamishinagawa 30
Buffalo 29
Nuremberg 29
Florence 28
Orem 24
Bengaluru 23
Milan 23
Amsterdam 21
Council Bluffs 20
Rio de Janeiro 20
Curitiba 19
Vienna 19
Haiphong 16
Rome 16
Belo Horizonte 15
Dhaka 15
Hải Dương 15
Brooklyn 14
Stockholm 14
Atlanta 13
Brasília 13
London 13
Mexico City 13
Guangzhou 12
Guayaquil 12
Johannesburg 12
Ninh Bình 12
Porto Alegre 12
Toronto 12
Chennai 11
Phoenix 11
Shanghai 11
Baghdad 10
Guarulhos 10
Jakarta 10
Livorno 10
Montreal 10
Tashkent 10
Chicago 9
Falkenstein 9
Fortaleza 9
Manaus 9
Naples 9
Poplar 9
Warsaw 9
Biên Hòa 8
Bologna 8
Quito 8
Denver 7
Dublin 7
Ha Long 7
Houston 7
Juiz de Fora 7
Newark 7
Ribeirão Preto 7
Thái Nguyên 7
Vũng Tàu 7
Baku 6
Can Tho 6
Gravataí 6
Istanbul 6
Lima 6
Lucca 6
Maceió 6
Mumbai 6
Munich 6
Nairobi 6
New Delhi 6
Piracicaba 6
Quận Bình Thạnh 6
Riyadh 6
Turku 6
Abidjan 5
Boston 5
Cairo 5
Canoas 5
Ciudad del Este 5
Totale 6.839
Salva come PNG Salva come JPEG
Nome #
ISTI-day 2025 Proceedings 141
Comparing the universal variability language with other textual variability modeling languages 126
Coherent modal transition systems refinement 98
A toolchain for strategy synthesis with spatial properties - Complementary material 90
Review on formal methods for software engineering: languages, methods, application domains 87
X-by-Construction meets AI 86
Mutant equivalence as monotonicity in parametric timed games 83
QUANTICOL - A quantitative approach to management and design of collective and adaptive behaviours 80
Can AI help with the formalization of railway cybersecurity requirements? 80
Formal Methods in railways: a systematic mapping study 79
An integrated perspective on the evaluation of complex railway systems 79
A toolchain for strategy synthesis with spatial properties 77
Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2009) 76
Static Analysis of Featured Transition Systems 75
Communication requirements for team automata 74
SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) 74
An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam 73
Resilience of Interaction Techniques to Interrupts 72
Advanced integrated evaluation of railway systems 72
Editorial 71
Model transformation and property preservation in rigorous software development: a systematic literature review 71
Advancing orchestration synthesis for contract automata 71
An experience on formal analysis of a high-level graphical SOA design 70
Introduction to the special collection from iFM 2022 68
Evaluating the understandability and user acceptance of Attack-Defense Trees: original experiment and replication 68
Modelling and analysing an identity federation protocol: federated network providers scenario 64
Feature-oriented modelling and analysis of a self-adaptive robotic system 63
Models for formal methods and tools: the case of railway systems 63
From EU projects to a family of model checkers. From Kandinsky to KandISTI 62
Assessing the understandability and acceptance of attack-defense trees for modelling security requirements 62
A runtime environment for contract automata 62
Animating Rebeca 62
Evaluating a language workbench: from working memory capacity to comprehension to acceptance 61
Supervisory synthesis of configurable behavioural contracts with modalities 61
Systematic evaluation and usability analysis of formal tools for railway system design 60
Comparing formal tools for system design: a judgment study 60
Efficient static analysis and verification of featured transition systems 60
Formal methods for industrial critical systems: 30 years of railway applications 60
Sustainable mobility: increase of capacity and digitisation of railway transport 59
Analysing self-adaptive systems as software product lines 59
RebeCaos 58
Feature-Oriented modelling and analysis of a self-adaptive robotic system 58
Orchestration synthesis for real-time service contracts 57
Associativity of Infinite Synchronized Shuffles and Team Automata 57
A summary of: on the expressiveness of modal transition systems with variability constraints 56
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods 56
A logical framework to deal with variability 56
Systematic evaluation and usability analysis of formal methods tools for railway signaling system design 56
30 years of simulation-based quantitative analysis tools: a comparison experiment between Möbius and Uppaal SMC 55
Analysing self-adaptive systems as software product lines 55
Designing a demonstrator of formal methods for railways infrastructure managers 55
QUANTICOL - D6.1 - Dissemination plan for the project 54
Formal methods in railways: a systematic mapping study 52
Formal description of variability in product families 52
A runtime environment for contract automata 51
27th ACM International Systems and Software Product Line Conference (SPLC 2023). Proceedings - Volume A 51
Integrating testing with runtime verification for mission-critical distributed control systems 51
Static analysis and family-based model checking with VMC 51
Chaining available tools to support the modelling and analysis of a bike-sharing product line: an experience report 50
Quantitative variability modelling and analysis 50
Controller synthesis of service contracts with variability 50
SPLC '24: Proceedings of the 28th ACM International Systems and Software Product Line Conference 49
Preface to the proceedings of the 28th Brazilian symposium on formal methods: foundations and applications (SBMF 2025) 49
Preface to the proceedings of the 6th International conference on reliability, safety, and security of railway systems (RSSRail 2025) 49
Formal methods and tools applied in the railway domain 49
Formal methods for intersymbolic AI 49
Web service composition approaches: from industrial standards to formal methods 48
Preface - Architecting Dependable Systems VI 48
Formal methods in industry 48
Product lines of dataflows 48
Spatial Model Checking for Smart Stations: Research Challenges 48
Formal methods for railway systems: a survey of research and technology transfer projects 47
Controlled hybrid CD grammar systems 47
Adopting Formal Methods in an Industrial Setting: The Railways Case 46
Empirical software engineering and formal methods for IoT systems 46
PRIN PNRR Adventure D2: Report on the definition of methods for qualitative and quantitative evaluation of KPIs of railway systems 46
Product lines for service oriented applications - PL for SOA 45
27th ACM International Systems and Software Product Line Conference (SPLC 2023). Proceedings - Volume B 45
CN MOST SP4 D1.3.5: Report on assessed methods and models for resilient and sustainable railway infrastructures 45
A framework for quantitative modeling and analysis of highly (re)configurable systems 45
Static analysis and family-based model checking of featured transition systems with VMC 44
An experimental toolchain for strategy synthesis with spatial properties 43
A logical framework to deal with variability 43
Safe and secure future AI-driven railway technologies: challenges for formal methods in railway 43
Quantitative security risk modeling and analysis with RisQFLan 42
A deontic logical framework for modelling product families 42
Quantitative security risk modeling and analysis with RisQFLan 42
Preface to Journeys between formal methods and the railway industry. Essays dedicated to Alessandro Fantechi on the occasion of his 70th birthday 41
QFLan: A tool for the quantitative analysis of highly reconfigurable systems 41
FTS4VMC: a front-end tool for static analysis and family-based model checking of FTSs with VMC 41
A configurable software model of a self-adaptive robotic system 41
On the expressiveness of modal transition systems with variability constraints 41
Towards dynamic classification in domain modeling with Jjodel 40
Contributions of team automata in security 40
Conditions for compatibility of components: the case of masters and slaves 40
Supervisory controller synthesis for product lines using CIF 3 40
A quantitative approach to the design and analysis of collective adaptive systems for smart cities 40
Systems and software product lines of the future 40
Contract automata library 40
From Software Engineering to Formal Methods and Tools, and Back. Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Preface 40
Totale 5.811
Salva come PNG Salva come JPEG
Categoria #
all - tutte 39.900
article - articoli 10.875
book - libri 479
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.689
Totale 53.943
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/20267.227 367 601 725 981 1.100 324 1.209 461 633 660 166 0
Totale 10.917