Abstract is missing.
- An Architecture for Non-invasive Software MeasurementVasilii Artemev, Vladimir Ivanov, Manuel Mazzara, Alan Rogers, Alberto Sillitti, Giancarlo Succi, Eugene Zouev. 1-11 [doi]
- A Human-in-the-Loop Perspective for Safety Assessment in Robotic ApplicationsMehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini. 12-27 [doi]
- Multi-level Static Analysis for Finding Error Patterns and Defects in Source CodeAndrey Belevantsev, Arutyun Avetisyan. 28-42 [doi]
- Pipelined Bottom-Up Evaluation of Datalog Programs: The Push MethodStefan Brass, Heike Stephan. 43-58 [doi]
- A Platform for Security Monitoring of Multi-cloud ApplicationsPamela Carvallo, Ana R. Cavalli, Wissam Mallouli. 59-71 [doi]
- The Hybrid Multidimensional-Ontological Data Model Based on Metagraph ApproachValeriy M. Chernenkiy, Yuriy E. Gapanyuk, Anatoly N. Nardid, Anton V. Gushcha, Yuriy S. Fedorenko. 72-87 [doi]
- PosDB: A Distributed Column-Store EngineGeorge Chernishev, Viacheslav Galaktionov, Valentin Grigorev, Evgeniy Klyuchikov, Kirill Smirnov 0001. 88-94 [doi]
- Microservices: How To Make Your Application ScaleNicola Dragoni, Ivan Lanese, Stephan Thordal Larsen, Manuel Mazzara, Ruslan Mustafin, Larisa Safina. 95-104 [doi]
- Static Binary Code Instrumentation for ARM ArchitectureMikhail Ermakov. 105-116 [doi]
- A Behavioural Theory for Reflective Sequential AlgorithmsFlavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec. 117-131 [doi]
- Lightweight Non-intrusive Virtual Machine IntrospectionNatalia Fursova, Pavel Dovgalyuk, Ivan Vasiliev, Vladimir Makarov. 132-146 [doi]
- A Distributed Approach to Coreference Resolution in Multiagent Text Analysis for Ontology PopulationNatalia Olegovna Garanina, Elena A. Sidorova, Irina Kononenko. 147-162 [doi]
- A Framework for Dynamical Construction of Software ComponentsEfim Grinkrug. 163-178 [doi]
- A Transformation-Based Approach to Developing High-Performance GPU ProgramsBastian Hagedorn, Michel Steuwer, Sergei Gorlatch. 179-195 [doi]
- Domain Engineering the Magnolia WayMagne Haveraaen. 196-210 [doi]
- Approximating Event System Abstractions by Covering Their States and TransitionsJacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron. 211-226 [doi]
- Implementing the Symbolic Method of Verification in the C-Light ProjectDmitry Kondratyev. 227-240 [doi]
- Highlights of the Rice-Shapiro Theorem in Computable TopologyMargarita V. Korovina, Oleg V. Kudinov. 241-255 [doi]
- A Memory Model for Deductively Verifying Linux Kernel ModulesMikhail U. Mandrykin, Alexey V. Khoroshilov. 256-275 [doi]
- Indexing of Hierarchically Organized Spatial-Temporal Data Using Dynamic Regular OctreesSergey V. Morozov, Vitaly A. Semenov, Oleg A. Tarlapan, Vladislav A. Zolotov. 276-290 [doi]
- An Approach to the Validation of XML Documents Based on the Model Driven Architecture and the Object Constraint LanguageDenis A. Nikiforov, Dmitriy V. Korj, Ruslan L. Sivakov. 291-305 [doi]
- Compositional Relational Programming with Name Projection and Compositional SynthesisGörkem Paçaci, Steve McKeever, Andreas Hamfelt. 306-321 [doi]
- WhaleProver: First-Order Intuitionistic Theorem Prover Based on the Inverse MethodVladimir Pavlov, Vadim Pak. 322-336 [doi]
- Distributed In Situ Processing of Big Raster Data in the CloudRamon Antonio Rodriges Zalipynis. 337-351 [doi]
- Statistical Approach to Increase Source Code Completion AccuracyValeriy Savchenko, Alexander Volkov. 352-363 [doi]
- Using the Subject Area Ontology for Automating Learning Processes and Scientific InvestigationDmitry Shachnev, Dmitry Karpenko. 364-374 [doi]
- Runtime Specialization of PostgreSQL Query ExecutorEugene Sharygin, Ruben Buchatskiy, Roman Zhuykov, Arseny Sher. 375-386 [doi]
- MicroTESK: A Tool for Constrained Random Test Program Generation for MicroprocessorsAlexander Kamkin, Andrei Tatarnikov. 387-393 [doi]
- Enriching Textual Xtext-DSLs with a Graphical GEF-Based EditorMarcel Toussaint, Thomas Baar. 394-401 [doi]
- Towards Automated Static Verification of GNU C ProgramsEvgeny Novikov, Ilja S. Zakharov. 402-416 [doi]
- Domain Specific Semantic Validation of Schema.org AnnotationsUmutcan Simsek, Elias Kärle, Omar Holzknecht, Dieter Fensel. 417-429 [doi]