Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/forte/forte2016.bht:"
@inproceedings{DBLP:conf/forte/AbdullaAKLRZ16, author = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and Stefanos Kaxiras and Carl Leonardsson and Alberto Ros and Yunyun Zhu}, editor = {Elvira Albert and Ivan Lanese}, title = {Fencing Programs with Self-Invalidation and Self-Downgrade}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9688}, pages = {19--35}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39570-8\_2}, doi = {10.1007/978-3-319-39570-8\_2}, timestamp = {Wed, 31 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/AbdullaAKLRZ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/AlrahmanNL16, author = {Yehia Abd Alrahman and Rocco De Nicola and Michele Loreti}, editor = {Elvira Albert and Ivan Lanese}, title = {On the Power of Attribute-Based Communication}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9688}, pages = {1--18}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39570-8\_1}, doi = {10.1007/978-3-319-39570-8\_1}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/AlrahmanNL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/AltisenCD16, author = {Karine Altisen and Pierre Corbineau and St{\'{e}}phane Devismes}, editor = {Elvira Albert and Ivan Lanese}, title = {A Framework for Certified Self-Stabilization}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9688}, pages = {36--51}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39570-8\_3}, doi = {10.1007/978-3-319-39570-8\_3}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/AltisenCD16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/AtzeiB16, author = {Nicola Atzei and Massimo Bartoletti}, editor = {Elvira Albert and Ivan Lanese}, title = {Developing Honest Java Programs with Diogenes}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9688}, pages = {52--61}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39570-8\_4}, doi = {10.1007/978-3-319-39570-8\_4}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/AtzeiB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/BasileDFT16, author = {Davide Basile and Pierpaolo Degano and Gian{-}Luigi Ferrari and Emilio Tuosto}, editor = {Elvira Albert and Ivan Lanese}, title = {Playing with Our {CAT} and Communication-Centric Applications}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9688}, pages = {62--73}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39570-8\_5}, doi = {10.1007/978-3-319-39570-8\_5}, timestamp = {Fri, 23 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/BasileDFT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/CairesP16, author = {Lu{\'{\i}}s Caires and Jorge A. P{\'{e}}rez}, editor = {Elvira Albert and Ivan Lanese}, title = {Multiparty Session Types Within a Canonical Binary Theory, and Beyond}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9688}, pages = {74--95}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39570-8\_6}, doi = {10.1007/978-3-319-39570-8\_6}, timestamp = {Wed, 02 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/CairesP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/ChenVBZE16, author = {Tzu{-}Chun Chen and Malte Viering and Andi Bejleri and Lukasz Ziarek and Patrick Eugster}, editor = {Elvira Albert and Ivan Lanese}, title = {A Type Theory for Robust Failure Handling in Distributed Systems}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9688}, pages = {96--113}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39570-8\_7}, doi = {10.1007/978-3-319-39570-8\_7}, timestamp = {Sat, 16 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/ChenVBZE16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/Cruz-FilipeM16, author = {Lu{\'{\i}}s Cruz{-}Filipe and Fabrizio Montesi}, editor = {Elvira Albert and Ivan Lanese}, title = {Choreographies in Practice}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9688}, pages = {114--123}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39570-8\_8}, doi = {10.1007/978-3-319-39570-8\_8}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/Cruz-FilipeM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/EscrigKW16, author = {David de Frutos{-}Escrig and Jeroen J. A. Keiren and Tim A. C. Willemse}, editor = {Elvira Albert and Ivan Lanese}, title = {Branching Bisimulation Games}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9688}, pages = {142--157}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39570-8\_10}, doi = {10.1007/978-3-319-39570-8\_10}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/EscrigKW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/FaghihBTK16, author = {Fathiyeh Faghih and Borzoo Bonakdarpour and S{\'{e}}bastien Tixeuil and Sandeep S. Kulkarni}, editor = {Elvira Albert and Ivan Lanese}, title = {Specification-Based Synthesis of Distributed Self-Stabilizing Protocols}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9688}, pages = {124--141}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39570-8\_9}, doi = {10.1007/978-3-319-39570-8\_9}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/FaghihBTK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/HajduTVM16, author = {{\'{A}}kos Hajdu and Tam{\'{a}}s T{\'{o}}th and Andr{\'{a}}s V{\"{o}}r{\"{o}}s and Istv{\'{a}}n Majzik}, editor = {Elvira Albert and Ivan Lanese}, title = {A Configurable {CEGAR} Framework with Interpolation-Based Refinements}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9688}, pages = {158--174}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39570-8\_11}, doi = {10.1007/978-3-319-39570-8\_11}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/HajduTVM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/HenrioMZ16, author = {Ludovic Henrio and Eric Madelaine and Min Zhang}, editor = {Elvira Albert and Ivan Lanese}, title = {A Theory for the Composition of Concurrent Processes}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9688}, pages = {175--194}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39570-8\_12}, doi = {10.1007/978-3-319-39570-8\_12}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/HenrioMZ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/LopezNN16, author = {Hugo A. L{\'{o}}pez and Flemming Nielson and Hanne Riis Nielson}, editor = {Elvira Albert and Ivan Lanese}, title = {Enforcing Availability in Failure-Aware Communicating Systems}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9688}, pages = {195--211}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39570-8\_13}, doi = {10.1007/978-3-319-39570-8\_13}, timestamp = {Mon, 13 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/LopezNN16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/MercaldoNSV16, author = {Francesco Mercaldo and Vittoria Nardone and Antonella Santone and Corrado Aaron Visaggio}, editor = {Elvira Albert and Ivan Lanese}, title = {Ransomware Steals Your Phone. Formal Methods Rescue It}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9688}, pages = {212--221}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39570-8\_14}, doi = {10.1007/978-3-319-39570-8\_14}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/MercaldoNSV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/Perez16, author = {Jorge A. P{\'{e}}rez}, editor = {Elvira Albert and Ivan Lanese}, title = {The Challenge of Typed Expressiveness in Concurrency}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9688}, pages = {239--247}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39570-8\_16}, doi = {10.1007/978-3-319-39570-8\_16}, timestamp = {Wed, 02 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/Perez16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/PetrenkoNR16, author = {Alexandre Petrenko and Omer Nguena{-}Timo and S. Ramesh}, editor = {Elvira Albert and Ivan Lanese}, title = {Multiple Mutation Testing from {FSM}}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9688}, pages = {222--238}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39570-8\_15}, doi = {10.1007/978-3-319-39570-8\_15}, timestamp = {Tue, 14 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/PetrenkoNR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/SpaccasassiK16, author = {Carlo Spaccasassi and Vasileios Koutavas}, editor = {Elvira Albert and Ivan Lanese}, title = {Type-Based Analysis for Session Inference (Extended Abstract)}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9688}, pages = {248--266}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39570-8\_17}, doi = {10.1007/978-3-319-39570-8\_17}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/SpaccasassiK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/TekayaBEA16, author = {Manel Tekaya and Mohamed Taha Bennani and Nedra Ebdelli and Samir Ben Ahmed}, editor = {Elvira Albert and Ivan Lanese}, title = {SimAutoGen Tool: Test Vector Generation from Large Scale MATLAB/Simulink Models}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9688}, pages = {267--274}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39570-8\_18}, doi = {10.1007/978-3-319-39570-8\_18}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/TekayaBEA16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/forte/2016, editor = {Elvira Albert and Ivan Lanese}, title = {Formal Techniques for Distributed Objects, Components, and Systems - 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9688}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-39570-8}, doi = {10.1007/978-3-319-39570-8}, isbn = {978-3-319-39569-2}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/2016.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.