Alessandro Fantechi

MaRDI QIDQ246444zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Compositional verification of railway interlocking systems Formal Aspects of Computing	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 Journal of Logical and Algebraic Methods in Programming	2024-03-20	Paper
From behavioural contracts to session types Models, Languages, and Tools for Concurrent and Distributed Programming	2024-02-23	Paper
Towards automatic temporal logic verification of value passing process algebra using abstract interpretation CONCUR '96: Concurrency Theory	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 Formal Aspects of Computing	2022-01-11	Paper
Editorial Formal Aspects of Computing	2022-01-11	Paper
Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints Journal of Logical and Algebraic Methods in Programming	2016-03-04	Paper
Session types for safe web service orchestration The Journal of Logic and Algebraic Programming	2014-02-25	Paper
A state/event-based model-checking approach for the analysis of abstract system properties Science of Computer Programming	2011-01-14	Paper
Behavioural contracts for a sound assembly of components Lecture Notes in Computer Science	2010-05-26	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004 Lecture Notes in Computer Science	2005-08-18	Paper
Finite approximations for model checking non-finite-state processes The Computer Journal. Section A Section B	2002-04-08	Paper
Formally verifying fault tolerant system designs The Computer Journal. Section A Section B	2001-10-01	Paper
scientific article; zbMATH DE number 1333607 (Why is no real title available?)	1999-09-19	Paper
Assisting requirement formalization by means of natural language translation Formal Methods in System Design	1994-06-29	Paper
Model checking for action-based logics Formal Methods in System Design	1994-06-19	Paper
An action-based framework for veryfying logical and behavioural properties of concurrent systems Computer Networks and ISDN Systems	1993-06-29	Paper
Compositionality and bisimulation: A negative result Information Processing Letters	1992-06-27	Paper
scientific article; zbMATH DE number 4018369 (Why is no real title available?)	1987-01-01	Paper

Research outcomes over time

This page was built for person: Alessandro Fantechi