Publications

Entries sorted by: 5. Year - 4. All Years - 2. MPG Jahrbuch Format

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	edoc	Lck	Author(s) [non member]	Editor(s) [non member]			Title	Type	edoc identifier
698	Veröffentlichungen der Mitarbeiter
		2009			Lee, Chin Soon				Ranking functions for size-change termination In: ACM Transactions on Programming Languages and Systems [31], 10:1-10:42	Journal Article	8B0AF0C8A04E78D3C12576F1005802B3-Lee2009
		2009			Meter, Peter	Blubber, Bla Bla, Blubber			Just a test entry In: Booktitle, 1001-1010	Proceedings Article	9A78437D415DC578C12576D50035FB9F-Meter2009
		2007			[Ben-Amram, Amir M.] Lee, Chin Soon				Program termination analysis in polynomial time In: ACM Transactions on Programming Languages and Systems [29], 5:1-37	Journal Article	9FD7D7C6C5A30BBAC12573E800404454-BenAmramLee2007
		2007			[Beyer, Dirk] [Henzinger, Thomas] [Majumdar, Rupak] Rybalchenko, Andrey	[Cook, Byron] [Podelski, Andreas]			Invariant Synthesis for Combined Theories In: Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, 378-394	Proceedings Article	C4C46977FD7517A0C12572A2007CFDE3-Rybalchenko2007VMCAI-InvGen
		2007			[Beyer, Dirk] [Henzinger, Thomas] [Majumdar, Rupak] Rybalchenko, Andrey	[Ferrante, Jeanne] [McKinley, Kathryn S.]			Path Invariants In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 300-309	Proceedings Article	48258C5145573B41C12572A2007E9680-Rybalchenko2007PLDI-Paths
		2007			[Cook, Byron] [Gotsman, Alexey] [Podelski, Andreas] Rybalchenko, Andrey [Vardi, Moshe]	[Hofmann, Martin] [Felleisen, Matthias]			Proving that programs eventually do something good In: 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2007), 265-276	Proceedings Article	F0CC8AA9A7B40F8AC12572A2007E1277-Rybalchenko2007POPL
		2007			[Cook, Byron] [Podelski, Andreas] Rybalchenko, Andrey	[Ferrante, Jeanne] [McKinley, Kathryn S.]			Proving Thread Termination In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 320-330	Proceedings Article	0E3286174490BE72C12572A2007E5F0F-Rybalchenko2007PLDI-Threads
		2007			Podelski, Andreas Rybalchenko, Andrey				Transition Predicate Abstraction and Fair Termination In: ACM Transactions on Programming Languages and Systems [29], 30	Journal Article	01F2BD609C09FFB3C12572D5003645AF-PodelskiRybalchenkoTOPLAS2007
		2007			[Podelski, Andreas] Rybalchenko, Andrey	Hanus, Michael			ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement In: Practical aspects of declarative languages : 9th International Symposium, PADL 2007, 245-259	Proceedings Article	B25DA1215596A4A6C12572A2007D7B25-Rybalchenko2007PADL
		2007			[Podelski, Andreas] Wagner, Silke				A Method and a Tool for Automatic Verification of Region Stability for Hybrid Systems	Report	5EFB11340F0182DBC12572970053D04E-PodelskiWagner01_2007
		2007			[Podelski, Andreas] Wagner, Silke	Bemporad, Alberto Bicchi, Antonio Buttazzo, Giorgio C.			A Sound and Complete Proof Rule for Region Stability of Hybrid Systems In: Hybrid systems: computation and control : 10th International Conference, HSCC 2007, 750-753	Poster	5390EA1D31702021C12572C9003EFBCF-PodelskiWagner02_2007
		2007			Ratschan, Stefan She, Zhikun				Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement In: ACM Transactions in Embedded Computing Systems [6], 1-23	Journal Article	677771074F68D5CEC125717800440423-Ratschan2007
		2007			Rybalchenko, Andrey				Precise Thread-Modular Verification In: 14th International Static Analysis Symposium (SAS 2007), ?	Proceedings Article	7E5E80A3B2C2F34BC12572D500339DAC-MalkisPodelskiRybalchenkoSAS2007
		2007			Rybalchenko, Andrey Sofronie-Stokkermans, Viorica	[Cook, Byron] [Podelski, Andreas]			Constraint Solving for Interpolation In: 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007), ?	Proceedings Article	2A3E0635A6236931C125722700460594-Rybalchenko-Sofronie-vmcai07
		2007			Sofronie-Stokkermans, Viorica				Automated theorem proving by resolution in non-classic logics In: Discrete Applied Mathematics [?], ?	Journal Article	B9E45B57527D7737C12571A9003CFE52-Sofronie-Stokkermans-dam-06
		2007			Sofronie-Stokkermans, Viorica				On unification for bounded distributive lattices In: ACM Transactions on Computational Logic [8], ?	Journal Article	9DD8AF804D93801CC1257005003D6854-Sofronie-Stokkermans-unif-05
		2007			Wagner, Silke [Podelski, Andreas]	[Raskin, J.-F.] [Thiagarajan, P.S.]			Region Stability Proofs for Hybrid Systems In: Formal Modelling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, 16	Proceedings Article	226A10E7924A08F0C12573160032D6C1-PodelskiWagner03_2007
		2006				[Ahrendt, Wolfgang] [Baumgartner, Peter] de Nivelle, Hans			IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability	Electronic Proceedings	B91B31A7FC46DE53C12571F4003DCF6E-deNivelle2006a
		2006			Baumgartner, Peter Fuchs, Alexander [Tinelli, Cesare]				Implementing the Model Evolution Calculus In: International Journal on Artificial Intelligence Tools [15], 21-52	Journal Article	9D1A231BA6D54196C1256FF2002CAB25-Baumgartner:etal:Darwin:IJAIT:2006
		2006			Brahm, Uwe				Eine integrierte Publikationsverwaltung am Beispiel des Max-Planck-Instituts für Informatik	Miscellaneous	0D06EDC0FA2840F5C12571E800594BA7-BrahmPresentation20060912
		2006			[Cook, Byron] Podelski, Andreas Rybalchenko, Andrey				Termination Proofs for Systems Code In: PLDI 2006 : Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 415-426 In: ACM SIGPLAN Notices [41], 415-426	Proceedings Article	88C906F53622F174C125729D00531880-PodelskiRybalchenkoCook2006
		2006			Cook, Byron Podelski, Andreas Rybalchenko, Andrey	[Ball, Thomas] [Jones, Robert B.]			Terminator: Beyond Safety In: Computer aided verification : 18th International Conference, CAV 2006, 415-418	Proceedings Article	3DF9C46347178EFEC125729E001C92E2-CookPodelskiRybal2006
		2006			[Damm, Werner] [Disch, Stefan] [Hungar, Hardi] [Pang, Jun] [Pigorsch, Florian] [Scholl, Christoph] Waldmann, Uwe [Wirtz, Boris]	[Graf, Susanne] [Zhang, Wenhui]			Automatic Verification of Hybrid Systems with Large Discrete State Space In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, 276-291	Proceedings Article	E15845F2D436427EC1257213006D3E84-DammDischHungarPangPigorschSchollWaldmannWirtz2006
		2006			de Nivelle, Hans [Meng, Jia]				Geo 2006j	Miscellaneous	F96650851C2800BCC12571F4003B140B-deNivelleMeng2006b
		2006			de Nivelle, Hans [Meng, Jia]	[Furbach, Ulrich] [Shankar, Natarajan]			Geometric Resolution: A Proof Procedure Based on Finite Model Search In: Automated reasoning : Third International Joint Conference, IJCAR 2006, 303-317	Proceedings Article	9F39DC347DB8FFF1C1257140004AB991-deNivelleMeng2006a
		2006			[Domshlak, Carmel] Hoffmann, Jörg	[Long, Derek] [Smith, Stephen F.] [Borrajo, Daniel] [McCluskey, Lee]			Fast Probabilistic Planning Through Weighted Model Counting In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 243-252	Proceedings Article	3E95E26F349AEB6AC1257114003AA62D-DomshlakHoffmann2006
		2006			[Dräge, Klaus] [Finkbeiner, Bernd] Podelski, Andreas	[Valmari, Antti]			Directed Model Checking with Distance-Preserving Abstractions In: Model checking software : 13th International SPIN Workshop, 19-34	Proceedings Article	1DD5A496410B7F92C125729E0034DA77-Podelski2006d
		2006			Freiheit, Jörn [Luuk, Marc] [Münch, Susanne] [Sijanski, Grozdana] [Zangl, Fabrice]				Lexecute: Visualisation and representation of legal procedures In: Digital Evidence Journal [3], 17-27	Journal Article	C1C4E642D32945A3C125722F004619ED-Freiheit2005
		2006			Freiheit, Jörn [Zangl, Fabrice]	[Remenyi, Dan]			Model-based user-interface management for public services In: 6th European Conference on e-Government, 141-151	Proceedings Article	35836E283162574AC125722F004857FC-Freiheit2005e

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