CNR Institutional Research Information System

GNESI, STEFANIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 6.564
NA - Nord America 2.681
SA - Sud America 1.436
EU - Europa 718
AF - Africa 126
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 11.529
Salva come PNG Salva come JPEG
Nazione #
SG - Singapore 2.897
US - Stati Uniti d'America 2.579
CN - Cina 1.541
BR - Brasile 1.207
HK - Hong Kong 689
VN - Vietnam 565
KR - Corea 339
IT - Italia 156
DE - Germania 121
IN - India 105
AR - Argentina 87
FI - Finlandia 82
JP - Giappone 67
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
FR - Francia 36
ZA - Sudafrica 32
MX - Messico 31
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
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
CI - Costa d'Avorio 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.505
Salva come PNG Salva come JPEG
Città #
Singapore 1.945
Santa Clara 1.218
Hefei 880
Hong Kong 688
Seoul 338
Dallas 281
Beijing 242
Ho Chi Minh City 213
San Jose 194
Ashburn 156
Hanoi 139
São Paulo 89
Los Angeles 76
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
Porto Alegre 11
Quito 11
Biên Hòa 10
Lagos 10
Manaus 10
Mexico City 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
Chennai 5
Totale 7.584
Salva come PNG Salva come JPEG
Nome #
CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams 164
Measuring and improving the completeness of natural language requirements 159
Natural language requirements processing: a 4D vision 147
QuARS: Quality Analyzer for Requirement Specifications 91
Coherent modal transition systems refinement 75
Optimizing Feature Interaction Detection 73
Exploring LLMs’ ability to detect variability in requirements 73
Transformation rules 71
Formal Methods for Distributed Computing in Future Railway Systems 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 68
Quality evaluation based on architecture analysis 67
2nd FME Workshop on Formal Methods in Software Engineering 65
Evaluating evaluation instruments 64
Improving the quality of business process descriptions of public administrations: resources and research challenges 63
Preface to iFM&ABZ 2012 62
SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI) 61
Comparing lotos and estelle formal descriptions 60
Detecting domain-specific ambiguities: An NLP approach based on wikipedia crawling and word embeddings 59
Research challenges in business process adaptability 58
Can AI help with the formalization of railway cybersecurity requirements? 58
Adopting a Machine Learning Approach in the design of Smart Transportation Systems 57
Modelling asynchronous applications in a mobile environment 56
Message from the Chairs: FormaliSE 2023 54
QuARS: a NLP tool for requirements analysis 54
AGILE: Software Architecture for Mobility 53
An experience on applying process mining techniques to the tuscan port community system 52
Dependable dynamic routing for urban transport systems through integer linear programming 51
A Guidelines framework for understandable BPMN models 51
A summary of: on the expressiveness of modal transition systems with variability constraints 50
An experience with the application of three nlp tools for the analysis of natural language requirements 50
Model Driven Development and Code Generation: An Automotive Case Study 49
4SECURail - D.2.1: Specification of formal development demonstrator 48
Formal validation of fault-tolerance mechanisms 47
Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study 47
Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation 47
Designing a demonstrator of formal methods for railways infrastructure managers 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
The 4SECURail approach to formalizing standard interfaces between signalling systems components 46
An execution environment for the formal definition of Ada 45
Can safety be obtained through good practices for requirement writing? 45
Research on NLP for RE at CNR-ISTI: A report 44
An automatic quality evaluation for natural language requirements 44
ASTrail - Deliverable D4.3 - Validation Report 44
Analysis and modelling of genomic data 44
Statecharts composition to model topologically distributed applications 43
Statecharts composition to model topologically distributed applications 43
Web service composition approaches: from industrial standards to formal methods 43
Formal description of variability in product families 43
VIBE: looking for Variability In amBiguous rEquirements 43
Supervisory synthesis of configurable behavioural contracts with modalities 43
A logical framework to deal with variability 43
Formal methods for industrial critical systems: 30 years of railway applications 43
PURE: A Dataset of Public Requirements Documents 43
From EU projects to a family of model checkers. From Kandinsky to KandISTI 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
Product lines for service oriented applications - PL for SOA 41
LEARN PAD - Demonstrators populated learning platform 41
Checking business process modeling guidelines in apromore 41
A comparison of NLP Tools for RE to extract Variation Points 41
An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam 41
An approach to ambiguity analysis in safety-related standards 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
Adopting Formal Methods in an Industrial Setting: The Railways Case 40
A spaCy-based tool for extracting variability from NL requirements 40
Enhancing test coverage by back-tracing model-checker counterexamples 39
Modelling and Validating an Import/Export Shipping Process 39
The 4SECURail case study on rigorous standard interface specifications 39
30 years of simulation-based quantitative analysis tools: a comparison experiment between Möbius and Uppaal SMC 39
ActLab: an action based toolset (verifying reactive systems by talking to them) 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
ASTRail D4.2 - Preliminary Trial Report 37
Formal description and validation for an integrity policy supporting multiple levels of criticality 37
From generic requirements to variability 37
Controller synthesis of service contracts with variability 37
International Ercim Workshop on Formal Methods for Industrial Critical System, 2., Cesena, 1997 36
27th ACM International Systems and Software Product Line Conference (SPLC 2023). Proceedings - Volume A 36
Software requirements elicitation in the context of a collaborative research project: technical report 36
A logical framework to deal with variability 36
Quantitative dependability evaluation of train control systems in presence of uncertainty: a systematic literature review 36
LEARN PAD - Platform prototype early validation results 35
A deontic logical framework for modelling product families 35
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain 35
An experience in formal verification of safety properties of a railway signalling control system 33
Product Line Use Cases 33
Are Standards an Ambiguity-Free Reference for Product Validation? 33
Towards an executable algebra for product lines 32
WCS: a Witness and Counterexample Server 32
Model checking UML statechart diagrams using JACK 32
Future train control systems: challenges for dependability assessment 32
Deontic logics for modeling behavioural variability 32
Smart Services for Railways 32
Actlab: verifying reactive systems by talking to them 31
Totale 4.957
Salva come PNG Salva come JPEG
Categoria #
all - tutte 48.157
article - articoli 9.182
book - libri 196
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 3.515
Totale 61.050
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/20265.963 476 877 1.118 1.408 1.509 262 313 0 0 0 0 0
Totale 11.547