Suchergebnisse - Zennou, Sarah | OPAC THWS

1

ELSE: A new symbolic state generator for timed automata von ZENNOU, Sarah, YGUEL, Manuel, NIEBERT, Peter

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Static Analysis by Policy Iteration on Relational Domains von Gaubert, Stephane, Goubault, Eric, Taly, Ankur, Zennou, Sarah

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Black Box Unfolding with Local First Search von Bornot, Sebastien, Morin, Remi, Niebert, Peter, Zennou, Sarah

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Malware Analysis: From Large-Scale Data Triage to Targeted Attack Recognition (Dagstuhl Seminar 17281) von Zennou, Sarah, Debray, Saumya K., Dullien, Thomas, Lakhothia, Arun

Volltext
Report

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Challenges in Analysing Executables: Scalability, Self-Modifying Code and Synergy (Dagstuhl Seminar 14241) von Giacobazzi, Roberto, Simon, Axel, Zennou, Sarah

Volltext
Report

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Local First Search — A New Paradigm for Partial Order Reductions von Niebert, Peter, Huhn, Michaela, Zennou, Sarah, Lugiez, Denis

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

ELSE: A New Symbolic State Generator for Timed Automata von Zennou, Sarah, Yguel, Manuel, Niebert, Peter

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: