default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFACS 2013: Nanchang, China
- José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue:
Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8348, Springer 2014, ISBN 978-3-319-07601-0 - Kim G. Larsen
, Axel Legay:
Probabilistic Modal Specifications (Invited Extended Abstract). 1-4 - Jayadev Misra:
Orchestration. 5-12 - Dimitar P. Guelev, Shuling Wang, Naijun Zhan, Chaochen Zhou:
Super-Dense Computation in Verification of Hybrid CSP Processes. 13-22 - Wei Bai, Emmanuel M. Tadjouddine, Terry R. Payne, Sheng-Uei Guan:
A Proof-Carrying Code Approach to Certificate Auction Mechanisms. 23-40 - Jiri Barnat, Nikola Benes, Tomás Bures, Ivana Cerná, Jaroslav Keznikl, Frantisek Plásil:
Towards Verification of Ensemble-Based Component Systems. 41-60 - Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou:
Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. 61-78 - Oscar Carrillo, Samir Chouali, Hassan Mountassir:
Incremental Modeling of System Architecture Satisfying SysML Functional Requirements. 79-99 - Luca Cesari, Rocco De Nicola, Rosario Pugliese, Mariachiara Puviani, Francesco Tiezzi, Franco Zambonelli:
Formalising Adaptation Patterns for Autonomic Ensembles. 100-118 - Ruzhen Dong, Naijun Zhan:
Towards a Failure Model of Software Components. 119-136 - Nuno Gaspar, Ludovic Henrio, Eric Madelaine:
Formally Reasoning on a Reconfigurable Component-Based System - A Case Study for the Industrial World. 137-156 - Gregor Gößler, Daniel Le Métayer:
A General Trace-Based Framework of Logical Causality. 157-173 - Ali Hong, Yijing Liu, Zongyan Qiu:
Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components. 174-195 - Jean-Michel Hufflen:
A Framework for Handling Non-functional Properties Within a Component-Based Approach. 196-214 - Nehul Jain, Saikat Dutta, Ansuman Banerjee, Anil Kumar Ghosh, Lihua Xu, Huibiao Zhu:
Using Daikon to Prioritize and Group Unit Bugs. 215-233 - Olga Kouchnarenko, Jean-François Weber:
Adapting Component-Based Systems at Runtime via Policies with Temporal Patterns. 234-253 - Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro:
Automatic Component Deployment in the Presence of Circular Dependencies. 254-272 - Yi Li, Meng Sun:
Modeling and Analysis of Component Connectors in Coq. 273-290 - Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse:
On the Complexity of Input Output Conformance Testing. 291-309 - Meriem Ouederni, Gwen Salaün, Tevfik Bultan:
Compatibility Checking for Asynchronously Communicating Software. 310-328 - Arpit Sharma, Joost-Pieter Katoen:
Layered Reduction for Modal Specification Theories. 329-347 - Anton Wijs:
Define, Verify, Refine: Correct Composition and Transformation of Concurrent System Semantics. 348-368 - Xiuna Zhu:
A Formal Model for Service-Based Behavior Specification Using Stream-Based I/O Tables. 369-383
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 2026-05-03 23:41 CEST 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:
