Search dblp for Publications

export results for "toc:db/conf/tgc/tgc2015.bht:"

 download as .bib file

@proceedings{DBLP:conf/tgc/2015,
  editor       = {Pierre Ganty and
                  Michele Loreti},
  title        = {Trustworthy Global Computing - 10th International Symposium, {TGC}
                  2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9533},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-28766-9},
  doi          = {10.1007/978-3-319-28766-9},
  isbn         = {978-3-319-28765-2},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/Bursuc15,
  author       = {Sergiu Bursuc},
  editor       = {Pierre Ganty and
                  Michele Loreti},
  title        = {Secure Two-Party Computation in Applied Pi-Calculus: Models and Verification},
  booktitle    = {Trustworthy Global Computing - 10th International Symposium, {TGC}
                  2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9533},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-28766-9\_1},
  doi          = {10.1007/978-3-319-28766-9\_1},
  timestamp    = {Mon, 16 Sep 2019 15:25:37 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/Bursuc15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/Delzanno15,
  author       = {Giorgio Delzanno},
  editor       = {Pierre Ganty and
                  Michele Loreti},
  title        = {Data Tracking in Parameterized Systems},
  booktitle    = {Trustworthy Global Computing - 10th International Symposium, {TGC}
                  2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9533},
  pages        = {32--46},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-28766-9\_3},
  doi          = {10.1007/978-3-319-28766-9\_3},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/Delzanno15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/GosslerS15,
  author       = {Gregor G{\"{o}}{\ss}ler and
                  Jean{-}Bernard Stefani},
  editor       = {Pierre Ganty and
                  Michele Loreti},
  title        = {Fault Ascription in Concurrent Systems},
  booktitle    = {Trustworthy Global Computing - 10th International Symposium, {TGC}
                  2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9533},
  pages        = {79--94},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-28766-9\_6},
  doi          = {10.1007/978-3-319-28766-9\_6},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/GosslerS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/LiNNF15,
  author       = {Ximeng Li and
                  Flemming Nielson and
                  Hanne Riis Nielson and
                  Xinyu Feng},
  editor       = {Pierre Ganty and
                  Michele Loreti},
  title        = {Disjunctive Information Flow for Communicating Processes},
  booktitle    = {Trustworthy Global Computing - 10th International Symposium, {TGC}
                  2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9533},
  pages        = {95--111},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-28766-9\_7},
  doi          = {10.1007/978-3-319-28766-9\_7},
  timestamp    = {Mon, 28 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tgc/LiNNF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/NakagawaH15,
  author       = {Shota Nakagawa and
                  Ichiro Hasuo},
  editor       = {Pierre Ganty and
                  Michele Loreti},
  title        = {Near-Optimal Scheduling for {LTL} with Future Discounting},
  booktitle    = {Trustworthy Global Computing - 10th International Symposium, {TGC}
                  2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9533},
  pages        = {112--130},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-28766-9\_8},
  doi          = {10.1007/978-3-319-28766-9\_8},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/NakagawaH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/NicolaM15,
  author       = {Rocco De Nicola and
                  Hern{\'{a}}n C. Melgratti},
  editor       = {Pierre Ganty and
                  Michele Loreti},
  title        = {Multiparty Testing Preorders},
  booktitle    = {Trustworthy Global Computing - 10th International Symposium, {TGC}
                  2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9533},
  pages        = {16--31},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-28766-9\_2},
  doi          = {10.1007/978-3-319-28766-9\_2},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/NicolaM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/QiangB15,
  author       = {Qiang Wang and
                  Simon Bliudze},
  editor       = {Pierre Ganty and
                  Michele Loreti},
  title        = {Verification of Component-Based Systems via Predicate Abstraction
                  and Simultaneous Set Reduction},
  booktitle    = {Trustworthy Global Computing - 10th International Symposium, {TGC}
                  2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9533},
  pages        = {147--162},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-28766-9\_10},
  doi          = {10.1007/978-3-319-28766-9\_10},
  timestamp    = {Fri, 12 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/QiangB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/SantosJRS15,
  author       = {Jos{\'{e}} Fragoso Santos and
                  Thomas P. Jensen and
                  Tamara Rezk and
                  Alan Schmitt},
  editor       = {Pierre Ganty and
                  Michele Loreti},
  title        = {Hybrid Typing of Secure Information Flow in a JavaScript-Like Language},
  booktitle    = {Trustworthy Global Computing - 10th International Symposium, {TGC}
                  2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9533},
  pages        = {63--78},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-28766-9\_5},
  doi          = {10.1007/978-3-319-28766-9\_5},
  timestamp    = {Mon, 17 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tgc/SantosJRS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/SantosRM15,
  author       = {Jos{\'{e}} Fragoso Santos and
                  Tamara Rezk and
                  Ana Almeida Matos},
  editor       = {Pierre Ganty and
                  Michele Loreti},
  title        = {Modular Monitor Extensions for Information Flow Security in JavaScript},
  booktitle    = {Trustworthy Global Computing - 10th International Symposium, {TGC}
                  2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9533},
  pages        = {47--62},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-28766-9\_4},
  doi          = {10.1007/978-3-319-28766-9\_4},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/SantosRM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/ZuckP15,
  author       = {Lenore D. Zuck and
                  Sanjiva Prasad},
  editor       = {Pierre Ganty and
                  Michele Loreti},
  title        = {A Switch, in Time},
  booktitle    = {Trustworthy Global Computing - 10th International Symposium, {TGC}
                  2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9533},
  pages        = {131--146},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-28766-9\_9},
  doi          = {10.1007/978-3-319-28766-9\_9},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/ZuckP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.