Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/forte/AcetoAAF22,
  author       = {Luca Aceto and
                  Antonis Achilleos and
                  Elli Anastasiadi and
                  Adrian Francalanza},
  editor       = {Mohammad Reza Mousavi and
                  Anna Philippou},
  title        = {Monitoring Hyperproperties with Circuits},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 42nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2022, Held
                  as Part of the 17th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13273},
  pages        = {1--10},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-08679-3\_1},
  doi          = {10.1007/978-3-031-08679-3\_1},
  timestamp    = {Wed, 15 Jun 2022 16:45:18 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/AcetoAAF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/ArshadHJOW22,
  author       = {Hamed Arshad and
                  Ross Horne and
                  Christian Johansen and
                  Olaf Owe and
                  Tim A. C. Willemse},
  editor       = {Mohammad Reza Mousavi and
                  Anna Philippou},
  title        = {Process Algebra Can Save Lives: Static Analysis of {XACML} Access
                  Control Policies Using mCRL2},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 42nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2022, Held
                  as Part of the 17th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13273},
  pages        = {11--30},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-08679-3\_2},
  doi          = {10.1007/978-3-031-08679-3\_2},
  timestamp    = {Tue, 28 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/ArshadHJOW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/BocchiLMY22,
  author       = {Laura Bocchi and
                  Ivan Lanese and
                  Claudio Antares Mezzina and
                  Shoji Yuen},
  editor       = {Mohammad Reza Mousavi and
                  Anna Philippou},
  title        = {The Reversible Temporal Process Language},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 42nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2022, Held
                  as Part of the 17th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13273},
  pages        = {31--49},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-08679-3\_3},
  doi          = {10.1007/978-3-031-08679-3\_3},
  timestamp    = {Wed, 15 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/BocchiLMY22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/BolligFS22,
  author       = {Benedikt Bollig and
                  Alain Finkel and
                  Amrita Suresh},
  editor       = {Mohammad Reza Mousavi and
                  Anna Philippou},
  title        = {Branch-Well-Structured Transition Systems and Extensions},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 42nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2022, Held
                  as Part of the 17th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13273},
  pages        = {50--66},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-08679-3\_4},
  doi          = {10.1007/978-3-031-08679-3\_4},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/BolligFS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/GhoshA22,
  author       = {Bineet Ghosh and
                  {\'{E}}tienne Andr{\'{e}}},
  editor       = {Mohammad Reza Mousavi and
                  Anna Philippou},
  title        = {Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain
                  Linear Dynamical Systems},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 42nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2022, Held
                  as Part of the 17th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13273},
  pages        = {67--87},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-08679-3\_5},
  doi          = {10.1007/978-3-031-08679-3\_5},
  timestamp    = {Tue, 28 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/GhoshA22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/KumarSNK22,
  author       = {Rajesh Kumar and
                  Siddhant Singh and
                  Bhavesh Narra and
                  Rohan Kela},
  editor       = {Mohammad Reza Mousavi and
                  Anna Philippou},
  title        = {Co-engineering Safety-Security Using Statistical Model Checking},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 42nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2022, Held
                  as Part of the 17th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13273},
  pages        = {88--92},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-08679-3\_6},
  doi          = {10.1007/978-3-031-08679-3\_6},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/KumarSNK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/Paviot-AdetPRT22,
  author       = {Emmanuel Paviot{-}Adet and
                  Denis Poitrenaud and
                  Etienne Renault and
                  Yann Thierry{-}Mieg},
  editor       = {Mohammad Reza Mousavi and
                  Anna Philippou},
  title        = {{LTL} Under Reductions with Weaker Conditions Than Stutter Invariance},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 42nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2022, Held
                  as Part of the 17th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13273},
  pages        = {170--187},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-08679-3\_11},
  doi          = {10.1007/978-3-031-08679-3\_11},
  timestamp    = {Wed, 15 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/Paviot-AdetPRT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/PetersNW22,
  author       = {Kirstin Peters and
                  Uwe Nestmann and
                  Christoph Wagner},
  editor       = {Mohammad Reza Mousavi and
                  Anna Philippou},
  title        = {Fault-Tolerant Multiparty Session Types},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 42nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2022, Held
                  as Part of the 17th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13273},
  pages        = {93--113},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-08679-3\_7},
  doi          = {10.1007/978-3-031-08679-3\_7},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/PetersNW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/RenkinSDP22,
  author       = {Florian Renkin and
                  Philipp Schlehuber{-}Caissier and
                  Alexandre Duret{-}Lutz and
                  Adrien Pommellet},
  editor       = {Mohammad Reza Mousavi and
                  Anna Philippou},
  title        = {Effective Reductions of Mealy Machines},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 42nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2022, Held
                  as Part of the 17th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13273},
  pages        = {114--130},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-08679-3\_8},
  doi          = {10.1007/978-3-031-08679-3\_8},
  timestamp    = {Tue, 28 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/RenkinSDP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/RungePTS22,
  author       = {Tobias Runge and
                  Alex Potanin and
                  Thomas Th{\"{u}}m and
                  Ina Schaefer},
  editor       = {Mohammad Reza Mousavi and
                  Anna Philippou},
  title        = {Traits: Correctness-by-Construction for Free},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 42nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2022, Held
                  as Part of the 17th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13273},
  pages        = {131--150},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-08679-3\_9},
  doi          = {10.1007/978-3-031-08679-3\_9},
  timestamp    = {Wed, 15 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/RungePTS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/SchmittPD22,
  author       = {Anna Schmitt and
                  Kirstin Peters and
                  Yuxin Deng},
  editor       = {Mohammad Reza Mousavi and
                  Anna Philippou},
  title        = {Encodability Criteria for Quantum Based Systems},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 42nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2022, Held
                  as Part of the 17th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13273},
  pages        = {151--169},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-08679-3\_10},
  doi          = {10.1007/978-3-031-08679-3\_10},
  timestamp    = {Tue, 28 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/SchmittPD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/Vidal22,
  author       = {Germ{\'{a}}n Vidal},
  editor       = {Mohammad Reza Mousavi and
                  Anna Philippou},
  title        = {Computing Race Variants in Message-Passing Concurrent Programming
                  with Selective Receives},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 42nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2022, Held
                  as Part of the 17th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13273},
  pages        = {188--207},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-08679-3\_12},
  doi          = {10.1007/978-3-031-08679-3\_12},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/Vidal22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/forte/2022,
  editor       = {Mohammad Reza Mousavi and
                  Anna Philippou},
  title        = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 42nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2022, Held
                  as Part of the 17th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13273},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-08679-3},
  doi          = {10.1007/978-3-031-08679-3},
  isbn         = {978-3-031-08678-6},
  timestamp    = {Wed, 15 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/2022.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.