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 × 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 DBLP: Tiezzi:Francesco

Contributed to:

PDP 20152015
SAC 20152015
SEFM 20152015
PDP 20142014
SAC 20132013
SAC 20122012
SAC 20102010
ICALP (2) 20092009
FASE 20082008
ESOP 20072007
ASE 20172017

Wrote 12 papers:

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.

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.