default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID42nd FORTE 2022: Lucca, Italy
- Mohammad Reza Mousavi
, Anna Philippou:
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. Lecture Notes in Computer Science 13273, Springer 2022, ISBN 978-3-031-08678-6 - Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza:
Monitoring Hyperproperties with Circuits. 1-10 - Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse:
Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2. 11-30 - Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen:
The Reversible Temporal Process Language. 31-49 - Benedikt Bollig, Alain Finkel, Amrita Suresh:
Branch-Well-Structured Transition Systems and Extensions. 50-66 - Bineet Ghosh, Étienne André:
Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems. 67-87 - Rajesh Kumar, Siddhant Singh, Bhavesh Narra, Rohan Kela:
Co-engineering Safety-Security Using Statistical Model Checking. 88-92 - Kirstin Peters, Uwe Nestmann, Christoph Wagner:
Fault-Tolerant Multiparty Session Types. 93-113 - Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet:
Effective Reductions of Mealy Machines. 114-130 - Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer:
Traits: Correctness-by-Construction for Free. 131-150 - Anna Schmitt, Kirstin Peters, Yuxin Deng:
Encodability Criteria for Quantum Based Systems. 151-169 - Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg:
LTL Under Reductions with Weaker Conditions Than Stutter Invariance. 170-187 - Germán Vidal:
Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives. 188-207
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.
last updated on 2025-01-06 23:29 CET 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:
