![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
FSEN 2021: Virtual Event
- Hossein Hojjat
, Mieke Massink
:
Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers. Lecture Notes in Computer Science 12818, Springer 2021, ISBN 978-3-030-89246-3
Coordination
- Kasper Dokter, Farhad Arbab:
Protocol Scheduling. 3-17 - Aline Uwimbabazi, Omar Inverso, Rocco De Nicola
:
Automated Replication of Tuple Spaces via Static Analysis. 18-34 - Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione:
Incremental Refinement of Goal Models with Contracts. 35-50
Logic
- Mario R. F. Benevides, Alexandre Madeira
, Manuel A. Martins:
Adding Proof Calculi to Epistemic Logics with Structured Knowledge. 53-68 - Daniel Figueiredo
:
Introducing Interval Differential Dynamic Logic. 69-75 - Harold Pancho Eliott, Martin Berger
:
A Program Logic for Fresh Name Generation. 76-91 - Vladimir Zyubin, Igor S. Anureev, Natalya Olegovna Garanina, Sergey M. Staroletov, Andrei Rozov, Tatiana V. Liakh:
Event-Driven Temporal Logic Pattern for Control Software Requirements Specification. 92-107 - Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Extending OCL with Map and Function Types. 108-123
Networks
- Anna Stramaglia, Jeroen J. A. Keiren
, Hans Zantema:
Deadlock in Packet Switching Networks. 127-141 - Shaun Azzopardi
, Joshua Ellul
, Gordon J. Pace
:
Runtime Monitoring Processes Across Blockchains. 142-156 - Amin Soltanieh, Markus Siegle
:
Solving Systems of Bilinear Equations for Transition Rate Reconstruction. 157-172
Parallel Computation
- Johri van Eerd, Jan Friso Groote
, Pieter Hijma
, Jan Martens
, Anton Wijs
:
Term Rewriting on GPUs. 175-189 - Amaury Maillé, Ludovic Henrio, Matthieu Moy
:
Promise Plus: Flexible Synchronization for Parallel Computations on Arrays. 190-196
Testing
- Arvin Zakeriyan, Ramtin Khosravi
, Hadi Safari
, Ehsan Khamespanah:
Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications. 199-214 - Aidin Azamnouri, Samad Paydar:
Compressing Automatically Generated Unit Test Suites Through Test Parameterization. 215-221 - Mohammad Ghoreshi
, Hassan Haghighi
:
Systematic Extraction of Tests from Object-Oriented Programs. 222-228
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.