default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFACS 2015: Niterói, Brazil
- 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 - Lenz Belzner, Rolf Hennicker, Martin Wirsing:
OnPlan: A Framework for Simulation-Based Online Planning. 1-30 - David Déharbe, Stephan Merz:
Software Component Design with the B Method - A Formalization in Isabelle/HOL. 31-47 - Rim Abid, Gwen Salaün, Noel De Palma, Soguy Mak Karé Gueye:
Asynchronous Coordination of Stateful Autonomic Managers in the Cloud. 48-65 - Luca Aceto, Kim G. Larsen
, Andrea Morichetta, Francesco Tiezzi:
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing. 66-85 - Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu:
A Contract-Oriented Middleware. 86-104 - Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga:
A Robust Framework for Securing Composed Web Services. 105-122 - Jan Bessai, Boris Düdder, George T. Heineman, Jakob Rehof:
Combinatory Synthesis of Classes Using Feature Grammars. 123-140 - 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 - Flavio Corradini, Andrea Polini, Barbara Re, Francesco Tiezzi:
An Operational Semantics of BPMN Collaboration. 161-180 - Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone, Gigliola Vaglini:
k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes. 181-198 - Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun:
Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -. 199-216 - Sung-Shik T. Q. Jongmans, Tobias Kappé, Farhad Arbab:
Composing Constraint Automata, State-by-State. 217-236 - Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan, Ramtin Khosravi:
Floating Time Transition System: More Efficient Analysis of Timed Actors. 237-255 - Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis:
Configuration Logics: Modelling Architecture Styles. 256-274 - Yael Meller, Orna Grumberg, Karen Yorav:
Learning-Based Compositional Model Checking of Behavioral UML Systems. 275-293 - José Proença, Dave Clarke:
Typed Connector Families. 294-311 - 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.
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:
