The document contains an executive summary of the Dagstuhl Seminar "Typing, Analysis, and Verification of Heap-Manipulating Programs" that took place July 2009
This report documents the program and the outcomes of Dagstuhl Seminar 22492 "Formal Methods and Dis...
A preliminary version has been reported at the 21. Symposium on Foundations of Computer Science, Syr...
This report documents the Dagstuhl Seminar 17502 "Testing and Verification of Compilers" that took p...
10.1007/978-3-642-21437-0_29Lecture Notes in Computer Science (including subseries Lecture Notes in ...
From July 19 to 24, 2009, the Dagstuhl Seminar 09301 ``Typing, Analysis and Verification of Heap-Ma...
From November 15-20, 2009, the Dagstuhl seminar on "Computer-assisted proofs - tools, methods and ap...
10.1007/978-3-642-16901-4_13Lecture Notes in Computer Science (including subseries Lecture Notes in ...
This is the executive summary of Dagstuhl Seminar 06131, "Peer-to-Peer-Systems and -Applications". T...
From January 2 to January 6, 2007, the Dagstuhl Seminar 07011 "Runtime Verification" was held in the...
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verif...
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verif...
The aim of the "beyond program slicing" seminar was to explore emergent applications of program slic...
A number of questions regarding programs involving heap-based data structures can be phrased as ques...
From 16.09.2007 to 21.09.2007 the Dagstuhl Seminar 07381 ``Cryptography'' was held in the Internati...
This report documents the program and the outcomes of Dagstuhl Seminar 18431 "Computational Aspects ...
This report documents the program and the outcomes of Dagstuhl Seminar 22492 "Formal Methods and Dis...
A preliminary version has been reported at the 21. Symposium on Foundations of Computer Science, Syr...
This report documents the Dagstuhl Seminar 17502 "Testing and Verification of Compilers" that took p...
10.1007/978-3-642-21437-0_29Lecture Notes in Computer Science (including subseries Lecture Notes in ...
From July 19 to 24, 2009, the Dagstuhl Seminar 09301 ``Typing, Analysis and Verification of Heap-Ma...
From November 15-20, 2009, the Dagstuhl seminar on "Computer-assisted proofs - tools, methods and ap...
10.1007/978-3-642-16901-4_13Lecture Notes in Computer Science (including subseries Lecture Notes in ...
This is the executive summary of Dagstuhl Seminar 06131, "Peer-to-Peer-Systems and -Applications". T...
From January 2 to January 6, 2007, the Dagstuhl Seminar 07011 "Runtime Verification" was held in the...
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verif...
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verif...
The aim of the "beyond program slicing" seminar was to explore emergent applications of program slic...
A number of questions regarding programs involving heap-based data structures can be phrased as ques...
From 16.09.2007 to 21.09.2007 the Dagstuhl Seminar 07381 ``Cryptography'' was held in the Internati...
This report documents the program and the outcomes of Dagstuhl Seminar 18431 "Computational Aspects ...
This report documents the program and the outcomes of Dagstuhl Seminar 22492 "Formal Methods and Dis...
A preliminary version has been reported at the 21. Symposium on Foundations of Computer Science, Syr...
This report documents the Dagstuhl Seminar 17502 "Testing and Verification of Compilers" that took p...
DOI
Add to ORKG