default search action

combined dblp search
author search
venue search
publication search

ask others

FACS 2015: Niterói, Brazil

> 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/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/2015
Christiano Braga, Peter Csaba Ölveczky:
Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9539, Springer 2016, ISBN 978-3-319-28933-5
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BelznerHW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BelznerHW15
Lenz Belzner, Rolf Hennicker, Martin Wirsing:
OnPlan: A Framework for Simulation-Based Online Planning. 1-30
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/DeharbeM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/DeharbeM15
David Déharbe, Stephan Merz:
Software Component Design with the B Method - A Formalization in Isabelle/HOL. 31-47
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/AbidSPG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/AbidSPG15
Rim Abid, Gwen Salaün, Noel De Palma, Soguy Mak Karé Gueye:
Asynchronous Coordination of Stateful Autonomic Managers in the Cloud. 48-65
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/AcetoLMT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/AcetoLMT15
Luca Aceto, Kim G. Larsen, Andrea Morichetta, Francesco Tiezzi:
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing. 66-85
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BartolettiCMPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BartolettiCMPP15
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu:
A Contract-Oriented Middleware. 86-104
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/SaidABB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/SaidABB15
Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga:
A Robust Framework for Securing Composed Web Services. 105-122
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BessaiDHR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BessaiDHR15
Jan Bessai, Boris Düdder, George T. Heineman, Jakob Rehof:
Combinatory Synthesis of Classes Using Feature Grammars. 123-140
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BosnackiBG0KRWZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BosnackiBG0KRWZ15
Dragan Bosnacki, Mark van den Brand, Joost Gabriels, Bart Jacobs, Ruurd Kuiper, Sybren Roede, Anton Wijs, Dan Zhang:
Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models. 141-160
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/CorradiniPRT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/CorradiniPRT15
Flavio Corradini, Andrea Polini, Barbara Re, Francesco Tiezzi:
An Operational Semantics of BPMN Collaboration. 161-180
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/RuvoLMSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/RuvoLMSV15
Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone, Gigliola Vaglini:
k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes. 181-198
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/GiachinoJLP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/GiachinoJLP15
Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun:
Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -. 199-216
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/JongmansKA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/JongmansKA15
Sung-Shik T. Q. Jongmans, Tobias Kappé, Farhad Arbab:
Composing Constraint Automata, State-by-State. 217-236
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/KhamespanahSVK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/KhamespanahSVK15
Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan, Ramtin Khosravi:
Floating Time Transition System: More Efficient Analysis of Timed Actors. 237-255
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/MavridouBBS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/MavridouBBS15
Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis:
Configuration Logics: Modelling Architecture Styles. 256-274
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/MellerGY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/MellerGY15
Yael Meller, Orna Grumberg, Karen Yorav:
Learning-Based Compositional Model Checking of Behavioral UML Systems. 275-293
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/ProencaC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/ProencaC15
José Proença, Dave Clarke:
Typed Connector Families. 294-311
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/WestmanN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/WestmanN15
Jonas Westman, Mattias Nyberg:
Formal Architecture Modeling of Sequential C-Programs. 312-329

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.