×

zbMATH — the first resource for mathematics

Fantechi, Alessandro

Compute Distance To:
Author ID: fantechi.alessandro Recent zbMATH articles by "Fantechi, Alessandro"
Published as: Fantechi, A.; Fantechi, Alessandro
External Links: ORCID · dblp
Documents Indexed: 15 Publications since 1987, including 2 Books

Publications by Year

Citations contained in zbMATH

10 Publications have been cited 45 times in 40 Documents Cited by Year
An action-based framework for verifying logical and behavioural properties of concurrent systems. Zbl 0789.68096
De Nicola, R.; Fantechi, A.; Gnesi, S.; Ristori, G.
12
1993
A state/event-based model-checking approach for the analysis of abstract system properties. Zbl 1213.68392
ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco
10
2011
Testing equivalences for event structures. Zbl 0626.68021
Aceto, Luca; De Nicola, Rocco; Fantechi, Alessandro
8
1987
Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints. Zbl 1351.68170
ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco
4
2016
Model checking for action-based logics. Zbl 0804.68086
Fantechi, Alessandro; Gnesi, Stefania; Ristori, Gioia
4
1994
Formally verifying fault tolerant system designs. Zbl 0969.68567
Bernardeschi, Cinzia; Fantechi, Alessandro; Simoncini, Luca
3
2000
Session types for safe web service orchestration. Zbl 1283.68065
Michaux, Jonathan; Najm, Elie; Fantechi, Alessandro
1
2013
Behavioural contracts for a sound assembly of components. Zbl 1279.68025
Carrez, Cyril; Fantechi, Alessandro; Najm, Elie
1
2003
Assisting requirement formalization by means of natural language translation. Zbl 0800.68648
Fantechi, A.; Gnesi, S.; Ristori, G.; Carenini, M.; Vanocchi, M.; Moreschini, P.
1
1994
Compositionality and bisimulation: A negative result. Zbl 0735.68057
Fantechi, Alessandro; Gnesi, Stefania; Ristori, Gioia
1
1991
Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints. Zbl 1351.68170
ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco
4
2016
Session types for safe web service orchestration. Zbl 1283.68065
Michaux, Jonathan; Najm, Elie; Fantechi, Alessandro
1
2013
A state/event-based model-checking approach for the analysis of abstract system properties. Zbl 1213.68392
ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco
10
2011
Behavioural contracts for a sound assembly of components. Zbl 1279.68025
Carrez, Cyril; Fantechi, Alessandro; Najm, Elie
1
2003
Formally verifying fault tolerant system designs. Zbl 0969.68567
Bernardeschi, Cinzia; Fantechi, Alessandro; Simoncini, Luca
3
2000
Model checking for action-based logics. Zbl 0804.68086
Fantechi, Alessandro; Gnesi, Stefania; Ristori, Gioia
4
1994
Assisting requirement formalization by means of natural language translation. Zbl 0800.68648
Fantechi, A.; Gnesi, S.; Ristori, G.; Carenini, M.; Vanocchi, M.; Moreschini, P.
1
1994
An action-based framework for verifying logical and behavioural properties of concurrent systems. Zbl 0789.68096
De Nicola, R.; Fantechi, A.; Gnesi, S.; Ristori, G.
12
1993
Compositionality and bisimulation: A negative result. Zbl 0735.68057
Fantechi, Alessandro; Gnesi, Stefania; Ristori, Gioia
1
1991
Testing equivalences for event structures. Zbl 0626.68021
Aceto, Luca; De Nicola, Rocco; Fantechi, Alessandro
8
1987
all top 5

Cited by 89 Authors

7 Gnesi, Stefania
5 Fantechi, Alessandro
4 ter Beek, Maurice H.
3 Bozhenkova, Elena N.
3 Mazzanti, Franco
3 Ristori, Gioia
2 Cao, Yongzhi
2 De Nicola, Rocco
2 Pan, Haiyu
2 Pugliese, Rosario
2 Virbitskaite, Irina B.
1 Abreu Júnior, João Carlos
1 Archer, Myla M.
1 Bae, Kyungmin
1 Basile, Davide
1 Bauer, Sebastian S.
1 Boudol, Gérard
1 Brabrand, Claus
1 Brezočnik, Zmago
1 Bujtor, Ferenc
1 Carenini, Marco
1 Castellani, Ilaria
1 Chechik, Marsha
1 Chen, Yixiang
1 de Vink, Erik P.
1 Degano, Pierpaolo
1 Dimovski, Aleksandar S.
1 Dragoni, Nicola
1 El-Zawawy, Mohamed A.
1 Ferrari, Gian Luigi
1 Fiadeiro, José Luiz
1 Fokkink, Willem Jan
1 Garavel, Hubert
1 Gaspari, Mauro
1 Geisler, S.
1 Gervasi, Vincenzo
1 Ghassemi, Fatemeh
1 Ghezzi, Carlo
1 Girault, Alain
1 Gunawardena, Jeremy
1 Haxthausen, Anne Elisabeth
1 Heitmeyer, Constance L.
1 Inverardi, Paola
1 Jeffords, Ralph D.
1 Kapus, Tatjana
1 Kaufmann, Petra
1 Kimura, Shigetomo
1 Kronegger, Martin
1 Lang, Frédéric
1 Latella, Diego
1 Leonard, Elizabeth I.
1 Li, Yongming
1 Lochau, Malte
1 Lopes, Antónia
1 Luthmann, Lars
1 Ma, Zhanyou
1 Martí-Oliet, Narcisco
1 Martín, Óscar
1 Massink, Mieke
1 Mateescu, Radu
1 Menghi, Claudio
1 Meolic, Robert
1 Meseguer Guaita, José
1 Meyer, John-Jules Charles
1 Mohr, Paul
1 Montanari, Ugo G.
1 Moreschini, P.
1 Mousavi, Mohammad Reza
1 Nuseibeh, Bashar
1 Pfandler, Andreas
1 Priami, Corrado
1 Reniers, Michel Adriaan
1 Rutten, Eric
1 Schroeder, Andreas
1 Seidl, Martina
1 Shiratori, Norio
1 Spoletini, Paola
1 Tiezzi, Francesco
1 Togashi, Atsushi
1 Vaandrager, Frits W.
1 Vanocchi, M.
1 Varshosaz, Mahsa
1 Verdejo, Alberto
1 Vogler, Walter
1 Wąsowski, Andrzej
1 Widl, Magdalena
1 Willemse, Tim A. C.
1 Wirsing, Martin
1 Zhang, Min

Citations by Year