Habib Saissi - Veröffentlichungen allgemein

(1 - 5 von 5

)

PBMC: Symbolic Slicing for the Verification of Concurrent Programs |...

link.springer.com

Habib Saissi · .tu-darmstadt.de (16); Péter Bokor (16); Neeraj Suri (16). Author Affiliations Technische Univeristät ...

50th Annual IEEE/IFIP International Conference on Dependable Systems...

researchr.org

[doi] · TraceSanitizer - Eliminating the Effects of Non-Determinism on Error Propagation AnalysisHabib Saissi, Stefan Winter 0001, Oliver Schwahn, ...

Proceedings of the 32nd IEEE/ACM International Conference on...

researchr.org

[doi] · Quick verification of concurrent programs by iteratively relaxed schedulingPatrick Metzler, Habib Saissi, Péter Bokor, Neeraj Suri [doi] ...

bib - SSGssg.lancs.ac.uk › habib-efficient

ssg.lancs.ac.uk

@inproceedings{DBLP:conf/srds/SaissiBMSS13, author = {Habib Saissi and P{\'{e}}ter Bokor and Can Arda Muftuoglu and Neeraj Suri and Marco Serafini}, title ...

[PDF] D A S K U L T U R M A G A Z I Nwww.strandgut.eu › uploads › Strandgut_06_2016_Ansichts

www.strandgut.eu

· h Habib Saissi. ViNOCENTRAL h David Margaryan. Trio. Frankfurt. DAs BETT h Kiddo Kat. iNTERNATiONALEs. THEATER h NOT ...

Verwandte Suchanfragen zu Habib Saissi

Peter Bokor
Arda Muftuoglu
Patrick Metzler

Thorsten Piper
Oliver Schwahn
Robin Hesse

Stefan Winter

Personen
Vorname "Habib" (1003)
Name "Saissi" (7)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Veröffentlichungen allgemein Habib Saissi

PBMC: Symbolic Slicing for the Verification of Concurrent Programs |...

50th Annual IEEE/IFIP International Conference on Dependable Systems...

Proceedings of the 32nd IEEE/ACM International Conference on...

bib - SSGssg.lancs.ac.uk › habib-efficient

[PDF] D A S K U L T U R M A G A Z I Nwww.strandgut.eu › uploads › Strandgut_06_2016_Ansichts