![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/forte/forte2015.bht:"
@inproceedings{DBLP:conf/forte/0001LW15, author = {Dirk Beyer and Stefan L{\"{o}}we and Philipp Wendler}, editor = {Susanne Graf and Mahesh Viswanathan}, title = {Sliced Path Prefixes: An Effective Method to Enable Refinement Selection}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9039}, pages = {228--243}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19195-9\_15}, doi = {10.1007/978-3-319-19195-9\_15}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/0001LW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/AbadiI15, author = {Mart{\'{\i}}n Abadi and Michael Isard}, editor = {Susanne Graf and Mahesh Viswanathan}, title = {Timely Dataflow: {A} Model}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9039}, pages = {131--145}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19195-9\_9}, doi = {10.1007/978-3-319-19195-9\_9}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/AbadiI15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/ArbachKPN15, author = {Youssef Arbach and David Karcher and Kirstin Peters and Uwe Nestmann}, editor = {Susanne Graf and Mahesh Viswanathan}, title = {Dynamic Causality in Event Structures}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9039}, pages = {83--97}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19195-9\_6}, doi = {10.1007/978-3-319-19195-9\_6}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/ArbachKPN15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/BartolettiCMPP15, author = {Massimo Bartoletti and Tiziana Cimoli and Maurizio Murgia and Alessandro Sebastian Podda and Livio Pompianu}, editor = {Susanne Graf and Mahesh Viswanathan}, title = {Compliance and Subtyping in Timed Session Types}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9039}, pages = {161--177}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19195-9\_11}, doi = {10.1007/978-3-319-19195-9\_11}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/BartolettiCMPP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/ClaudelSS15, author = {Benoit Claudel and Quentin Sabah and Jean{-}Bernard Stefani}, editor = {Susanne Graf and Mahesh Viswanathan}, title = {Simple Isolation for an Actor Abstract Machine}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9039}, pages = {213--227}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19195-9\_14}, doi = {10.1007/978-3-319-19195-9\_14}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/ClaudelSS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/DamianiVPB15, author = {Ferruccio Damiani and Mirko Viroli and Danilo Pianini and Jacob Beal}, editor = {Susanne Graf and Mahesh Viswanathan}, title = {Code Mobility Meets Self-organisation: {A} Higher-Order Calculus of Computational Fields}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9039}, pages = {113--128}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19195-9\_8}, doi = {10.1007/978-3-319-19195-9\_8}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/DamianiVPB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/GhoshM15, author = {Ritwika Ghosh and Sayan Mitra}, editor = {Susanne Graf and Mahesh Viswanathan}, title = {A Strategy for Automatic Verification of Stabilization of Distributed Algorithms}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9039}, pages = {35--49}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19195-9\_3}, doi = {10.1007/978-3-319-19195-9\_3}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/GhoshM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/HornK15, author = {Alex Horn and Daniel Kroening}, editor = {Susanne Graf and Mahesh Viswanathan}, title = {On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9039}, pages = {19--34}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19195-9\_2}, doi = {10.1007/978-3-319-19195-9\_2}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/HornK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/HornK15a, author = {Alex Horn and Daniel Kroening}, editor = {Susanne Graf and Mahesh Viswanathan}, title = {Faster Linearizability Checking via P-Compositionality}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9039}, pages = {50--65}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19195-9\_4}, doi = {10.1007/978-3-319-19195-9\_4}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/forte/HornK15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/KouzapasP15, author = {Dimitrios Kouzapas and Anna Philippou}, editor = {Susanne Graf and Mahesh Viswanathan}, title = {Type Checking Privacy Policies in the {\(\pi\)}-calculus}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9039}, pages = {181--195}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19195-9\_12}, doi = {10.1007/978-3-319-19195-9\_12}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/KouzapasP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/NamjoshiT15, author = {Kedar S. Namjoshi and Richard J. Trefler}, editor = {Susanne Graf and Mahesh Viswanathan}, title = {Loop Freedom in AODVv2}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9039}, pages = {98--112}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19195-9\_7}, doi = {10.1007/978-3-319-19195-9\_7}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/NamjoshiT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/NgoTG15, author = {Van Chan Ngo and Jean{-}Pierre Talpin and Thierry Gautier}, editor = {Susanne Graf and Mahesh Viswanathan}, title = {Translation Validation for Synchronous Data-Flow Specification in the {SIGNAL} Compiler}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9039}, pages = {66--80}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19195-9\_5}, doi = {10.1007/978-3-319-19195-9\_5}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/NgoTG15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/PadovaniN15, author = {Luca Padovani and Luca Novara}, editor = {Susanne Graf and Mahesh Viswanathan}, title = {Types for Deadlock-Free Higher-Order Programs}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9039}, pages = {3--18}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19195-9\_1}, doi = {10.1007/978-3-319-19195-9\_1}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/PadovaniN15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/Salem15, author = {Ala{-}Eddine Ben Salem}, editor = {Susanne Graf and Mahesh Viswanathan}, title = {Extending Testing Automata to All {LTL}}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9039}, pages = {196--210}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19195-9\_13}, doi = {10.1007/978-3-319-19195-9\_13}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/Salem15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/WangJ15, author = {Weifeng Wang and Li Jiao}, editor = {Susanne Graf and Mahesh Viswanathan}, title = {Difference Bound Constraint Abstraction for Timed Automata Reachability Checking}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9039}, pages = {146--160}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19195-9\_10}, doi = {10.1007/978-3-319-19195-9\_10}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/WangJ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/forte/2015, editor = {Susanne Graf and Mahesh Viswanathan}, title = {Formal Techniques for Distributed Objects, Components, and Systems - 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9039}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19195-9}, doi = {10.1007/978-3-319-19195-9}, isbn = {978-3-319-19194-2}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.