default search action

combined dblp search
author search
venue search
publication search

ask others

19th FACS 2023: 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/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2023
Javier Cámara, Sung-Shik Jongmans:
Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14485, Springer 2024, ISBN 978-3-031-52182-9

Research Papers

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BannourLGN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BannourLGN23
Boutheina Bannour, Arnault Lapitre, Pascale Le Gall, Ngo Minh Thang Nguyen:
Symbolic Path-Guided Test Cases for Models with Data and Time. 3-22
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/GraicsMMM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/GraicsMMM23
Bence Graics, Milán Mondok, Vince Molnár, István Majzik:
Model-Based Testing of Asynchronously Communicating Distributed Controllers. 23-44
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/HallerstedeH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/HallerstedeH23
Stefan Hallerstede, John Hatcliff:
A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime. 45-64
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/NittaKF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/NittaKF23
Naoya Nitta, Shinji Kageyama, Kouta Fujii:
A Formal Web Services Architecture Model for Changing PUSH/PULL Data Transfer. 65-83
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/TannouryCH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/TannouryCH23
Perla Tannoury, Samir Chouali, Ahmed Hammad:
Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS Components. 84-102
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/Vidal23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/Vidal23
Germán Vidal:
From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs. 103-123

Anniversary Papers

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BaeO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BaeO23
Kyungmin Bae, Peter Csaba Ölveczky:
Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL. 127-152
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/LiS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/LiS23
Yi Li, Meng Sun:
Challenges Engaging Formal CBSE in Industrial Applications. 153-167
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/LiuTL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/LiuTL23
Zhiming Liu, Jiadong Teng, Bo Liu:
Formal Aspects of Component Software - An Overview on Concepts and Relations of Different Theories. 168-193
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/Proenca23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/Proenca23
José Proença:
Overview on Constrained Multiparty Synchronisation in Team Automata. 194-205
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/Wijs23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/Wijs23
Anton Wijs:
Embedding Formal Verification in Model-Driven Software Engineering with Slco: An Overview. 206-227

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.