default search action

combined dblp search
author search
venue search
publication search

ask others

18th FACS 2022: Virtual Event

> Home > Conferences and Workshops > FACS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2022
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

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BonfantiGRS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BonfantiGRS22
Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Compositional Simulation of Abstract State Machines for Safety Critical Systems. 3-19
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/DawesB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/DawesB22
Joshua Heneage Dawes, Domenico Bianculli:
Specifying Source Code and Signal-based Behaviour of Cyber-Physical System Components. 20-38
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/ChakiW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/ChakiW22
Rikayan Chaki, Anton Wijs:
Formally Characterizing the Effect of Model Transformations on System Properties. 39-58
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/CarrenoMMD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/CarrenoMMD22
Victor A. Carreño, Mariano M. Moscato, Paolo M. Masci, Aaron Dutle:
Interpretation and Formalization of the Right-of-Way Rules. 59-73
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/UbysVKLBA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/UbysVKLBA22
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
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/NivonS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/NivonS22
Quentin Nivon, Gwen Salaün:
Debugging of BPMN Processes Using Coloring Techniques. 90-109
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/ContrerasFSZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/ContrerasFSZ22
Angel Contreras, Yliès Falcone, Gwen Salaün, Ahang Zuo:
WEASY: A Tool for Modelling Optimised BPMN Processes. 110-118

Logics and Semantics

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/DasS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/DasS22
Susmoy Das, Arpit Sharma:
Embeddings Between State and Action Based Probabilistic Logics. 121-140
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BoerGHB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BoerGHB22
Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, Jinting Bian:
Footprint Logic for Object-Oriented Components. 141-160
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BouwmanLLW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BouwmanLLW22
Mark Bouwman, Maurice Laveaux, Bas Luttik, Tim A. C. Willemse:
Decompositional Branching Bisimulation Minimisation of Monolithic Processes. 161-182

Types and Choreographies

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/EdixhovenJ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/EdixhovenJ22
Luc Edixhoven, Sung-Shik Jongmans:
Realisability of Branching Pomsets. 185-204
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/CrafaL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/CrafaL22
Silvia Crafa, Cosimo Laneve:
Liquidity Analysis in Resource-Aware Programming. 205-221
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BarbaneraDd22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BarbaneraDd22
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
Open Compliance in Multiparty Sessions. 222-243

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.