Thomas Tuerk

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
c6		Peter Lammich, Thomas Tuerk: Applying Data Refinement for Monadic Programs to Hopcroft's Algorithm. ITP 2012: 166-182
	2011
c5		Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß: The 1st Verified Software Competition: Experience Report. FM 2011: 154-168
	2009
c4		Thomas Tuerk: A Formalisation of Smallfoot in HOL. TPHOLs 2009: 469-484
	2006
c3		Thomas Tuerk, Klaus Schneider, Mike Gordon: Model Checking PSL Using HOL and SMV. Haifa Verification Conference 2006: 1-15
	2005
c2		Klaus Schneider, Jens Brandt, Tobias Schüle, Thomas Tuerk: Maximal Causality Analysis. ACSD 2005: 106-115
c1		Thomas Tuerk, Klaus Schneider: From PSL to LTL: A Formal Validation in HOL. TPHOLs 2005: 342-357

Coauthor Index

1	Eyad Alkassar	[c5]
2	Rob Arthan (R. D. Arthan)	[c5]
3	Jens Brandt	[c2]
4	Derek Bronish	[c5]
5	Rod Chapman	[c5]
6	Ernie Cohen	[c5]
7	Mike Gordon	[c3]
8	Mark A. Hillebrand	[c5]
9	Bart Jacobs	[c5]
10	Vladimir Klebanov	[c5]
11	Peter Lammich	[c6]
12	Gary T. Leavens	[c5]
13	K. Rustan M. Leino	[c5]
14	Rosemary Monahan	[c5]
15	Peter Müller	[c5]
16	Frank Piessens	[c5]
17	Nadia Polikarpova	[c5]
18	Tom Ridge (Thomas Ridge)	[c5]
19	Klaus Schneider	[c3] [c2] [c1]
20	Tobias Schüle (Tobias Schuele)	[c2]
21	Natarajan Shankar	[c5]
22	Jan Smans	[c5]
23	Stephan Tobies	[c5]
24	Mattias Ulbrich	[c5]
25	Benjamin Weiß 0001	[c5]
26	Valentin Wüstholz	[c5]

Last update Mon May 20 10:46:01 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page