Travelled to:1 × Greece
1 × Hungary
1 × Italy
1 × Spain
1 × Switzerland
1 × United Kingdom
2 × Portugal
Collaborated with:R.Pugliese A.Lapadula R.D.Nicola M.Loreti A.Celestini N.Yoshida F.Corradini F.Fornari A.Polini B.R.0001 A.Vandin E.Giachino I.Lanese C.A.Mezzina E.Gjondrekaj L.Cesari Y.A.Alrahman R.Vigo A.Maggi M.Petrocchi A.Spognardi M.Amoretti A.Grazioli F.Zanichelli V.Senni A.Fantechi S.Gnesi F.Mazzanti
Talks about:languag (4) model (4) base (3) calculus (2) approach (2) process (2) coordin (2) formal (2) verif (2) tupl (2)
Person: Francesco Tiezzi
DBLP: Tiezzi:Francesco
Contributed to:
2015
2015
20152014201320122010
2009
2008
2007
2017Wrote 12 papers:
- PDP-2015-GiachinoLMT
- Causal-Consistent Reversibility in a Tuple-Based Language (EG, IL, CAM, FT), pp. 467–475.
- SAC-2015-AlrahmanNLTV #calculus #communication
- A calculus for attribute-based communication (YAA, RDN, ML, FT, RV), pp. 1840–1845.
- SEFM-2015-NicolaMPST #interactive #interpreter #modelling #twitter
- Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter (RDN, AM, MP, AS, FT), pp. 327–343.
- 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.
- SAC-2013-CelestiniNT #coordination #specification
- Specifying and analysing reputation systems with a coordination language (AC, RDN, FT), pp. 1363–1368.
- SAC-2012-GjondrekajLPT #adaptation #coordination #modelling
- Modeling adaptation with a tuple-based coordination language (EG, ML, RP, FT), pp. 1522–1527.
- SAC-2010-CesariLPT #agile #development
- A tool for rapid development of WS-BPEL applications (LC, AL, RP, FT), pp. 2438–2442.
- ICALP-v2-2009-PuglieseTY #on the
- On Observing Dynamic Prioritised Actions in SOC (RP, FT, NY), pp. 558–570.
- FASE-2008-FantechiGLMPT #approach #model checking #specification #verification
- A Model Checking Approach for Verifying COWS Specifications (AF, SG, AL, FM, RP, FT), pp. 230–245.
- ESOP-2007-LapadulaPT #calculus #distributed #web #web service
- A Calculus for Orchestration of Web Services (AL, RP, FT), pp. 33–47.
- ASE-2017-CorradiniFP0TV #framework #modelling #named #process #verification
- BProVe: a formal verification framework for business process models (FC, FF, AP, BR0, FT, AV), pp. 217–228.
- ASE-2017-CorradiniFP0TV17a #named #process #tool support #verification
- BProVe: tool support for business process verification (FC, FF, AP, BR0, FT, AV), pp. 937–942.