Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14. FACS 2017: Braga, Portugal
- José Proença, Markus Lumpe:
Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. Lecture Notes in Computer Science 10487, Springer 2017, ISBN 978-3-319-68033-0
- Yi Li, Meng Sun:
Component-Based Modeling in Mediator. 1-19 - Tobias Kappé
, Farhad Arbab, Carolyn L. Talcott:
A Component-Oriented Framework for Autonomous Agents. 20-38 - Anastasia Mavridou, Valentin Rutz, Simon Bliudze:
Coordination of Dynamic Software Components with JavaBIP. 39-57 - Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa:
A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches. 58-77 - Kyungmin Bae, Camilo Rocha:
Guarded Terms for Rewriting Modulo SMT. 78-97 - Paulina Paraponiari, George Rahonis:
On Weighted Configuration Logics. 98-116 - Sander de Putter, Anton Wijs:
Compositional Model Checking Is Lively. 117-136 - Michael D. Harrison, Michael J. Drinnan, José Creissac Campos, Paolo Masci, Leo Freitas, Costanzo di Maria, Michael Whitaker:
Safety Analysis of Software Components of a Dialysis Machine Using Model Checking. 137-154 - Miguel Pinto, Marcelo Gonçalves, Paolo Masci, José Creissac Campos:
TOM: A Model-Based GUI Testing Framework. 155-161 - Haitham Bou-Ammar, Mohamad Jaber, Mohamed Nassar:
Correctness-by-Learning of Infinite-State Component-Based Systems. 162-178 - Ligia Nistor, Jonathan Aldrich:
The Implementation of Object Propositions: The Oprop Verification Tool. 179-197 - Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa:
Certification of Workflows in a Component-Based Cloud of High Performance Computing Services. 198-215 - Heike Wehrheim:
Fault Localization in Service Compositions. 216-232 - Juliana Bowles, Marco B. Caminati:
Correct Composition of Dephased Behavioural Models. 233-250
a service of 
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 2023-09-22 19:15 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:
