Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(101)
Stefania Gnesi
65
Cinzia Bernardeschi
16
Maurice H. Ter Beek
9
Giuseppe Lami
9
Michele Banci
8
Conferences
(36)
FMICS
7
FORTE
6
ESEC
3
FMOODS
3
SPLC
2
Journals
(21)
FMSD
4
ENTCS
4
SCP
2
CJ
2
ERCIM
2
Keywords
(189)
Embed
Subscribe
Academic
Authors
Alessandro Fantechi
Alessandro Fantechi,Università degli Studi di Firenze,Software Engineering,Distributed & Parallel Computing,Networks & Communications
Edit
Alessandro Fantechi
Università degli Studi di Firenze
Publications:
108
|
Citations:
691
Fields:
Software Engineering
,
Distributed & Parallel Computing
,
Networks & Communications
View FAQ about top research areas and Fields of study
Collaborated with
101 co-authors
from 1981 to 2011
|
Cited by
911 authors
Cumulative
Annual
Sort by:
Publications
(108)
BibTeX
|
RIS
|
RefWorks
Download
A state/event-based model-checking approach for the analysis of abstract system properties
(
Citations: 2
)
Maurice H. ter Beek
,
Alessandro Fantechi
,
Stefania Gnesi
,
Franco Mazzanti
Journal:
Science of Computer Programming - SCP
, vol. 76, no. 2, pp. 119-135, 2011
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008)
Darren D. Cofer
,
Alessandro Fantechi
,
Stefan Leue
,
Pedro Merino
Journal:
Science of Computer Programming - SCP
, vol. 76, no. 2, pp. 63-64, 2011
Variability and Rigour in Service Computing Engineering
Maurice H. ter Beek
,
Stefania Gnesi
,
Alessandro Fantechi
,
Jose L. Fiadeiro
Conference:
Annual Software Engineering Workshop - SEW
, pp. 122-127, 2011
Formal Description of Variability in Product Families
Patrizia Asirelli
,
Maurice H. ter Beek
,
Stefania Gnesi
,
Alessandro Fantechi
Conference:
Southern Conference on Programmable Logic - SPL
, 2011
A Deontic Logical Framework for Modelling Product Families
(
Citations: 4
)
Patrizia Asirelli
,
Maurice H. ter Beek
,
Stefania Gnesi
,
Alessandro Fantechi
Published in 2010.
Sort by:
Citations
(691 times by 547 publications)
An abstract model of service discovery and binding
(
Citations: 5
)
José Luiz Fiadeiro
,
Antónia Lopes
,
Laura Bocchi
Journal:
Formal Aspects of Computing - FAC
, vol. 23, no. 4, pp. 433-463, 2011
Folk Theorems on the Correspondence between State-Based and Event-Based Systems
(
Citations: 2
)
Michel A. Reniers
Journal:
Computing Research Repository - CORR
, vol. abs/1011.0, pp. 494-505, 2011
An approach to automatic development of interlocking logic based on Statechart
(
Citations: 5
)
Xiangxian Chen
,
Yulin He
,
Hai Huang
Journal:
Enterprise Information Systems - ENTERP INF SYST
, vol. ahead-of-p, no. ahead-of-p, pp. 1-14, 2011
Symbolic model checking of software product lines
(
Citations: 2
)
Andreas Classen
,
Patrick Heymans
,
Pierre-Yves Schobbens
,
Axel Legay
Conference:
International Conference on Software Engineering - ICSE
, pp. 321-330, 2011
Proof Composition for Deductive Verification of Software Product Lines
(
Citations: 1
)
Thomas Thüm
,
Ina Schaefer
,
Martin Kuhlemann
,
Sven Apel
Conference:
International Conference on Software Testing, Verification, and Validation - ICST
, 2011
Comments