default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/forte/forte2015.bht:"
download as .bib file
@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}
}
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.
retrieved on 2024-11-11 18:46 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
