default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDElectronic Communication of the European Association of Software Science and Technology, Volume 79
Volume 79, 2020
- Stylianos Basagiannis, Anila Mjeda, Götz Botterweck:
Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020).
- Dario Varano, Gianluca Dini, Mariano Basile
:
CYBERWISER.eu: Innovative Cyber Range Platform for Cybersecurity Training in Industrial Systems. - Pavel Sergeevich Andrianov, Vadim Sergeevich Mutilin:
Data Race Detection in the Linux Kernel with CPALockator. - Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri:
Block-Based Models and Theorem Proving in Model-Based Development. - Georgios Giantamidis, Georgios Papanikolaou, Marcelo Miranda, Gonzalo Salinas-Hernando, Juan Valverde-Alcalá, Suresh Veluru, Stylianos Basagiannis:
ReForm: A Tool for Rapid Requirements Formalization. - Alexander Schieweck, Tiziana Margaria:
Testing Interconnected Systems with Behavior Mining. - Thiago Rocha Silva, Brian Fitzgerald:
Parsing BDD Stories for Automated Verification of Software Artefacts. - Francesco Mercaldo, Fabio Martinelli, Antonella Santone:
Timed Automata for Mobile Ransomware Detection. - Anila Mjeda, Götz Botterweck:
Uncertainty Entangled; Modelling Safety Assurance Cases for Autonomous Systems.
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 2025-02-07 23:38 CET 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:
