Keynote - Avgoustinos Constantinides

The Business Value of the Cloud: From Research to Reality

19 - Amin Majd, Masoud Daneshtalab, Elena Troubitsyna and Golnaz Sahebi:
Optimal Smart Mobile Access Point Placement for Maximal Coverage and Minimal Communication (extended abstract)

32 - Giulio D'Amato, Gianfranco Avitabile, Claudio Talarico and Giuseppe Coviello:
An FPGA-Based Beam Steering Transceiver Prototype for Narrowband IoT Communications (extended abstract)

30 - Stefan Haselböck, Rainer Weinreich and Georg Buchgeher:
Decision Guidance Models for Microservices – Service Discovery and Fault Tolerance (full paper)

35 - Einar Polis:
Structuring Analyses of Complex Enterprise Datasets with Adaptive Morphogenesis Methods (full paper) 

41 - Junaid Iqbal, Dragos Truscan, Juri Vain and Ivan Porres:
Reconstructing Timed Symbolic Traces from rtioco-Based Timed Test Sequences Using Backward-Induction (full paper)

9 - Peter Berta, Michal Krempaský, Michal Bystrický and Valentino Vranić:
Employing Issues and Commits for In-Code Sentence Based Use Case Identification and Remodularization (full paper)

10 - Mariam Ben Hassen, Mohamed Turki and Faïez Gargouri:
BPMN4KM: A BPMN 2.0 Extension for Modeling the Knowledge Dimension in Sensitive Business Processes (full paper)

21 - Akram Idani:
Model Driven Secure Web Applications (full paper)

40 - Md Siam Hasan, Thomas Dean, Fahim T. Imam, Francisco Garcia, Sylvain P. Leblanc and Mohammad Zulkernine:
A Constraint-Based Intrusion Detection System (full paper)

12 - Momcilo Krunić, Miroslav Popović, Jelena Kovačević and Vlado Krunić:
Instructions energy consumption on a heterogeneous multicore platform (full paper)

18 - Luis Rizo-Dominguez, Rabi Mahapatra and Ivan Padilla-Cantoya:
Using FPGA Implementations for Evaluation of Internet Retransmission-Time-Out Predictors (short paper)

2 - Branislav Kordić, Miroslav Popović, Silvia Gilezan and Ilija Bašičević:
An Approach to Formal Verification of Python Software Transactional Memory (full paper)

3 - Moshe Goldstein, David Dayan, Max Rabin, Devora Berlowitz, Or Berlowitz and Raphael B. Yehezkael:
Design Principles of an Embedded Language (EFL) Enabling Well Defined Order-Independent Execution (full paper)

25 - Martin Nehéz, Dušan Bernát and Marek Lelovský:
Estimation of the Domination Number in Sparse Random Graphs and Applications (full paper)

36 - Marek Polák and Irena Holubová:
Information System Evolution Management – A Complex Evaluation (short paper)

38 - Halimeh Agh and Raman Ramsin:
Towards a Generic Framework for Model-Driven Engineering of Software Process Lines (short paper)