Sortiert nach
Lecture notes in computer science, 2006, p.364-387
2006
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, p.137-141
Link zum Volltext
Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2015, p.19-25
2015
Link zum Volltext
2018 IEEE 25th International Conference on Software Analysis, Evolution and Reengineering (SANER), 2018, p.277-289
2018
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, p.184-198
Link zum Volltext
CHI '14 Extended Abstracts on Human Factors in Computing Systems, 2014, p.2347-2352
2014
Link zum Volltext
Electronic notes in theoretical computer science, 2015-02, Vol.311, p.1-2
2015
Link zum Volltext
SIGPLAN notices, 2017-05, Vol.52 (3), p.190-201
2017
Link zum Volltext
SIGPLAN notices, 2015-12, Vol.50 (10), p.163-182
2015
Link zum Volltext
SIGPLAN notices, 2014-01, Vol.49 (1), p.73-85
2014
Link zum Volltext
Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013, p.275-286
2013
Link zum Volltext
Proceedings of the 2012 International Symposium on Software Testing and Analysis, 2012, p.276-286
2012
Link zum Volltext
Static Analysis, p.146-163
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, p.174-189
Link zum Volltext
Formal Methods for Components and Objects, p.364-387
Link zum Volltext
Grid Computing — GRID 2002, p.112-125
Link zum Volltext
Communications of the ACM, 2015-02, Vol.58 (2), p.44
2015
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Abstract Interpretation
- Analysis
- Android
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
- Model Check
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Abstract Domain
- Access Control
- Access Control Policy
- Androids
- Applied Sciences
- Base Domain
- Call Site
- Computer Programming
- Computer Science; Control Theory; Systems
- Concrete State
- Data
- Data Mining
- Encoding
- Exact Sciences And Technology
Kollektion
Zeitschrift / Serie