Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th FACS 2022: Virtual Event
- Silvia Lizeth Tapia Tarifa
, José Proença:
Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings. Lecture Notes in Computer Science 13712, Springer 2022, ISBN 978-3-031-20871-3
Modelling and Verification
- Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Compositional Simulation of Abstract State Machines for Safety Critical Systems. 3-19 - Joshua Heneage Dawes, Domenico Bianculli:
Specifying Source Code and Signal-based Behaviour of Cyber-Physical System Components. 20-38 - Rikayan Chaki, Anton Wijs:
Formally Characterizing the Effect of Model Transformations on System Properties. 39-58 - Victor A. Carreño, Mariano M. Moscato, Paolo M. Masci, Aaron Dutle:
Interpretation and Formalization of the Right-of-Way Rules. 59-73 - Laurynas Ubys, Valeriu Nicolas Vancea, Tomas Kulik, Peter Gorm Larsen, Jalil Boudjadar, Diego F. Aranha:
Formal Model In-The-Loop for Secure Industrial Control Networks. 74-89 - Quentin Nivon, Gwen Salaün:
Debugging of BPMN Processes Using Coloring Techniques. 90-109 - Angel Contreras, Yliès Falcone, Gwen Salaün, Ahang Zuo:
WEASY: A Tool for Modelling Optimised BPMN Processes. 110-118
Logics and Semantics
- Susmoy Das, Arpit Sharma:
Embeddings Between State and Action Based Probabilistic Logics. 121-140 - Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, Jinting Bian:
Footprint Logic for Object-Oriented Components. 141-160 - Mark Bouwman, Maurice Laveaux, Bas Luttik, Tim A. C. Willemse:
Decompositional Branching Bisimulation Minimisation of Monolithic Processes. 161-182
Types and Choreographies
- Luc Edixhoven, Sung-Shik Jongmans:
Realisability of Branching Pomsets. 185-204 - Silvia Crafa, Cosimo Laneve:
Liquidity Analysis in Resource-Aware Programming. 205-221 - Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
Open Compliance in Multiparty Sessions. 222-243
a service of 
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 2024-06-29 00:48 CEST 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:
