default search action

combined dblp search
author search
venue search
publication search

ask others

14. FACS 2017: Braga, Portugal

> 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/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2017
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
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/LiS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/LiS17
Yi Li, Meng Sun:
Component-Based Modeling in Mediator. 1-19
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/KappeAT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/KappeAT17
Tobias Kappé, Farhad Arbab, Carolyn L. Talcott:
A Component-Oriented Framework for Autonomous Agents. 20-38
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/MavridouRB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/MavridouRB17
Anastasia Mavridou, Valentin Rutz, Simon Bliudze:
Coordination of Dynamic Software Components with JavaBIP. 39-57
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BijoJPT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BijoJPT17
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
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BaeR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BaeR17
Kyungmin Bae, Camilo Rocha:
Guarded Terms for Rewriting Modulo SMT. 78-97
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/ParaponiariR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/ParaponiariR17
Paulina Paraponiari, George Rahonis:
On Weighted Configuration Logics. 98-116
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/PutterW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/PutterW17
Sander de Putter, Anton Wijs:
Compositional Model Checking Is Lively. 117-136
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/HarrisonDCMFMW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/HarrisonDCMFMW17
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
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/PintoGMC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/PintoGMC17
Miguel Pinto, Marcelo Gonçalves, Paolo Masci, José Creissac Campos:
TOM: A Model-Based GUI Testing Framework. 155-161
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/Bou-AmmarJN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/Bou-AmmarJN17
Haitham Bou-Ammar, Mohamad Jaber, Mohamed Nassar:
Correctness-by-Learning of Infinite-State Component-Based Systems. 162-178
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/NistorA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/NistorA17
Ligia Nistor, Jonathan Aldrich:
The Implementation of Object Propositions: The Oprop Verification Tool. 179-197
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/DantasJB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/DantasJB17
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
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/Wehrheim17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/Wehrheim17
Heike Wehrheim:
Fault Localization in Service Compositions. 216-232
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BowlesC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BowlesC17
Juliana Bowles, Marco B. Caminati:
Correct Composition of Dephased Behavioural Models. 233-250

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.