Alessandro Fantechi

Available identifiers

zbMath Open fantechi.alessandroDBLPf/AlessandroFantechiWikidataQ121125060 ScholiaQ121125060MaRDI QIDQ246444

List of research outcomes

Publication	Date of Publication	Type
Compositional verification of railway interlocking systems	2024-09-25	Paper
An action based framework for verifying logical and behavioural properties of concurrent systems	2024-04-29	Paper
Coherent modal transition systems refinement	2024-03-20	Paper
From behavioural contracts to session types	2024-02-23	Paper
Towards automatic temporal logic verification of value passing process algebra using abstract interpretation	2023-06-28	Paper
Language and communication problems in formalization: a natural language approach	2022-03-22	Paper
Analysing an autonomous tramway positioning system with the \textsc{Uppaal} statistical model checker	2022-01-11	Paper
Editorial	2022-01-11	Paper
Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints	2016-03-04	Paper
Session types for safe web service orchestration	2014-02-25	Paper
A state/event-based model-checking approach for the analysis of abstract system properties	2011-01-14	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2003	2010-05-26	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004	2005-08-18	Paper
Finite approximations for model checking non-finite-state processes	2002-04-08	Paper
Formally verifying fault tolerant system designs	2001-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4260381	1999-09-19	Paper
Assisting requirement formalization by means of natural language translation	1994-06-29	Paper
Model checking for action-based logics	1994-06-19	Paper
An action-based framework for veryfying logical and behavioural properties of concurrent systems	1993-06-29	Paper
Compositionality and bisimulation: A negative result	1992-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q3030238	1987-01-01	Paper

Research outcomes over time

This page was built for person: Alessandro Fantechi