BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × Denmark
1 × Poland
1 × Spain
2 × United Kingdom
Collaborated with:
M.Ferrari A.Avellone M.Ornaghi A.Momigliano I.Poernomo G.Fiorino U.Moscato
Talks about:
logic (4) construct (3) framework (2) synthesi (2) program (2) formal (2) verif (2) model (2) transform (1) implement (1)

Person: Camillo Fiorentini

DBLP DBLP: Fiorentini:Camillo

Contributed to:

ICMT 20102010
LOPSTR 20072007
CSL 20042004
LOPSTR 20012001
LOPSTR 20002000
LOPSTR 20002000

Wrote 6 papers:

ICMT-2010-FiorentiniMOP #approach #model transformation #testing
A Constructive Approach to Testing Model Transformations (CF, AM, MO, IP), pp. 77–92.
LOPSTR-2007-FerrariFMO #generative #modelling #object-oriented
Snapshot Generation in a Constructive Object-Oriented Modeling Language (MF, CF, AM, MO), pp. 169–184.
CSL-2004-AvelloneFFM #calculus #implementation #logic #performance
A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation (AA, CF, GF, UM), pp. 488–502.
LOPSTR-2001-FerrariFO #bound #logic #proving
Extracting Exact Time Bounds from Logical Proofs (MF, CF, MO), pp. 245–266.
LOPSTR-2000-AvelloneFF #framework #logic programming #source code #synthesis #verification
A formal framework for synthesis and verification of logic programs (AA, MF, CF).
LOPSTR-J-2000-AvelloneFF #framework #logic programming #source code #synthesis #verification
A Formal Framework for Synthesis and Verification of Logic Programs (AA, MF, CF), pp. 1–17.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.