Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Electronic Communication of the European Association of Software Science and Technology, Volume 79

> Home > Journals > Electronic Communication of the European Association of Software Science and Technology

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 79, 2020

Preface

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/BasagiannisMB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/BasagiannisMB20
Stylianos Basagiannis, Anila Mjeda, Götz Botterweck:
Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020).

Articles

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/VaranoDB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/VaranoDB20
Dario Varano, Gianluca Dini, Mariano Basile:
CYBERWISER.eu: Innovative Cyber Range Platform for Cybersecurity Training in Industrial Systems.
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/AndrianovM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/AndrianovM20
Pavel Sergeevich Andrianov, Vadim Sergeevich Mutilin:
Data Race Detection in the Linux Kernel with CPALockator.
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/BernardeschiDFP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/BernardeschiDFP20
Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri:
Block-Based Models and Theorem Proving in Model-Based Development.
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/GiantamidisPMSV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/GiantamidisPMSV20
Georgios Giantamidis, Georgios Papanikolaou, Marcelo Miranda, Gonzalo Salinas-Hernando, Juan Valverde-Alcalá, Suresh Veluru, Stylianos Basagiannis:
ReForm: A Tool for Rapid Requirements Formalization.
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/SchieweckM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/SchieweckM20
Alexander Schieweck, Tiziana Margaria:
Testing Interconnected Systems with Behavior Mining.
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/SilvaF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/SilvaF20
Thiago Rocha Silva, Brian Fitzgerald:
Parsing BDD Stories for Automated Verification of Software Artefacts.
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/MercaldoMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/MercaldoMS20
Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
Timed Automata for Mobile Ransomware Detection.
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/MjedaB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/MjedaB20
Anila Mjeda, Götz Botterweck:
Uncertainty Entangled; Modelling Safety Assurance Cases for Autonomous Systems.

a service of

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.