Bug-Finder: Enhanced Error Detection in Concurrent Computer Programs : Endbericht
- Weitere Titel
-
BugFinder: Automatische Fehlerfindung in nebenläufiger Software :
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Deutsch
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Dortmund
- (wer)
-
Universitätsbibliothek Dortmund
- (wann)
-
2007
- Urheber
-
Chavdar, Marinov
Edelkamp, Stefan
Goloub, Alexander
Jabbar, Shahid
Kellershoff, Mark
Liu, Yang
Mehler, T.
Midzic, Dino
Milouchev, Goran
Rikowski, Daniel
Sulewski, Damian
Tamokoue, Eric
Zakaria, Yfrah
- Handle
-
2003/23282
- URN
-
urn:nbn:de:101:1-201605301517
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:57 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Chavdar, Marinov
- Edelkamp, Stefan
- Goloub, Alexander
- Jabbar, Shahid
- Kellershoff, Mark
- Liu, Yang
- Mehler, T.
- Midzic, Dino
- Milouchev, Goran
- Rikowski, Daniel
- Sulewski, Damian
- Tamokoue, Eric
- Zakaria, Yfrah
- Universitätsbibliothek Dortmund
Entstanden
- 2007
Ähnliche Objekte (12)
Verification of sequential and concurrent programs
Verifying concurrent programs under weak memory models
Advanced slicing of sequential and concurrent programs
Advanced slicing of sequential and concurrent programs
Temporal assertions for sequential and concurrent programs
Stratified commutativity in verification algorithms for concurrent programs
Verification and Enforcement of Safe Schedules for Concurrent Programs
Extending non-termination proof techniques to asynchronously communicating concurrent programs
Trace based debugging and visualisation of concurrent Java programs with UML
Trace based debugging and visualisation of concurrent Java programs with UML
Slicing of Concurrent Programs and its Application to Information Flow Control
CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity
Verification of sequential and concurrent programs
Verifying concurrent programs under weak memory models
Advanced slicing of sequential and concurrent programs
Advanced slicing of sequential and concurrent programs
Temporal assertions for sequential and concurrent programs
Stratified commutativity in verification algorithms for concurrent programs
Verification and Enforcement of Safe Schedules for Concurrent Programs
Extending non-termination proof techniques to asynchronously communicating concurrent programs
Trace based debugging and visualisation of concurrent Java programs with UML
Trace based debugging and visualisation of concurrent Java programs with UML
Slicing of Concurrent Programs and its Application to Information Flow Control
CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity
Verification of sequential and concurrent programs
Verifying concurrent programs under weak memory models
Advanced slicing of sequential and concurrent programs
Advanced slicing of sequential and concurrent programs
Temporal assertions for sequential and concurrent programs
Stratified commutativity in verification algorithms for concurrent programs
Verification and Enforcement of Safe Schedules for Concurrent Programs
Extending non-termination proof techniques to asynchronously communicating concurrent programs
Trace based debugging and visualisation of concurrent Java programs with UML
Trace based debugging and visualisation of concurrent Java programs with UML
Slicing of Concurrent Programs and its Application to Information Flow Control