Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/forte/AcetoCFI21,
  author       = {Luca Aceto and
                  Ian Cassar and
                  Adrian Francalanza and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  editor       = {Kirstin Peters and
                  Tim A. C. Willemse},
  title        = {On Bidirectional Runtime Enforcement},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 41st {IFIP} {WG} 6.1 International Conference, {FORTE} 2021, Held
                  as Part of the 16th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12719},
  pages        = {3--21},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-78089-0\_1},
  doi          = {10.1007/978-3-030-78089-0\_1},
  timestamp    = {Tue, 13 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/AcetoCFI21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/AlvimAKQV21,
  author       = {M{\'{a}}rio S. Alvim and
                  Bernardo Amorim and
                  Sophia Knight and
                  Santiago Quintero and
                  Frank Valencia},
  editor       = {Kirstin Peters and
                  Tim A. C. Willemse},
  title        = {A Multi-agent Model for Polarization Under Confirmation Bias in Social
                  Networks},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 41st {IFIP} {WG} 6.1 International Conference, {FORTE} 2021, Held
                  as Part of the 16th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12719},
  pages        = {22--41},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-78089-0\_2},
  doi          = {10.1007/978-3-030-78089-0\_2},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/AlvimAKQV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/AttardAAFIL21,
  author       = {Duncan Paul Attard and
                  Luca Aceto and
                  Antonis Achilleos and
                  Adrian Francalanza and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir and
                  Karoliina Lehtinen},
  editor       = {Kirstin Peters and
                  Tim A. C. Willemse},
  title        = {Better Late Than Never or: Verifying Asynchronous Components at Runtime},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 41st {IFIP} {WG} 6.1 International Conference, {FORTE} 2021, Held
                  as Part of the 16th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12719},
  pages        = {207--225},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-78089-0\_14},
  doi          = {10.1007/978-3-030-78089-0\_14},
  timestamp    = {Tue, 13 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/AttardAAFIL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/BasileBDLFGG21,
  author       = {Davide Basile and
                  Maurice H. ter Beek and
                  Pierpaolo Degano and
                  Axel Legay and
                  Gian{-}Luigi Ferrari and
                  Stefania Gnesi and
                  Felicita Di Giandomenico},
  editor       = {Kirstin Peters and
                  Tim A. C. Willemse},
  title        = {Supervisory Synthesis of Configurable Behavioural Contracts with Modalities},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 41st {IFIP} {WG} 6.1 International Conference, {FORTE} 2021, Held
                  as Part of the 16th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12719},
  pages        = {177--181},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-78089-0\_10},
  doi          = {10.1007/978-3-030-78089-0\_10},
  timestamp    = {Fri, 23 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/BasileBDLFGG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/BouwmanLW21,
  author       = {Mark Bouwman and
                  Bas Luttik and
                  Djurre van der Wal},
  editor       = {Kirstin Peters and
                  Tim A. C. Willemse},
  title        = {A Formalisation of SysML State Machines in mCRL2},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 41st {IFIP} {WG} 6.1 International Conference, {FORTE} 2021, Held
                  as Part of the 16th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12719},
  pages        = {42--59},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-78089-0\_3},
  doi          = {10.1007/978-3-030-78089-0\_3},
  timestamp    = {Mon, 14 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/BouwmanLW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/BouwmanLW21a,
  author       = {Mark Bouwman and
                  Bas Luttik and
                  Tim A. C. Willemse},
  editor       = {Kirstin Peters and
                  Tim A. C. Willemse},
  title        = {Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths
                  - (Extended Abstract)},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 41st {IFIP} {WG} 6.1 International Conference, {FORTE} 2021, Held
                  as Part of the 16th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12719},
  pages        = {182--187},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-78089-0\_11},
  doi          = {10.1007/978-3-030-78089-0\_11},
  timestamp    = {Mon, 14 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/BouwmanLW21a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/BussiCG21,
  author       = {Laura Bussi and
                  Vincenzo Ciancia and
                  Fabio Gadducci},
  editor       = {Kirstin Peters and
                  Tim A. C. Willemse},
  title        = {Towards a Spatial Model Checker on {GPU}},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 41st {IFIP} {WG} 6.1 International Conference, {FORTE} 2021, Held
                  as Part of the 16th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12719},
  pages        = {188--196},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-78089-0\_12},
  doi          = {10.1007/978-3-030-78089-0\_12},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/BussiCG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/CastiglioniLT21,
  author       = {Valentina Castiglioni and
                  Michele Loreti and
                  Simone Tini},
  editor       = {Kirstin Peters and
                  Tim A. C. Willemse},
  title        = {How Adaptive and Reliable is Your Program?},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 41st {IFIP} {WG} 6.1 International Conference, {FORTE} 2021, Held
                  as Part of the 16th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12719},
  pages        = {60--79},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-78089-0\_4},
  doi          = {10.1007/978-3-030-78089-0\_4},
  timestamp    = {Tue, 15 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/CastiglioniLT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/Gorrieri21,
  author       = {Roberto Gorrieri},
  editor       = {Kirstin Peters and
                  Tim A. C. Willemse},
  title        = {Branching Place Bisimilarity: {A} Decidable Behavioral Equivalence
                  for Finite Petri Nets with Silent Moves},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 41st {IFIP} {WG} 6.1 International Conference, {FORTE} 2021, Held
                  as Part of the 16th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12719},
  pages        = {80--99},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-78089-0\_5},
  doi          = {10.1007/978-3-030-78089-0\_5},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/Gorrieri21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/GrooteK21,
  author       = {Jan Friso Groote and
                  Jeroen J. A. Keiren},
  editor       = {Kirstin Peters and
                  Tim A. C. Willemse},
  title        = {Tutorial: Designing Distributed Software in mCRL2},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 41st {IFIP} {WG} 6.1 International Conference, {FORTE} 2021, Held
                  as Part of the 16th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12719},
  pages        = {226--243},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-78089-0\_15},
  doi          = {10.1007/978-3-030-78089-0\_15},
  timestamp    = {Tue, 15 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/GrooteK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/Jehl21,
  author       = {Leander Jehl},
  editor       = {Kirstin Peters and
                  Tim A. C. Willemse},
  title        = {Formal Verification of HotStuff},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 41st {IFIP} {WG} 6.1 International Conference, {FORTE} 2021, Held
                  as Part of the 16th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12719},
  pages        = {197--204},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-78089-0\_13},
  doi          = {10.1007/978-3-030-78089-0\_13},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/Jehl21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/KokkeD21,
  author       = {Wen Kokke and
                  Ornela Dardha},
  editor       = {Kirstin Peters and
                  Tim A. C. Willemse},
  title        = {Prioritise the Best Variation},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 41st {IFIP} {WG} 6.1 International Conference, {FORTE} 2021, Held
                  as Part of the 16th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12719},
  pages        = {100--119},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-78089-0\_6},
  doi          = {10.1007/978-3-030-78089-0\_6},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/KokkeD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/MontinP21,
  author       = {Mathieu Montin and
                  Marc Pantel},
  editor       = {Kirstin Peters and
                  Tim A. C. Willemse},
  title        = {Towards Multi-layered Temporal Models: - {A} Proposal to Integrate
                  Instant Refinement in {CCSL}},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 41st {IFIP} {WG} 6.1 International Conference, {FORTE} 2021, Held
                  as Part of the 16th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12719},
  pages        = {120--137},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-78089-0\_7},
  doi          = {10.1007/978-3-030-78089-0\_7},
  timestamp    = {Tue, 15 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/MontinP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/Tran0W21,
  author       = {Thanh{-}Hai Tran and
                  Igor Konnov and
                  Josef Widder},
  editor       = {Kirstin Peters and
                  Tim A. C. Willemse},
  title        = {A Case Study on Parametric Verification of Failure Detectors},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 41st {IFIP} {WG} 6.1 International Conference, {FORTE} 2021, Held
                  as Part of the 16th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12719},
  pages        = {138--156},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-78089-0\_8},
  doi          = {10.1007/978-3-030-78089-0\_8},
  timestamp    = {Thu, 18 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/Tran0W21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/ZalakainD21,
  author       = {Uma Zalakain and
                  Ornela Dardha},
  editor       = {Kirstin Peters and
                  Tim A. C. Willemse},
  title        = {{\(\pi\)} with Leftovers: {A} Mechanisation in Agda},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 41st {IFIP} {WG} 6.1 International Conference, {FORTE} 2021, Held
                  as Part of the 16th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12719},
  pages        = {157--174},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-78089-0\_9},
  doi          = {10.1007/978-3-030-78089-0\_9},
  timestamp    = {Tue, 15 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/ZalakainD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/forte/2021,
  editor       = {Kirstin Peters and
                  Tim A. C. Willemse},
  title        = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 41st {IFIP} {WG} 6.1 International Conference, {FORTE} 2021, Held
                  as Part of the 16th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12719},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-78089-0},
  doi          = {10.1007/978-3-030-78089-0},
  isbn         = {978-3-030-78088-3},
  timestamp    = {Mon, 14 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/2021.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.