Abstract is missing.
- Protocol SchedulingKasper Dokter, Farhad Arbab. 3-17 [doi]
- Automated Replication of Tuple Spaces via Static AnalysisAline Uwimbabazi, Omar Inverso, Rocco De Nicola. 18-34 [doi]
- Incremental Refinement of Goal Models with ContractsPiergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione. 35-50 [doi]
- Adding Proof Calculi to Epistemic Logics with Structured KnowledgeMario R. F. Benevides, Alexandre Madeira, Manuel A. Martins 0001. 53-68 [doi]
- Introducing Interval Differential Dynamic LogicDaniel Figueiredo. 69-75 [doi]
- A Program Logic for Fresh Name GenerationHarold Pancho Eliott, Martin Berger. 76-91 [doi]
- Event-Driven Temporal Logic Pattern for Control Software Requirements SpecificationVladimir Zyubin, Igor S. Anureev, Natalya Olegovna Garanina, Sergey Staroletov, Andrei Rozov, Tatiana Liakh. 92-107 [doi]
- Extending OCL with Map and Function TypesKevin Lano, Shekoufeh Kolahdouz Rahimi. 108-123 [doi]
- Deadlock in Packet Switching NetworksAnna Stramaglia, Jeroen J. A. Keiren, Hans Zantema. 127-141 [doi]
- Runtime Monitoring Processes Across BlockchainsShaun Azzopardi, Joshua Ellul, Gordon J. Pace. 142-156 [doi]
- Solving Systems of Bilinear Equations for Transition Rate ReconstructionAmin Soltanieh, Markus Siegle. 157-172 [doi]
- Term Rewriting on GPUsJohri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens 0001, Anton Wijs. 175-189 [doi]
- Promise Plus: Flexible Synchronization for Parallel Computations on ArraysAmaury Maillé, Ludovic Henrio, Matthieu Moy. 190-196 [doi]
- Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional SpecificationsArvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah. 199-214 [doi]
- Compressing Automatically Generated Unit Test Suites Through Test ParameterizationAidin Azamnouri, Samad Paydar. 215-221 [doi]
- Systematic Extraction of Tests from Object-Oriented ProgramsMohammad Ghoreshi, Hassan Haghighi. 222-228 [doi]