Search dblp for Publications

export results for "toc:db/conf/forte/forte2017.bht:"

 download as .bib file

@inproceedings{DBLP:conf/forte/0001BP17,
  author    = {Mathias Weber and
               Annette Bieniusa and
               Arnd Poetzsch{-}Heffter},
  title     = {{EPTL} - {A} Temporal Logic for Weakly Consistent Systems (Short Paper)},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
               as Part of the 12th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
               June 19-22, 2017, Proceedings},
  pages     = {236--242},
  year      = {2017},
  crossref  = {DBLP:conf/forte/2017},
  url       = {https://doi.org/10.1007/978-3-319-60225-7\_17},
  doi       = {10.1007/978-3-319-60225-7\_17},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/forte/0001BP17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AdameitPN17,
  author    = {Manuel Adameit and
               Kirstin Peters and
               Uwe Nestmann},
  title     = {Session Types for Link Failures},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
               as Part of the 12th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
               June 19-22, 2017, Proceedings},
  pages     = {1--16},
  year      = {2017},
  crossref  = {DBLP:conf/forte/2017},
  url       = {https://doi.org/10.1007/978-3-319-60225-7\_1},
  doi       = {10.1007/978-3-319-60225-7\_1},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/forte/AdameitPN17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AndreL17,
  author    = {{\'{E}}tienne Andr{\'{e}} and
               Shang{-}Wei Lin},
  title     = {Learning-Based Compositional Parameter Synthesis for Event-Recording
               Automata},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
               as Part of the 12th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
               June 19-22, 2017, Proceedings},
  pages     = {17--32},
  year      = {2017},
  crossref  = {DBLP:conf/forte/2017},
  url       = {https://doi.org/10.1007/978-3-319-60225-7\_2},
  doi       = {10.1007/978-3-319-60225-7\_2},
  timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/forte/AndreL17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ArmstrongD17,
  author    = {Alasdair Armstrong and
               Brijesh Dongol},
  title     = {Modularising Opacity Verification for Hybrid Transactional Memory},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
               as Part of the 12th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
               June 19-22, 2017, Proceedings},
  pages     = {33--49},
  year      = {2017},
  crossref  = {DBLP:conf/forte/2017},
  url       = {https://doi.org/10.1007/978-3-319-60225-7\_3},
  doi       = {10.1007/978-3-319-60225-7\_3},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/forte/ArmstrongD17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ArmstrongDD17,
  author    = {Alasdair Armstrong and
               Brijesh Dongol and
               Simon Doherty},
  title     = {Proving Opacity via Linearizability: {A} Sound and Complete Method},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
               as Part of the 12th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
               June 19-22, 2017, Proceedings},
  pages     = {50--66},
  year      = {2017},
  crossref  = {DBLP:conf/forte/2017},
  url       = {https://doi.org/10.1007/978-3-319-60225-7\_4},
  doi       = {10.1007/978-3-319-60225-7\_4},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/forte/ArmstrongDD17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AzadbakhtBB17,
  author    = {Keyvan Azadbakht and
               Nikolaos Bezirgiannis and
               Frank S. de Boer},
  title     = {On Futures for Streaming Data in {ABS} - (Short Paper)},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
               as Part of the 12th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
               June 19-22, 2017, Proceedings},
  pages     = {67--73},
  year      = {2017},
  crossref  = {DBLP:conf/forte/2017},
  url       = {https://doi.org/10.1007/978-3-319-60225-7\_5},
  doi       = {10.1007/978-3-319-60225-7\_5},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/forte/AzadbakhtBB17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BordenabeMMR17,
  author    = {Nicol{\'{a}}s E. Bordenabe and
               Annabelle McIver and
               Carroll Morgan and
               Tahiry M. Rabehaja},
  title     = {Reasoning About Distributed Secrets},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
               as Part of the 12th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
               June 19-22, 2017, Proceedings},
  pages     = {156--170},
  year      = {2017},
  crossref  = {DBLP:conf/forte/2017},
  url       = {https://doi.org/10.1007/978-3-319-60225-7\_11},
  doi       = {10.1007/978-3-319-60225-7\_11},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/forte/BordenabeMMR17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/CanoAP17,
  author    = {Mauricio Cano and
               Jaime Arias and
               Jorge A. P{\'{e}}rez},
  title     = {Session-Based Concurrency, Reactively},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
               as Part of the 12th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
               June 19-22, 2017, Proceedings},
  pages     = {74--91},
  year      = {2017},
  crossref  = {DBLP:conf/forte/2017},
  url       = {https://doi.org/10.1007/978-3-319-60225-7\_6},
  doi       = {10.1007/978-3-319-60225-7\_6},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/forte/CanoAP17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Cruz-FilipeM17,
  author    = {Lu{\'{\i}}s Cruz{-}Filipe and
               Fabrizio Montesi},
  title     = {Procedural Choreographic Programming},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
               as Part of the 12th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
               June 19-22, 2017, Proceedings},
  pages     = {92--107},
  year      = {2017},
  crossref  = {DBLP:conf/forte/2017},
  url       = {https://doi.org/10.1007/978-3-319-60225-7\_7},
  doi       = {10.1007/978-3-319-60225-7\_7},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/forte/Cruz-FilipeM17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DerrickS17,
  author    = {John Derrick and
               Graeme Smith},
  title     = {An Observational Approach to Defining Linearizability on Weak Memory
               Models},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
               as Part of the 12th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
               June 19-22, 2017, Proceedings},
  pages     = {108--123},
  year      = {2017},
  crossref  = {DBLP:conf/forte/2017},
  url       = {https://doi.org/10.1007/978-3-319-60225-7\_8},
  doi       = {10.1007/978-3-319-60225-7\_8},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/forte/DerrickS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/GibsonKM17,
  author    = {J. Paul Gibson and
               Souad Kherroubi and
               Dominique M{\'{e}}ry},
  title     = {Applying a Dependency Mechanism for Voting Protocol Models Using Event-B},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
               as Part of the 12th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
               June 19-22, 2017, Proceedings},
  pages     = {124--138},
  year      = {2017},
  crossref  = {DBLP:conf/forte/2017},
  url       = {https://doi.org/10.1007/978-3-319-60225-7\_9},
  doi       = {10.1007/978-3-319-60225-7\_9},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/forte/GibsonKM17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/LanotteMT17,
  author    = {Ruggero Lanotte and
               Massimo Merro and
               Simone Tini},
  title     = {Weak Simulation Quasimetric in a Gossip Scenario},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
               as Part of the 12th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
               June 19-22, 2017, Proceedings},
  pages     = {139--155},
  year      = {2017},
  crossref  = {DBLP:conf/forte/2017},
  url       = {https://doi.org/10.1007/978-3-319-60225-7\_10},
  doi       = {10.1007/978-3-319-60225-7\_10},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/forte/LanotteMT17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/MaltitzDC17,
  author    = {Marcel von Maltitz and
               Cornelius Diekmann and
               Georg Carle},
  title     = {Privacy Assessment Using Static Taint Analysis (Tool Paper)},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
               as Part of the 12th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
               June 19-22, 2017, Proceedings},
  pages     = {225--235},
  year      = {2017},
  crossref  = {DBLP:conf/forte/2017},
  url       = {https://doi.org/10.1007/978-3-319-60225-7\_16},
  doi       = {10.1007/978-3-319-60225-7\_16},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/forte/MaltitzDC17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Montesi17,
  author    = {Fabrizio Montesi},
  title     = {Classical Higher-Order Processes - (Short Paper)},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
               as Part of the 12th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
               June 19-22, 2017, Proceedings},
  pages     = {171--178},
  year      = {2017},
  crossref  = {DBLP:conf/forte/2017},
  url       = {https://doi.org/10.1007/978-3-319-60225-7\_12},
  doi       = {10.1007/978-3-319-60225-7\_12},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/forte/Montesi17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ParrowWBE17,
  author    = {Joachim Parrow and
               Tjark Weber and
               Johannes Borgstr{\"{o}}m and
               Lars{-}Henrik Eriksson},
  title     = {Weak Nominal Modal Logic},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
               as Part of the 12th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
               June 19-22, 2017, Proceedings},
  pages     = {179--193},
  year      = {2017},
  crossref  = {DBLP:conf/forte/2017},
  url       = {https://doi.org/10.1007/978-3-319-60225-7\_13},
  doi       = {10.1007/978-3-319-60225-7\_13},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/forte/ParrowWBE17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/PreoteasaDT17,
  author    = {Viorel Preoteasa and
               Iulia Dragomir and
               Stavros Tripakis},
  title     = {Type Inference of Simulink Hierarchical Block Diagrams in Isabelle},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
               as Part of the 12th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
               June 19-22, 2017, Proceedings},
  pages     = {194--209},
  year      = {2017},
  crossref  = {DBLP:conf/forte/2017},
  url       = {https://doi.org/10.1007/978-3-319-60225-7\_14},
  doi       = {10.1007/978-3-319-60225-7\_14},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/forte/PreoteasaDT17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/VijzelaarF17,
  author    = {Stefan J. J. Vijzelaar and
               Wan J. Fokkink},
  title     = {Creating B{\"{u}}chi Automata for Multi-valued Model Checking},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
               as Part of the 12th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
               June 19-22, 2017, Proceedings},
  pages     = {210--224},
  year      = {2017},
  crossref  = {DBLP:conf/forte/2017},
  url       = {https://doi.org/10.1007/978-3-319-60225-7\_15},
  doi       = {10.1007/978-3-319-60225-7\_15},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/forte/VijzelaarF17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2017,
  editor    = {Ahmed Bouajjani and
               Alexandra Silva},
  title     = {Formal Techniques for Distributed Objects, Components, and Systems
               - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
               as Part of the 12th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
               June 19-22, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10321},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-60225-7},
  doi       = {10.1007/978-3-319-60225-7},
  isbn      = {978-3-319-60224-0},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/forte/2017.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2017,
  editor    = {Ahmed Bouajjani and
               Alexandra Silva},
  title     = {Formal Techniques for Distributed Objects, Components, and Systems
               - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held
               as Part of the 12th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel, Switzerland,
               June 19-22, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10321},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-60225-7},
  doi       = {10.1007/978-3-319-60225-7},
  isbn      = {978-3-319-60224-0},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/forte/2017.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics