Austria - PDFSEARCH.IO - Document Search Engine

Austria
Results: 14497

#	Item
1	Lipschitz Robustness of Finite-state Transducers Thomas A. Henzinger, Jan Otop, Roopsha Samanta IST Austria Abstract We investigate the problem of checking if a finite-state transducer is robust to uncertainty in Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Finite automata Abstract algebra Algebra Finite-state transducer Mathematics Theoretical computer science Finite-state machine Semigroup action Kazhdan's property Tree transducer
2	Cost-Aware Automatic Program Repair Roopsha Samanta1? , Oswaldo Olivo2 , and E. Allen Emerson2 1 The University of Texas at Austin and IST Austria Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Boolean algebra Forcing Theoretical computer science Mathematics Complete Boolean algebra Order theory Assertion Mathematical logic
3	Local Soundness for QBF Calculi? Martin Suda and Bernhard Gleiss TU Wien, Vienna, Austria Abstract. We develop new semantics for resolution-based calculi for Quantified Boolean Formulas, covering both the CDCL-derived ca Add to Reading List Source URL: forsyte.at Language: English - Date: 2018-06-26 03:55:02 Measure theory FO Finite model theory Ergodic theory Mathematics Logic Mathematical logic Lie algebras Hopf decomposition Pattern language
4	Model-Based API Testing for SMT Solvers∗ Aina Niemetz, Mathias Preiner, and Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria Abstract Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Software testing Theoretical computer science Software engineering Satisfiability modulo theories Solver Test automation Fuzzing Application programming interface Model-based testing API testing
5	TRUST 2016 Program Guide 29 – 30 August 2016 Vienna, Austria Organized by… Add to Reading List Source URL: trust2016.sba-research.org Language: English - Date: 2016-08-19 09:37:29 Cryptography Computer security Security engineering Cyberwarfare Physical unclonable function Direct Anonymous Attestation Hardware security Trust
6	Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 03:28:45 Software Automated theorem proving Theoretical computer science Formal methods TPTP Proof assistant Frama-C Theorem prover E theorem prover Theorem Isabelle
7	Mirco Giacobbe IST Austria Am Campus 1, A-3400 Klosterneuburg, Austria +http://ist.ac.at/~mgiacobbe/ Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2018-08-21 10:59:57 European Joint Conferences on Theory and Practice of Software Thomas Henzinger Institute of Science and Technology Austria
8	Debugging Native Extensions of Dynamic Languages∗ Jacob Kreindl Johannes Kepler University Linz Austria Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-08-02 21:00:36 Computer programming Software engineering Computing Debugging Integrated development environments Object-oriented programming languages Scripting languages Cross-platform software LLVM Debugger Wing IDE Clang
9	From Trees to Graphs: Kruskal’s Tree Theorem & Termination master’s thesis @ University of Innsbruck, Austria Maria A Schett Add to Reading List Source URL: www.maria-a-schett.net Language: English - Date: 2016-12-11 09:17:22 Mathematics Graph theory Theoretical computer science Mathematical logic Graph Rewriting Kruskal's tree theorem
10	A Separation Logic with Data: Small Models and Automation? Jens Katelaan1 , Dejan Jovanovi´c2 , and Georg Weissenbacher1 1 TU Wien, Vienna, Austria Add to Reading List Source URL: csl.sri.com Language: English - Date: 2018-04-25 11:34:42 Mathematical logic Logic Predicate logic Mathematics Model theory Semantics Philosophical logic First-order logic FO Quantifier Constructible universe Interpretation