Bug-Finder: Enhanced Error Detection in Concurrent Computer Programs : Endbericht
- Alternative title
-
BugFinder: Automatische Fehlerfindung in nebenläufiger Software :
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Deutsch
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Dortmund
- (who)
-
Universitätsbibliothek Dortmund
- (when)
-
2007
- Creator
-
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
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:57 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- 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
Time of origin
- 2007
Other Objects (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