default search action

combined dblp search
author search
venue search
publication search

ask others

13. FACS 2016: Besançon, France

> 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/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2016
Olga Kouchnarenko, Ramtin Khosravi:
Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10231, 2017, ISBN 978-3-319-57665-7

Invited Papers

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/Giese16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/Giese16
Holger Giese:
Formal Models and Analysis for Self-adaptive Cyber-physical Systems - (Extended Abstract). 3-9
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/Lau16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/Lau16
Kung-Kiu Lau:
From Formal Methods to Software Components: Back to the Future? 10-14

Full Research Papers

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/Cruz-FilipeM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/Cruz-FilipeM16
Luís Cruz-Filipe, Fabrizio Montesi:
A Core Model for Choreographic Programming. 17-35
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/PoizatSK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/PoizatSK16
Pascal Poizat, Gwen Salaün, Ajay Krishna:
Checking Business Process Evolution. 36-53
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/LuthmannML16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/LuthmannML16
Lars Luthmann, Stephan Mennicke, Malte Lochau:
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing. 54-72
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/PittouT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/PittouT16
Maria Pittou, Stavros Tripakis:
Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions. 73-91
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/IannopolloTS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/IannopolloTS16
Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli:
Constrained Synthesis from Component Libraries. 92-110
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/DuHJMY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/DuHJMY16
Dehui Du, Ping Huang, Kaiqiang Jiang, Frédéric Mallet, Mingrui Yang:
MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks. 111-133
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BistarelliMMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BistarelliMMS16
Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini:
A Formal and Run-Time Framework for the Adaptation of Local Behaviours to Match a Global Property. 134-152
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/MadzarBDFR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/MadzarBDFR16
Boris Madzar, Jalil Boudjadar, Juergen Dingel, Thomas E. Fuhrman, S. Ramesh:
Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. 153-171
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/ZhangHLS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/ZhangHLS16
Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun:
Reasoning About Connectors in Coq. 172-190
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/Jongmans16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/Jongmans16
Sung-Shik T. Q. Jongmans:
(Context-Sensitivity In) Reo, Revisited. 191-209
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/FragalSM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/FragalSM16
Vanderson H. Fragal, Adenilso Simão, Mohammad Reza Mousavi:
Validated Test Models for Software Product Lines: Featured Finite State Machines. 210-227

Tool Papers

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/Weber16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/Weber16
Jean-François Weber:
Tool Support for Fuzz Testing of Component-Based System Adaptation Policies. 231-237

Applications and Experiences Papers

- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BagheriAKKSML16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BagheriAKKSML16
Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee:
Coordinated Actors for Reliable Self-adaptive Systems. 241-259
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/MavridouSBIKS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/MavridouSBIKS16
Anastasia Mavridou, Emmanouela Stachtiari, Simon Bliudze, Anton B. Ivanov, Panagiotis Katsaros, Joseph Sifakis:
Architecture-Based Design: A Satellite On-Board Software Case Study. 260-279

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.