default search action

combined dblp search
author search
venue search
publication search

ask others

FSEN 2021: Virtual Event

> Home > Conferences and Workshops > FSEN

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fsen/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/2021
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

- view
  authority control:
- export record
  dblp key:
  - conf/fsen/DokterA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/DokterA21
Kasper Dokter, Farhad Arbab:
Protocol Scheduling. 3-17
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/UwimbabaziIN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/UwimbabaziIN21
Aline Uwimbabazi, Omar Inverso, Rocco De Nicola:
Automated Replication of Tuple Spaces via Static Analysis. 18-34
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/MallozziNP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/MallozziNP21
Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione:
Incremental Refinement of Goal Models with Contracts. 35-50

Logic

- view
  authority control:
- export record
  dblp key:
  - conf/fsen/BenevidesMM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/BenevidesMM21
Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins:
Adding Proof Calculi to Epistemic Logics with Structured Knowledge. 53-68
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/Figueiredo21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/Figueiredo21
Daniel Figueiredo:
Introducing Interval Differential Dynamic Logic. 69-75
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/EliottB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/EliottB21
Harold Pancho Eliott, Martin Berger:
A Program Logic for Fresh Name Generation. 76-91
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/ZyubinAGSRL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/ZyubinAGSRL21
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
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/LanoR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/LanoR21
Kevin Lano, Shekoufeh Kolahdouz Rahimi:
Extending OCL with Map and Function Types. 108-123

Networks

- view
  authority control:
- export record
  dblp key:
  - conf/fsen/StramagliaKZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/StramagliaKZ21
Anna Stramaglia, Jeroen J. A. Keiren, Hans Zantema:
Deadlock in Packet Switching Networks. 127-141
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/AzzopardiEP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/AzzopardiEP21
Shaun Azzopardi, Joshua Ellul, Gordon J. Pace:
Runtime Monitoring Processes Across Blockchains. 142-156
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/SoltaniehS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/SoltaniehS21
Amin Soltanieh, Markus Siegle:
Solving Systems of Bilinear Equations for Transition Rate Reconstruction. 157-172

Parallel Computation

- view
  authority control:
- export record
  dblp key:
  - conf/fsen/EerdGHMW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/EerdGHMW21
Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens, Anton Wijs:
Term Rewriting on GPUs. 175-189
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/MailleHM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/MailleHM21
Amaury Maillé, Ludovic Henrio, Matthieu Moy:
Promise Plus: Flexible Synchronization for Parallel Computations on Arrays. 190-196

Testing

- view
  authority control:
- export record
  dblp key:
  - conf/fsen/ZakeriyanKSK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/ZakeriyanKSK21
Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah:
Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications. 199-214
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/AzamnouriP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/AzamnouriP21
Aidin Azamnouri, Samad Paydar:
Compressing Automatically Generated Unit Test Suites Through Test Parameterization. 215-221
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/GhoreshiH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/GhoreshiH21
Mohammad Ghoreshi, Hassan Haghighi:
Systematic Extraction of Tests from Object-Oriented Programs. 222-228

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.