default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13. FACS 2016: Besançon, France
- 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
- Holger Giese:
Formal Models and Analysis for Self-adaptive Cyber-physical Systems - (Extended Abstract). 3-9 - Kung-Kiu Lau:
From Formal Methods to Software Components: Back to the Future? 10-14
Full Research Papers
- Luís Cruz-Filipe
, Fabrizio Montesi:
A Core Model for Choreographic Programming. 17-35 - Pascal Poizat, Gwen Salaün, Ajay Krishna:
Checking Business Process Evolution. 36-53 - Lars Luthmann, Stephan Mennicke, Malte Lochau:
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing. 54-72 - Maria Pittou, Stavros Tripakis:
Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions. 73-91 - Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli:
Constrained Synthesis from Component Libraries. 92-110 - 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 - 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 - Boris Madzar, Jalil Boudjadar, Juergen Dingel, Thomas E. Fuhrman, S. Ramesh:
Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. 153-171 - Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun:
Reasoning About Connectors in Coq. 172-190 - Sung-Shik T. Q. Jongmans:
(Context-Sensitivity In) Reo, Revisited. 191-209 - Vanderson H. Fragal, Adenilso Simão, Mohammad Reza Mousavi:
Validated Test Models for Software Product Lines: Featured Finite State Machines. 210-227
Tool Papers
- Jean-François Weber:
Tool Support for Fuzz Testing of Component-Based System Adaptation Policies. 231-237
Applications and Experiences Papers
- Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee:
Coordinated Actors for Reliable Self-adaptive Systems. 241-259 - 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.
last updated on 2025-01-10 18:19 CET 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:
