Travelled to:1 × Austria
1 × Czech Republic
1 × Denmark
1 × Italy
1 × USA
1 × United Kingdom
2 × France
2 × Portugal
Collaborated with:A.Pettorossi M.Proietti F.Fioravanti M.Stawowy D.Latella M.Loreti M.Massink M.Amoretti A.Grazioli F.Zanichelli F.Tiezzi
Talks about:program (8) logic (6) transform (4) constraint (3) use (3) existenti (2) variabl (2) special (2) infinit (2) elimin (2)
Person: Valerio Senni
DBLP: Senni:Valerio
Contributed to:
2014
2014
2014
2012
2011
2010201020092008200720062005Wrote 12 papers:
- GRAPHITE-2014-SenniS #knowledge base #reduction
- Backwards State-space Reduction for Planning in Dynamic Knowledge Bases (VS, MS), pp. 84–99.
- PDP-2014-AmorettiGZST #approach #formal method #in the cloud #mobile #towards
- Towards a Formal Approach to Mobile Cloud Computing (MA, AG, FZ, VS, FT), pp. 743–750.
- QAPL-2014-LatellaLMS #communication
- Stochastically timed predicate-based communication primitives for autonomic computing (DL, ML, MM, VS), pp. 1–16.
- TAP-2012-SenniF #constraints #data type #generative #logic programming #testing #using
- Generation of Test Data Structures Using Constraint Logic Programming (VS, FF), pp. 115–131.
- LOPSTR-2011-FioravantiPPS #using
- Using Real Relaxations during Program Specialization (FF, AP, MP, VS), pp. 106–122.
- ICLP-J-2010-PettorossiSP #infinity #logic programming #source code
- Transformations of logic programs on infinite lists (AP, VS, MP), pp. 383–399.
- LOPSTR-2010-FioravantiPPS #evaluation #infinity #verification
- Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (FF, AP, MP, VS), pp. 164–183.
- LOPSTR-2009-PettorossiPS #branch #logic #program transformation
- Deciding Full Branching Time Logic by Program Transformation (AP, MP, VS), pp. 5–21.
- ICLP-2008-SenniPP #algorithm #constraints #logic programming #source code
- A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs (VS, AP, MP), pp. 284–300.
- ICLP-2007-PettorossiPS #automation #correctness #logic programming #program transformation #proving
- Automatic Correctness Proofs for Logic Program Transformations (AP, MP, VS), pp. 364–379.
- ICLP-2006-PettorossiPS #constraints #logic programming #proving #source code
- Proving Properties of Constraint Logic Programs by Eliminating Existential Variables (AP, MP, VS), pp. 179–195.
- LOPSTR-2005-PettorossiPS #array #protocol #using #verification
- Transformational Verification of Parameterized Protocols Using Array Formulas (AP, MP, VS), pp. 23–43.