Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/forte/0001LSW20,
  author       = {Igor Konnov and
                  Marijana Lazic and
                  Ilina Stoilkovska and
                  Josef Widder},
  editor       = {Alexey Gotsman and
                  Ana Sokolova},
  title        = {Tutorial: Parameterized Verification with Byzantine Model Checker},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held
                  as Part of the 15th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19,
                  2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12136},
  pages        = {189--207},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50086-3\_11},
  doi          = {10.1007/978-3-030-50086-3\_11},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/0001LSW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/0001M20,
  author       = {Marco Bernardo and
                  Claudio Antares Mezzina},
  editor       = {Alexey Gotsman and
                  Ana Sokolova},
  title        = {Towards Bridging Time and Causal Reversibility},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held
                  as Part of the 15th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19,
                  2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12136},
  pages        = {22--38},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50086-3\_2},
  doi          = {10.1007/978-3-030-50086-3\_2},
  timestamp    = {Wed, 10 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/0001M20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/ArenisVW20,
  author       = {Sergio Feo{-}Arenis and
                  Milan Vujinovic and
                  Bernd Westphal},
  editor       = {Alexey Gotsman and
                  Ana Sokolova},
  title        = {On Implementable Timed Automata},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held
                  as Part of the 15th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19,
                  2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12136},
  pages        = {78--95},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50086-3\_5},
  doi          = {10.1007/978-3-030-50086-3\_5},
  timestamp    = {Wed, 19 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/ArenisVW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/BasileBL20,
  author       = {Davide Basile and
                  Maurice H. ter Beek and
                  Axel Legay},
  editor       = {Alexey Gotsman and
                  Ana Sokolova},
  title        = {Strategy Synthesis for Autonomous Driving in a Moving Block Railway
                  System with Uppaal Stratego},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held
                  as Part of the 15th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19,
                  2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12136},
  pages        = {3--21},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50086-3\_1},
  doi          = {10.1007/978-3-030-50086-3\_1},
  timestamp    = {Thu, 02 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/BasileBL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/BilaDDDSW20,
  author       = {Eleni Bila and
                  Simon Doherty and
                  Brijesh Dongol and
                  John Derrick and
                  Gerhard Schellhorn and
                  Heike Wehrheim},
  editor       = {Alexey Gotsman and
                  Ana Sokolova},
  title        = {Defining and Verifying Durable Opacity: Correctness for Persistent
                  Software Transactional Memory},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held
                  as Part of the 15th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19,
                  2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12136},
  pages        = {39--58},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50086-3\_3},
  doi          = {10.1007/978-3-030-50086-3\_3},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/BilaDDDSW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/BurloFS20,
  author       = {Christian Bartolo Burl{\`{o}} and
                  Adrian Francalanza and
                  Alceste Scalas},
  editor       = {Alexey Gotsman and
                  Ana Sokolova},
  title        = {Towards a Hybrid Verification Methodology for Communication Protocols
                  (Short Paper)},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held
                  as Part of the 15th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19,
                  2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12136},
  pages        = {227--235},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50086-3\_13},
  doi          = {10.1007/978-3-030-50086-3\_13},
  timestamp    = {Tue, 16 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/BurloFS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/DimitrovaGMBH20,
  author       = {Rayna Dimitrova and
                  Maciej Gazda and
                  Mohammad Reza Mousavi and
                  Sebastian Biewer and
                  Holger Hermanns},
  editor       = {Alexey Gotsman and
                  Ana Sokolova},
  title        = {Conformance-Based Doping Detection for Cyber-Physical Systems},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held
                  as Part of the 15th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19,
                  2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12136},
  pages        = {59--77},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50086-3\_4},
  doi          = {10.1007/978-3-030-50086-3\_4},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/DimitrovaGMBH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/GrosH0KS20,
  author       = {Timo P. Gros and
                  Holger Hermanns and
                  J{\"{o}}rg Hoffmann and
                  Michaela Klauck and
                  Marcel Steinmetz},
  editor       = {Alexey Gotsman and
                  Ana Sokolova},
  title        = {Deep Statistical Model Checking},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held
                  as Part of the 15th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19,
                  2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12136},
  pages        = {96--114},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50086-3\_6},
  doi          = {10.1007/978-3-030-50086-3\_6},
  timestamp    = {Wed, 10 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/GrosH0KS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/Minami20,
  author       = {Kiraku Minami},
  editor       = {Alexey Gotsman and
                  Ana Sokolova},
  title        = {Trace Equivalence and Epistemic Logic to Express Security Properties},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held
                  as Part of the 15th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19,
                  2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12136},
  pages        = {115--132},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50086-3\_7},
  doi          = {10.1007/978-3-030-50086-3\_7},
  timestamp    = {Tue, 16 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/Minami20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/ShimiHQ20,
  author       = {Adam Shimi and
                  Aur{\'{e}}lie Hurault and
                  Philippe Qu{\'{e}}innec},
  editor       = {Alexey Gotsman and
                  Ana Sokolova},
  title        = {Derivation of Heard-of Predicates from Elementary Behavioral Patterns},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held
                  as Part of the 15th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19,
                  2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12136},
  pages        = {133--149},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50086-3\_8},
  doi          = {10.1007/978-3-030-50086-3\_8},
  timestamp    = {Wed, 10 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/ShimiHQ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/Sproston20,
  author       = {Jeremy Sproston},
  editor       = {Alexey Gotsman and
                  Ana Sokolova},
  title        = {Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent
                  Probabilities},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held
                  as Part of the 15th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19,
                  2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12136},
  pages        = {150--168},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50086-3\_9},
  doi          = {10.1007/978-3-030-50086-3\_9},
  timestamp    = {Wed, 10 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/Sproston20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/TokasO20,
  author       = {Shukun Tokas and
                  Olaf Owe},
  editor       = {Alexey Gotsman and
                  Ana Sokolova},
  title        = {A Formal Framework for Consent Management},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held
                  as Part of the 15th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19,
                  2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12136},
  pages        = {169--186},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50086-3\_10},
  doi          = {10.1007/978-3-030-50086-3\_10},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/TokasO20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/VoineaDG20,
  author       = {A. Laura Voinea and
                  Ornela Dardha and
                  Simon J. Gay},
  editor       = {Alexey Gotsman and
                  Ana Sokolova},
  title        = {Typechecking Java Protocols with [St]Mungo},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held
                  as Part of the 15th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19,
                  2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12136},
  pages        = {208--224},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50086-3\_12},
  doi          = {10.1007/978-3-030-50086-3\_12},
  timestamp    = {Tue, 16 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/VoineaDG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/forte/2020,
  editor       = {Alexey Gotsman and
                  Ana Sokolova},
  title        = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held
                  as Part of the 15th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19,
                  2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12136},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-50086-3},
  doi          = {10.1007/978-3-030-50086-3},
  isbn         = {978-3-030-50085-6},
  timestamp    = {Wed, 10 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/2020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.