BibTeX records: Francesco Tiezzi

download as .bib file

@article{DBLP:journals/jlp/MaggiPST17,
  author    = {Alessandro Maggi and
               Marinella Petrocchi and
               Angelo Spognardi and
               Francesco Tiezzi},
  title     = {A language-based approach to modelling and analysis of Twitter interactions},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {87},
  pages     = {67--91},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.jlamp.2016.11.003},
  doi       = {10.1016/j.jlamp.2016.11.003},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jlp/MaggiPST17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jlp/GiachinoLMT17,
  author    = {Elena Giachino and
               Ivan Lanese and
               Claudio Antares Mezzina and
               Francesco Tiezzi},
  title     = {Causal-consistent rollback in a tuple-based language},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {88},
  pages     = {99--120},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.jlamp.2016.09.003},
  doi       = {10.1016/j.jlamp.2016.09.003},
  timestamp = {Fri, 15 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jlp/GiachinoLMT17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/soca/CesariPT17,
  author    = {Luca Cesari and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {Blind-date conversation joining},
  journal   = {Service Oriented Computing and Applications},
  volume    = {11},
  number    = {3},
  pages     = {265--283},
  year      = {2017},
  url       = {https://doi.org/10.1007/s11761-017-0214-0},
  doi       = {10.1007/s11761-017-0214-0},
  timestamp = {Wed, 06 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/soca/CesariPT17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/bis/CorradiniFMPRT17,
  author    = {Flavio Corradini and
               Fabrizio Fornari and
               Chiara Muzi and
               Andrea Polini and
               Barbara Re and
               Francesco Tiezzi},
  title     = {On Avoiding Erroneous Synchronization in {BPMN} Processes},
  booktitle = {Business Information Systems - 20th International Conference, {BIS}
               2017, Poznan, Poland, June 28-30, 2017, Proceedings},
  pages     = {106--119},
  year      = {2017},
  crossref  = {DBLP:conf/bis/2017},
  url       = {https://doi.org/10.1007/978-3-319-59336-4_8},
  doi       = {10.1007/978-3-319-59336-4_8},
  timestamp = {Tue, 12 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/bis/CorradiniFMPRT17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/caise/CorradiniP0RT17,
  author    = {Flavio Corradini and
               Andrea Polini and
               Barbara Re and
               Lorenzo Rossi and
               Francesco Tiezzi},
  title     = {Supporting Multi-layer Modeling in {BPMN} Collaborations},
  booktitle = {Enterprise and Organizational Modeling and Simulation - 13th International
               Workshop, {EOMAS} 2017, Held at CAiSE 2017, Essen, Germany, June 12-13,
               2017, Selected Papers},
  pages     = {53--67},
  year      = {2017},
  crossref  = {DBLP:conf/caise/2017eomas},
  url       = {https://doi.org/10.1007/978-3-319-68185-6_4},
  doi       = {10.1007/978-3-319-68185-6_4},
  timestamp = {Mon, 02 Oct 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/caise/CorradiniP0RT17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CorradiniFP0TV17,
  author    = {Flavio Corradini and
               Fabrizio Fornari and
               Andrea Polini and
               Barbara Re and
               Francesco Tiezzi and
               Andrea Vandin},
  title     = {BProVe: a formal verification framework for business process models},
  booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
               Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
               03, 2017},
  pages     = {217--228},
  year      = {2017},
  crossref  = {DBLP:conf/kbse/2017},
  url       = {http://dl.acm.org/citation.cfm?id=3155593},
  timestamp = {Mon, 30 Oct 2017 16:53:06 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/CorradiniFP0TV17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CorradiniFP0TV17a,
  author    = {Flavio Corradini and
               Fabrizio Fornari and
               Andrea Polini and
               Barbara Re and
               Francesco Tiezzi and
               Andrea Vandin},
  title     = {BProVe: tool support for business process verification},
  booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
               Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
               03, 2017},
  pages     = {937--942},
  year      = {2017},
  crossref  = {DBLP:conf/kbse/2017},
  url       = {http://dl.acm.org/citation.cfm?id=3155682},
  timestamp = {Mon, 30 Oct 2017 16:53:06 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/CorradiniFP0TV17a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tnsm/UriarteTT16,
  author    = {Rafael Brundo Uriarte and
               Francesco Tiezzi and
               Sotirios A. Tsaftaris},
  title     = {Supporting Autonomic Management of Clouds: Service Clustering With
               Random Forest},
  journal   = {{IEEE} Trans. Network and Service Management},
  volume    = {13},
  number    = {3},
  pages     = {595--607},
  year      = {2016},
  url       = {https://doi.org/10.1109/TNSM.2016.2569000},
  doi       = {10.1109/TNSM.2016.2569000},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tnsm/UriarteTT16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/esocc/UriarteTN16,
  author    = {Rafael Brundo Uriarte and
               Francesco Tiezzi and
               Rocco {De Nicola}},
  title     = {Dynamic SLAs for Clouds},
  booktitle = {Service-Oriented and Cloud Computing - 5th {IFIP} {WG} 2.14 European
               Conference, {ESOCC} 2016, Vienna, Austria, September 5-7, 2016, Proceedings},
  pages     = {34--49},
  year      = {2016},
  crossref  = {DBLP:conf/esocc/2016},
  url       = {https://doi.org/10.1007/978-3-319-44482-6_3},
  doi       = {10.1007/978-3-319-44482-6_3},
  timestamp = {Thu, 15 Jun 2017 21:36:43 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/esocc/UriarteTN16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/rc/TiezziY16,
  author    = {Francesco Tiezzi and
               Nobuko Yoshida},
  title     = {Reversing Single Sessions},
  booktitle = {Reversible Computation - 8th International Conference, {RC} 2016,
               Bologna, Italy, July 7-8, 2016, Proceedings},
  pages     = {52--69},
  year      = {2016},
  crossref  = {DBLP:conf/rc/2016},
  url       = {https://doi.org/10.1007/978-3-319-40578-0_4},
  doi       = {10.1007/978-3-319-40578-0_4},
  timestamp = {Fri, 19 May 2017 01:26:11 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/rc/TiezziY16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/MargheriMPT16,
  author    = {Andrea Margheri and
               Massimiliano Masi and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {A Rigorous Framework for Specification, Analysis and Enforcement of
               Access Control Policies},
  journal   = {CoRR},
  volume    = {abs/1612.09339},
  year      = {2016},
  url       = {http://arxiv.org/abs/1612.09339},
  archivePrefix = {arXiv},
  eprint    = {1612.09339},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/MargheriMPT16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jlp/TiezziY15,
  author    = {Francesco Tiezzi and
               Nobuko Yoshida},
  title     = {Reversible session-based pi-calculus},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {84},
  number    = {5},
  pages     = {684--707},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.jlamp.2015.03.004},
  doi       = {10.1016/j.jlamp.2015.03.004},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jlp/TiezziY15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/soca/AmorettiGSTZ15,
  author    = {Michele Amoretti and
               Alessandro Grazioli and
               Valerio Senni and
               Francesco Tiezzi and
               Francesco Zanichelli},
  title     = {A formalized framework for mobile cloud computing},
  journal   = {Service Oriented Computing and Applications},
  volume    = {9},
  number    = {3-4},
  pages     = {229--248},
  year      = {2015},
  url       = {https://doi.org/10.1007/s11761-014-0169-3},
  doi       = {10.1007/s11761-014-0169-3},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/soca/AmorettiGSTZ15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MontanariPT15,
  author    = {Ugo Montanari and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {Programming Autonomic Systems with Multiple Constraint Stores},
  booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
               on the Occasion of His Retirement from the Chair of Programming and
               Software Engineering},
  pages     = {641--661},
  year      = {2015},
  crossref  = {DBLP:conf/birthday/2015wirsing},
  url       = {https://doi.org/10.1007/978-3-319-15545-6_36},
  doi       = {10.1007/978-3-319-15545-6_36},
  timestamp = {Tue, 23 May 2017 01:06:45 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/birthday/MontanariPT15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ccgrid/UriarteTT15,
  author    = {Rafael Brundo Uriarte and
               Sotirios A. Tsaftaris and
               Francesco Tiezzi},
  title     = {Service Clustering for Autonomic Clouds Using Random Forest},
  booktitle = {15th {IEEE/ACM} International Symposium on Cluster, Cloud and Grid
               Computing, CCGrid 2015, Shenzhen, China, May 4-7, 2015},
  pages     = {515--524},
  year      = {2015},
  crossref  = {DBLP:conf/ccgrid/2015},
  url       = {https://doi.org/10.1109/CCGrid.2015.41},
  doi       = {10.1109/CCGrid.2015.41},
  timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ccgrid/UriarteTT15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/facs2/AcetoLMT15,
  author    = {Luca Aceto and
               Kim G. Larsen and
               Andrea Morichetta and
               Francesco Tiezzi},
  title     = {A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud
               Computing},
  booktitle = {Formal Aspects of Component Software - 12th International Conference,
               {FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised
               Selected Papers},
  pages     = {66--85},
  year      = {2015},
  crossref  = {DBLP:conf/facs2/2015},
  url       = {https://doi.org/10.1007/978-3-319-28934-2_4},
  doi       = {10.1007/978-3-319-28934-2_4},
  timestamp = {Fri, 19 May 2017 01:26:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/facs2/AcetoLMT15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/facs2/CorradiniPRT15,
  author    = {Flavio Corradini and
               Andrea Polini and
               Barbara Re and
               Francesco Tiezzi},
  title     = {An Operational Semantics of {BPMN} Collaboration},
  booktitle = {Formal Aspects of Component Software - 12th International Conference,
               {FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised
               Selected Papers},
  pages     = {161--180},
  year      = {2015},
  crossref  = {DBLP:conf/facs2/2015},
  url       = {https://doi.org/10.1007/978-3-319-28934-2_9},
  doi       = {10.1007/978-3-319-28934-2_9},
  timestamp = {Tue, 12 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/facs2/CorradiniPRT15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mobilecloud/AcetoMT15,
  author    = {Luca Aceto and
               Andrea Morichetta and
               Francesco Tiezzi},
  title     = {Decision Support for Mobile Cloud Computing Applications via Model
               Checking},
  booktitle = {3rd {IEEE} International Conference on Mobile Cloud Computing, Services,
               and Engineering, MobileCloud 2015, San Francisco, CA, USA, March 30
               - April 3, 2015},
  pages     = {199--204},
  year      = {2015},
  crossref  = {DBLP:conf/mobilecloud/2015},
  url       = {https://doi.org/10.1109/MobileCloud.2015.21},
  doi       = {10.1109/MobileCloud.2015.21},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mobilecloud/AcetoMT15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pdp/GiachinoLMT15,
  author    = {Elena Giachino and
               Ivan Lanese and
               Claudio Antares Mezzina and
               Francesco Tiezzi},
  title     = {Causal-Consistent Reversibility in a Tuple-Based Language},
  booktitle = {23rd Euromicro International Conference on Parallel, Distributed,
               and Network-Based Processing, {PDP} 2015, Turku, Finland, March 4-6,
               2015},
  pages     = {467--475},
  year      = {2015},
  crossref  = {DBLP:conf/pdp/2015},
  url       = {https://doi.org/10.1109/PDP.2015.98},
  doi       = {10.1109/PDP.2015.98},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pdp/GiachinoLMT15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sac/AlrahmanNLTV15,
  author    = {Yehia Abd Alrahman and
               Rocco {De Nicola} and
               Michele Loreti and
               Francesco Tiezzi and
               Roberto Vigo},
  title     = {A calculus for attribute-based communication},
  booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
               Salamanca, Spain, April 13-17, 2015},
  pages     = {1840--1845},
  year      = {2015},
  crossref  = {DBLP:conf/sac/2015},
  url       = {http://doi.acm.org/10.1145/2695664.2695668},
  doi       = {10.1145/2695664.2695668},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sac/AlrahmanNLTV15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sefm/NicolaMPST15,
  author    = {Rocco {De Nicola} and
               Alessandro Maggi and
               Marinella Petrocchi and
               Angelo Spognardi and
               Francesco Tiezzi},
  title     = {Twitlang(er): Interactions Modeling Language (and Interpreter) for
               Twitter},
  booktitle = {Software Engineering and Formal Methods - 13th International Conference,
               {SEFM} 2015, York, UK, September 7-11, 2015. Proceedings},
  pages     = {327--343},
  year      = {2015},
  crossref  = {DBLP:conf/sefm/2015},
  url       = {https://doi.org/10.1007/978-3-319-22969-0_23},
  doi       = {10.1007/978-3-319-22969-0_23},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sefm/NicolaMPST15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/MargheriPT15,
  author    = {Andrea Margheri and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {On Properties of Policy-Based Specifications},
  booktitle = {Proceedings 11th International Workshop on Automated Specification
               and Verification of Web Systems, {WWV} 2015, Oslo, Norway, 23rd June
               2015.},
  pages     = {33--50},
  year      = {2015},
  crossref  = {DBLP:journals/corr/BeekL15},
  url       = {https://doi.org/10.4204/EPTCS.188.5},
  doi       = {10.4204/EPTCS.188.5},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/MargheriPT15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/HoangSTPN15,
  author    = {Van Tien Hoang and
               Angelo Spognardi and
               Francesco Tiezzi and
               Marinella Petrocchi and
               Rocco {De Nicola}},
  title     = {Domain-specific queries and Web search personalization: some investigations},
  booktitle = {Proceedings 11th International Workshop on Automated Specification
               and Verification of Web Systems, {WWV} 2015, Oslo, Norway, 23rd June
               2015.},
  pages     = {51--58},
  year      = {2015},
  crossref  = {DBLP:journals/corr/BeekL15},
  url       = {https://doi.org/10.4204/EPTCS.188.6},
  doi       = {10.4204/EPTCS.188.6},
  timestamp = {Wed, 03 May 2017 14:47:56 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/HoangSTPN15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:series/lncs/NicolaLLLMMMPTV15,
  author    = {Rocco {De Nicola} and
               Diego Latella and
               Alberto Lluch{-}Lafuente and
               Michele Loreti and
               Andrea Margheri and
               Mieke Massink and
               Andrea Morichetta and
               Rosario Pugliese and
               Francesco Tiezzi and
               Andrea Vandin},
  title     = {The {SCEL} Language: Design, Implementation, Verification},
  booktitle = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
               Approach},
  pages     = {3--71},
  year      = {2015},
  crossref  = {DBLP:series/lncs/8998},
  url       = {https://doi.org/10.1007/978-3-319-16310-9_1},
  doi       = {10.1007/978-3-319-16310-9_1},
  timestamp = {Tue, 16 May 2017 14:24:28 +0200},
  biburl    = {http://dblp.org/rec/bib/series/lncs/NicolaLLLMMMPTV15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:series/lncs/CombazBTMPK15,
  author    = {Jacques Combaz and
               Saddek Bensalem and
               Francesco Tiezzi and
               Andrea Margheri and
               Rosario Pugliese and
               Jan Kofron},
  title     = {Correctness of Service Components and Service Component Ensembles},
  booktitle = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
               Approach},
  pages     = {107--159},
  year      = {2015},
  crossref  = {DBLP:series/lncs/8998},
  url       = {https://doi.org/10.1007/978-3-319-16310-9_3},
  doi       = {10.1007/978-3-319-16310-9_3},
  timestamp = {Tue, 16 May 2017 14:24:28 +0200},
  biburl    = {http://dblp.org/rec/bib/series/lncs/CombazBTMPK15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:series/lncs/MayerVKHPTPKB15,
  author    = {Philip Mayer and
               Jos{\'{e}} Velasco and
               Annabelle Klarl and
               Rolf Hennicker and
               Mariachiara Puviani and
               Francesco Tiezzi and
               Rosario Pugliese and
               Jaroslav Keznikl and
               Tom{\'{a}}s Bures},
  title     = {The Autonomic Cloud},
  booktitle = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
               Approach},
  pages     = {495--512},
  year      = {2015},
  crossref  = {DBLP:series/lncs/8998},
  url       = {https://doi.org/10.1007/978-3-319-16310-9_16},
  doi       = {10.1007/978-3-319-16310-9_16},
  timestamp = {Tue, 16 May 2017 14:24:28 +0200},
  biburl    = {http://dblp.org/rec/bib/series/lncs/MayerVKHPTPKB15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/TiezziY15,
  author    = {Francesco Tiezzi and
               Nobuko Yoshida},
  title     = {Reversing Single Sessions},
  journal   = {CoRR},
  volume    = {abs/1510.07253},
  year      = {2015},
  url       = {http://arxiv.org/abs/1510.07253},
  archivePrefix = {arXiv},
  eprint    = {1510.07253},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/TiezziY15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/eatcs/Lanese14,
  author    = {Ivan Lanese and
               Claudio Antares Mezzina and
               Francesco Tiezzi},
  title     = {Causal-Consistent Reversibility},
  journal   = {Bulletin of the {EATCS}},
  volume    = {114},
  year      = {2014},
  url       = {http://eatcs.org/beatcs/index.php/beatcs/article/view/305},
  timestamp = {Wed, 19 Nov 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/eatcs/Lanese14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/taas/NicolaLPT14,
  author    = {Rocco {De Nicola} and
               Michele Loreti and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {A Formal Approach to Autonomic Systems Programming: The {SCEL} Language},
  journal   = {{TAAS}},
  volume    = {9},
  number    = {2},
  pages     = {7:1--7:29},
  year      = {2014},
  url       = {http://doi.acm.org/10.1145/2619998},
  doi       = {10.1145/2619998},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/taas/NicolaLPT14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aina/CelestiniCNMMPT14,
  author    = {Alessandro Celestini and
               Gianpiero Costantino and
               Rocco {De Nicola} and
               Zakaria Maamar and
               Fabio Martinelli and
               Marinella Petrocchi and
               Francesco Tiezzi},
  title     = {Reputation-Based Composition of Social Web Services},
  booktitle = {28th {IEEE} International Conference on Advanced Information Networking
               and Applications, {AINA} 2014, Victoria, BC, Canada, May 13-16, 2014},
  pages     = {735--742},
  year      = {2014},
  crossref  = {DBLP:conf/aina/2014},
  url       = {https://doi.org/10.1109/AINA.2014.90},
  doi       = {10.1109/AINA.2014.90},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aina/CelestiniCNMMPT14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/etaps/NicolaLLMPST14,
  author    = {Rocco {De Nicola} and
               Alberto Lluch{-}Lafuente and
               Michele Loreti and
               Andrea Morichetta and
               Rosario Pugliese and
               Valerio Senni and
               Francesco Tiezzi},
  title     = {Programming and Verifying Component Ensembles},
  booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS}
               Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France,
               April 6, 2014. Proceedings},
  pages     = {69--83},
  year      = {2014},
  crossref  = {DBLP:conf/etaps/2014fps},
  url       = {https://doi.org/10.1007/978-3-642-54848-2_5},
  doi       = {10.1007/978-3-642-54848-2_5},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/etaps/NicolaLLMPST14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ifiptm/CelestiniLMST14,
  author    = {Alessandro Celestini and
               Alberto Lluch{-}Lafuente and
               Philip Mayer and
               Stefano Sebastio and
               Francesco Tiezzi},
  title     = {Reputation-Based Cooperation in the Clouds},
  booktitle = {Trust Management {VIII} - 8th {IFIP} {WG} 11.11 International Conference,
               {IFIPTM} 2014, Singapore, July 7-10, 2014. Proceedings},
  pages     = {213--220},
  year      = {2014},
  crossref  = {DBLP:conf/ifiptm/2014},
  url       = {https://doi.org/10.1007/978-3-662-43813-8_15},
  doi       = {10.1007/978-3-662-43813-8_15},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ifiptm/CelestiniLMST14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/isola/CabriCCNPTZ14,
  author    = {Giacomo Cabri and
               Nicola Capodieci and
               Luca Cesari and
               Rocco {De Nicola} and
               Rosario Pugliese and
               Francesco Tiezzi and
               Franco Zambonelli},
  title     = {Self-expression and Dynamic Attribute-Based Ensembles in {SCEL}},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
               Technologies for Mastering Change - 6th International Symposium, ISoLA
               2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
               {I}},
  pages     = {147--163},
  year      = {2014},
  crossref  = {DBLP:conf/isola/2014-1},
  url       = {https://doi.org/10.1007/978-3-662-45234-9_11},
  doi       = {10.1007/978-3-662-45234-9_11},
  timestamp = {Tue, 23 May 2017 01:12:13 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/isola/CabriCCNPTZ14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/isola/LoretiMPT14,
  author    = {Michele Loreti and
               Andrea Margheri and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {On Programming and Policing Autonomic Computing Systems},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
               Technologies for Mastering Change - 6th International Symposium, ISoLA
               2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
               {I}},
  pages     = {164--183},
  year      = {2014},
  crossref  = {DBLP:conf/isola/2014-1},
  url       = {https://doi.org/10.1007/978-3-662-45234-9_12},
  doi       = {10.1007/978-3-662-45234-9_12},
  timestamp = {Tue, 23 May 2017 01:12:13 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/isola/LoretiMPT14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pdp/AmorettiGZST14,
  author    = {Michele Amoretti and
               Alessandro Grazioli and
               Francesco Zanichelli and
               Valerio Senni and
               Francesco Tiezzi},
  title     = {Towards a Formal Approach to Mobile Cloud Computing},
  booktitle = {22nd Euromicro International Conference on Parallel, Distributed,
               and Network-Based Processing, {PDP} 2014, Torino, Italy, February
               12-14, 2014},
  pages     = {743--750},
  year      = {2014},
  crossref  = {DBLP:conf/pdp/2014},
  url       = {https://doi.org/10.1109/PDP.2014.42},
  doi       = {10.1109/PDP.2014.42},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pdp/AmorettiGZST14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tgc/VigoCTNNN14,
  author    = {Roberto Vigo and
               Alessandro Celestini and
               Francesco Tiezzi and
               Rocco {De Nicola} and
               Flemming Nielson and
               Hanne Riis Nielson},
  title     = {Trust-Based Enforcement of Security Policies},
  booktitle = {Trustworthy Global Computing - 9th International Symposium, {TGC}
               2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers},
  pages     = {176--191},
  year      = {2014},
  crossref  = {DBLP:conf/tgc/2014},
  url       = {https://doi.org/10.1007/978-3-662-45917-1_12},
  doi       = {10.1007/978-3-662-45917-1_12},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tgc/VigoCTNNN14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ucc/UriarteTN14,
  author    = {Rafael Brundo Uriarte and
               Francesco Tiezzi and
               Rocco {De Nicola}},
  title     = {{SLAC:} {A} Formal Service-Level-Agreement Language for Cloud Computing},
  booktitle = {Proceedings of the 7th {IEEE/ACM} International Conference on Utility
               and Cloud Computing, {UCC} 2014, London, United Kingdom, December
               8-11, 2014},
  pages     = {419--426},
  year      = {2014},
  crossref  = {DBLP:conf/ucc/2014},
  url       = {https://doi.org/10.1109/UCC.2014.53},
  doi       = {10.1109/UCC.2014.53},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ucc/UriarteTN14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/TiezziY14,
  author    = {Francesco Tiezzi and
               Nobuko Yoshida},
  title     = {Towards Reversible Sessions},
  booktitle = {Proceedings 7th Workshop on Programming Language Approaches to Concurrency
               and Communication-cEntric Software, {PLACES} 2014, Grenoble, France,
               12 April 2014.},
  pages     = {17--24},
  year      = {2014},
  crossref  = {DBLP:journals/corr/DonaldsonV14},
  url       = {https://doi.org/10.4204/EPTCS.155.3},
  doi       = {10.4204/EPTCS.155.3},
  timestamp = {Wed, 03 May 2017 14:47:57 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/TiezziY14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jlp/KovacsPST13,
  author    = {Laura Kov{\'{a}}cs and
               Rosario Pugliese and
               Josep Silva and
               Francesco Tiezzi},
  title     = {Special issue on Automated Specification and Verification of Web Systems},
  journal   = {J. Log. Algebr. Program.},
  volume    = {82},
  number    = {8},
  pages     = {241--242},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.jlap.2013.05.007},
  doi       = {10.1016/j.jlap.2013.05.007},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jlp/KovacsPST13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/biostec/MargheriMPT13,
  author    = {Andrea Margheri and
               Massimiliano Masi and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {On a Formal and User-friendly Linguistic Approach to Access Control
               of Electronic Health Data},
  booktitle = {{HEALTHINF} 2013 - Proceedings of the International Conference on
               Health Informatics, Barcelona, Spain, 11-14 February, 2013.},
  pages     = {263--268},
  year      = {2013},
  crossref  = {DBLP:conf/biostec/2013hi},
  timestamp = {Tue, 01 Oct 2013 19:05:16 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/biostec/MargheriMPT13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/facs2/CesariNPPTZ13,
  author    = {Luca Cesari and
               Rocco {De Nicola} and
               Rosario Pugliese and
               Mariachiara Puviani and
               Francesco Tiezzi and
               Franco Zambonelli},
  title     = {Formalising Adaptation Patterns for Autonomic Ensembles},
  booktitle = {Formal Aspects of Component Software - 10th International Symposium,
               {FACS} 2013, Nanchang, China, October 27-29, 2013, Revised Selected
               Papers},
  pages     = {100--118},
  year      = {2013},
  crossref  = {DBLP:conf/facs2/2013},
  url       = {https://doi.org/10.1007/978-3-319-07602-7_8},
  doi       = {10.1007/978-3-319-07602-7_8},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/facs2/CesariNPPTZ13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ifiptm/CelestiniNT13,
  author    = {Alessandro Celestini and
               Rocco {De Nicola} and
               Francesco Tiezzi},
  title     = {Network-Aware Evaluation Environment for Reputation Systems},
  booktitle = {Trust Management {VII} - 7th {IFIP} {WG} 11.11 International Conference,
               {IFIPTM} 2013, Malaga, Spain, June 3-7, 2013. Proceedings},
  pages     = {231--238},
  year      = {2013},
  crossref  = {DBLP:conf/ifiptm/2013},
  url       = {https://doi.org/10.1007/978-3-642-38323-6_17},
  doi       = {10.1007/978-3-642-38323-6_17},
  timestamp = {Thu, 15 Jun 2017 21:45:35 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ifiptm/CelestiniNT13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sac/CelestiniNT13,
  author    = {Alessandro Celestini and
               Rocco {De Nicola} and
               Francesco Tiezzi},
  title     = {Specifying and analysing reputation systems with a coordination language},
  booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,
               {SAC} '13, Coimbra, Portugal, March 18-22, 2013},
  pages     = {1363--1368},
  year      = {2013},
  crossref  = {DBLP:conf/sac/2013},
  url       = {http://doi.acm.org/10.1145/2480362.2480618},
  doi       = {10.1145/2480362.2480618},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sac/CelestiniNT13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/saso/MayerKHPTPKB13,
  author    = {Philip Mayer and
               Annabelle Klarl and
               Rolf Hennicker and
               Mariachiara Puviani and
               Francesco Tiezzi and
               Rosario Pugliese and
               Jaroslav Keznikl and
               Toma Bure},
  title     = {The Autonomic Cloud: {A} Vision of Voluntary, Peer-2-Peer Cloud Computing},
  booktitle = {7th {IEEE} International Conference on Self-Adaptation and Self-Organizing
               Systems Workshops, SASOW, 2013, Philadelphia, PA, USA, September 9-13,
               2013},
  pages     = {89--94},
  year      = {2013},
  crossref  = {DBLP:conf/saso/2013w},
  url       = {https://doi.org/10.1109/SASOW.2013.16},
  doi       = {10.1109/SASOW.2013.16},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/saso/MayerKHPTPKB13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/uic/MargheriPT13,
  author    = {Andrea Margheri and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {Linguistic Abstractions for Programming and Policing Autonomic Computing
               Systems},
  booktitle = {2013 {IEEE} 10th International Conference on Ubiquitous Intelligence
               and Computing and 2013 {IEEE} 10th International Conference on Autonomic
               and Trusted Computing, {UIC/ATC} 2013, Vietri sul Mare, Sorrento Peninsula,
               Italy, December 18-21, 2013},
  pages     = {404--409},
  year      = {2013},
  crossref  = {DBLP:conf/uic/2013},
  url       = {https://doi.org/10.1109/UIC-ATC.2013.33},
  doi       = {10.1109/UIC-ATC.2013.33},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/uic/MargheriPT13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wsfm/MargheriMPT13,
  author    = {Andrea Margheri and
               Massimiliano Masi and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {Developing and Enforcing Policies for Access Control, Resource Usage,
               and Adaptation - - {A} Practical Approach -},
  booktitle = {Web Services and Formal Methods - 10th International Workshop, {WS-FM}
               2013, Beijing, China, August 2013, Revised Selected Papers},
  pages     = {85--105},
  year      = {2013},
  crossref  = {DBLP:conf/wsfm/2013},
  url       = {https://doi.org/10.1007/978-3-319-08260-8_6},
  doi       = {10.1007/978-3-319-08260-8_6},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wsfm/MargheriMPT13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/CesariPT13,
  author    = {Luca Cesari and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {Blind-date Conversation Joining},
  booktitle = {Proceedings 9th International Workshop on Automated Specification
               and Verification of Web Systems, {WWV} 2013, Florence, Italy, 6th
               June 2013.},
  pages     = {3--18},
  year      = {2013},
  crossref  = {DBLP:journals/corr/RavaraS13},
  url       = {https://doi.org/10.4204/EPTCS.123.3},
  doi       = {10.4204/EPTCS.123.3},
  timestamp = {Wed, 03 May 2017 14:47:58 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/CesariPT13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/japll/PuglieseT12,
  author    = {Rosario Pugliese and
               Francesco Tiezzi},
  title     = {A calculus for orchestration of web services},
  journal   = {J. Applied Logic},
  volume    = {10},
  number    = {1},
  pages     = {2--31},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.jal.2011.11.002},
  doi       = {10.1016/j.jal.2011.11.002},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/japll/PuglieseT12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jms/MasiPT12,
  author    = {Massimiliano Masi and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {Security Analysis of Standards-Driven Communication Protocols for
               Healthcare Scenarios},
  journal   = {J. Medical Systems},
  volume    = {36},
  number    = {6},
  pages     = {3695--3711},
  year      = {2012},
  url       = {https://doi.org/10.1007/s10916-012-9843-1},
  doi       = {10.1007/s10916-012-9843-1},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jms/MasiPT12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/scp/LapadulaPT12,
  author    = {Alessandro Lapadula and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {Using formal methods to develop {WS-BPEL} applications},
  journal   = {Sci. Comput. Program.},
  volume    = {77},
  number    = {3},
  pages     = {189--213},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.scico.2011.03.002},
  doi       = {10.1016/j.scico.2011.03.002},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/scp/LapadulaPT12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tosem/FantechiGLMPT12,
  author    = {Alessandro Fantechi and
               Stefania Gnesi and
               Alessandro Lapadula and
               Franco Mazzanti and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {A logical verification methodology for service-oriented computing},
  journal   = {{ACM} Trans. Softw. Eng. Methodol.},
  volume    = {21},
  number    = {3},
  pages     = {16:1--16:46},
  year      = {2012},
  url       = {http://doi.acm.org/10.1145/2211616.2211619},
  doi       = {10.1145/2211616.2211619},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tosem/FantechiGLMPT12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/essos/MasiPT12,
  author    = {Massimiliano Masi and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {Formalisation and Implementation of the {XACML} Access Control Mechanism},
  booktitle = {Engineering Secure Software and Systems - 4th International Symposium,
               ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings},
  pages     = {60--74},
  year      = {2012},
  crossref  = {DBLP:conf/essos/2012},
  url       = {https://doi.org/10.1007/978-3-642-28166-2_7},
  doi       = {10.1007/978-3-642-28166-2_7},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/essos/MasiPT12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfem/GjondrekajLPTPBBD12,
  author    = {Edmond Gjondrekaj and
               Michele Loreti and
               Rosario Pugliese and
               Francesco Tiezzi and
               Carlo Pinciroli and
               Manuele Brambilla and
               Mauro Birattari and
               Marco Dorigo},
  title     = {Towards a Formal Verification Methodology for Collective Robotic Systems},
  booktitle = {Formal Methods and Software Engineering - 14th International Conference
               on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November
               12-16, 2012. Proceedings},
  pages     = {54--70},
  year      = {2012},
  crossref  = {DBLP:conf/icfem/2012},
  url       = {https://doi.org/10.1007/978-3-642-34281-3_7},
  doi       = {10.1007/978-3-642-34281-3_7},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icfem/GjondrekajLPTPBBD12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/models/BuschKMPT12,
  author    = {Marianne Busch and
               Nora Koch and
               Massimiliano Masi and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {Towards model-driven development of access control policies for web
               applications},
  booktitle = {Model-Driven Security Workshop, MDsec 2012, In conjunction with MoDELS
               2012, Innsbruck, Austria, October 1, 2012},
  pages     = {4},
  year      = {2012},
  crossref  = {DBLP:conf/models/2012mdsec},
  url       = {http://doi.acm.org/10.1145/2422498.2422502},
  doi       = {10.1145/2422498.2422502},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/models/BuschKMPT12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sac/GjondrekajLPT12,
  author    = {Edmond Gjondrekaj and
               Michele Loreti and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {Modeling adaptation with a tuple-based coordination language},
  booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
               Riva, Trento, Italy, March 26-30, 2012},
  pages     = {1522--1527},
  year      = {2012},
  crossref  = {DBLP:conf/sac/2012},
  url       = {http://doi.acm.org/10.1145/2245276.2232019},
  doi       = {10.1145/2245276.2232019},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sac/GjondrekajLPT12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1210-5783,
  editor    = {Josep Silva and
               Francesco Tiezzi},
  title     = {Proceedings 8th International Workshop on Automated Specification
               and Verification of Web Systems, {WWV} 2012, Stockholm, Sweden, 16th
               July 2012},
  series    = {{EPTCS}},
  volume    = {98},
  year      = {2012},
  url       = {https://doi.org/10.4204/EPTCS.98},
  doi       = {10.4204/EPTCS.98},
  timestamp = {Wed, 03 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1210-5783},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fmsd/LapadulaPT11,
  author    = {Alessandro Lapadula and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {A WSDL-based type system for asynchronous {WS-BPEL} processes},
  journal   = {Formal Methods in System Design},
  volume    = {38},
  number    = {2},
  pages     = {119--157},
  year      = {2011},
  url       = {https://doi.org/10.1007/s10703-010-0110-0},
  doi       = {10.1007/s10703-010-0110-0},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/fmsd/LapadulaPT11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jsc/BantiPT11,
  author    = {Federico Banti and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {An accessible verification environment for {UML} models of services},
  journal   = {J. Symb. Comput.},
  volume    = {46},
  number    = {2},
  pages     = {119--149},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.jsc.2010.08.005},
  doi       = {10.1016/j.jsc.2010.08.005},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jsc/BantiPT11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/africom/MasiPT11,
  author    = {Massimiliano Masi and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {e-Health for Rural Areas in Developing Countries: Lessons from the
               Sebokeng Experience},
  booktitle = {e-Infrastructure and e-Services for Developing Countries - Third International
               {ICST} Conference, {AFRICOMM} 2011, Zanzibar, Tanzania, November 23-24,
               2011, Revised Selected Papers},
  pages     = {187--196},
  year      = {2011},
  crossref  = {DBLP:conf/africom/2011},
  url       = {https://doi.org/10.1007/978-3-642-29093-0_18},
  doi       = {10.1007/978-3-642-29093-0_18},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/africom/MasiPT11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tgc/NicolaMT11,
  author    = {Rocco {De Nicola} and
               Andrea Margheri and
               Francesco Tiezzi},
  title     = {Orchestrating Tuple-Based Languages},
  booktitle = {Trustworthy Global Computing - 6th International Symposium, {TGC}
               2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers},
  pages     = {160--178},
  year      = {2011},
  crossref  = {DBLP:conf/tgc/2011},
  url       = {https://doi.org/10.1007/978-3-642-30065-3_10},
  doi       = {10.1007/978-3-642-30065-3_10},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tgc/NicolaMT11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/GnesiPT11,
  author    = {Stefania Gnesi and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {The Sensoria Approach Applied to the Finance Case Study},
  booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
               of the {SENSORIA} Project on Software Engineering for Service-Oriented
               Computing},
  pages     = {698--718},
  year      = {2011},
  crossref  = {DBLP:books/sp/sensoria11},
  url       = {https://doi.org/10.1007/978-3-642-20401-2_34},
  doi       = {10.1007/978-3-642-20401-2_34},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/books/sp/sensoria2011/GnesiPT11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1108-2085,
  editor    = {Laura Kov{\'{a}}cs and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {Proceedings 7th International Workshop on Automated Specification
               and Verification of Web Systems, {WWV} 2011, Reykjavik, Iceland, 9th
               June 2011},
  series    = {{EPTCS}},
  volume    = {61},
  year      = {2011},
  url       = {https://doi.org/10.4204/EPTCS.61},
  doi       = {10.4204/EPTCS.61},
  timestamp = {Wed, 03 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1108-2085},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sac/CesariLPT10,
  author    = {Luca Cesari and
               Alessandro Lapadula and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {A tool for rapid development of {WS-BPEL} applications},
  booktitle = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
               Sierre, Switzerland, March 22-26, 2010},
  pages     = {2438--2442},
  year      = {2010},
  crossref  = {DBLP:conf/sac/2010},
  url       = {http://doi.acm.org/10.1145/1774088.1774594},
  doi       = {10.1145/1774088.1774594},
  timestamp = {Thu, 23 Nov 2017 16:18:52 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sac/CesariLPT10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1011-6430,
  author    = {Federico Banti and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {A criterion for separating process calculi},
  booktitle = {Proceedings 17th International Workshop on Expressiveness in Concurrency,
               EXPRESS'10, Paris, France, August 30th, 2010.},
  pages     = {16--30},
  year      = {2010},
  crossref  = {DBLP:journals/corr/abs-1011-6012},
  url       = {https://doi.org/10.4204/EPTCS.41.2},
  doi       = {10.4204/EPTCS.41.2},
  timestamp = {Wed, 03 May 2017 14:47:53 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1011-6430},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/BantiLPT09,
  author    = {Federico Banti and
               Alessandro Lapadula and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {Specification and Analysis of {SOC} Systems Using {COWS:} {A} Finance
               Case Study},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {235},
  pages     = {71--105},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.entcs.2009.03.006},
  doi       = {10.1016/j.entcs.2009.03.006},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/BantiLPT09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/PuglieseTY09,
  author    = {Rosario Pugliese and
               Francesco Tiezzi and
               Nobuko Yoshida},
  title     = {A Symbolic Semantics for a Calculus for Service-Oriented Computing},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {241},
  pages     = {135--164},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.entcs.2009.06.008},
  doi       = {10.1016/j.entcs.2009.06.008},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/PuglieseTY09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/BocchiFLPT09,
  author    = {Laura Bocchi and
               Jos{\'{e}} Luiz Fiadeiro and
               Alessandro Lapadula and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {From Architectural to Behavioural Specification of Services},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {253},
  number    = {1},
  pages     = {3--21},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.entcs.2009.09.025},
  doi       = {10.1016/j.entcs.2009.09.025},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/BocchiFLPT09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PuglieseTY09,
  author    = {Rosario Pugliese and
               Francesco Tiezzi and
               Nobuko Yoshida},
  title     = {On Observing Dynamic Prioritised Actions in {SOC}},
  booktitle = {Automata, Languages and Programming, 36th Internatilonal Colloquium,
               {ICALP} 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part {II}},
  pages     = {558--570},
  year      = {2009},
  crossref  = {DBLP:conf/icalp/2009-2},
  url       = {https://doi.org/10.1007/978-3-642-02930-1_46},
  doi       = {10.1007/978-3-642-02930-1_46},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/PuglieseTY09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iciss/MasiPT09,
  author    = {Massimiliano Masi and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {On Secure Implementation of an {IHE} XUA-Based Protocol for Authenticating
               Healthcare Professionals},
  booktitle = {Information Systems Security, 5th International Conference, {ICISS}
               2009, Kolkata, India, December 14-18, 2009, Proceedings},
  pages     = {55--70},
  year      = {2009},
  crossref  = {DBLP:conf/iciss/2009},
  url       = {https://doi.org/10.1007/978-3-642-10772-6_6},
  doi       = {10.1007/978-3-642-10772-6_6},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iciss/MasiPT09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/LapadulaPT08,
  author    = {Alessandro Lapadula and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {Service Discovery and Negotiation With {COWS}},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {200},
  number    = {3},
  pages     = {133--154},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.entcs.2008.04.097},
  doi       = {10.1016/j.entcs.2008.04.097},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/LapadulaPT08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/topnoc/CalzolaiNLT08,
  author    = {Francesco Calzolai and
               Rocco {De Nicola} and
               Michele Loreti and
               Francesco Tiezzi},
  title     = {TAPAs: {A} Tool for the Analysis of Process Algebras},
  journal   = {Trans. Petri Nets and Other Models of Concurrency},
  volume    = {1},
  pages     = {54--70},
  year      = {2008},
  crossref  = {DBLP:journals/topnoc/2008-1},
  url       = {https://doi.org/10.1007/978-3-540-89287-8_4},
  doi       = {10.1007/978-3-540-89287-8_4},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/topnoc/CalzolaiNLT08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LapadulaPT08,
  author    = {Alessandro Lapadula and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {Specifying and Analysing {SOC} Applications with {COWS}},
  booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
               on the Occasion of His 65th Birthday},
  pages     = {701--720},
  year      = {2008},
  crossref  = {DBLP:conf/birthday/2008montanari},
  url       = {https://doi.org/10.1007/978-3-540-68679-8_43},
  doi       = {10.1007/978-3-540-68679-8_43},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/birthday/LapadulaPT08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/coordination/LapadulaPT08,
  author    = {Alessandro Lapadula and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {A Formal Account of {WS-BPEL}},
  booktitle = {Coordination Models and Languages, 10th International Conference,
               {COORDINATION} 2008, Oslo, Norway, June 4-6, 2008. Proceedings},
  pages     = {199--215},
  year      = {2008},
  crossref  = {DBLP:conf/coordination/2008},
  url       = {https://doi.org/10.1007/978-3-540-68265-3_13},
  doi       = {10.1007/978-3-540-68265-3_13},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/coordination/LapadulaPT08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fase/FantechiGLMPT08,
  author    = {Alessandro Fantechi and
               Stefania Gnesi and
               Alessandro Lapadula and
               Franco Mazzanti and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {A Model Checking Approach for Verifying {COWS} Specifications},
  booktitle = {Fundamental Approaches to Software Engineering, 11th International
               Conference, {FASE} 2008, Held as Part of the Joint European Conferences
               on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary,
               March 29-April 6, 2008. Proceedings},
  pages     = {230--245},
  year      = {2008},
  crossref  = {DBLP:conf/fase/2008},
  url       = {https://doi.org/10.1007/978-3-540-78743-3_17},
  doi       = {10.1007/978-3-540-78743-3_17},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fase/FantechiGLMPT08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/isola/WirsingHABCFGGGKLMMPSTTV08,
  author    = {Martin Wirsing and
               Matthias M. H{\"{o}}lzl and
               Lucia Acciai and
               Federico Banti and
               Allan Clark and
               Alessandro Fantechi and
               Stephen Gilmore and
               Stefania Gnesi and
               L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
               Nora Koch and
               Alessandro Lapadula and
               Philip Mayer and
               Franco Mazzanti and
               Rosario Pugliese and
               Andreas Schroeder and
               Francesco Tiezzi and
               Mirco Tribastone and
               D{\'{a}}niel Varr{\'{o}}},
  title     = {SensoriaPatterns: Augmenting Service Engineering with Formal Analysis,
               Transformation and Dynamicity},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
               Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
               13-15, 2008. Proceedings},
  pages     = {170--190},
  year      = {2008},
  crossref  = {DBLP:conf/isola/2008},
  url       = {https://doi.org/10.1007/978-3-540-88479-8_13},
  doi       = {10.1007/978-3-540-88479-8_13},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/isola/WirsingHABCFGGGKLMMPSTTV08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/esop/LapadulaPT07,
  author    = {Alessandro Lapadula and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {A Calculus for Orchestration of Web Services},
  booktitle = {Programming Languages and Systems, 16th European Symposium on Programming,
               {ESOP} 2007, Held as Part of the Joint European Conferences on Theory
               and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
               - April 1, 2007, Proceedings},
  pages     = {33--47},
  year      = {2007},
  crossref  = {DBLP:conf/esop/2007},
  url       = {https://doi.org/10.1007/978-3-540-71316-6_4},
  doi       = {10.1007/978-3-540-71316-6_4},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/esop/LapadulaPT07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fsen/Lapadula07,
  author    = {Alessandro Lapadula and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {Regulating Data Exchange in Service Oriented Applications},
  booktitle = {International Symposium on Fundamentals of Software Engineering, International
               Symposium, {FSEN} 2007, Tehran, Iran, April 17-19, 2007, Proceedings},
  pages     = {223--239},
  year      = {2007},
  crossref  = {DBLP:conf/fsen/2007},
  url       = {https://doi.org/10.1007/978-3-540-75698-9_15},
  doi       = {10.1007/978-3-540-75698-9_15},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fsen/Lapadula07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ictac/LapadulaPT07,
  author    = {Alessandro Lapadula and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {C-clock-WS: {A} Timed Service-Oriented Calculus},
  booktitle = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
               Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  pages     = {275--290},
  year      = {2007},
  crossref  = {DBLP:conf/ictac/2007},
  url       = {https://doi.org/10.1007/978-3-540-75292-9_19},
  doi       = {10.1007/978-3-540-75292-9_19},
  timestamp = {Sun, 04 Jun 2017 10:10:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ictac/LapadulaPT07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/coordination/LapadulaPT06,
  author    = {Alessandro Lapadula and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {A WSDL-Based Type System for {WS-BPEL}},
  booktitle = {Coordination Models and Languages, 8th International Conference, {COORDINATION}
               2006, Bologna, Italy, June 14-16, 2006, Proceedings},
  pages     = {145--163},
  year      = {2006},
  crossref  = {DBLP:conf/coordination/2006},
  url       = {https://doi.org/10.1007/11767954_10},
  doi       = {10.1007/11767954_10},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/coordination/LapadulaPT06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/bis/2017,
  editor    = {Witold Abramowicz},
  title     = {Business Information Systems - 20th International Conference, {BIS}
               2017, Poznan, Poland, June 28-30, 2017, Proceedings},
  series    = {Lecture Notes in Business Information Processing},
  volume    = {288},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-59336-4},
  doi       = {10.1007/978-3-319-59336-4},
  isbn      = {978-3-319-59335-7},
  timestamp = {Wed, 21 Jun 2017 11:01:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/bis/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/caise/2017eomas,
  editor    = {Robert Pergl and
               Russell Lock and
               Eduard Babkin and
               Martin Molhanec},
  title     = {Enterprise and Organizational Modeling and Simulation - 13th International
               Workshop, {EOMAS} 2017, Held at CAiSE 2017, Essen, Germany, June 12-13,
               2017, Selected Papers},
  series    = {Lecture Notes in Business Information Processing},
  volume    = {298},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-68185-6},
  doi       = {10.1007/978-3-319-68185-6},
  isbn      = {978-3-319-68184-9},
  timestamp = {Fri, 29 Sep 2017 12:12:40 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/caise/2017eomas},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/kbse/2017,
  editor    = {Grigore Rosu and
               Massimiliano Di Penta and
               Tien N. Nguyen},
  title     = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
               Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
               03, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3155562},
  isbn      = {978-1-5386-2684-9},
  timestamp = {Mon, 30 Oct 2017 16:53:06 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/esocc/2016,
  editor    = {Marco Aiello and
               Einar Broch Johnsen and
               Schahram Dustdar and
               Ilche Georgievski},
  title     = {Service-Oriented and Cloud Computing - 5th {IFIP} {WG} 2.14 European
               Conference, {ESOCC} 2016, Vienna, Austria, September 5-7, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9846},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-44482-6},
  doi       = {10.1007/978-3-319-44482-6},
  isbn      = {978-3-319-44481-9},
  timestamp = {Thu, 15 Jun 2017 21:36:43 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/esocc/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/rc/2016,
  editor    = {Simon J. Devitt and
               Ivan Lanese},
  title     = {Reversible Computation - 8th International Conference, {RC} 2016,
               Bologna, Italy, July 7-8, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9720},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-40578-0},
  doi       = {10.1007/978-3-319-40578-0},
  isbn      = {978-3-319-40577-3},
  timestamp = {Fri, 19 May 2017 01:26:11 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/rc/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2015wirsing,
  editor    = {Rocco {De Nicola} and
               Rolf Hennicker},
  title     = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
               on the Occasion of His Retirement from the Chair of Programming and
               Software Engineering},
  series    = {Lecture Notes in Computer Science},
  volume    = {8950},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-15545-6},
  doi       = {10.1007/978-3-319-15545-6},
  isbn      = {978-3-319-15544-9},
  timestamp = {Tue, 23 May 2017 01:06:45 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/birthday/2015wirsing},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ccgrid/2015,
  title     = {15th {IEEE/ACM} International Symposium on Cluster, Cloud and Grid
               Computing, CCGrid 2015, Shenzhen, China, May 4-7, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7152188},
  isbn      = {978-1-4799-8006-2},
  timestamp = {Tue, 19 Jan 2016 16:31:39 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ccgrid/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/facs2/2015,
  editor    = {Christiano Braga and
               Peter Csaba {\"{O}}lveczky},
  title     = {Formal Aspects of Component Software - 12th International Conference,
               {FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9539},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-28934-2},
  doi       = {10.1007/978-3-319-28934-2},
  isbn      = {978-3-319-28933-5},
  timestamp = {Fri, 19 May 2017 01:26:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/facs2/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mobilecloud/2015,
  title     = {3rd {IEEE} International Conference on Mobile Cloud Computing, Services,
               and Engineering, MobileCloud 2015, San Francisco, CA, USA, March 30
               - April 3, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7128083},
  isbn      = {978-1-4799-8977-5},
  timestamp = {Fri, 27 May 2016 13:59:04 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mobilecloud/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pdp/2015,
  editor    = {Masoud Daneshtalab and
               Marco Aldinucci and
               Ville Lepp{\"{a}}nen and
               Johan Lilius and
               Mats Brorsson},
  title     = {23rd Euromicro International Conference on Parallel, Distributed,
               and Network-Based Processing, {PDP} 2015, Turku, Finland, March 4-6,
               2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7092671},
  isbn      = {978-1-4799-8491-6},
  timestamp = {Fri, 08 Apr 2016 13:03:36 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pdp/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sac/2015,
  editor    = {Roger L. Wainwright and
               Juan Manuel Corchado and
               Alessio Bechini and
               Jiman Hong},
  title     = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
               Salamanca, Spain, April 13-17, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2695664},
  isbn      = {978-1-4503-3196-8},
  timestamp = {Tue, 21 Jul 2015 14:16:42 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sac/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sefm/2015,
  editor    = {Radu Calinescu and
               Bernhard Rumpe},
  title     = {Software Engineering and Formal Methods - 13th International Conference,
               {SEFM} 2015, York, UK, September 7-11, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9276},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-22969-0},
  doi       = {10.1007/978-3-319-22969-0},
  isbn      = {978-3-319-22968-3},
  timestamp = {Sun, 21 May 2017 00:18:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sefm/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/BeekL15,
  editor    = {Maurice H. ter Beek and
               Alberto Lluch{-}Lafuente},
  title     = {Proceedings 11th International Workshop on Automated Specification
               and Verification of Web Systems, {WWV} 2015, Oslo, Norway, 23rd June
               2015},
  series    = {{EPTCS}},
  volume    = {188},
  year      = {2015},
  url       = {https://doi.org/10.4204/EPTCS.188},
  doi       = {10.4204/EPTCS.188},
  timestamp = {Wed, 03 May 2017 14:47:56 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/BeekL15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:series/lncs/8998,
  editor    = {Martin Wirsing and
               Matthias M. H{\"{o}}lzl and
               Nora Koch and
               Philip Mayer},
  title     = {Software Engineering for Collective Autonomic Systems - The {ASCENS}
               Approach},
  series    = {Lecture Notes in Computer Science},
  volume    = {8998},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-16310-9},
  doi       = {10.1007/978-3-319-16310-9},
  isbn      = {978-3-319-16309-3},
  timestamp = {Tue, 16 May 2017 14:24:28 +0200},
  biburl    = {http://dblp.org/rec/bib/series/lncs/8998},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aina/2014,
  editor    = {Leonard Barolli and
               Kin Fun Li and
               Tomoya Enokido and
               Fatos Xhafa and
               Makoto Takizawa},
  title     = {28th {IEEE} International Conference on Advanced Information Networking
               and Applications, {AINA} 2014, Victoria, BC, Canada, May 13-16, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6835111},
  timestamp = {Mon, 15 Sep 2014 17:23:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aina/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/etaps/2014fps,
  editor    = {Saddek Bensalem and
               Yassine Lakhnech and
               Axel Legay},
  title     = {From Programs to Systems. The Systems perspective in Computing - {ETAPS}
               Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France,
               April 6, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8415},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54848-2},
  doi       = {10.1007/978-3-642-54848-2},
  isbn      = {978-3-642-54847-5},
  timestamp = {Tue, 23 May 2017 01:12:11 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/etaps/2014fps},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ifiptm/2014,
  editor    = {Jianying Zhou and
               Nurit Gal{-}Oz and
               Jie Zhang and
               Ehud Gudes},
  title     = {Trust Management {VIII} - 8th {IFIP} {WG} 11.11 International Conference,
               {IFIPTM} 2014, Singapore, July 7-10, 2014. Proceedings},
  series    = {{IFIP} Advances in Information and Communication Technology},
  volume    = {430},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-43813-8},
  doi       = {10.1007/978-3-662-43813-8},
  isbn      = {978-3-662-43812-1},
  timestamp = {Wed, 24 May 2017 08:31:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ifiptm/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/isola/2014-1,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification and Validation.
               Technologies for Mastering Change - 6th International Symposium, ISoLA
               2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
               {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8802},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-45234-9},
  doi       = {10.1007/978-3-662-45234-9},
  isbn      = {978-3-662-45233-2},
  timestamp = {Tue, 23 May 2017 01:12:13 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/isola/2014-1},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pdp/2014,
  title     = {22nd Euromicro International Conference on Parallel, Distributed,
               and Network-Based Processing, {PDP} 2014, Torino, Italy, February
               12-14, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6786619},
  isbn      = {978-1-4799-2729-6},
  timestamp = {Mon, 02 Feb 2015 17:46:43 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/pdp/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tgc/2014,
  editor    = {Matteo Maffei and
               Emilio Tuosto},
  title     = {Trustworthy Global Computing - 9th International Symposium, {TGC}
               2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8902},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-45917-1},
  doi       = {10.1007/978-3-662-45917-1},
  isbn      = {978-3-662-45916-4},
  timestamp = {Sun, 21 May 2017 00:19:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tgc/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ucc/2014,
  title     = {Proceedings of the 7th {IEEE/ACM} International Conference on Utility
               and Cloud Computing, {UCC} 2014, London, United Kingdom, December
               8-11, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7027114},
  isbn      = {978-1-4799-7881-6},
  timestamp = {Wed, 11 May 2016 12:43:18 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ucc/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/DonaldsonV14,
  editor    = {Alastair F. Donaldson and
               Vasco T. Vasconcelos},
  title     = {Proceedings 7th Workshop on Programming Language Approaches to Concurrency
               and Communication-cEntric Software, {PLACES} 2014, Grenoble, France,
               12 April 2014},
  series    = {{EPTCS}},
  volume    = {155},
  year      = {2014},
  url       = {https://doi.org/10.4204/EPTCS.155},
  doi       = {10.4204/EPTCS.155},
  timestamp = {Wed, 03 May 2017 14:47:57 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/DonaldsonV14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/biostec/2013hi,
  editor    = {Deborah Stacey and
               Jordi Sol{\'{e}}{-}Casals and
               Ana L. N. Fred and
               Hugo Gamboa},
  title     = {{HEALTHINF} 2013 - Proceedings of the International Conference on
               Health Informatics, Barcelona, Spain, 11-14 February, 2013},
  publisher = {SciTePress},
  year      = {2013},
  isbn      = {978-989-8565-37-2},
  timestamp = {Tue, 01 Oct 2013 19:05:16 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/biostec/2013hi},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/facs2/2013,
  editor    = {Jos{\'{e}} Luiz Fiadeiro and
               Zhiming Liu and
               Jinyun Xue},
  title     = {Formal Aspects of Component Software - 10th International Symposium,
               {FACS} 2013, Nanchang, China, October 27-29, 2013, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8348},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-07602-7},
  doi       = {10.1007/978-3-319-07602-7},
  isbn      = {978-3-319-07601-0},
  timestamp = {Fri, 19 May 2017 01:26:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/facs2/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ifiptm/2013,
  editor    = {M. Carmen Fern{\'{a}}ndez Gago and
               Fabio Martinelli and
               Siani Pearson and
               Isaac Agudo},
  title     = {Trust Management {VII} - 7th {IFIP} {WG} 11.11 International Conference,
               {IFIPTM} 2013, Malaga, Spain, June 3-7, 2013. Proceedings},
  series    = {{IFIP} Advances in Information and Communication Technology},
  volume    = {401},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38323-6},
  doi       = {10.1007/978-3-642-38323-6},
  isbn      = {978-3-642-38322-9},
  timestamp = {Thu, 15 Jun 2017 21:45:35 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ifiptm/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sac/2013,
  editor    = {Sung Y. Shin and
               Jos{\'{e}} Carlos Maldonado},
  title     = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,
               {SAC} '13, Coimbra, Portugal, March 18-22, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2480362},
  isbn      = {978-1-4503-1656-9},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sac/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/saso/2013w,
  title     = {7th {IEEE} International Conference on Self-Adaptation and Self-Organizing
               Systems Workshops, SASOW, 2013, Philadelphia, PA, USA, September 9-13,
               2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6802827},
  isbn      = {978-1-4799-5086-7},
  timestamp = {Thu, 05 Nov 2015 11:51:57 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/saso/2013w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/uic/2013,
  title     = {2013 {IEEE} 10th International Conference on Ubiquitous Intelligence
               and Computing and 2013 {IEEE} 10th International Conference on Autonomic
               and Trusted Computing, {UIC/ATC} 2013, Vietri sul Mare, Sorrento Peninsula,
               Italy, December 18-21, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6724531},
  isbn      = {978-1-4799-2481-3},
  timestamp = {Thu, 19 May 2016 14:52:57 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/uic/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wsfm/2013,
  editor    = {Emilio Tuosto and
               Chun Ouyang},
  title     = {Web Services and Formal Methods - 10th International Workshop, {WS-FM}
               2013, Beijing, China, August 2013, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8379},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-08260-8},
  doi       = {10.1007/978-3-319-08260-8},
  isbn      = {978-3-319-08259-2},
  timestamp = {Fri, 26 May 2017 00:48:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wsfm/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/RavaraS13,
  editor    = {Ant{\'{o}}nio Ravara and
               Josep Silva},
  title     = {Proceedings 9th International Workshop on Automated Specification
               and Verification of Web Systems, {WWV} 2013, Florence, Italy, 6th
               June 2013},
  series    = {{EPTCS}},
  volume    = {123},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.123},
  doi       = {10.4204/EPTCS.123},
  timestamp = {Wed, 03 May 2017 14:47:58 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/RavaraS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/essos/2012,
  editor    = {Gilles Barthe and
               Benjamin Livshits and
               Riccardo Scandariato},
  title     = {Engineering Secure Software and Systems - 4th International Symposium,
               ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7159},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28166-2},
  doi       = {10.1007/978-3-642-28166-2},
  isbn      = {978-3-642-28165-5},
  timestamp = {Wed, 17 May 2017 14:24:40 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/essos/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfem/2012,
  editor    = {Toshiaki Aoki and
               Kenji Taguchi},
  title     = {Formal Methods and Software Engineering - 14th International Conference
               on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November
               12-16, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7635},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-34281-3},
  doi       = {10.1007/978-3-642-34281-3},
  isbn      = {978-3-642-34280-6},
  timestamp = {Sun, 21 May 2017 00:19:12 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icfem/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/models/2012mdsec,
  title     = {Model-Driven Security Workshop, MDsec 2012, In conjunction with MoDELS
               2012, Innsbruck, Austria, October 1, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2422498},
  isbn      = {978-1-4503-1806-8},
  timestamp = {Sun, 17 Mar 2013 15:50:47 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/models/2012mdsec},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sac/2012,
  editor    = {Sascha Ossowski and
               Paola Lecca},
  title     = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
               Riva, Trento, Italy, March 26-30, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2245276},
  isbn      = {978-1-4503-0857-1},
  timestamp = {Fri, 08 Jun 2012 17:50:20 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sac/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/africom/2011,
  editor    = {Radu Popescu{-}Zeletin and
               Karl Jonas and
               Idris A. Rai and
               Roch H. Glitho and
               Adolfo Villafiorita},
  title     = {e-Infrastructure and e-Services for Developing Countries - Third International
               {ICST} Conference, {AFRICOMM} 2011, Zanzibar, Tanzania, November 23-24,
               2011, Revised Selected Papers},
  series    = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
               and Telecommunications Engineering},
  volume    = {92},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-29093-0},
  doi       = {10.1007/978-3-642-29093-0},
  isbn      = {978-3-642-29092-3},
  timestamp = {Mon, 29 May 2017 13:41:33 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/africom/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tgc/2011,
  editor    = {Roberto Bruni and
               Vladimiro Sassone},
  title     = {Trustworthy Global Computing - 6th International Symposium, {TGC}
               2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7173},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30065-3},
  doi       = {10.1007/978-3-642-30065-3},
  isbn      = {978-3-642-30064-6},
  timestamp = {Sun, 21 May 2017 00:19:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tgc/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:books/sp/sensoria11,
  editor    = {Martin Wirsing and
               Matthias M. H{\"{o}}lzl},
  title     = {Rigorous Software Engineering for Service-Oriented Systems - Results
               of the {SENSORIA} Project on Software Engineering for Service-Oriented
               Computing},
  series    = {Lecture Notes in Computer Science},
  volume    = {6582},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-20401-2},
  doi       = {10.1007/978-3-642-20401-2},
  isbn      = {978-3-642-20400-5},
  timestamp = {Tue, 16 May 2017 14:01:42 +0200},
  biburl    = {http://dblp.org/rec/bib/books/sp/sensoria11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sac/2010,
  editor    = {Sung Y. Shin and
               Sascha Ossowski and
               Michael Schumacher and
               Mathew J. Palakal and
               Chih{-}Cheng Hung},
  title     = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
               Sierre, Switzerland, March 22-26, 2010},
  publisher = {{ACM}},
  year      = {2010},
  url       = {http://doi.acm.org/10.1145/1774088},
  doi       = {10.1145/1774088},
  isbn      = {978-1-60558-639-7},
  timestamp = {Thu, 23 Nov 2017 16:18:52 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sac/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1011-6012,
  editor    = {Sibylle B. Fr{\"{o}}schle and
               Frank D. Valencia},
  title     = {Proceedings 17th International Workshop on Expressiveness in Concurrency,
               EXPRESS'10, Paris, France, August 30th, 2010},
  series    = {{EPTCS}},
  volume    = {41},
  year      = {2010},
  url       = {https://doi.org/10.4204/EPTCS.41},
  doi       = {10.4204/EPTCS.41},
  timestamp = {Wed, 03 May 2017 14:47:53 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1011-6012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icalp/2009-2,
  editor    = {Susanne Albers and
               Alberto Marchetti{-}Spaccamela and
               Yossi Matias and
               Sotiris E. Nikoletseas and
               Wolfgang Thomas},
  title     = {Automata, Languages and Programming, 36th Internatilonal Colloquium,
               {ICALP} 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5556},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02930-1},
  doi       = {10.1007/978-3-642-02930-1},
  isbn      = {978-3-642-02929-5},
  timestamp = {Tue, 23 May 2017 01:08:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icalp/2009-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iciss/2009,
  editor    = {Atul Prakash and
               Indranil Gupta},
  title     = {Information Systems Security, 5th International Conference, {ICISS}
               2009, Kolkata, India, December 14-18, 2009, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5905},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-10772-6},
  doi       = {10.1007/978-3-642-10772-6},
  isbn      = {978-3-642-10771-9},
  timestamp = {Wed, 24 May 2017 08:28:10 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iciss/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2008-1,
  editor    = {Kurt Jensen and
               Wil M. P. van der Aalst and
               Jonathan Billington},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5100},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-89287-8},
  doi       = {10.1007/978-3-540-89287-8},
  isbn      = {978-3-540-89286-1},
  timestamp = {Thu, 15 Jun 2017 21:23:27 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/topnoc/2008-1},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2008montanari,
  editor    = {Pierpaolo Degano and
               Rocco {De Nicola} and
               Jos{\'{e}} Meseguer},
  title     = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
               on the Occasion of His 65th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {5065},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-68679-8},
  doi       = {10.1007/978-3-540-68679-8},
  isbn      = {978-3-540-68676-7},
  timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/birthday/2008montanari},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/coordination/2008,
  editor    = {Doug Lea and
               Gianluigi Zavattaro},
  title     = {Coordination Models and Languages, 10th International Conference,
               {COORDINATION} 2008, Oslo, Norway, June 4-6, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5052},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-68265-3},
  doi       = {10.1007/978-3-540-68265-3},
  isbn      = {978-3-540-68264-6},
  timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/coordination/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fase/2008,
  editor    = {Jos{\'{e}} Luiz Fiadeiro and
               Paola Inverardi},
  title     = {Fundamental Approaches to Software Engineering, 11th International
               Conference, {FASE} 2008, Held as Part of the Joint European Conferences
               on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary,
               March 29-April 6, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4961},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78743-3},
  doi       = {10.1007/978-3-540-78743-3},
  isbn      = {978-3-540-78742-6},
  timestamp = {Thu, 25 May 2017 00:41:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fase/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/isola/2008,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification and Validation,
               Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
               13-15, 2008. Proceedings},
  series    = {Communications in Computer and Information Science},
  volume    = {17},
  publisher = {Springer},
  year      = {2008},
  isbn      = {978-3-540-88478-1},
  timestamp = {Fri, 14 Nov 2008 08:07:03 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/isola/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/esop/2007,
  editor    = {Rocco {De Nicola}},
  title     = {Programming Languages and Systems, 16th European Symposium on Programming,
               {ESOP} 2007, Held as Part of the Joint European Conferences on Theory
               and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
               - April 1, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4421},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-71316-6},
  doi       = {10.1007/978-3-540-71316-6},
  isbn      = {978-3-540-71314-2},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/esop/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fsen/2007,
  editor    = {Farhad Arbab and
               Marjan Sirjani},
  title     = {International Symposium on Fundamentals of Software Engineering, International
               Symposium, {FSEN} 2007, Tehran, Iran, April 17-19, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4767},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75698-9},
  doi       = {10.1007/978-3-540-75698-9},
  isbn      = {978-3-540-75697-2},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fsen/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ictac/2007,
  editor    = {Cliff B. Jones and
               Zhiming Liu and
               Jim Woodcock},
  title     = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
               Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4711},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75292-9},
  doi       = {10.1007/978-3-540-75292-9},
  isbn      = {978-3-540-75290-5},
  timestamp = {Sun, 04 Jun 2017 10:10:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ictac/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/coordination/2006,
  editor    = {Paolo Ciancarini and
               Herbert Wiklicky},
  title     = {Coordination Models and Languages, 8th International Conference, {COORDINATION}
               2006, Bologna, Italy, June 14-16, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4038},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11767954},
  doi       = {10.1007/11767954},
  isbn      = {3-540-34694-5},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/coordination/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier