default search action

combined dblp search
author search
venue search
publication search

ask others

20th FACS 2024: Milan, Italy

> 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/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2024
Diego Marmsoler, Meng Sun:
Formal Aspects of Component Software - 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings. Lecture Notes in Computer Science 15189, Springer 2024, ISBN 978-3-031-71260-9

Verification and Testing

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/WangDZZB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/WangDZZB24
Qiang Wang, Huadong Dai, Yongxin Zhao, Min Zhang, Simon Bliudze:
Enabling Behaviour Tree Verification via a Translation to BIP. 3-20
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/FiedlerLCR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/FiedlerLCR24
Ben Fiedler, Zikai Liu, David A. Cock, Timothy Roscoe:
Verified Fault Handling for Modern Board Management Controllers. 21-38
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/CuyckAT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/CuyckAT24
Gijs van Cuyck, Lars van Arragon, Jan Tretmans:
Testing Compositionality. 39-56

Formal Models

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/FaresBF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/FaresBF24
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali:
Correct Pattern-Based Development Through Refinements and Weakest Preconditions Calculus. 59-78
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/ShiC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/ShiC24
ZhengPu Shi, Gang Chen:
Coq Formalization of Orientation Representation: Matrix, Euler Angles, Axis-Angle and Quaternion. 79-96
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/TinocoMMP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/TinocoMMP24
David Tinoco, Alexandre Madeira, Manuel A. Martins, José Proença:
Reactive Graphs in Action. 97-105

Security and Blockchain

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/LeiteAASR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/LeiteAASR24
Gabriel Leite, Filipe Arruda, Pedro Antonino, Augusto Sampaio, A. W. Roscoe:
Extracting Formal Smart-Contract Specifications from Natural Language with LLMs. 109-126
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/GerlachG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/GerlachG24
Lena Gerlach, Christopher Gerking:
How Do Asynchronous Communication Models Impact the Composability of Information Flow Security? 127-145

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.