Zum Inhalt springen

Hammer, Christian [VerfasserIn] ; Snelting, G. [MitwirkendeR]

Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs

Online ansehen
Schließen

Links

https://publikationen.bibliothek.kit.edu/1000012049

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

KIT Scientific Publishing, Karlsruhe, 2009-01-01
Mosenkis, Viktor [VerfasserIn]; Naumann, Uwe [VerfasserIn]; Peise, Elmar [VerfasserIn] ; Viktor Mosenkis and Uwe Naumann and Elmar Peise [MitwirkendeR]

Low-Memory Tour Reversal in Directed Graphs

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2009
Baskiotis, Nicolas [VerfasserIn]; Sebag, Michèle [VerfasserIn]; Gaudel, Marie-Claude [VerfasserIn] ; Nicolas Baskiotis and Michèle Sebag and Marie-Claude Gaudel [MitwirkendeR]

SoftwareTesting with Active Learning in a Graph

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2009
Black, Sue [VerfasserIn]; Bouillon, Philipp [VerfasserIn] ; Sue Black and Philipp Bouillon [MitwirkendeR]

And Now For Something Completely Different

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2006
Müller-Olm, Markus [Sonstige Person, Familie und Körperschaft]

Variations on Constants : Flow Analysis of Sequential and Parallel Programs

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

Erschienen in: Lecture notes in computer science ; 3800
Hammer, Christian [VerfasserIn] ; Snelting, G. [AkademischeR BetreuerIn]

Information flow control for java : a comprehensive approach based on path conditions in dependence Graphs

Online ansehen
Schließen

Zugang

https://d-nb.info/1185493255/34

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Karlsruhe: KIT Scientific Publishing, 2009
Leslous, Mourad [VerfasserIn] ; Rennes 1 [MitwirkendeR]; Viêt Triêm Tông, Valérie [MitwirkendeR]; Genet, Thomas [MitwirkendeR]

Highlight and execute suspicious paths in Android malware ; Mettre en avant et exécuter les chemins suspicieux dans les malwares Android

Online ansehen
Schließen

Links

http://www.theses.fr/2018REN1S090/document

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

theses.fr, 2018-12-18
El Sibaïe Besognet, Rémy [VerfasserIn] ; Sorbonne université [MitwirkendeR]; Chailloux, Emmanuel [MitwirkendeR]

Programmation Web Réactive dans un cadre typé statiquement pour l'orchestration de contenus multimédia riches ; Reactive Web Programming in a Static Typing Context for Rich Multimedias Content Orchestration

Online ansehen
Schließen

Links

http://www.theses.fr/2018SORUS169/document

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

theses.fr, 2018-07-12
Khomenko, Victor [VerfasserIn]; Koutny, Maciej [VerfasserIn]; Yakovlev, Alex [VerfasserIn] ; Victor Khomenko and Maciej Koutny and Alex Yakovlev [MitwirkendeR]

Slimming down Petri Boxes: Compact Petri Net Models of Control Flows

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
Graf, Jürgen [VerfasserIn] ; Snelting, G. [MitwirkendeR]

Information Flow Control with System Dependence Graphs - Improving Modularity, Scalability and Precision for Object Oriented Languages

Online ansehen
Schließen

Links

https://publikationen.bibliothek.kit.edu/1000068211

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

KIT-Bibliothek, Karlsruhe, 2016-01-01
Mohr, Martin [VerfasserIn] ; Snelting, Gregor [MitwirkendeR]

Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security

Online ansehen
Schließen

Links

https://publikationen.bibliothek.kit.edu/1000146346

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

KIT-Bibliothek, Karlsruhe, 2022-05-14
M'Baya, Abir [VerfasserIn] ; Lyon [MitwirkendeR]; Moalla, Nejib [MitwirkendeR]

A graph based end to end defect prediction framework. ; Le logiciel de prédiction des défauts logiciels basé sur les graphes

Online ansehen
Schließen

Links

http://www.theses.fr/2022LYSE2035/document

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

theses.fr, 2022-07-06
Wasserrab, Daniel [VerfasserIn]

From formal semantics to verified slicing : a modular framework with applications in language based security - [Print on demand]

Online ansehen
Schließen

Zugang

https://digbib.bibliothek.kit.edu/volltexte/1000020678

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Karlsruhe: KIT Scientific Publishing, 2011
Kleinsorge, Jan C. [VerfasserIn] ; Marwedel, Peter [AkademischeR BetreuerIn]; Lisper, Björn [Sonstige Person, Familie und Körperschaft]

Tight integration of cache, path and task-interference modeling for the analysis of hard real time systems

Online ansehen
Schließen

Zugang

https://d-nb.info/1110894236/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dortmund: Universitätsbibliothek Dortmund, 2015
Laouadi, Rabah [VerfasserIn] ; Montpellier [MitwirkendeR]; Ducournau, Roland [MitwirkendeR]

Analyse du flot de contrôle multivariante : application à la détection de comportements des programmes ; Multivariant control flow analysis : application to behavior detection in programs

Online ansehen
Schließen

Links

http://www.theses.fr/2016MONTT255

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

theses.fr, 2016-12-14
Zanasi, Fabio [VerfasserIn] ; Lyon, École normale supérieure [MitwirkendeR]; Hirschkoff, Daniel [MitwirkendeR]

Interacting Hopf Algebras- the Theory of Linear Systems ; Interacting Hopf Algebras - la théorie des systèmes linéaires

Online ansehen
Schließen

Links

http://www.theses.fr/2015ENSL1020/document

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

theses.fr, 2015-10-05
Adamy, Udo [VerfasserIn] ; Erlebach, Thomas [MitwirkendeR]; Welzl, Emo [MitwirkendeR]

Call admission control and on-line interval coloring

Online ansehen
Schließen

Links

https://hdl.handle.net/20.500.11850/72793

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

ETH, 2004
Buck, Sebastian [VerfasserIn] ; Zell, Andreas [AkademischeR BetreuerIn]

Modeling Robotic Systems with Activity Flow Graphs

Online ansehen
Schließen

Zugang

https://d-nb.info/1168729319/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Tübingen: Universitätsbibliothek Tübingen, 2018
Wegner, Franziska [VerfasserIn] ; Wagner, D. [MitwirkendeR]

Combinatorial Problems in Energy Networks - Graph-theoretic Models and Algorithms

Online ansehen
Schließen

Links

https://publikationen.bibliothek.kit.edu/1000120612

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

KIT-Bibliothek, Karlsruhe, 2020-01-01
Zenklusen, Rico [VerfasserIn] ; Steger, Angelika [MitwirkendeR]; Eisenbrand, Friedrich [MitwirkendeR]

Combinatorial Methods for Analyzing Network Security and Reliability

Online ansehen
Schließen

Links

https://hdl.handle.net/20.500.11850/10874

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

ETH, 2008

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr