CNR Institutional Research Information System

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