default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFSEN 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
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.
last updated on 2026-04-26 00:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
