Error Propagation Analysis for Multithreaded Programs: An Empirical Approach von Winter, Stefan, Chan, Abraham, Habib Saissi, Pattabiraman, Karthik, Suri, Neeraj

Volltext

Safety Verification Utilizing Model-based Development for Safety Critical Cyber-Physical Systems von Ishigooka, Tasuku, Saissi, Habib, Piper, Thorsten, Winter, Stefan, Suri, Neeraj

Volltext

PBMC: Symbolic Slicing for the Verification of Concurrent Programs von Saissi, Habib, Bokor, Péter, Suri, Neeraj

Volltext

Efficient Verification of Program Fragments: Eager POR von Metzler, Patrick, Saissi, Habib, Bokor, Péter, Hesse, Robin, Suri, Neeraj

Volltext

Scaling Out Acid Applications with Operation Partitioning von Saissi, Habib, Serafini, Marco, Suri, Neeraj

Volltext bestellen

Safe Execution of Concurrent Programs by Enforcement of Scheduling Constraints von Metzler, Patrick, Saissi, Habib, Bokor, Péter, Suri, Neeraj

Volltext bestellen

Method and system for testing control software of a controlled system von Saissi, Habib, Sakurai, Kohei, Suri, Neeraj, Narisawa, Fumio, Piper, Thorsten, Winter, Stefan, Ishigooka, Tasuku

Volltext bestellen

Safe Execution of Concurrent Programs by Enforcement of Scheduling Constraints von Metzler, Patrick, Habib Saissi, Bokor, Péter, Suri, Neeraj

Volltext

Scaling Out Acid Applications with Operation Partitioning von Habib Saissi, Serafini, Marco, Suri, Neeraj

Volltext

Method and system for testing control software of a controlled system von Ishigooka Tasuku, Piper Thorsten, Winter Stefan, Narisawa Fumio, Sakurai Kohei, Suri Neeraj, Saissi Habib

Volltext bestellen

Method and system for testing control software of a controlled system von NARISAWA, FUMIO, PIPER, THORSTEN, SAKURAI, KOHEI, ISHIGOOKA, TASUKU, WINTER, STEFAN, SURI, NEERAJ, SAISSI, HABIB

Volltext bestellen

METHOD AND SYSTEM FOR TESTING CONTROL SOFTWARE OF A CONTROLLED SYSTEM von ISHIGOOKA TASUKU, SURI NEERAJ, SAISSI HABIB, NARISAWA FUMIO, PIPER THORSTEN, SAKURAI KOHEI, WINTER STEFAN

Volltext bestellen

Verfahren und System zum Testen von Steuersoftware eines gesteuerten Systems von Saissi, Habib, Suri, Neeraj, Narisawa, Fumio, Piper, Thorsten, Winter, Stefan, Ishigooka, Tasuku

Volltext bestellen

METHOD AND SYSTEM FOR TESTING CONTROL SOFTWARE OF CONTROLLED SYSTEM von ISHIGOOKA HIROSHI, STEFAN WINTER, NARISAWA FUMIO, HABIB SAISSI, SAKURAI KOHEI, NEERAJ SURI, THORSTEN PIPER

Volltext bestellen

Verfahren und System zum Testen von Steuersoftware eines gesteuerten Systems von NARISAWA, FUMIO, PIPER, THORSTEN, ISHIGOOKA, TASUKU, WINTER, STEFAN, SURI, NEERAJ, SAISSI, HABIB

Volltext bestellen