Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/forte/AlvimSKV24,
  author       = {M{\'{a}}rio S. Alvim and
                  Artur Gaspar da Silva and
                  Sophia Knight and
                  Frank Valencia},
  editor       = {Valentina Castiglioni and
                  Adrian Francalanza},
  title        = {A Multi-agent Model for Opinion Evolution in Social Networks Under
                  Cognitive Biases},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 44th {IFIP} {WG} 6.1 International Conference, {FORTE} 2024, Held
                  as Part of the 19th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June
                  17-21, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14678},
  pages        = {3--19},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-62645-6\_1},
  doi          = {10.1007/978-3-031-62645-6\_1},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/AlvimSKV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/BezhanishviliCGJLMV24,
  author       = {Nick Bezhanishvili and
                  Vincenzo Ciancia and
                  David Gabelaia and
                  Mamuka Jibladze and
                  Diego Latella and
                  Mieke Massink and
                  Erik P. de Vink},
  editor       = {Valentina Castiglioni and
                  Adrian Francalanza},
  title        = {Weak Simplicial Bisimilarity for Polyhedral Models and SLCS\({}_{\mbox{{\(\eta\)}}}\)},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 44th {IFIP} {WG} 6.1 International Conference, {FORTE} 2024, Held
                  as Part of the 19th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June
                  17-21, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14678},
  pages        = {20--38},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-62645-6\_2},
  doi          = {10.1007/978-3-031-62645-6\_2},
  timestamp    = {Fri, 19 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/BezhanishviliCGJLMV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/BrunD24,
  author       = {Matthew Alan Le Brun and
                  Ornela Dardha},
  editor       = {Valentina Castiglioni and
                  Adrian Francalanza},
  title        = {MAG{\(\pi\)}!: The Role of Replication in Typing Failure-Prone Communication},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 44th {IFIP} {WG} 6.1 International Conference, {FORTE} 2024, Held
                  as Part of the 19th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June
                  17-21, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14678},
  pages        = {99--117},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-62645-6\_6},
  doi          = {10.1007/978-3-031-62645-6\_6},
  timestamp    = {Thu, 04 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/BrunD24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/EspositoAB24,
  author       = {Andrea Esposito and
                  Alessandro Aldini and
                  Marco Bernardo},
  editor       = {Valentina Castiglioni and
                  Adrian Francalanza},
  title        = {Noninterference Analysis of Reversible Probabilistic Systems},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 44th {IFIP} {WG} 6.1 International Conference, {FORTE} 2024, Held
                  as Part of the 19th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June
                  17-21, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14678},
  pages        = {39--59},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-62645-6\_3},
  doi          = {10.1007/978-3-031-62645-6\_3},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/EspositoAB24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/EsterhuyseMB24,
  author       = {Christopher A. Esterhuyse and
                  Tim M{\"{u}}ller and
                  L. Thomas van Binsbergen},
  editor       = {Valentina Castiglioni and
                  Adrian Francalanza},
  title        = {JustAct: Actions Universally Justified by Partial Dynamic Policies},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 44th {IFIP} {WG} 6.1 International Conference, {FORTE} 2024, Held
                  as Part of the 19th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June
                  17-21, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14678},
  pages        = {60--81},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-62645-6\_4},
  doi          = {10.1007/978-3-031-62645-6\_4},
  timestamp    = {Thu, 04 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/EsterhuyseMB24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/FrankenN24,
  author       = {Tom T. P. Franken and
                  Thomas Neele},
  editor       = {Valentina Castiglioni and
                  Adrian Francalanza},
  title        = {AuDaLa is Turing Complete},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 44th {IFIP} {WG} 6.1 International Conference, {FORTE} 2024, Held
                  as Part of the 19th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June
                  17-21, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14678},
  pages        = {221--229},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-62645-6\_12},
  doi          = {10.1007/978-3-031-62645-6\_12},
  timestamp    = {Thu, 04 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/FrankenN24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/GrangeL24,
  author       = {Julien Grange and
                  Mathieu Lehaut},
  editor       = {Valentina Castiglioni and
                  Adrian Francalanza},
  title        = {Synthesis for Prefix First-Order Logic on Data Words},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 44th {IFIP} {WG} 6.1 International Conference, {FORTE} 2024, Held
                  as Part of the 19th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June
                  17-21, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14678},
  pages        = {82--98},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-62645-6\_5},
  doi          = {10.1007/978-3-031-62645-6\_5},
  timestamp    = {Fri, 19 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/GrangeL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/GuMS24,
  author       = {Rong Gu and
                  Zahra Moezkarimi and
                  Marjan Sirjani},
  editor       = {Valentina Castiglioni and
                  Adrian Francalanza},
  title        = {Guess and Then Check: Controller Synthesis for Safe and Secure Cyber-Physical
                  Systems},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 44th {IFIP} {WG} 6.1 International Conference, {FORTE} 2024, Held
                  as Part of the 19th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June
                  17-21, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14678},
  pages        = {230--238},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-62645-6\_13},
  doi          = {10.1007/978-3-031-62645-6\_13},
  timestamp    = {Thu, 04 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/GuMS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/LengletS24,
  author       = {Sergue{\"{\i}} Lenglet and
                  Alan Schmitt},
  editor       = {Valentina Castiglioni and
                  Adrian Francalanza},
  title        = {Leaf-First Zipper Semantics},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 44th {IFIP} {WG} 6.1 International Conference, {FORTE} 2024, Held
                  as Part of the 19th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June
                  17-21, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14678},
  pages        = {118--135},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-62645-6\_7},
  doi          = {10.1007/978-3-031-62645-6\_7},
  timestamp    = {Wed, 19 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/LengletS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/RousseauxCAL24,
  author       = {Tom Rousseaux and
                  Christophe Crochet and
                  John O. R. Aoga and
                  Axel Legay},
  editor       = {Valentina Castiglioni and
                  Adrian Francalanza},
  title        = {Network Simulator-Centric Compositional Testing},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 44th {IFIP} {WG} 6.1 International Conference, {FORTE} 2024, Held
                  as Part of the 19th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June
                  17-21, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14678},
  pages        = {177--196},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-62645-6\_10},
  doi          = {10.1007/978-3-031-62645-6\_10},
  timestamp    = {Fri, 19 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/RousseauxCAL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/SaeedloeiK24,
  author       = {Neda Saeedloei and
                  Feliks Kluzniak},
  editor       = {Valentina Castiglioni and
                  Adrian Francalanza},
  title        = {Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised
                  Timed Scenarios},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 44th {IFIP} {WG} 6.1 International Conference, {FORTE} 2024, Held
                  as Part of the 19th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June
                  17-21, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14678},
  pages        = {136--154},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-62645-6\_8},
  doi          = {10.1007/978-3-031-62645-6\_8},
  timestamp    = {Wed, 19 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/SaeedloeiK24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/ViscontiBFN24,
  author       = {Ennio Visconti and
                  Ezio Bartocci and
                  Yli{\`{e}}s Falcone and
                  Laura Nenzi},
  editor       = {Valentina Castiglioni and
                  Adrian Francalanza},
  title        = {Adaptable Configuration of Decentralized Monitors},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 44th {IFIP} {WG} 6.1 International Conference, {FORTE} 2024, Held
                  as Part of the 19th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June
                  17-21, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14678},
  pages        = {197--217},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-62645-6\_11},
  doi          = {10.1007/978-3-031-62645-6\_11},
  timestamp    = {Fri, 19 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/ViscontiBFN24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/WangNRZ24,
  author       = {Weili Wang and
                  Jianyu Niu and
                  Michael K. Reiter and
                  Yinqian Zhang},
  editor       = {Valentina Castiglioni and
                  Adrian Francalanza},
  title        = {Formally Verifying a Rollback-Prevention Protocol for TEEs},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 44th {IFIP} {WG} 6.1 International Conference, {FORTE} 2024, Held
                  as Part of the 19th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June
                  17-21, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14678},
  pages        = {155--173},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-62645-6\_9},
  doi          = {10.1007/978-3-031-62645-6\_9},
  timestamp    = {Wed, 19 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/WangNRZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/forte/2024,
  editor       = {Valentina Castiglioni and
                  Adrian Francalanza},
  title        = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 44th {IFIP} {WG} 6.1 International Conference, {FORTE} 2024, Held
                  as Part of the 19th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June
                  17-21, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14678},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-62645-6},
  doi          = {10.1007/978-3-031-62645-6},
  isbn         = {978-3-031-62644-9},
  timestamp    = {Wed, 19 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/2024.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.