Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             9 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 CFL-based methods for approximating interleaved Dyck reachability Conrado, Giovanna Kobus
27 2 p. 255-266
 artikel
2 Compositional runtime enforcement of safety and co-safety timed properties Shankar, Saumya
27 2 p. 169-199
 artikel
3 Context Gas and friends: taming context-sensitivity on the fly Erhard, Julian
27 2 p. 289-307
 artikel
4 End-to-end development of product lines for web systems Setyautami, Maya R. A.
27 2 p. 201-219
 artikel
5 Evaluation of a distributed explicit state space exploration algorithm with state reconstruction for RDMA networks Evangelista, Sami
27 2 p. 149-168
 artikel
6 Interleaving static analysis and LLM prompting with applications to error specification inference Chapman, Patrick J.
27 2 p. 239-254
 artikel
7 Lightweight and modular resource leak checking (extended version) Shadab, Narges
27 2 p. 267-288
 artikel
8 State of the art in program analysis Monat, Raphaël
27 2 p. 221-223
 artikel
9 Static analysis to make the most of CHERI C/C++ for existing code: improving memory safety at scale Dudina, Irina
27 2 p. 225-237
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland