2011 CAV award announcement (English)
- New search for: Vardi, Moshe Y.
- New search for: Henzinger, Thomas A.
- New search for: Alur, Rajeev
- New search for: Kwiatkowska, Marta
- New search for: Vardi, Moshe Y.
- New search for: Henzinger, Thomas A.
- New search for: Alur, Rajeev
- New search for: Kwiatkowska, Marta
In:
Formal Methods in System Design
;
41
, 1
;
1-2
;
2012
- Article (Journal) / Electronic Resource
-
Title:2011 CAV award announcement
-
Contributors:Vardi, Moshe Y. ( author ) / Henzinger, Thomas A. ( author ) / Alur, Rajeev ( author ) / Kwiatkowska, Marta ( author )
-
Published in:Formal Methods in System Design ; 41, 1 ; 1-2
-
Publisher:
- New search for: Springer US
-
Place of publication:Boston
-
Publication date:2012-04-04
-
Size:2 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 41, Issue 1
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
2011 CAV award announcementVardi, Moshe Y. / Henzinger, Thomas A. / Alur, Rajeev / Kwiatkowska, Marta et al. | 2012
- 3
-
PrefaceGopalakrishnan, Ganesh L. / Qadeer, Shaz et al. | 2012
- 4
-
A divide-and-conquer approach for analysing overlaid data structuresLee, Oukseh / Yang, Hongseok / Petersen, Rasmus et al. | 2012
- 25
-
Counterexample-guided abstraction refinement for symmetric concurrent programsDonaldson, Alastair F. / Kaiser, Alexander / Kroening, Daniel / Tautschnig, Michael / Wahl, Thomas et al. | 2012
- 45
-
Unified QBF certification and its applicationsBalabanov, Valeriy / Jiang, Jie-Hong R. et al. | 2012
- 66
-
Temporal property verification as a program analysis taskCook, Byron / Koskinen, Eric / Vardi, Moshe et al. | 2012
- 83
-
Forest automata for verification of heap manipulationHabermehl, Peter / Holík, Lukáš / Rogalewicz, Adam / Šimáček, Jiří / Vojnar, Tomáš et al. | 2012
- 107
-
Recognizing malicious software behaviors with tree automata inferenceBabić, Domagoj / Reynaud, Daniel / Song, Dawn et al. | 2012