Table of Contents
|
Fundamentals of Software Engineering
Hossein Hojjat, Mieke Massink |
Front Matter |
Coordination
|
Protocol Scheduling
Kasper Dokter, Farhad Arbab |
3-17 |
Automated Replication of Tuple Spaces via Static Analysis
Aline Uwimbabazi, Omar Inverso, Rocco de Nicola |
18-34 |
Incremental Refinement of Goal Models with Contracts
Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione |
35-50 |
Logic
|
Adding Proof Calculi to Epistemic Logics with Structured Knowledge
Mario Benevides, Alexandre Madeira, Manuel A. Martins |
53-68 |
Introducing Interval Differential Dynamic Logic
Daniel Figueiredo |
69-75 |
A Program Logic for Fresh Name Generation
Harold Pancho Eliott, Martin Berger |
76-91 |
Event-Driven Temporal Logic Pattern for Control Software Requirements Specification
Vladimir Zyubin, Igor Anureev, Natalia Garanina, Sergey Staroletov, Andrei Rozov, Tatiana Liakh |
92-107 |
Extending OCL with Map and Function Types
Kevin Lano, Shekoufeh Kolahdouz-Rahimi |
108-123 |
Networks
|
Deadlock in Packet Switching Networks
Anna Stramaglia, Jeroen Keiren, Hans Zantema |
127-141 |
Runtime Monitoring Processes Across Blockchains
Shaun Azzopardi, Joshua Ellul, Gordon J. Pace |
142-156 |
Solving Systems of Bilinear Equations for Transition Rate Reconstruction
Amin Soltanieh, Markus Siegle |
157-172 |
Parallel Computation
|
Term Rewriting on GPUs
Johri Van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Anton Wijs |
175-189 |
Promise Plus: Flexible Synchronization for Parallel Computations on Arrays
Amaury Maillé, Ludovic Henrio,Matthieu Moy |
190-198 |
Testing
|
Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications
Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah |
199-214 |
Compressing Automatically Generated Unit Test Suites Through Test Parameterization
Aidin Azamnouri, Samad Paydar |
215-221 |
Systematic Extraction of Tests from Object-Oriented Programs
Mohammad Ghoreshi, Hassan Haghighi |
222-228 |
Hosted by HAL : 