CNR Institutional Research Information System

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