Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys

Login to this database

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)

Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

	Year		Title	BibTeX cite key
Ohlbach
Ohlbach, Herzig
Ohlbach, Koehler
Ohlbach, Schmidt
Ohlbach, Schmidt, Hustadt
Ohlbach, Siekmann
Ohlbach, Weidenbach
Pacholski, Podelski
Piskac
Plaisted
Pnueli, Podelski, Rybalchenko
Podelski
Podelski (ed.)
Podelski, Ball, Rajamani
Podelski, Charatonik, Müller
Podelski, Rybalchenko
	2007		ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement In: Practical aspects of declarative languages : 9th International Symposium, PADL 2007, 245-259	Rybalchenko2007PADL
	2007		Transition Predicate Abstraction and Fair Termination In: ACM Transactions on Programming Languages and Systems [29], 30	PodelskiRybalchenkoTOPLAS2007
	2005		Transition predicate abstraction and fair termination In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, 124-139	PodelskiRybalchenkoPOPL2005
	2004		A Complete Method for the Synthesis of Linear Ranking Functions In: Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, 239-251	PR04:LinearRanking
	2004		Transition Invariants In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, LICS 2004, 32-41	PR04:TransInv
Podelski, Rybalchenko, Cook
Podelski, Schaefer, Wagner
Podelski, Smolka
Podelski, Wagner
Podelski, Wies
Prevosto
Prevosto, Boulmé
Prevosto, Waldmann
Rahman, Rückert, Fischmann

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)