Export...\All to MPG RTF format... |
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Year | edoc | Lck | Author(s) [non member] | Editor(s) [non member] | Title | Type | edoc identifier | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
698 |
| |||||||||||||
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 |