Formal Methods in System Design

Title Titel
Formal Methods in System Design
 
e-ISSN
1572-8102
 
ISSN
0925-9856
 
Publisher Herausgeber
SPRINGER
 
Publisher's Address Herausgeber Adresse
VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 

Publications Publikationen

Filter:
Author:  Weissenbacher, Georg

Results 1-6 of 6 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Tabaei Befrouei Mitra - 2016 - Abstraction and mining of traces to explain...pdf.jpgTabaei Befrouei, Mitra ; Wang, Chao ; Weissenbacher, Georg Abstraction and mining of traces to explain concurrency bugsArticle Artikel Oct-2016
2Gottlob, Georg ; Henzinger, Thomas A. ; Weissenbacher, Georg Preface of the Special Issue in Memoriam Helmut VeithArtikel Article2017
3Chockler, Hana ; Weissenbacher, Georg Preface of the special issue on the conference on computer-aided verification 2018Artikel Article2021
4Stewart, Daryl ; Weissenbacher, Georg Preface of the Special Issue on the Conference on Formal Methods in Computer-Aided Design 2017Artikel Article2020
5Pani, Thomas ; Weissenbacher, Georg ; Zuleger, Florian Rely-guarantee bound analysis of parameterized concurrent shared-memory programsArtikel Article 2021
6Lewis, Matt ; Kroening, Daniel ; Weissenbacher, Georg Under-approximating loops in C programs for fast counterexample detectionArtikel Article 2015