Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Annales des télécommunications, 2023-08, Vol.78 (7-8), p.429-457
2023
Link zum Volltext


Computer science review, 2023-11, Vol.50, p.100594, Article 100594
2023
Link zum Volltext


Automata-based monitoring for LTL-FO
International journal on software tools for technology transfer, 2021-04, Vol.23 (2), p.137-154
2021
Link zum Volltext

Empirical software engineering : an international journal, 2019-12, Vol.24 (6), p.3587-3629
2019
Link zum Volltext

Information systems (Oxford), 2021-11, Vol.101, p.101446, Article 101446
2021
Link zum Volltext

Computer (Long Beach, Calif.), 2018-11, Vol.51 (11), p.78-89
2018

2021 28th Asia-Pacific Software Engineering Conference (APSEC), 2021, p.43-52
2021






Runtime Verification, p.447-457
Link zum Volltext

Foundations and Practice of Security, p.251-258
Link zum Volltext

Foundations and Practice of Security, p.283-302
Link zum Volltext

Computers & security, 2011-06, Vol.30 (4), p.194-207
2011
Link zum Volltext


Computer science review, 2012-01, Vol.6 (1), p.27-45
2012
Link zum Volltext



Three Views of Log Trace Triaging
Foundations and Practice of Security, p.179-195
Link zum Volltext

Foundations and Practice of Security, p.160-169
Link zum Volltext

Foundations and Practice of Security, p.102-116
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt