Abstract is missing.
- OnPlan: A Framework for Simulation-Based Online PlanningLenz Belzner, Rolf Hennicker, Martin Wirsing. 1-30 [doi]
- Software Component Design with the B Method - A Formalization in Isabelle/HOLDavid Déharbe, Stephan Merz. 31-47 [doi]
- Asynchronous Coordination of Stateful Autonomic Managers in the CloudRim Abid, Gwen Salaün, Noel De Palma, Soguy Mak Karé Gueye. 48-65 [doi]
- A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud ComputingLuca Aceto, Kim G. Larsen, Andrea Morichetta, Francesco Tiezzi. 66-85 [doi]
- A Contract-Oriented MiddlewareMassimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda, Livio Pompianu. 86-104 [doi]
- A Robust Framework for Securing Composed Web ServicesNajah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga. 105-122 [doi]
- Combinatory Synthesis of Classes Using Feature GrammarsJan Bessai, Boris Düdder, George T. Heineman, Jakob Rehof. 123-140 [doi]
- Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL ModelsDragan Bosnacki, Mark van den Brand, Joost Gabriels, Bart Jacobs 0002, Ruurd Kuiper, Sybren Roede, Anton Wijs, Dan Zhang. 141-160 [doi]
- An Operational Semantics of BPMN CollaborationFlavio Corradini, Andrea Polini, Barbara Re, Francesco Tiezzi. 161-180 [doi]
- k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between ProcessesGiuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone, Gigliola Vaglini. 181-198 [doi]
- Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka-I Pun. 199-216 [doi]
- Composing Constraint Automata, State-by-StateSung-Shik T. Q. Jongmans, Tobias Kappé, Farhad Arbab. 217-236 [doi]
- Floating Time Transition System: More Efficient Analysis of Timed ActorsEhsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan, Ramtin Khosravi. 237-255 [doi]
- Configuration Logics: Modelling Architecture StylesAnastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis. 256-274 [doi]
- Learning-Based Compositional Model Checking of Behavioral UML SystemsYael Meller, Orna Grumberg, Karen Yorav. 275-293 [doi]
- Typed Connector FamiliesJosé Proença, Dave Clarke. 294-311 [doi]
- Formal Architecture Modeling of Sequential C-ProgramsJonas Westman, Mattias Nyberg. 312-329 [doi]