Suchergebnisse - Aljazzar, Husain

1

K ⁎: A heuristic search algorithm for finding the k shortest paths von Aljazzar, Husain, Leue, Stefan

Veröffentlicht in Artificial intelligence

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking von Aljazzar, H., Leue, S.

Veröffentlicht in IEEE transactions on software engineering

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Ka: A heuristic search algorithm for finding the k shortest paths von Aljazzar, Husain, Leue, Stefan

Veröffentlicht in Artificial intelligence

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Extended Directed Search for Probabilistic Timed Reachability von Aljazzar, Husain, Leue, Stefan

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Survey on Directed Model Checking von Edelkamp, Stefan, Schuppan, Viktor, Bošnački, Dragan, Wijs, Anton, Fehnker, Ansgar, Aljazzar, Husain

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

DiPro - A Tool for Probabilistic Counterexample Generation von Aljazzar, Husain, Leitner-Fischer, Florian, Leue, Stefan, Simeonov, Dimitar

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Counterexamples for Timed Probabilistic Reachability von Aljazzar, Husain, Hermanns, Holger, Leue, Stefan

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Generation of Counterexamples for Model Checking of Markov Decision Processes von Aljazzar, H., Leue, S.

Volltext bestellen

Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

INTERACTIVE MODULE IN A NETWORK von ALJAZZAR, Husain, PFEFFERSEDER, Anton, STEGEMANN, Dirk, GRUBER, Tobias, BURGER-SCHEIDLIN, Christoph, BARISIC, Daniel

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Debugging of Dependability Models Using Interactive Visualization of Counterexamples von Aljazzar, H., Leue, S.

Volltext bestellen

Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Simplified field device exchange in a processing device von Aljazzar, Husain, Burger-Scheidlin, Christoph, Pfefferseder, Anton, Barisic, Daniel, Stegemann, Dirk, Gruber, Tobias

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

AUTOMATIC MAINTENANCE DETECTION IN A PROCESSOR DEVICE von BURGER-SCHEIDLIN, CHRISTOPH, BARISIC, DANIEL, STEGEMANN, DIRK, ALJAZZAR, HUSAIN, GRUBER, TOBIAS, PFEFFERSEDER, ANTON

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

SIMPLIFIED FIELD DEVICE EXCHANGE IN A PROCESS FACILITY von ALJAZZAR, Husain, PFEFFERSEDER, Anton, STEGEMANN, Dirk, GRUBER, Tobias, BURGER-SCHEIDLIN, Christoph, BARISIC, Daniel

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

AUTOMATIC MAINTENANCE DETECTION IN A PROCESSOR DEVICE von ALJAZZAR, Husain, PFEFFERSEDER, Anton, STEGEMANN, Dirk, GRUBER, Tobias, BURGER-SCHEIDLIN, Christoph, BARISIC, Daniel

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

K :heuristics-guided, on-the-fly k shortest paths search von Aljazzar, Husain

Volltext bestellen

Web Resource

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Verfahren zur Übertragung von Daten zwischen Einheiten einer RESTful-Architektur und mit Muskelkraft und/oder mit Motorkraft antreibbares Fahrzeug von Aljazzar, Husain, Rempler, Hans-Uwe

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

METHOD FOR TRANSMITTING DATA BETWEEN UNITS OF A RESTFUL ARCHITECTURE AND VEHICLE WHICH CAN BE DRIVEN BY MUSCLE STRENGTH AND/OR WITH THE AID OF THE ENGINE von Aljazzar, Husain, Rempler, Hans-Uwe

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

DiPro :A Tool for Probabilistic Counterexample Generation von Aljazzar, Husain

Volltext bestellen

Web Resource

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Directed and Heuristic Counterexample Generation for Probabilistic Model Checking - A Comparative Evaluation von Aljazzar, Husain

Volltext bestellen

Web Resource

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

SIMPLIFIED FIELD DEVICE EXCHANGE IN A PROCESSING DEVICE von Stegemann Dirk, Barisic Daniel, Gruber Tobias, Aljazzar Husain, Burger-Scheidlin Christoph, Pfefferseder Anton

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

K ⁎: A heuristic search algorithm for finding the k shortest paths von Aljazzar, Husain, Leue, Stefan

Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking von Aljazzar, H., Leue, S.

Ka: A heuristic search algorithm for finding the k shortest paths von Aljazzar, Husain, Leue, Stefan

Extended Directed Search for Probabilistic Timed Reachability von Aljazzar, Husain, Leue, Stefan

Survey on Directed Model Checking von Edelkamp, Stefan, Schuppan, Viktor, Bošnački, Dragan, Wijs, Anton, Fehnker, Ansgar, Aljazzar, Husain

DiPro - A Tool for Probabilistic Counterexample Generation von Aljazzar, Husain, Leitner-Fischer, Florian, Leue, Stefan, Simeonov, Dimitar

Counterexamples for Timed Probabilistic Reachability von Aljazzar, Husain, Hermanns, Holger, Leue, Stefan

Generation of Counterexamples for Model Checking of Markov Decision Processes von Aljazzar, H., Leue, S.

INTERACTIVE MODULE IN A NETWORK von ALJAZZAR, Husain, PFEFFERSEDER, Anton, STEGEMANN, Dirk, GRUBER, Tobias, BURGER-SCHEIDLIN, Christoph, BARISIC, Daniel

Debugging of Dependability Models Using Interactive Visualization of Counterexamples von Aljazzar, H., Leue, S.

Simplified field device exchange in a processing device von Aljazzar, Husain, Burger-Scheidlin, Christoph, Pfefferseder, Anton, Barisic, Daniel, Stegemann, Dirk, Gruber, Tobias

AUTOMATIC MAINTENANCE DETECTION IN A PROCESSOR DEVICE von BURGER-SCHEIDLIN, CHRISTOPH, BARISIC, DANIEL, STEGEMANN, DIRK, ALJAZZAR, HUSAIN, GRUBER, TOBIAS, PFEFFERSEDER, ANTON

SIMPLIFIED FIELD DEVICE EXCHANGE IN A PROCESS FACILITY von ALJAZZAR, Husain, PFEFFERSEDER, Anton, STEGEMANN, Dirk, GRUBER, Tobias, BURGER-SCHEIDLIN, Christoph, BARISIC, Daniel

AUTOMATIC MAINTENANCE DETECTION IN A PROCESSOR DEVICE von ALJAZZAR, Husain, PFEFFERSEDER, Anton, STEGEMANN, Dirk, GRUBER, Tobias, BURGER-SCHEIDLIN, Christoph, BARISIC, Daniel

K :heuristics-guided, on-the-fly k shortest paths search von Aljazzar, Husain

Verfahren zur Übertragung von Daten zwischen Einheiten einer RESTful-Architektur und mit Muskelkraft und/oder mit Motorkraft antreibbares Fahrzeug von Aljazzar, Husain, Rempler, Hans-Uwe

METHOD FOR TRANSMITTING DATA BETWEEN UNITS OF A RESTFUL ARCHITECTURE AND VEHICLE WHICH CAN BE DRIVEN BY MUSCLE STRENGTH AND/OR WITH THE AID OF THE ENGINE von Aljazzar, Husain, Rempler, Hans-Uwe

DiPro :A Tool for Probabilistic Counterexample Generation von Aljazzar, Husain

Directed and Heuristic Counterexample Generation for Probabilistic Model Checking - A Comparative Evaluation von Aljazzar, Husain

SIMPLIFIED FIELD DEVICE EXCHANGE IN A PROCESSING DEVICE von Stegemann Dirk, Barisic Daniel, Gruber Tobias, Aljazzar Husain, Burger-Scheidlin Christoph, Pfefferseder Anton

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle