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: Fiorentini:Camillo
Contributed to:
2010
2007
2004200120002000Wrote 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.