BibTeX cite key | Author/Editor | Year | | Title | Type |
BackesDiss2005 | Backes, Werner | 2005 | | Programmanalyse des XRTL Zwischencodes
Universität des Saarlandes | Thesis - PhD thesis |
BaumgartnerSuchanek2005 | Baumgartner, Peter
Suchanek, Fabian | 2005 | | Model-Generation Theorem Proving for First-Order Logic Ontologies | Unpublished/Draft |
Baumgartner:etal:AR-KR-Management:KI:2005 | Baumgartner, Peter
Furbach, Ulrich
Yahya, Adnan | 2005 | | Automated Reasoning, Knowledge Representation and Management
In: KI - Künstliche Intelligenz [1], 5-11 | Journal Article |
Baumgartner:etal:Darwin:IJAIT:2006 | Baumgartner, Peter
Fuchs, Alexander
Tinelli, Cesare | 2006 | | Implementing the Model Evolution Calculus
In: International Journal on Artificial Intelligence Tools [15], 21-52 | Journal Article |
Baumgartner:Furbach:LivingBooksStrangeThings:JS60:2004 | Baumgartner, Peter
Furbach, Ulrich | 2005 | | Living Books, Automated Deduction and other Strange Things
In: Mechanizing Mathematical Reasoning: Techniques, Tools and Applications - Essays in honour of Jörg H. Siekmann, 255-274 | Part of a Book |
Baumgartner:Tinelli:ModelEvolutionCalculusEquality:CADE:2005 | Baumgartner, Peter
Tinelli, Cesare | 2005 | | The Model Evolution Calculus with Equality
In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 392-408 | Proceedings Article |
BenAmramLee2007 | Ben-Amram, Amir M.
Lee, Chin Soon | 2007 | | Program termination analysis in polynomial time
In: ACM Transactions on Programming Languages and Systems [29], 5:1-37 | Journal Article |
BlanchetPodelski2005 | Blanchet, Bruno
Podelski, Andreas | 2005 | | Verification of Cryptographic Protocols: Tagging Enforces Termination
In: Theoretical Computer Science [333], 67-90 | Journal Article |
BrahmPresentation20060912 | Brahm, Uwe | 2006 | | Eine integrierte Publikationsverwaltung am Beispiel des Max-Planck-Instituts für Informatik | Miscellaneous |
CharatonikGeorgievaMaier2005 | Charatonik, Witold
Georgieva, Lilia
Maier, Patrick | 2005 | | Bounded Model Checking of Pointer Programs
In: Computer Science Logic; 19th International Workshop, CSL 2005; 14th Annual Conference of the EACSL, 397-412 | Proceedings Article |
CookPodelskiRybal2006 | Cook, Byron
Podelski, Andreas
Rybalchenko, Andrey | 2006 | | Terminator: Beyond Safety
In: Computer aided verification : 18th International Conference, CAV 2006, 415-418 | Proceedings Article |
CookPodelskiRybalchenkoSAS2005 | Cook, Byron
Podelski, Andreas
Rybalchenko, Andrey | 2005 | | Abstraction-refinement for Termination
In: Static analysis : 12th International Symposium, SAS 2005, 87-101 | Proceedings Article |
CPR05:Terminator | Podelski, Andreas
Rybalchenko, Andrey
Cook, Byron | 2005 | | Counterexample-Guided Abstraction Refinement for Termination | Unpublished/Draft |
DammDischHungarPangPigorschSchollWaldmannWirtz2006 | Damm, Werner
Disch, Stefan
Hungar, Hardi
Pang, Jun
Pigorsch, Florian
Scholl, Christoph
Waldmann, Uwe
Wirtz, Boris | 2006 | | 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 |
DammRatschan2005a | Damm, Werner
Pinto, Guilherme
Ratschan, Stefan | 2005 | | Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems
In: Automated technology for verification and analysis : Third International Symposium, ATVA 2005, 99-113 | Proceedings Article |
DelahayeJaumePrevosto2005 | Delahaye, David
Jaume, Mathieu
Prevosto, Virgile | 2005 | | Coq, un outil pour l'enseignement
In: Technique et Science Informatiques [24], 1139-1160 | Journal Article |
deNivelle2005a | de Nivelle, Hans | 2005 | | Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms
In: Information and Computation [199], 24-54 | Journal Article |
deNivelle2006a | Ahrendt, Baumgartner, de Nivelle (ed.) | 2006 | | IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability | Electronic Proceedings |
deNivelle2006b | de Nivelle, Hans
Baumgartner, Peter
Fuchs, Alexander
Tinelli, Cesare | 2006 | | Computing Finite Models by Reduction to Function-Free Clause Logic
In: IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability, 82-95 | Electronic Proceedings Article |
deNivelleDemri2005 | de Nivelle, Hans
Demri, Stéphane | 2005 | | Deciding Regular Grammar Logics with Converse through First-Order Logic
In: Journal of Logic, Language and Information [14], 289-329 | Journal Article |
deNivelleMeng2006a | de Nivelle, Hans
Meng, Jia | 2006 | | Geometric Resolution: A Proof Procedure Based on Finite Model Search
In: Automated reasoning : Third International Joint Conference, IJCAR 2006, 303-317 | Proceedings Article |
deNivelleMeng2006b | de Nivelle, Hans
Meng, Jia | 2006 | | Geo 2006j | Miscellaneous |
DeNivellePiskac2005a | de Nivelle, Hans
Piskac, Ruzica | 2005 | | Verification of an Off-Line Checker for Priority Queues
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 210-219 | Proceedings Article |
Dimitrova2006 | Dimitrova, Rayna | 2006 | | Model Checking with Abstraction Refinement for Well-Structured Systems
Universität des Saarlandes | Thesis - Masters thesis |
DMSSISAMC2005 | Daum, Matthias
Maus, Stefan
Schirmer, Norbert
Seghir, Mohammed Nassim | 2005 | | Integration of a Software Model Checker into Isabelle
In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, 381-395 | Proceedings Article |
DomshlakHoffmann2006 | Domshlak, Carmel
Hoffmann, Jörg | 2006 | | 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 |
Freiheit2005 | Freiheit, Jörn
Luuk, Marc
Münch, Susanne
Sijanski, Grozdana
Zangl, Fabrice | 2006 | | Lexecute: Visualisation and representation of legal procedures
In: Digital Evidence Journal [3], 17-27 | Journal Article |
Freiheit2005a | Yuan, Cong
Billington, Jonathan
Freiheit, Jörn | 2005 | | An Abstract Model of Routing in Mobile Ad Hoc Networks
In: Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 137-156 | Proceedings Article |
Freiheit2005b | Freiheit, Jörn
Münch, Susanne
Schöttle, Hendrik
Sijanski, Grozdana
Zangl, Fabrice | 2005 | | Enhanced Workflow Models as a Tool for Judicial Practitioners
In: On the move to meaningful internet systems 2005: OTM 2005 Workshops : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, 26-27 | Proceedings Article |
Freiheit2005c | Lilith, Nimrod
Billington, Jonathan
Freiheit, Jörn | 2006 | | Approximate Closed-Form Aggregation of a Fork-Join Structure in Generalised Stochastic Petri Nets
In: 1st International Conference on Performance Evaluation Methodologies and Tools, ??-?? | Proceedings Article |