CNR Institutional Research Information System

GNESI, STEFANIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 6.636
NA - Nord America 2.731
SA - Sud America 1.438
EU - Europa 784
AF - Africa 127
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 11.720
Salva come PNG Salva come JPEG
Nazione #
SG - Singapore 2.959
US - Stati Uniti d'America 2.628
CN - Cina 1.548
BR - Brasile 1.208
HK - Hong Kong 691
VN - Vietnam 565
KR - Corea 339
IT - Italia 156
DE - Germania 121
IN - India 105
FR - Francia 102
AR - Argentina 88
FI - Finlandia 82
JP - Giappone 68
GB - Regno Unito 61
AT - Austria 60
NL - Olanda 59
BD - Bangladesh 54
IL - Israele 53
EC - Ecuador 40
CA - Canada 39
ID - Indonesia 39
MX - Messico 32
ZA - Sudafrica 32
CO - Colombia 28
SA - Arabia Saudita 28
TR - Turchia 27
IQ - Iraq 26
PK - Pakistan 25
RU - Federazione Russa 22
PE - Perù 19
EG - Egitto 17
MA - Marocco 17
VE - Venezuela 16
UA - Ucraina 15
UY - Uruguay 15
ES - Italia 13
AZ - Azerbaigian 12
PH - Filippine 12
AE - Emirati Arabi Uniti 10
CL - Cile 10
NG - Nigeria 10
PL - Polonia 10
PY - Paraguay 10
SE - Svezia 10
TN - Tunisia 10
UZ - Uzbekistan 10
DZ - Algeria 9
GR - Grecia 9
HU - Ungheria 8
MY - Malesia 8
NP - Nepal 8
TH - Thailandia 8
BB - Barbados 7
KE - Kenya 7
KZ - Kazakistan 7
JM - Giamaica 5
JO - Giordania 5
LV - Lettonia 5
PT - Portogallo 5
RO - Romania 5
RS - Serbia 5
AL - Albania 4
BO - Bolivia 4
CZ - Repubblica Ceca 4
ET - Etiopia 4
IR - Iran 4
LU - Lussemburgo 4
PA - Panama 4
CI - Costa d'Avorio 3
HN - Honduras 3
LT - Lituania 3
OM - Oman 3
PS - Palestinian Territory 3
BE - Belgio 2
BF - Burkina Faso 2
BG - Bulgaria 2
BN - Brunei Darussalam 2
BS - Bahamas 2
BW - Botswana 2
BY - Bielorussia 2
CH - Svizzera 2
CR - Costa Rica 2
DO - Repubblica Dominicana 2
GA - Gabon 2
GE - Georgia 2
HR - Croazia 2
IE - Irlanda 2
KG - Kirghizistan 2
KW - Kuwait 2
LB - Libano 2
LK - Sri Lanka 2
MN - Mongolia 2
SI - Slovenia 2
SV - El Salvador 2
TJ - Tagikistan 2
TT - Trinidad e Tobago 2
UG - Uganda 2
ZM - Zambia 2
AM - Armenia 1
Totale 11.696
Salva come PNG Salva come JPEG
Città #
Singapore 2.006
Santa Clara 1.218
Hefei 880
Hong Kong 690
Seoul 338
Dallas 281
Beijing 244
San Jose 233
Ho Chi Minh City 213
Ashburn 160
Hanoi 139
São Paulo 89
Los Angeles 81
Lauterbourg 70
Helsinki 54
Minamishinagawa 48
Nuremberg 47
Rio de Janeiro 47
Bengaluru 34
Curitiba 31
Buffalo 30
Belo Horizonte 26
Haiphong 23
New York 23
Guangzhou 22
Lappeenranta 21
Vienna 20
Guayaquil 19
Brasília 17
Hải Dương 17
Johannesburg 17
Rome 16
Baghdad 15
Frankfurt am Main 15
Naples 15
Phoenix 15
Tokyo 15
Pisa 14
Recife 14
Cascina 13
Ninh Bình 13
Thái Nguyên 13
Da Nang 12
Dhaka 12
Montevideo 12
Ribeirão Preto 12
Amsterdam 11
Baku 11
Brooklyn 11
Can Tho 11
Mexico City 11
Porto Alegre 11
Quito 11
Biên Hòa 10
Lagos 10
Manaus 10
Riyadh 10
Salvador 10
Tashkent 10
Chicago 9
Guarulhos 9
London 9
Orem 9
Quận Bình Thạnh 9
Buenos Aires 8
Caxias do Sul 8
Istanbul 8
Jeddah 8
Lima 8
Mumbai 8
Rio Grande 8
Volta Redonda 8
Budapest 7
Falkenstein 7
Fortaleza 7
Lahore 7
Osasco 7
Santo André 7
Sorocaba 7
Tel Aviv 7
Uberlândia 7
Warsaw 7
Bridgetown 6
Cairo 6
Campinas 6
Denver 6
Feira de Santana 6
Goiânia 6
Joinville 6
Medellín 6
Ningbo 6
Nova Iguaçu 6
Pelotas 6
Poços de Caldas 6
San Francisco 6
Amman 5
Athens 5
Cape Town 5
Cariacica 5
Charlotte 5
Totale 7.763
Salva come PNG Salva come JPEG
Nome #
CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams 166
Measuring and improving the completeness of natural language requirements 159
Natural language requirements processing: a 4D vision 148
QuARS: Quality Analyzer for Requirement Specifications 91
Exploring LLMs’ ability to detect variability in requirements 76
Coherent modal transition systems refinement 76
Optimizing Feature Interaction Detection 73
Formal Methods for Distributed Computing in Future Railway Systems 72
Transformation rules 71
QUANTICOL - A quantitative approach to management and design of collective and adaptive behaviours 70
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking 70
Quality evaluation based on architecture analysis 67
2nd FME Workshop on Formal Methods in Software Engineering 65
Evaluating evaluation instruments 65
SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) 63
Improving the quality of business process descriptions of public administrations: resources and research challenges 63
Preface to iFM&ABZ 2012 62
Can AI help with the formalization of railway cybersecurity requirements? 61
Comparing lotos and estelle formal descriptions 60
Detecting domain-specific ambiguities: An NLP approach based on wikipedia crawling and word embeddings 60
Adopting a Machine Learning Approach in the design of Smart Transportation Systems 58
Research challenges in business process adaptability 58
Message from the Chairs: FormaliSE 2023 57
Modelling asynchronous applications in a mobile environment 56
QuARS: a NLP tool for requirements analysis 55
AGILE: Software Architecture for Mobility 53
An experience on applying process mining techniques to the tuscan port community system 53
Dependable dynamic routing for urban transport systems through integer linear programming 52
A summary of: on the expressiveness of modal transition systems with variability constraints 52
A Guidelines framework for understandable BPMN models 51
An experience with the application of three nlp tools for the analysis of natural language requirements 51
4SECURail - D.2.1: Specification of formal development demonstrator 50
Model Driven Development and Code Generation: An Automotive Case Study 49
Designing a demonstrator of formal methods for railways infrastructure managers 49
Formal validation of fault-tolerance mechanisms 48
Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study 48
Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation 48
The 4SECURail approach to formalizing standard interfaces between signalling systems components 47
Chaining available tools to support the modelling and analysis of a bike-sharing product line: an experience report 46
Applying generalized non deducibility on compositions (GNDC) approach in dependability 46
Supervisory synthesis of configurable behavioural contracts with modalities 46
An execution environment for the formal definition of Ada 45
An automatic quality evaluation for natural language requirements 45
Can safety be obtained through good practices for requirement writing? 45
VIBE: looking for Variability In amBiguous rEquirements 45
ASTrail - Deliverable D4.3 - Validation Report 45
A logical framework to deal with variability 45
Formal methods for industrial critical systems: 30 years of railway applications 45
Analysis and modelling of genomic data 45
Research on NLP for RE at CNR-ISTI: A report 44
Statecharts composition to model topologically distributed applications 44
Formal description of variability in product families 44
A comparison of NLP Tools for RE to extract Variation Points 44
A spaCy-based tool for extracting variability from NL requirements 44
PURE: A Dataset of Public Requirements Documents 44
Statecharts composition to model topologically distributed applications 43
Web service composition approaches: from industrial standards to formal methods 43
Product lines for service oriented applications - PL for SOA 42
From EU projects to a family of model checkers. From Kandinsky to KandISTI 42
An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam 42
An approach to ambiguity analysis in safety-related standards 42
Modeling web applications by the multiple levels of integrity policy 41
Towards automatic temporal logic verification of value passing process algebra using abstract interpretation 41
Model Checking : cos'è e come si applica 41
LEARN PAD - Demonstrators populated learning platform 41
Adopting Formal Methods in an Industrial Setting: The Railways Case 41
Checking business process modeling guidelines in apromore 41
The 4SECURail case study on rigorous standard interface specifications 41
30 years of simulation-based quantitative analysis tools: a comparison experiment between Möbius and Uppaal SMC 41
Dynamic Programming as Graph Searching: An Algebraic Approach 40
Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews 40
Application of Linguistic Techniques for Requirements Analysis 40
Enhancing test coverage by back-tracing model-checker counterexamples 39
ActLab: an action based toolset (verifying reactive systems by talking to them) 39
27th ACM International Systems and Software Product Line Conference (SPLC 2023). Proceedings - Volume A 39
Modelling and Validating an Import/Export Shipping Process 39
Formal description and validation for an integrity policy supporting multiple levels of criticality 38
Transformation rules 38
Formal methods for distributed control systems of future railways 38
An Automatic Tool for the Analysis of Natural Language Requirements 38
Controller synthesis of service contracts with variability 38
ASTRail D4.2 - Preliminary Trial Report 37
From generic requirements to variability 37
A logical framework to deal with variability 37
Quantitative dependability evaluation of train control systems in presence of uncertainty: a systematic literature review 37
International Ercim Workshop on Formal Methods for Industrial Critical System, 2., Cesena, 1997 36
LEARN PAD - Platform prototype early validation results 36
Software requirements elicitation in the context of a collaborative research project: technical report 36
A deontic logical framework for modelling product families 36
Future train control systems: challenges for dependability assessment 35
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain 35
Are Standards an Ambiguity-Free Reference for Product Validation? 34
An experience in formal verification of safety properties of a railway signalling control system 33
WCS: a Witness and Counterexample Server 33
Product Line Use Cases 33
Deontic logics for modeling behavioural variability 33
Towards an executable algebra for product lines 32
An architecture-centric approach for producing quality systems 32
A method to compare formal protocol specifications 32
Model checking UML statechart diagrams using JACK 32
Totale 5.039
Salva come PNG Salva come JPEG
Categoria #
all - tutte 48.558
article - articoli 9.259
book - libri 196
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.550
Totale 61.563
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/20266.154 476 877 1.118 1.408 1.509 262 504 0 0 0 0 0
Totale 11.738