Sortiert nach
The International journal of networked and distributed computing (Online), 2016-07, Vol.4 (3), p.137-144
2016
Link zum Volltext
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019, p.2455-2472
2019
Link zum Volltext
Computers & security, 2015-03, Vol.49, p.255-273
2015
Link zum Volltext
IEEE transactions on software engineering, 2021-10, Vol.47 (10), p.2225-2241
2021
- Link zum Volltext
Science of computer programming, 2023-06, Vol.228, p.102944, Article 102944
2023
Link zum Volltext
Software, practice & experience, 2023-07, Vol.53 (7), p.1472-1495
2023
Link zum Volltext
The Journal of systems and software, 2021-07, Vol.177, p.110952, Article 110952
2021
Link zum Volltext
ACM transactions on software engineering and methodology, 2023-07, Vol.32 (5), p.1-34, Article 121
2023
Link zum Volltext
IEEE transactions on dependable and secure computing, 2023, p.1-12
2023
- Link zum Volltext
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE), 2020, p.1049-1060
2020
- Link zum Volltext
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, 2021, p.2951-2967
2021
Link zum Volltext
Software and systems modeling, 2023-02, Vol.22 (1), p.273-296
2023
Link zum Volltext
Automated software engineering, 2023-11, Vol.30 (2), p.26, Article 26
2023
Link zum Volltext
Science of computer programming, 2016-05, Vol.120, p.1-24
2016
Link zum Volltext
Theory of computing systems, 2022-10, Vol.66 (5), p.911-956
2022
Link zum Volltext
ACM transactions on programming languages and systems, 2018-12, Vol.40 (4), p.1-37, Article 14
2018
Link zum Volltext
Journal of network and computer applications, 2020-02, Vol.152, p.102509, Article 102509
2020
Link zum Volltext
ACM transactions on software engineering and methodology, 2013-10, Vol.22 (4), p.1-33
2013
Link zum Volltext
Computer Aided Verification, p.422-430
Link zum Volltext
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, 2021, p.811-824
2021
Link zum Volltext
IEEE access, 2022, Vol.10, p.39674-39680
2022
Link zum Volltext
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023, p.888-900
2023
- Link zum Volltext
ACM transactions on programming languages and systems, 2017-12, Vol.39 (4), p.1-47, Article 18
2017
Link zum Volltext
Software testing, verification & reliability, 2017-09, Vol.27 (6), p.n/a
2017
Link zum Volltext
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, 2021, p.2429-2431
2021
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Static Analysis
- Computer Science, Software Engineering
- Software
- Computer Science, Theory & Methods
- Engineering
- Computer Programs
- Engineering, Electrical & Electronic
- Software Engineering
- Applications Programs
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Analysis
- Computer Science, Information Systems
- Static Program Analysis
- Java
- Abstract Interpretation
- Static Code Analysis
- Security
- Program Analysis
Kollektion
- IEEE Electronic Library (IEL)
- ACM Digital Library
- Ingenta
- EZB Free E-Journals
- SpringerLink Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier ScienceDirect Journals Complete
- Springer Book Series (Lecture Notes)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Wiley Online Library Journals
- Journals@Ovid Ovid Full Text
- EBSCOhost Business Source Ultimate
- IngentaConnect Journals
- Wiley Online Library Full Collection 2018
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- MEDLINE
- Nexis Uni
- Sage
- Taylor & Francis Current Content Access
Zeitschrift / Serie
- Ieee Transactions On Software Engineering
- Ieee Access
- Acm Transactions On Programming Languages And Systems
- Applied Mechanics And Materials
- Proceedings Of Acm On Programming Languages
- International Journal On Software Tools For Technology Transfer
- Software, Practice & Experience
- Sigplan Notices
- Acm Transactions On Software Engineering And Methodology
- The Journal Of Systems And Software
Neu hinzugefügt