CNR Institutional Research Information System

GNESI, STEFANIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 8.533
NA - Nord America 4.327
EU - Europa 1.687
SA - Sud America 1.524
AF - Africa 149
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 1
Totale 16.225
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.153
SG - Singapore 3.721
CN - Cina 2.007
BR - Brasile 1.262
VN - Vietnam 842
HK - Hong Kong 732
FR - Francia 498
KR - Corea 340
IT - Italia 338
JP - Giappone 286
RU - Federazione Russa 207
DE - Germania 162
IN - India 122
BD - Bangladesh 102
AR - Argentina 97
FI - Finlandia 88
NL - Olanda 77
GB - Regno Unito 75
CA - Canada 71
AT - Austria 62
IL - Israele 56
ID - Indonesia 48
EC - Ecuador 45
MX - Messico 39
PK - Pakistan 36
SA - Arabia Saudita 36
ZA - Sudafrica 36
CO - Colombia 34
TR - Turchia 34
IQ - Iraq 33
ES - Italia 22
MA - Marocco 22
EG - Egitto 20
PE - Perù 20
UA - Ucraina 20
VE - Venezuela 18
CL - Cile 17
SE - Svezia 16
PH - Filippine 15
PL - Polonia 15
UY - Uruguay 15
AE - Emirati Arabi Uniti 14
AZ - Azerbaigian 13
DZ - Algeria 12
GR - Grecia 12
MY - Malesia 12
PY - Paraguay 12
JM - Giamaica 11
TN - Tunisia 11
UZ - Uzbekistan 11
JO - Giordania 10
KE - Kenya 10
NG - Nigeria 10
BB - Barbados 9
HU - Ungheria 9
NP - Nepal 8
TH - Thailandia 8
KZ - Kazakistan 7
RO - Romania 7
TT - Trinidad e Tobago 7
BE - Belgio 6
LT - Lituania 6
PT - Portogallo 6
RS - Serbia 6
AL - Albania 5
CR - Costa Rica 5
CZ - Repubblica Ceca 5
DK - Danimarca 5
ET - Etiopia 5
IR - Iran 5
LK - Sri Lanka 5
LV - Lettonia 5
PA - Panama 5
BO - Bolivia 4
GT - Guatemala 4
HR - Croazia 4
IE - Irlanda 4
LU - Lussemburgo 4
NI - Nicaragua 4
NO - Norvegia 4
OM - Oman 4
PR - Porto Rico 4
PS - Palestinian Territory 4
SV - El Salvador 4
BS - Bahamas 3
BY - Bielorussia 3
CH - Svizzera 3
CI - Costa d'Avorio 3
DO - Repubblica Dominicana 3
EE - Estonia 3
GE - Georgia 3
HN - Honduras 3
LB - Libano 3
AU - Australia 2
BF - Burkina Faso 2
BG - Bulgaria 2
BN - Brunei Darussalam 2
BW - Botswana 2
GA - Gabon 2
KG - Kirghizistan 2
Totale 16.186
Salva come PNG Salva come JPEG
Città #
Singapore 2.371
Santa Clara 1.230
Hefei 880
Hong Kong 725
San Jose 586
Lauterbourg 409
Ashburn 387
Seoul 338
Ho Chi Minh City 325
Dallas 295
Beijing 255
Tokyo 227
Hanoi 203
Los Angeles 132
New York 99
São Paulo 94
Helsinki 56
Nuremberg 51
Moscow 50
Rio de Janeiro 49
Minamishinagawa 48
Buffalo 43
Pisa 39
Da Nang 37
Haiphong 35
Bengaluru 34
Rome 34
Curitiba 33
Frankfurt am Main 31
Guangzhou 29
Belo Horizonte 27
Orem 27
Council Bluffs 26
Naples 26
Lappeenranta 24
Vienna 23
Amsterdam 22
Hải Dương 22
Milan 22
Phoenix 21
Guayaquil 20
Baghdad 19
Chicago 19
Houston 19
Johannesburg 19
Brasília 18
Thái Nguyên 16
Ninh Bình 15
Atlanta 14
Florence 14
Istanbul 14
Recife 14
Ribeirão Preto 14
Cascina 13
Dhaka 13
London 13
Quito 13
Riyadh 13
Toronto 13
Baku 12
Can Tho 12
Jacksonville 12
Lahore 12
Montevideo 12
Biên Hòa 11
Brooklyn 11
Jeddah 11
Mexico City 11
Newark 11
Porto Alegre 11
Rio Grande 11
Tashkent 11
Boardman 10
Lagos 10
Lima 10
Manaus 10
Palermo 10
Quận Bình Thạnh 10
Salvador 10
Warsaw 10
Buenos Aires 9
Cairo 9
Guarulhos 9
Las Vegas 9
Medellín 9
Shanghai 9
Amman 8
Bridgetown 8
Budapest 8
Caxias do Sul 8
Chennai 8
Karachi 8
Kingston 8
Manchester 8
Mumbai 8
Osaka 8
Philadelphia 8
Sorocaba 8
Volta Redonda 8
Athens 7
Totale 10.051
Salva come PNG Salva come JPEG
Nome #
CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams 238
Measuring and improving the completeness of natural language requirements 210
Natural language requirements processing: a 4D vision 172
QuARS: Quality Analyzer for Requirement Specifications 110
Coherent modal transition systems refinement 100
QuARS: a NLP tool for requirements analysis 100
Exploring LLMs’ ability to detect variability in requirements 93
PURE: A Dataset of Public Requirements Documents 91
Transformation rules 84
SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) 84
Formal Methods for Distributed Computing in Future Railway Systems 84
Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation 84
Can AI help with the formalization of railway cybersecurity requirements? 84
QUANTICOL - A quantitative approach to management and design of collective and adaptive behaviours 81
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking 81
Optimizing Feature Interaction Detection 81
Message from the Chairs: FormaliSE 2023 78
An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam 77
Quality evaluation based on architecture analysis 75
Preface to iFM&ABZ 2012 74
2nd FME Workshop on Formal Methods in Software Engineering 74
An experience on applying process mining techniques to the tuscan port community system 74
Evaluating evaluation instruments 72
Detecting domain-specific ambiguities: An NLP approach based on wikipedia crawling and word embeddings 71
Improving the quality of business process descriptions of public administrations: resources and research challenges 71
Quantitative dependability evaluation of train control systems in presence of uncertainty: a systematic literature review 71
Dependable dynamic routing for urban transport systems through integer linear programming 69
The 4SECURail case study on rigorous standard interface specifications 69
Formal methods for industrial critical systems: 30 years of railway applications 69
Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study 68
VIBE: looking for Variability In amBiguous rEquirements 67
Comparing lotos and estelle formal descriptions 66
A comparison of NLP Tools for RE to extract Variation Points 66
Adopting a Machine Learning Approach in the design of Smart Transportation Systems 65
From EU projects to a family of model checkers. From Kandinsky to KandISTI 65
The 4SECURail approach to formalizing standard interfaces between signalling systems components 65
4SECURail - D.2.1: Specification of formal development demonstrator 64
Supervisory synthesis of configurable behavioural contracts with modalities 64
Research challenges in business process adaptability 63
Modelling asynchronous applications in a mobile environment 62
A Guidelines framework for understandable BPMN models 62
An experience with the application of three nlp tools for the analysis of natural language requirements 61
AGILE: Software Architecture for Mobility 60
An approach to ambiguity analysis in safety-related standards 60
Can safety be obtained through good practices for requirement writing? 59
ASTrail - Deliverable D4.3 - Validation Report 59
30 years of simulation-based quantitative analysis tools: a comparison experiment between Möbius and Uppaal SMC 59
Model Driven Development and Code Generation: An Automotive Case Study 58
Analysis and modelling of genomic data 58
Formal validation of fault-tolerance mechanisms 57
An Automatic Tool for the Analysis of Natural Language Requirements 57
Model Checking : cos'è e come si applica 56
A summary of: on the expressiveness of modal transition systems with variability constraints 56
An automatic quality evaluation for natural language requirements 56
A logical framework to deal with variability 56
A spaCy-based tool for extracting variability from NL requirements 56
Designing a demonstrator of formal methods for railways infrastructure managers 56
Applying generalized non deducibility on compositions (GNDC) approach in dependability 54
An execution environment for the formal definition of Ada 54
Formal methods for distributed control systems of future railways 53
27th ACM International Systems and Software Product Line Conference (SPLC 2023). Proceedings - Volume A 53
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain 53
Formal description of variability in product families 52
Adopting Formal Methods in an Industrial Setting: The Railways Case 52
Future train control systems: challenges for dependability assessment 52
Chaining available tools to support the modelling and analysis of a bike-sharing product line: an experience report 51
LEARN PAD - Demonstrators populated learning platform 51
Modelling and Validating an Import/Export Shipping Process 51
Research on NLP for RE at CNR-ISTI: A report 50
Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews 50
Controller synthesis of service contracts with variability 50
Modeling web applications by the multiple levels of integrity policy 49
Statecharts composition to model topologically distributed applications 49
Web service composition approaches: from industrial standards to formal methods 49
ASTRail D4.2 - Preliminary Trial Report 49
Formal methods for railway systems: a survey of research and technology transfer projects 49
Enhancing test coverage by back-tracing model-checker counterexamples 48
Statecharts composition to model topologically distributed applications 48
Product lines for service oriented applications - PL for SOA 48
Transformation rules 48
Dynamic Programming as Graph Searching: An Algebraic Approach 47
Checking business process modeling guidelines in apromore 47
LEARN PAD - Platform prototype early validation results 47
Evaluation of natural language requirements in the MODCONTROL project 47
Towards automatic temporal logic verification of value passing process algebra using abstract interpretation 46
Application of Linguistic Techniques for Requirements Analysis 46
Formal description and validation for an integrity policy supporting multiple levels of criticality 46
A stochastic model-based approach to analyze reliable energy-saving rail road switch heating systems 46
WCS: a Witness and Counterexample Server 45
Smart Services for Railways 45
Preface to Journeys between formal methods and the railway industry. Essays dedicated to Alessandro Fantechi on the occasion of his 70th birthday 44
ActLab: an action based toolset (verifying reactive systems by talking to them) 44
Finite approximations for model checking non-finite-state processes 44
Lessons learnt from the adoption of formal model-based development. 44
Software requirements elicitation in the context of a collaborative research project: technical report 44
Model checking UML statechart diagrams using JACK 43
Preface 43
An Automatic Tool for the Analysis of Natural Language Requirements 43
A logical framework to deal with variability 43
Nuts and Bolts of Extracting Variability Models from Natural Language Requirements Documents 43
Totale 6.482
Salva come PNG Salva come JPEG
Categoria #
all - tutte 62.700
article - articoli 11.951
book - libri 327
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 4.608
Totale 79.586
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202453 0 0 0 0 0 0 0 0 10 2 29 12
2024/20255.531 29 46 457 267 1.014 284 56 172 90 142 1.575 1.399
2025/202610.278 476 877 1.118 1.408 1.509 262 1.891 616 712 741 335 333
2026/2027399 399 0 0 0 0 0 0 0 0 0 0 0
Totale 16.261