Page 1 of 24

2001 Book Unknown

Formal verification
Bernardeschi C., Fantechi A., Gnesi S.
An abstract is not available.

1998 Other Unknown

Editorial
Gnesi S., Latella D.
In: Formal Aspects of Computing, 10 (1998), 311-312.

2002 Contribution to conference Unknown

Application of Linguistic Techniques for Requirements Analysis
Gnesi S.
An abstract is not availableSource: FM&&T Day, Pisa, Italy, 2002

See at: CNR ExploRA

2008 Other Unknown

Modellazione di sistemi ferroviari
Banci M., Fantechi A., Gnesi S., Lombardi G.
No abstract avaible

See at: CNR ExploRA

2002 Report Open Access

Towards model checking a spi-calculus dialect
Gnesi S., Latella D., Lenzini G.
An abstract is not availableSource: ISTI Technical reports, 2002

See at: ISTI Repository Open Access | CNR ExploRA

1992 Other Unknown

Transformation rules
De Nicola R., Fantechi A., Gnesi S., Inverardi P., Nesi M.
An abstract is not available

See at: CNR ExploRA

1996 Other Unknown

Formal specification and verification of the inter-channel consistency network
Bernardeschi C., Fantechi A., Gnesi S.
An abstract is not available

See at: CNR ExploRA

1997 Other Unknown

Validazione formale di meccanismi per la tolleranza ai guasti
Bernardeschi C., Fantechi A., Gnesi S.
An abstract is not avaiable

See at: CNR ExploRA

1994 Other Unknown

Semantics transformations of CCS terms into BPP terms
De Francesco, Gnesi S., Inverardi P.
An abstract is not available.

See at: CNR ExploRA

1998 Other Unknown

Second ERCIM international workshop on formal methods for industrial critical systems
Gnesi S., Latella D.
An abstract is not available.

See at: CNR ExploRA

1985 Other Unknown

On selecting the specification language(s) : guidelines
Gnesi S., Inverardi P., Manfredi F.
No abstract available

See at: CNR ExploRA

2000 Contribution to conference Unknown

Fifth International ERCIM Workshop on Formal Methods for Industrial Critical Systems
Gnesi S., Schieferdecker I., Rennoch A.
An abstract is not available

See at: CNR ExploRA

2008 Other Unknown

XXL - CNR/RSTL
Massink M., Bolognesi T., Latella D., Gnesi S., Maurice Ter Beek M. H.
No abstract avaible

See at: CNR ExploRA

2003 Report Unknown

D2.3b: Modal Logics for Behavioural Properties of Mobile Systems
Gnesi S., Mazzanti F.
Not availableSource: Project report, AGILE, Deliverable D2.3b, 2003

See at: CNR ExploRA

2001 Contribution to journal Unknown

Special issue on the fourth international workshop of the ERCIM working group on formal methods for industrial critical systems
Gnesi S., Latella D.
An abstract is not available.

See at: CNR ExploRA

2000 Contribution to journal Unknown

Science of Computer Programming. Special issue on formal methods for industrial critical systems
Quellar J., Gnesi S., Latella D.
Formal methods for industrial critical systems

See at: CNR ExploRA

1998 Contribution to journal Unknown

Formal Aspects of Computing. The International Journal of Formal Methods. Special issue on formal methods for industrial critical systems.
Gnesi S., Latella D.
formal methods for industrial critical systems.Source: Berlin: Springer-Verlag Berlin, 1998

See at: CNR ExploRA

1998 Contribution to journal Unknown

Formal Methods in System Design. An International Journal. Special issue on formal methods for industrial critical systems.
Gnesi S., Latella D.
Special issue on formal methods for industrial critical systems.Source: London: Kluwer Academic Publ., 1998

See at: CNR ExploRA

2012 Contribution to journal Restricted

Editorial in Formal Aspects of Computing
Fiadeiro J. L., Gnesi S., Maibaum T.
Source: Formal aspects of computing 24 (2012): 161–162. doi:10.1007/s00165-012-0224-9
DOI: 10.1007/s00165-012-0224-9
Metrics:

See at: link.springer.com Restricted | CNR ExploRA

2000 Conference article Unknown

Formal validation of UML statechart diagrams models.
Latella D., Gnesi S., Massink M.
An abstract is not available.Source: Dynamic Behaviour in UML Models: Semantic Questions Workshop, pp. 50–57, Universitat Munchen, Oktober 2000

See at: CNR ExploRA