2010
Articles in journals or book chapters
| [128]
Marko Samer and Stefan Szeider Constraint Satisfaction with Bounded Treewidth Revisited Journal of Computer and System Sciences (JCSS) ,
76(2):103-114,
March 2010[doi:10.1016/j.jcss.2009.04.003] [Abstract] [bibtex-entry] |
| [127]
Marko Samer and Stefan Szeider Algorithms for Propositional Model Counting Journal of Discrete Algorithms (JDA) ,
8(1):50-64,
March 2010[doi:10.1016/j.jda.2009.06.002] [Abstract] [bibtex-entry] |
| [126]
Andreas Bauer,
Martin Leucker,
Christian Schallhart,
and Michael Tautschnig Don't care in SMT---Building flexible yet efficient abstraction/refinement solvers International Journal on Software Tools for Technology Transfer ,
12(1):23-37,
February 2010[doi:10.1007/s10009-009-0133-2] [bibtex-entry] |
| [125]
Andreas Bauer,
Martin Leucker,
and Christian Schallhart Runtime Verification for LTL and TLTL ACM Transactions on Software and Methodology (TOSEM) ,
2010Note: Accepted for publication [bibtex-entry] |
| [124]
Andreas Bauer,
Martin Leucker,
and Christian Schallhart Comparing LTL Semantics for Runtime Verification Journal of Logic and Computation (JLC) ,
2010Note: Accepted for publication [doi:doi: 10.1093/logcom/exn075] [bibtex-entry] |
| [123]
Somesh Jha,
Stefan Katzenbeisser,
Christian Schallhart,
Helmut Veith,
and Stephen Chenney Semantic Integrity in Large-Scale Online Simulations ACM Transactions on Internet Technology (TOIT) ,
2010Note: Accepted for publication [bibtex-entry] |
Conference articles
| [122]
Andreas Holzer,
Christian Schallhart,
Michael Tautschnig,
and Helmut Veith How did you specify your test suite ? In Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010) ,
September 2010Note: To appear [bibtex-entry] |
2009
Articles in journals or book chapters
| [121]
Wolfgang Haberl,
Michael Tautschnig,
and Uwe Baumgarten Generating Distributed Code From COLA Models ,
volume 33 of Lecture Notes in Electrical Engineering,
chapter 20Springer, March 2009 [bibtex-entry] |
| [120]
Marko Samer and Stefan Szeider Fixed-Parameter Tractability In A. Biere, M. Heule, H. van Maaren, and T. Walsh, editors, Handbook of Satisfiability ,
volume 185 of Frontiers in Artificial Intelligence and Applications,
chapter 13,
pages 425-454IOS Press, February 2009 [doi:10.3233/978-1-58603-929-5-425] [Abstract] [bibtex-entry] |
| [119]
Andreas Holzer,
Visar Januzaj,
and Stefan Kugele Towards Resource Consumption-Aware Programming Software Engineering Advances, International Conference on ,
0:490-493,
2009[doi:http://doi.ieeecomputersociety.org/10.1109/ICSEA.2009.77] [Abstract] [bibtex-entry] |
| [118]
Marko Samer and Stefan Szeider Backdoor Sets of Quantified Boolean Formulas Journal of Automated Reasoning (JAR) ,
42(1):77-97,
January 2009[doi:10.1007/s10817-008-9114-5] [Abstract] [bibtex-entry] |
| [117]
Martin Leucker and Christian Schallhart A Brief Account of Runtime Verification Journal of Logic and Algebraic Programming (JLAP) ,
(78):293-303,
2009[bibtex-entry] |
| [116]
Marko Samer and Stefan Szeider Tractable Cases of the Extended Global Cardinality Constraint Constraints ,
2009Note: In press. [doi:10.1007/s10601-009-9079-y] [Abstract] [bibtex-entry] |
Conference articles
| [115]
Eshref Januzaj and Visar Januzaj An Application of Data Mining to Identify Data Quality Problems In Proceedings of the Third International Conference on Advanced Engineering Computing and Applications in Sciences, ADVCOMP 2009 ,
Sliema, Malta,
October 2009IEEE Computer Society [bibtex-entry] |
| [114]
Marko Samer and Helmut Veith Encoding Treewidth into SAT In Oliver Kullmann, editor, Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing (SAT'09) ,
volume 5584 of Lecture Notes in Computer Science,
pages 45-50,
July 2009Springer-Verlag [doi:10.1007/978-3-642-02777-2_6] [Abstract] [bibtex-entry] |
| [113]
Hermann Gruber,
Markus Holzer,
and Michael Tautschnig Short Regular Expressions from Finite Automata: Empirical Results In Proceedings of the 14th International Conference on Implementation and Application of Automata (CIAA 2009) ,
volume 5642 of Lecture Notes in Computer Science,
Sydney, Australia,
pages 188-197,
July 2009Springer [bibtex-entry] |
| [112]
Visar Januzaj and Stefan Kugele Model Analysis via a Translation Schema to Coloured Petri Nets In D. Moldt, editor, Proceedings of the International Workshop on Petri Nets and Software Engineering, PNSE '09 ,
Paris, France,
pages 273-292,
June 2009[bibtex-entry] |
| [111]
Andreas Holzer,
Christian Schallhart,
Michael Tautschnig,
and Helmut Veith Query-Driven Program Testing In Neil D. Jones and Markus Müller-Olm, editors, Proceedings of the Tenth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2009) ,
volume 5403 of Lecture Notes in Computer Science,
Savannah, GA, USA,
pages 151-166,
January 2009Springer [bibtex-entry] |
| [110]
Johannes Kinder,
Florian Zuleger,
and Helmut Veith An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries In Neil D. Jones and Markus Müller-Olm, editors, Proceedings of the Tenth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2009) ,
volume 5403 of Lecture Notes in Computer Science,
Savannah, GA, USA,
January 2009Springer [bibtex-entry] |
| [109]
Wolfgang Haberl,
Stefan Kugele,
and Uwe Baumgarten Reliable Operating Modes for Distributed Embedded Systems In Proceedings of the 6th International Workshop on Model-based Methodologies for Pervasive and Embedded Software ,
Washington, DC, USA,
2009IEEE Computer Society [bibtex-entry] |
| [108]
Visar Januzaj,
Ralf Mauersberger,
and Florian Biechele Performance Modelling for Avionics Systems In 12th International Conference on Computer Aided Systems Theory - EUROCAST 2009 ,
volume 5717 of Lecture Notes in Computer Science,
Las Palmas, Gran Canaria,
pages 833-840,
15 - 20 February 2009Springer [bibtex-entry] |
| [107]
Wolfgang Haberl,
Markus Herrmannsdoerfer,
Stefan Kugele,
Michael Tautschnig,
and Martin Wechs One Click from Model to Reality In Proceedings of Symposium on Automotive/Avionics Systems Engineering (SAASE 2009) ,
2009[bibtex-entry] |
Internal reports
| [106]
Andreas Holzer,
Visar Januzaj,
Stefan Kugele,
Christian Schallhart,
Michael Tautschnig,
Helmut Veith,
and Boris Langer Slope Testing for Activity Diagrams and Safety Critical Software Technical report TUD-CS-2009-0184, Technische Universität Darmstadt, October 2009 [PDF] [bibtex-entry] |
| [105]
Andreas Holzer,
Christian Schallhart,
Michael Tautschnig,
and Helmut Veith A Precise Specification Framework for White Box Program Testing Technical report TUD-CS-2009-0148, Technische Universität Darmstadt, September 2009 [PDF] [bibtex-entry] |
| [104]
Andreas Holzer,
Christian Schallhart,
Michael Tautschnig,
and Helmut Veith Dependency Coverage Criteria with FQL Technical report TUD-CS-2009-0149, Technische Universität Darmstadt, 2009 [bibtex-entry] |
2008
Books and proceedings
| [103]
Orna Grumberg and Helmut Veith, editors 25 Years of Model Checking - History, Achievements, Perspectives ,
volume 5000 of Lecture Notes in Computer Science,
2008Springer [bibtex-entry] |
| [102]
Iliano Cervesato,
Helmut Veith,
and Andrei Voronkov, editors Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings ,
volume 5330 of Lecture Notes in Computer Science,
2008Springer [bibtex-entry] |
Articles in journals or book chapters
| [101]
Wolfgang Haberl,
Michael Tautschnig,
and Uwe Baumgarten From COLA Models to Distributed Embedded Systems Code IAENG International Journal of Computer Science ,
35(3):427-437,
September 2008[bibtex-entry] |
| [100]
Johannes Kinder,
Stefan Katzenbeisser,
Christian Schallhart,
and Helmut Veith Proactive Detection of Computer Worms Using Model Checking IEEE Transactions on Dependable and Secure Computing ,
2008[bibtex-entry] |
Conference articles
| [99]
Stefan Kugele,
Wolfgang Haberl,
Michael Tautschnig,
and Martin Wechs Optimizing Automatic Deployment Using Non-Functional Requirement Annotations In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation ,
volume 17 of Communications in Computer and Information Science,
Porto Sani, Greece,
pages 400-414,
October 2008Springer [bibtex-entry] |
| [98]
Boris Langer and Michael Tautschnig Navigating the Requirements Jungle In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation ,
volume 17 of Communications in Computer and Information Science,
Porto Sani, Greece,
pages 354-368,
October 2008Springer [bibtex-entry] |
| [97]
Zhonglei Wang,
Andreas Herkersdorf,
Stefano Merenda,
and Michael Tautschnig A Model Driven Development Approach for Implementing Reactive Systems in Hardware In Forum on Specification and Design Languages (FDL08) ,
Stuttgart, Germany,
pages 197-202,
September 2008IEEE Computer Society [doi:10.1109/FDL.2008.4641445] [bibtex-entry] |
| [96]
Stefan Kugele and Wolfgang Haberl Mapping Data-Flow Dependencies onto Distributed Embedded Systems In Proceedings of the 2008 International Conference on Software Engineering Research & Practice, SERP 2008 ,
Las Vegas Nevada, USA,
July 2008[bibtex-entry] |
| [95]
Andreas Holzer,
Christian Schallhart,
Michael Tautschnig,
and Helmut Veith FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement In Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008) ,
volume 5123 of Lecture Notes in Computer Science,
Princeton, NJ, USA,
pages 209-213,
July 2008Springer [bibtex-entry] |
| [94]
Johannes Kinder and Helmut Veith Jakstab: A Static Analysis Platform for Binaries In Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008) ,
volume 5123 of Lecture Notes in Computer Science,
July 2008Springer [bibtex-entry] |
| [93]
Murali Talupur and Helmut Veith Domain Pattern Abstraction + Ptolemaic Abstract Domains = Environment Abstraction for Concurrent Systems In Exploiting Concurrency Efficiently and Correctly -- (EC)$^2$ ,
July 2008[bibtex-entry] |
| [92]
Zhonglei Wang,
Wolfgang Haberl,
Stefan Kugele,
and Michael Tautschnig Automatic Generation of SystemC Models from Component-based Designs for Early Design Validation and Performance Analysis In WOSP '08: Proceedings of the 7th International Workshop on Software and Performance ,
Princeton, NJ, USA,
pages 139-144,
June 2008ACM Keyword(s): COLA, Code Generation, Simulation, SystemC [bibtex-entry] |
| [91]
Sven Bünte and Michael Tautschnig A Benchmarking Suite for Measurement-Based WCET Analysis Tools In International Conference on Software Testing Verification and Validation Workshop (ICSTW'08) ,
Lillehammer, Norway,
pages 353-356,
April 2008IEEE Computer Society Press [doi:10.1109/ICSTW.2008.1] [bibtex-entry] |
| [90]
Edmund M. Clarke,
Muralidhar Talupur,
and Helmut Veith Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems In C. R. Ramakrishnan and Jakob Rehof, editors, Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 ,
volume 4963 of Lecture Notes in Computer Science,
pages 33-47,
April 2008Springer [WWW] [bibtex-entry] |
| [89]
Wolfgang Haberl,
Michael Tautschnig,
and Uwe Baumgarten Running COLA on Embedded Systems In Proceedings of The International MultiConference of Engineers and Computer Scientists 2008 ,
Hongkong, China,
pages 922-928,
March 2008Keyword(s): embedded systems, component-based models, automated code generation [bibtex-entry] |
| [88]
Marko Samer Variable Dependencies of Quantified CSPs In Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'08) ,
volume 5330 of Lecture Notes in Computer Science,
pages 512-527,
2008Springer-Verlag [doi:10.1007/978-3-540-89439-1_36] [Abstract] [bibtex-entry] |
| [87]
Wei Dong,
Martin Leucker,
and Christian Schallhart Impartial Anticipation in Runtime-Verification In Automated Technology for Verification and Analysis (ATVA'08) ,
volume 5311 of Lecture Notes in Computer Science (LNCS),
pages 386-396,
2008[bibtex-entry] |
| [86]
Visar Januzaj Towards Improvements in Design and Analysis of Embedded Systems (Abstract) In Proceedings of the 3rd Annual Meeting of Institute Alb-Shkenca ,
Tirana, Albania,
1 - 3 September 2008[bibtex-entry] |
Internal reports
| [85]
Andreas Holzer,
Christian Schallhart,
Michael Tautschnig,
and Helmut Veith Query-Driven Program Testing Technical report TUD-CS-2008-1013, Technische Universität Darmstadt, October 2008 [PDF] [bibtex-entry] |
| [84]
Andreas Bauer,
Martin Leucker,
and Christian Schallhart The good, the bad, the ugly---but how ugly is ugly? Technical report TUM-I0803, Institut für Informatik, Technische Universität München, February 2008 [bibtex-entry] |
2007
Articles in journals or book chapters
| [83]
Mihai Christodorescu,
Johannes Kinder,
Somesh Jha,
Stefan Katzenbeisser,
and Helmut Veith Software Transformations to Improve Malware Detection Journal in Computer Virology ,
3(4):253-265,
November 2007[Abstract] [bibtex-entry] |
Conference articles
| [82]
Andreas Bauer,
Martin Leucker,
Christian Schallhart,
and Michael Tautschnig Don't care in SMT---Building flexible yet efficient abstraction/refinement solvers In Proceedings of the 2007 ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) ,
Poitiers, France,
pages 135-146,
December 2007[bibtex-entry] |
| [81]
Christian Kühnel,
Andreas Bauer,
and Michael Tautschnig Compatibility and reuse in component-based systems via type and unit inference In Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) ,
Lübeck, Germany,
pages 101-108,
August 2007IEEE Computer Society Press [doi:10.1109/EUROMICRO.2007.24] [bibtex-entry] |
| [80]
Andreas Bauer,
Markus Pister,
and Michael Tautschnig Tool-support for the analysis of hybrid systems and models In Proceedings of the 2007 Conference on Design, Automation and Test in Europe (DATE) ,
Nice, France,
pages 924-929,
April 2007European Design and Automation Association [PDF] [doi:10.1109/DATE.2007.364411] [Abstract] [bibtex-entry] |
| [79]
Andreas Bauer,
Martin Leucker,
and Christian Schallhart The good, the bad, and the ugly, but how ugly is ugly? In Workshop on Runtime Verification (RV'07) ,
pages 126-138,
2007[bibtex-entry] |
| [78]
Somesh Jha,
Stefan Katzenbeisser,
Helmut Veith,
and Stephen Chenny Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments (Extended Abstract) In IEEE Security and Privacy (S&P'07) ,
pages 179-186,
2007[bibtex-entry] |
| [77]
Sagar Chaki,
Christian Schallhart,
and Helmut Veith Verification Across Intellectual Property Boundaries In Computer Aided Verification (CAV'07) ,
pages 82-94,
2007[bibtex-entry] |
| [76]
Andreas Holzer,
Johannes Kinder,
and Helmut Veith Using Verification Technology to Specify and Detect Malware In 11th International Conference on Computer Aided Systems Theory (EUROCAST 2007) ,
volume 4739 of Lecture Notes in Computer Science,
pages 497-504,
2007Springer [Abstract] [bibtex-entry] |
| [75]
Visar Januzaj CPNunf: A tool for McMillan's Unfolding of Coloured Petri Nets In Kurt Jensen, editor, Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools ,
Aarhus, Denmark,
22 - 24 October 2007[bibtex-entry] |
Thesis
| [74]
Christian Schallhart Architecture and Security in Networked Virtual Environments PhD thesis, Vienna University of Technology, 2007 [bibtex-entry] |
Internal reports
| [73]
Stefan Kugele,
Michael Tautschnig,
Andreas Bauer,
Christian Schallhart,
Stefano Merenda,
Wolfgang Haberl,
Christian Kühnel,
Florian Müller,
Zhonglei Wang,
Doris Wild,
Sabine Rittmann,
and Martin Wechs COLA -- The component language Technical report TUM-I0714, Institut für Informatik, Technische Universität München, September 2007 [bibtex-entry] |
| [72]
Christian Kühnel,
Andreas Bauer,
and Michael Tautschnig Compatibility and reuse in component-based systems via type and unit inference Technical report TUM-I0716, Institut für Informatik, Technische Universität München, May 2007 [bibtex-entry] |
| [71]
Andreas Bauer,
Martin Leucker,
and Christian Schallhart Runtime Verfication for LTL and TLTL Technical report TUM-I0724, Institut für Informatik, Technische Universität München, 2007 [bibtex-entry] |
2006
Articles in journals or book chapters
| [70]
Oleg Pikhurko,
Helmut Veith,
and Oleg Verbitsky The first order definability of graphs: Upper bounds for quantifier depth Discrete Applied Mathematics ,
154(17):2511-2529,
2006[WWW] [bibtex-entry] |
Conference articles
| [69]
Andreas Bauer,
Martin Leucker,
and Christian Schallhart Monitoring of Realtime Properties In Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06) ,
pages 260-272,
2006[bibtex-entry] |
| [68]
Andreas Bauer,
Martin Leucker,
and Christian Schallhart Runtime Reflection: Dynamic model-based analyis of component-based distributed embedded systems In Modellierung von Automotive Systems ,
2006[bibtex-entry] |
| [67]
Andreas Bauer,
Martin Leucker,
and Christian Schallhart Model-Based Runtime Analysis of Distributed Reactive Systems In Australian Software Engineering Conference (ASWEC'06) ,
pages 243-252,
2006[bibtex-entry] |
| [66]
Edmund M. Clarke,
Muralidhar Talupur,
and Helmut Veith Environment Abstraction for Parameterized Verification In E. Allen Emerson and Kedar S. Namjoshi, editors, Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings ,
pages 126-141,
2006Springer [WWW] [bibtex-entry] |
| [65]
Marko Samer and Helmut Veith From Temporal Logic Queries to Vacuity Detection In Edmund M. Clarke, Marius Minea, and Ferucio Laurentiu Tiplea, editors, Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop Verification of Infinite State Systems with Applications to Security VISSAS 2005, Timisoara, Romania, March 17-22, 2005 ,
volume 1 of NATO Security through Science Series D: Information and Communication Security,
pages 149-167,
2006IOS Press [bibtex-entry] |
Miscellaneous
| [64]
Michael Tautschnig Development of a tool to solve mixed logical/linear constraint problems Master's thesis, Technische Universität München, February 2006 [Abstract] [bibtex-entry] |
2005
Articles in journals or book chapters
| [63]
Christian Schallhart and Luca Trevisan Approximating Succinct MaxSat Journal of Logic and Computation (JLC) ,
15(4):551-557,
2005[bibtex-entry] |
| [62]
Axel Belinfante,
Lars Franzen,
and Christian Schallhart Model-Based Testing of Reactive Systems ,
volume 3472 of Lecture Notes in Computer Science,
chapter Tools for Test Case Generation,
pages 391-438Springer, 2005 [bibtex-entry] |
| [61]
Edmund M. Clarke,
Ansgar Fehnker,
Sumit Kumar Jha,
and Helmut Veith Temporal Logic Model Checking In Dimitrios Hristu-Varsakelis and William S. Levine, editors, Handbook of Networked and Embedded Control Systems ,
pages 539-558Birkhäuser, 2005 [bibtex-entry] |
| [60]
Sagar Chaki,
Edmund M. Clarke,
Somesh Jha,
and Helmut Veith An Iterative Framework for Simulation Conformance J. Log. Comput. ,
15(4):465-488,
2005[WWW] [bibtex-entry] |
Conference articles
| [59]
Edmund M. Clarke,
Aarti Gupta,
Himanshu Jain,
and Helmut Veith Model Checking: Back and Forth between Hardware and Software In Verified Software: Theories, Tools, Experiments ,
October 2005[bibtex-entry] |
| [58]
Johannes Kinder,
Stefan Katzenbeisser,
Christian Schallhart,
and Helmut Veith Detecting Malicious Code by Model Checking In Klaus Julisch and Christopher Krügel, editors, GI SIG SIDAR Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA'05) ,
volume 3548 of Lecture Notes in Computer Science,
Vienna, Austria,
pages 174-187,
July 2005Springer [WWW] [Abstract] [bibtex-entry] |
| [57]
Sagar Chaki,
Edmund M. Clarke,
Orna Grumberg,
Joël Ouaknine,
Natasha Sharygina,
Tayssir Touili,
and Helmut Veith State/Event Software Verification for Branching-Time Specifications In Judi Romijn, Graeme Smith, and Jaco van de Pol, editors, Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings ,
pages 53-69,
2005Springer [WWW] [bibtex-entry] |
| [56]
Jana Dittmann,
Stefan Katzenbeisser,
Christian Schallhart,
and Helmut Veith Ensuring Media Integrity on Third-Party Infrastructures In Ryôichi Sasaki, Sihan Qing, Eiji Okamoto, and Hiroshi Yoshiura, editors, Security and Privacy in the Age of Ubiquitous Computing, IFIP TC11 20th International Conference on Information Security (SEC 2005), May 30 - June 1, 2005, Chiba, Japan ,
pages 493-508,
2005Springer [bibtex-entry] |
| [55]
Stefan Katzenbeisser,
Christian Schallhart,
and Helmut Veith Malware Engineering In Hannes Federrath, editor, Sicherheit 2005: Sicherheit - Schutz und Zuverlässigkeit, Beiträge der 2. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.v. (GI), 5.-8. April 2005 in Regensburg ,
pages 139-148,
2005GI [bibtex-entry] |
| [54]
Marko Samer and Helmut Veith Deterministic CTL Query Solving In 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23-25 June 2005, Burlington, Vermont, USA ,
pages 156-165,
2005IEEE Computer Society [WWW] [bibtex-entry] |
| [53]
Peter Koppensteiner and Helmut Veith A Novel SAT Procedure for Linear Real Arithmetic In Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2005) ,
2005[bibtex-entry] |
Internal reports
| [52]
Mihai Christodorescu,
Johannes Kinder,
Somesh Jha,
Stefan Katzenbeisser,
and Helmut Veith Malware Normalization Technical report 1539, University of Wisconsin, Madison, Wisconsin, USA, November 2005 [Abstract] [bibtex-entry] |
| [51]
Oliver Arafat,
Andreas Bauer,
Martin Leucker,
and Christian Schallhart Runtime verification revisited Technical report TUM-I0518, Technische Universität München, 2005 [bibtex-entry] |
2004
Articles in journals or book chapters
| [50]
Sagar Chaki,
Edmund M. Clarke,
Alex Groce,
Somesh Jha,
and Helmut Veith Modular Verification of Software Components in C IEEE Trans. Software Eng. ,
30(6):388-402,
2004[WWW] [bibtex-entry] |
Conference articles
| [49]
Markus Holzer,
Stefan Katzenbeisser,
and Christian Schallhart Towards a formal semantics for ODRL In First ODRL International Workshop ,
pages 137-148,
2004[bibtex-entry] |
| [48]
Edmund M. Clarke,
Muralidhar Talupur,
Tayssir Touili,
and Helmut Veith Verification by Network Decomposition In Philippa Gardner and Nobuko Yoshida, editors, CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings ,
pages 276-291,
2004Springer [WWW] [bibtex-entry] |
| [47]
Marko Samer and Helmut Veith Parameterized Vacuity In Alan J. Hu and Andrew K. Martin, editors, Formal Methods in Computer-Aided Design, 5th International Confrence, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings ,
pages 322-336,
2004Springer [WWW] [bibtex-entry] |
| [46]
Marko Samer and Helmut Veith A Syntactic Characterization of Distributive LTL Queries In Josep Dìaz, Juhani Karhumäki, Arto Lepistö, and Donald Sannella, editors, Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings ,
pages 1099-1110,
2004Springer [WWW] [bibtex-entry] |
2003
Articles in journals or book chapters
| [45]
Edmund M. Clarke,
Orna Grumberg,
Somesh Jha,
Yuan Lu,
and Helmut Veith Counterexample-guided abstraction refinement for symbolic model checking J. ACM ,
50(5):752-794,
2003[WWW] [bibtex-entry] |
Conference articles
| [44]
Christian Schallhart Transaction Processing for Clustered Virtual Environments In NATO Advanced Research Workshop on Concurrent Information Processing and Computing ,
pages 146-158,
July 2003[bibtex-entry] |
| [43]
Marko Samer and Helmut Veith Validity of CTL Queries Revisited In Matthias Baaz and Johann A. Makowsky, editors, Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Güdel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings ,
pages 470-483,
2003Springer [WWW] [bibtex-entry] |
| [42]
Helmut Veith Friends or Foes? Communities in Software Verification (Invited Lecture) In Matthias Baaz and Johann A. Makowsky, editors, Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Güdel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings ,
pages 528-529,
2003Springer [WWW] [bibtex-entry] |
| [41]
André Adelsbach,
Stefan Katzenbeisser,
and Helmut Veith Watermarking schemes provably secure against copy and ambiguity attacks In Moti Yung, editor, Proceedings of the 2003 ACM workshop on Digital rights management 2003, Washington, DC, USA, October 27, 2003 ,
pages 111-119,
2003ACM [WWW] [bibtex-entry] |
| [40]
Sagar Chaki,
Edmund M. Clarke,
Alex Groce,
Somesh Jha,
and Helmut Veith Modular Verification of Software Components in C In Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA ,
pages 385-395,
2003IEEE Computer Society [WWW] [bibtex-entry] |
| [39]
Edmund M. Clarke,
Muralidhar Talupur,
Helmut Veith,
and Dong Wang SAT Based Predicate Abstraction for Hardware Verification In Enrico Giunchiglia and Armando Tacchella, editors, Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers ,
pages 78-92,
2003Springer [WWW] [bibtex-entry] |
| [38]
Sagar Chaki,
Pascal Fenkam,
Harald Gall,
Somesh Jha,
Engin Kirda,
and Helmut Veith Integrating Publish/Subscribe into a Mobile Teamwork Support Platform In Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), Hotel Sofitel, San Francisco Bay, CA, USA, July 1-3, 2003 ,
pages 510-517,
2003[bibtex-entry] |
| [37]
Edmund M. Clarke and Helmut Veith Counterexamples Revisited: Principles, Algorithms, Applications In Nachum Dershowitz, editor, Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday ,
pages 208-224,
2003Springer [WWW] [bibtex-entry] |
Internal reports
| [36]
Christian Schallhart,
Georg Gottlob,
and Helmut Veith The ATOM Middleware for Massively Parallel Multi-Player Online Games Technical report DBAI-TR-2003-48, Vienna University of Technology, Database and Artificial Intelligence Group, March 2003 [bibtex-entry] |
2002
Articles in journals or book chapters
| [35]
Georg Gottlob,
Erich Grädel,
and Helmut Veith Datalog LITE: a deductive query language with linear time model checking ACM Trans. Comput. Log. ,
3(1):42-79,
2002[WWW] [bibtex-entry] |
| [34]
Thomas Eiter and Helmut Veith On the complexity of data disjunctions Theor. Comput. Sci. ,
288(1):101-128,
2002[bibtex-entry] |
Conference articles
| [33]
Pankaj Chauhan,
Edmund M. Clarke,
James H. Kukula,
Samir Sapra,
Helmut Veith,
and Dong Wang Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis In Mark Aagaard and John W. O'Leary, editors, Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings ,
pages 33-51,
2002Springer [WWW] [bibtex-entry] |
| [32]
Edmund M. Clarke,
Somesh Jha,
Yuan Lu,
and Helmut Veith Tree-Like Counterexamples in Model Checking In 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings ,
pages 19-29,
2002IEEE Computer Society [WWW] [bibtex-entry] |
| [31]
Stefan Katzenbeisser and Helmut Veith Securing Symmetric Watermarking Schemes Against Protocol Attacks In Security and Watermarking of Multimedia Contents IV ,
volume 4675 of SPIE,
pages 260-268,
2002[bibtex-entry] |
2001
Articles in journals or book chapters
| [30]
Matthias Baaz,
Petr Hájek,
Franco Montagna,
and Helmut Veith Complexity of t-tautologies Ann. Pure Appl. Logic ,
113(1-3):3-11,
2001[bibtex-entry] |
Conference articles
| [29]
Pankaj Chauhan,
Edmund M. Clarke,
Somesh Jha,
James H. Kukula,
Helmut Veith,
and Dong Wang Using Combinatorial Optimization Methods for Quantification Scheduling In Tiziana Margaria and Thomas F. Melham, editors, Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings ,
pages 293-309,
2001Springer [WWW] [bibtex-entry] |
| [28]
Pankaj Chauhan,
Edmund M. Clarke,
Somesh Jha,
James H. Kukula,
Thomas R. Shiple,
Helmut Veith,
and Dong Wang Non-linear Quantification Scheduling in Image Computation In ICCAD ,
pages 293-,
2001[WWW] [bibtex-entry] |
| [27]
Alexis Campailla,
Sagar Chaki,
Edmund M. Clarke,
Somesh Jha,
and Helmut Veith Efficient Filtering in Publish-Subscribe Systems Using Binary Decision Diagrams In Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, 12-19 May 2001, Toronto, Ontario, Canada ,
pages 443-452,
2001IEEE Computer Society [bibtex-entry] |
| [26]
Edmund M. Clarke,
Orna Grumberg,
Somesh Jha,
Yuan Lu,
and Helmut Veith Progress on the State Explosion Problem in Model Checking In Reinhard Wilhelm, editor, Informatics - 10 Years Back. 10 Years Ahead. ,
pages 176-194,
2001Springer [WWW] [bibtex-entry] |
| [25]
Matthias Baaz,
Agata Ciabattoni,
Norbert Preining,
and Helmut Veith A Guide to Quantified Propositional Gödel Logic In Workshop on Theory and Applications of Quantified Boolean Formulas (QBF 2001) ,
2001[bibtex-entry] |
2000
Articles in journals or book chapters
| [24]
Georg Gottlob,
Erich Grädel,
and Helmut Veith Linear time datalog and branching time logic pp 443-467, 2000 [bibtex-entry] |
Conference articles
| [23]
Edmund M. Clarke,
Orna Grumberg,
Somesh Jha,
Yuan Lu,
and Helmut Veith Counterexample-Guided Abstraction Refinement In E. Allen Emerson and A. Prasad Sistla, editors, Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings ,
pages 154-169,
2000Springer [bibtex-entry] |
| [22]
Edmund M. Clarke,
Steven M. German,
Yuan Lu,
Helmut Veith,
and Dong Wang Executable Protocol Specification in ESL In Warren A. Hunt and Steven D. Johnson, editors, Formal Methods in Computer-Aided Design, Third International Conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings ,
pages 197-216,
2000Springer [WWW] [bibtex-entry] |
| [21]
Matthias Baaz,
Christian G. Fermüller,
and Helmut Veith An Analytic Calculus for Quantified Propositional Gödel Logic In Roy Dyckhoff, editor, Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings ,
pages 112-126,
2000Springer [bibtex-entry] |
| [20]
Matthias Baaz and Helmut Veith An axiomatization of quantified proposition Gödel logic using the Takeuti-Titani rule In Logic Colloquium 1998 ,
volume 13 of Lecture Notes in Logic,
Prague,
pages 91-104,
2000Association for Symbolic Logic [bibtex-entry] |
Miscellaneous
| [19]
Christian Schallhart Application of Approximation Theory to Succinct Data Representation Master's thesis, Vienna University of Technology, 2000 [bibtex-entry] |
1999
Articles in journals or book chapters
| [18]
Georg Gottlob,
Nicola Leone,
and Helmut Veith Succinctness as a Source of Complexity in Logical Formalisms Ann. Pure Appl. Logic ,
97(1-3):231-260,
1999[bibtex-entry] |
| [17]
Matthias Baaz and Helmut Veith Interpolation in Fuzzy Logic Archive for Mathematical Logic ,
38:461-489,
1999[bibtex-entry] |
| [16]
Jürgen Dorn,
Anna Prianichnikova,
Markus Stumptner,
Helmut Veith,
Johannes Reisinger,
and Ralf Schlatterbeck Multiprocessor Scheduling using the DÉJÀ VU Scheduling Class Library ÖGAI (Journal of the Austrian Society for AI) ,
4:16-25,
1999[bibtex-entry] |
Conference articles
| [15]
Matthias Baaz,
Agata Ciabattoni,
Christian G. Fermüller,
and Helmut Veith On the Undecidability of some Sub-Classical First-Order Logics In C. Pandu Rangan, Venkatesh Raman, and R. Ramanujam, editors, Foundations of Software Technology and Theoretical Computer Science, 19th Conference, Chennai, India, December 13-15, 1999, Proceedings ,
pages 258-268,
1999Springer [WWW] [bibtex-entry] |
1998
Articles in journals or book chapters
| [14]
Helmut Veith Succinct Representation, Leaf Languages, and Projection Reductions Inf. Comput. ,
142(2):207-236,
1998[bibtex-entry] |
| [13]
Helmut Veith John W. Dawson, Jr., Logical Dilemmas: The Life and Work of Kurt Gödel Springer, 1998 [bibtex-entry] |
Conference articles
| [12]
Helmut Veith,
Georg Gottlob,
and Nicola Leone Eine allgemeine Methode zur Bestimmung der Ausdruckskomplexität von Query Languages In GI Workshop Grundlagen von Datenbanken ,
volume 63 of Konstanzer Schriften in Mathematik und Informatik,
May 1998[bibtex-entry] |
| [11]
Matthias Baaz and Helmut Veith Quantifier Elimination in Fuzzy Logic In Georg Gottlob, Etienne Grandjean, and Katrin Seyr, editors, Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings ,
pages 399-414,
1998Springer [bibtex-entry] |
| [10]
Helmut Veith A General Method to Determine the Expression Complexity of Database Query Languages In Grundlagen von Datenbanken ,
pages 134-137,
1998[bibtex-entry] |
| [9]
Helmut Veith How to Encode a Logical Structure by an OBDD In IEEE Conference on Computational Complexity ,
pages 122-131,
1998[doi:10.1109/CCC.1998.694598] [bibtex-entry] |
| [8]
Matthias Baaz,
Agata Ciabattoni,
Christian G. Fermüller,
and Helmut Veith Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics In Lubos Brim, Jozef Gruska, and Jirì Zlatuska, editors, Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings ,
pages 203-212,
1998Springer [WWW] [bibtex-entry] |
1997
Articles in journals or book chapters
| [7]
Helmut Veith Languages Represented by Boolean Formulas Inf. Process. Lett. ,
63(5):251-256,
1997[WWW] [bibtex-entry] |
Conference articles
| [6]
Thomas Eiter,
Georg Gottlob,
and Helmut Veith Generalized Quantifiers in Logic Programs In Jouko A. Väänänen, editor, Generalized Quantifiers and Computation, 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997, Revised Lectures ,
pages 72-98,
1997Springer [WWW] [bibtex-entry] |
| [5]
Thomas Eiter,
Georg Gottlob,
and Helmut Veith Modular Logic Programming and Generalized Quantifiers In Jürgen Dix, Ulrich Furbach, and Anil Nerode, editors, Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings ,
pages 290-309,
1997Springer [bibtex-entry] |
1996
Conference articles
| [4]
Helmut Veith Succinct Representation, Leaf Languages, and Projection Reductions In IEEE Conference on Computational Complexity ,
pages 118-126,
1996[WWW] [bibtex-entry] |
1995
Articles in journals or book chapters
| [3]
Helmut Veith Succinct Representation and Leaf Languages Electronic Colloquium on Computational Complexity (ECCC) ,
2(48),
1995[WWW] [bibtex-entry] |
Conference articles
| [2]
Georg Gottlob,
Nicola Leone,
and Helmut Veith Second Order Logic and the Weak Exponential Hierarchies In Jirì Wiedermann and Petr Hájek, editors, Mathematical Foundations of Computer Science 1995, 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995, Proceedings ,
pages 66-81,
1995Springer [bibtex-entry] |
0
Articles in journals or book chapters
| [1]
Marko Samer and Helmut Veith On the Distributivity of LTL Specifications ACM Transactions on Computational Logic (TOCL) ,
0Note: Accepted for publication. [Abstract] [bibtex-entry] |
Download BibTeX file
