Alessandro Fantechi

Available identifiers

zbMath Open fantechi.alessandroWikidataQ121125060 ScholiaQ121125060MaRDI QIDQ246444

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alessandro Fantechi