default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFACS 2014: Bertinoro, Italy
- Ivan Lanese, Eric Madelaine:
Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8997, Springer 2015, ISBN 978-3-319-15316-2
Invited Speakers
- Jean-Bernard Stefani:
Components as Location Graphs. 3-23 - Rocco De Nicola
:
A Formal Approach to Autonomic Systems Programming: The SCEL Language - (Long Abstract). 24-28
Compositional Approaches
- Sven Walther, Heike Wehrheim:
Verified Service Compositions by Template-Based Construction. 31-48 - Jan Martijn E. M. van der Werf:
Compositional Verification of Asynchronously Communicating Systems. 49-67 - Viet Yen Nguyen, Benjamin Bittner, Joost-Pieter Katoen, Thomas Noll:
Compositional Analysis Using Component-Oriented Interpolation. 68-85
Adaptation and Evolution
- Javier Cámara Moreno, Antónia Lopes, David Garlan, Bradley R. Schmerl:
Impact Models for Architecture-Based Self-adaptive Systems. 89-107 - Olga Kouchnarenko, Jean-François Weber:
Decentralised Evaluation of Temporal Patterns over Component-Based Systems at Runtime. 108-126 - Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Huaxi (Yulin) Zhang:
Formal Rules for Reliable Component-Based Architecture Evolution. 127-142
Application and Experience
- Antonio Di Stasio, Aniello Murano, Vincenzo Prignano, Loredana Sorrentino:
Solving Parity Games in Scala. 145-161 - Md Tawhid Bin Waez, Andrzej Wasowski, Jürgen Dingel, Karen Rudie:
Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report. 162-180
Tools
- Annabelle Klarl, Lucia Cichella, Rolf Hennicker:
From Helena Ensemble Specifications to Executable Code. 183-190 - Guillaume Verdier, Jean-Baptiste Raclet:
MAccS: A Tool for Reachability by Design. 191-197 - Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg, Subham Modi, Othmane Rezine, Gaurav Saini:
MPass: An Efficient Tool for the Analysis of Message-Passing Programs. 198-206
Scheduling, Time, and Hybrid Systems
- Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou:
Widening the Schedulability of Hierarchical Scheduling Systems. 209-227 - Ehsan Ahmad, Yunwei Dong, Shuling Wang, Naijun Zhan, Liang Zou:
Adding Formal Meanings to AADL with Hybrid Annex. 228-247 - Marc Sango, Laurence Duchien, Christophe Gransart:
Component-Based Modeling and Observer-Based Verification for Railway Safety-Critical Applications. 248-266
Other Verification Approaches
- Paolo Baldan, Francesco Burato, Alberto Carraro:
Intransitive Non-Interference by Unfolding. 269-287 - Mohamad Noureddine, Mohamad Jaber, Simon Bliudze, Fadi A. Zaraket:
Reduction and Abstraction Techniques for BIP. 288-305 - Ulrich Fahrenberg, Jan Kretínský, Axel Legay, Louis-Marie Traonouez:
Compositionality for Quantitative Specifications. 306-324
Safety and Liveness of Composition
- Siavash Soleimanifard, Dilian Gurov:
Algorithmic Verification of Procedural Programs in the Presence of Code Variability. 327-345 - Abderrahim Ait Wakrime, Sébastien Limet, Sophie Robert:
Place-Liveness of ComSA Applications. 346-363 - Graeme Smith, John Derrick, Brijesh Dongol:
Admit Your Weakness: Verifying Correctness on TSO Architectures. 364-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 2025-10-22 02:21 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:
