Zum Inhalt springen

Ur, Shmuel [Sonstige Person, Familie und Körperschaft] ; International Haifa Verification Conference 1 2005 Haifa

Hardware and software verification and testing : first International Haifa Verification Conference, Haifa, Israel, November 13 - 16, 2005 ; revised selected papers

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 3875
Bin, Eyal [Herausgeber:in]; Ziv, Avi [Sonstige Person, Familie und Körperschaft]; Ur, Shmuel [Sonstige Person, Familie und Körperschaft] ; International Haifa Verification Conference 2 2006 Haifa

Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4383
Ur, Shmuel [Verfasser:in] ; Association for Computing Machinery

Proceedings of the 6th workshop on Parallel and distributed systems testing, analysis, and debugging

Online ansehen
Schließen

Zugang

... zum E-Book via ACM Digital Library (Volltext)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York, NY: ACM, 2008

Erschienen in: ACM Digital Library - ACM Conferences
Ur, Shmuel [Verfasser:in] ; Association for Computing Machinery, ACM Special Interest Group on Software Engineering

Proceedings of the 2007 ACM workshop on Parallel and distributed systems testing and debugging

Online ansehen
Schließen

Zugang

... zum E-Book via ACM Digital Library (Volltext)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York, NY: ACM, 2007

Erschienen in: ACM Digital Library - ACM Conferences
Ur, Shmuel [Sonstige Person, Familie und Körperschaft]; Bin, Eyal [Sonstige Person, Familie und Körperschaft]; Wolfsthal, Yaron [Sonstige Person, Familie und Körperschaft]

Hardware and Software, Verification and Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

Online ansehen
Schließen

Zugang

... zum E-Book via DOI (Volltext)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

Erschienen in: Lecture notes in computer science ; 3875
Bin, Eyal [Sonstige Person, Familie und Körperschaft]; Ur, Shmuel [Sonstige Person, Familie und Körperschaft]; Ziv, Avi [Sonstige Person, Familie und Körperschaft]

Hardware and Software, Verification and Testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

Erschienen in: Lecture notes in computer science ; 4383
Ur, Shmuel

Lecture Notes in Computer Science: Testing Concurrent Software

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2011

Erschienen in: Lecture Notes in Computer Science (2011), Seite 4-4
Ur, Shmuel

Special Issue: Parallel and Distributed Systems: Testing and Debugging (PADTAD)

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wiley, 2007

Erschienen in: Concurrency and Computation: Practice and Experience, 19 (2007) 3, Seite 265-266
Copty, Shady; Ur, Shmuel

Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2007

Erschienen in: Electronic Notes in Theoretical Computer Science, 174 (2007) 9, Seite 151-165
Copty, Shady; Ur, Shmuel

Lecture Notes in Computer Science: Multi-threaded Testing with AOP Is Easy, and It Finds Bugs!

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2005

Erschienen in: Lecture Notes in Computer Science (2005), Seite 740-749
UR, SHMUEL; PAZ, AZARIA

THE REPRESENTATION POWER OF PROBABILISTIC KNOWLEDGE BY UNDIRECTED GRAPHS AND DIRECTED ACYCLIC GRAPHS: A COMPARISON

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Informa UK Limited, 1993

Erschienen in: International Journal of General Systems, 22 (1993) 2, Seite 219-231
Yoo, Shin; Harman, Mark; Ur, Shmuel

GPGPU test suite minimisation: search based software engineering performance improvement using graphics cards

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2013

Erschienen in: Empirical Software Engineering, 18 (2013) 3, Seite 550-593
Adler, Yoram; Ur, Shmuel; Blue, Dale

Lecture Notes in Computer Science: Evaluating Workloads Using Multi-comparative Functional Coverage

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2011

Erschienen in: Lecture Notes in Computer Science (2011), Seite 57-70
Yoo, Shin; Harman, Mark; Ur, Shmuel

Lecture Notes in Computer Science: Highly Scalable Multi Objective Test Suite Minimisation Using Graphics Cards

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2011

Erschienen in: Lecture Notes in Computer Science (2011), Seite 219-236
Nir-Buchbinder, Yarden; Tzoref, Rachel; Ur, Shmuel

Lecture Notes in Computer Science: Deadlocks: From Exhibiting to Healing

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2008

Erschienen in: Lecture Notes in Computer Science (2008), Seite 104-118
Biberstein, Marina; Farchi, Eitan; Ur, Shmuel

Choosing among alternative pasts

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wiley, 2007

Erschienen in: Concurrency and Computation: Practice and Experience, 19 (2007) 3, Seite 341-353
Quinlan, Dan; Ur, Shmuel; Vuduc, Richard

Lecture Notes in Computer Science: An Extensible Open-Source Compiler Infrastructure for Testing

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2006

Erschienen in: Lecture Notes in Computer Science (2006), Seite 116-133
Ratsaby, Gil; Sterin, Baruch; Ur, Shmuel

Lecture Notes in Computer Science: Improvements in Coverability Analysis

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2002

Erschienen in: Lecture Notes in Computer Science (2002), Seite 41-56
Ratzaby, Gil; Ur, Shmuel; Wolfsthal, Yaron

Lecture Notes in Computer Science: Coverability Analysis Using Symbolic Model Checking

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2001

Erschienen in: Lecture Notes in Computer Science (2001), Seite 155-160
Lewin, Daniel; Lorenz, Dean; Ur, Shmuel

Lecture Notes in Computer Science: A methodology for processor implementation verification

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1996

Erschienen in: Lecture Notes in Computer Science (1996), Seite 126-142

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr