CNR Institutional Research Information System

FANTECHI, ALESSANDRO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 169
NA - Nord America 72
EU - Europa 22
Totale 263
Salva come PNG Salva come JPEG
Nazione #
SG - Singapore 157
US - Stati Uniti d'America 72
IT - Italia 14
CN - Cina 11
DE - Germania 5
AT - Austria 2
FI - Finlandia 1
KR - Corea 1
Totale 263
Salva come PNG Salva come JPEG
Città #
Singapore 108
Santa Clara 25
Guangzhou 7
Pisa 7
Venice 2
Boardman 1
Capannori 1
Cascina 1
Forest City 1
Helsinki 1
Livorno 1
Nuremberg 1
Rome 1
Seoul 1
Vienna 1
Totale 159
Salva come PNG Salva come JPEG
Nome #
Coherent modal transition systems refinement 17
4SECURail - D.2.1: Specification of formal development demonstrator 5
VIBE: looking for Variability In amBiguous rEquirements 4
Applications of formal methods, modeling, and testing strategies for safe software development 4
Twenty-Five Years of Formal Methods and Railways: What Next? 4
A method to compare formal protocol specifications 3
Towards a discipline of system engineering: validation of dependable systems 3
Correctness preserving transformations for the late phases of development 3
Adopting Formal Methods in an Industrial Setting: The Railways Case 3
Formal verification of safety requirements on complex systems 3
Formal validation of the GUARDS inter-consistency mechanism 3
Partial correctness preservation for extensive trasformations 3
Model checking fault tolerant systems 3
Proposals for the electronic exchange of documents inside the ADA FD project 3
Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer 3
Refinement of behavioural models for variability description 3
Design validation of embedded dependable systems 3
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results 3
Exploring LLMs’ ability to detect variability in requirements 3
A deontic logical framework for modelling product families 3
ASTrail - Deliverable D4.3 - Validation Report 3
Using FMC for family-based analysis of Software product lines 3
A logical framework to deal with variability 3
Statistical model checking of hazards in an autonomous tramway positioning system 3
Formal modeling for product families engineering 3
Session types for safe Web service orchestration 3
Application of linguistic techniques for use case analysis 3
A comparison between handwritten and automatic generation of C code from SDL using static analysis 3
Criteri di validazione per documenti amministrativi : analisi dei capitolati di gara 3
Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain 3
Distributing the challenge of model checking interlocking control tables 3
30 years of simulation-based quantitative analysis tools: a comparison experiment between Möbius and Uppaal SMC 3
GUARDS: a generic upgradable architecture for real-time dependable systems 3
Transformation rules 2
Comparing lotos and estelle formal descriptions 2
Optimizing Feature Interaction Detection 2
Formal Methods for Distributed Computing in Future Railway Systems 2
Model checking of non-finite state processes by finite approximations 2
Evaluation of natural language requirements in an industrial case study 2
Statecharts composition to model topologically distributed applications 2
A transparent way to deal with transparencies in distributed systems 2
Formal validation of fault-tolerance mechanisms inside GUARDS 2
Transformation rules 2
Formal methods for distributed control systems of future railways 2
Principles for a temporal semantics of lotus 2
The Metrô Rio ATP case study 2
Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer 2
Automated verification of fault tolerance mechanisms 2
From generic requirements to variability 2
SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity 2
Verifying hardware components with JACK 2
Broadcast and point to point services for CNET: an implementation via ADA packages 2
Deontic logics for modeling behavioural variability 2
Distributed implementation of nested communicating sequential processes and termination 2
An expressive temporal logic for basic LOTOS 2
A formal verification environment for railway signaling system design 2
An experience with the application of three nlp tools for the analysis of natural language requirements 2
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain 2
A compositional framework to derive product line behavioural descriptions 2
Temporal logics verification of lotos specifications using abstract interpretation 2
Model based testing and abstract interpretation in the railway signaling context 2
Distributed implementation of nested communicating sequential processes: Communication and termination 2
Model checking for LOTOS 2
MOD-CONTROL, Train control and monitoring system, a sub-project of MODTRAIN (FP6-PLT-506652/TIP3-CT-2003-506652) 2
Formal verification of fault tolerant mechanisms by model-checking. 2
An experience in using a tool for evaluating a large set of natural language requirements 2
Introduction to a catalogue of LOTOS correctness preserving transformations 2
Statecharts composition to model topologically distributed applications 1
A story about formal methods adoption by a railway signaling Manufacturer 1
Statecharts composition to model topologically distributed applications 1
Actlab: verifying reactive systems by talking to them 1
Finite approximations for model checking non-finite-state processes 1
An execution environment for the formal definition of Ada 1
ASTRail D4.2 - Preliminary Trial Report 1
Comparing formal specifications using temporal logics: a case study on LOTOS and estelle protocol descriptions 1
Another temporal semantics for basic LOTOS 1
A temporal semantics for basic process algebra 1
A temporal semantics for basic LOTOS 1
An industrial application for the JACK environment 1
Comparing formal tools for system design: a judgment study 1
Towards correctness preserving transformations between ODP viewpoints 1
Guard: a generic upgradable architecture for real-time dependable systems 1
Validation coverage for a component-based SDL model of a railway signaling system 1
A symbolic model checker for ACTL 1
A collection of models of a bike-sharing case study. 1
Formal development for railway signaling using commercial tools 1
Compositional logic semantics and lotos 1
Product line use cases: scenario-based specification and testing of requirements 1
Verifying reactive systems by talking to them 1
Informatica industriale 1
Specifica e verifica formale di un sottosistema software di controllo ferroviario 1
A critical survey of the implementation dependent aspects of ADA 1
A Relation-based Approach to Use Case Analysis 1
An industrial application of formal model based development: the Metro Rio ATP case 1
Proceedings of the 18th International Software Product Line Conference - Volume 2 1
A study for inter-node communication in functionally distributed systems 1
Inter-node communication 1
Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study 1
Interfacing with real environments from ADA programs 1
Modellazione di sistemi ferroviari 1
Totale 219
Salva come PNG Salva come JPEG
Categoria #
all - tutte 2.879
article - articoli 621
book - libri 43
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 170
Totale 3.713
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202427 0 0 0 0 0 0 0 0 7 0 9 11
2024/2025245 12 22 201 10 0 0 0 0 0 0 0 0
Totale 272