Publications
| 2013 | |
| [160] | Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms In SPIN, 2013.Note: (to appear) [bib] [pdf] |
| [159] | Information Reuse for Multi-goal Reachability Analyses In ESOP, pages 472-491, 2013. [bib] [pdf] [doi] |
| [158] | Link Reversal Routing with Binary Link Labels: Work Complexity In SIAM Journal on Computing, volume 42, number 2, pages 634-661, 2013. [bib] [pdf] |
| 2012 | |
| [157] | Vinter: A Vampire-Based Tool for Interpolation In APLAS, December 2012.Springer [bib] |
| [156] | Wait-Free Stabilizing Dining Using Regular Registers In OPODIS, volume 7702 of LNCS, pages 284-299, December 2012.Springer [bib] [pdf] |
| [155] | Coverage-based Trace Signal Selection for Fault Localisation in Post-Silicon Validation In Haifa Verification Conference (HVC) (Armin Biere, Tanja E. J. Vos, Amir Nahir, eds.), November 2012.Springer [bib] |
| [154] | Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms In ArXiv e-prints, October 2012. [bib] [pdf] |
| [153] | Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms In ArXiv e-prints, October 2012. [bib] [pdf] |
| [152] | Interpolant Strength Revisited In Theory and Applications of Satisfiability Testing (SAT) (Alessandro Cimatti, Roberto Sebastiani, eds.), volume 7317 of Lecture Notes in Computer Science, pages 312-326, 2012.Springer [bib] [pdf] [doi] |
| [151] | Parallel Assertions for Architectures with Weak Memory Models In Automated Technology for Verification and Analysis (ATVA) (Supratik Chakraborty, Madhavan Mukund, eds.), pages 254-268, 2012.Springer [bib] [pdf] [doi] |
| [150] | Consensus in the presence of mortal Byzantine faulty processes In Distributed Computing, volume 24, number 6, pages 299-321, 2012. [bib] [pdf] |
| [149] | Special Issue: Games in Verification In J. Comput. Syst. Sci., volume 78, number 2, pages 393, 2012. [bib] [pdf] |
| [148] | Interpretations in Trees with Countably Many Branches In LICS, pages 551-560, 2012. [bib] |
| [147] | Who is afraid of Model Checking Distributed Algorithms? 2012.Unpublished contribution to: CAV Workshop (EC)^2 [bib] [pdf] |
| [146] | A Myhill-Nerode theorem for automata with advice In GandALF, pages 238-246, 2012. [bib] |
| [145] | Parameterized Model Checking by Network Invariants: the Asynchronous Case 2012.Unpublished contribution to: LICS Workshop AISS [bib] [pdf] |
| [144] | Efficient Checking of Link-Reversal-Based Concurrent Systems In CONCUR, volume 7454 of LNCS, pages 486-499, 2012. [bib] [pdf] |
| [143] | Proving Reachability Using FShell - (Competition Contribution) In TACAS, volume 7214 of Lecture Notes in Computer Science, pages 538-541, 2012.Springer [bib] [pdf] |
| [142] | Bounded-Interference Sequentialization for Testing Concurrent Programs In ISoLA (1), volume 7609 of LNCS, pages 372-387, 2012. [bib] [pdf] |
| [141] | Secure Two-party Computations in ANSI C In ACM Conference on Computer and Communications Security, pages 772-783, 2012. [bib] [pdf] |
| [140] | Selected Papers of the Conference "Computer Science Logic CSL 2010": Preface In Logical Methods in Computer Science, 2012. [bib] [pdf] |
| 2011 | |
| [139] | An Introduction to Test Specification in FQL In Proceedings of 6th International Haifa Verification Conference (HVC 2011) (Sharon Barner, Ian G. Harris, Daniel Kroening, Orna Raz, eds.), volume 6504 of Lecture Notes in Computer Science, pages 9-22, October 2011.Springer [bib] |
| [138] | Seamless Testing for Models and Code In Proceedings of 14th International Conference on Fundamental Approaches to Software Engineering (FASE 2011), volume 6603 of Lecture Notes in Computer Science, pages 278-293, April 2011.Springer [bib] |
| [137] | Improving the Confidence in Measurement-Based Timing Analysis In 2011 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2011, March 2011.IEEE Computer SocietyNote: To appear. [bib] |
| [136] | Bound analysis of imperative programs with the size-change abstraction In Proceedings of the 18th international conference on Static analysis, pages 280-297, 2011.Springer-Verlag [bib] [pdf] |
| 2010 | |
| [135] | Precise Static Analysis of Untrusted Driver Binaries In Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2010) (Roderick Bloem, Natasha Sharygina, eds.), pages 43-50, October 2010. [bib] |
| [134] | Timely Time Estimates In Proceedings of 4th International Symposium on Leveraging Applications (ISoLA 2010) (Tiziana Margaria, Bernhard Steffen, eds.), volume 6415 of Lecture Notes in Computer Science, pages 33-46, October 2010.Springer [bib] [doi] |
| [133] | Seamless Model-driven Development put into Practice In Proceedings of 4th International Symposium on Leveraging Applications (ISoLA 2010) (Tiziana Margaria, Bernhard Steffen, eds.), volume 6415 of Lecture Notes in Computer Science, pages 18-32, October 2010.Springer [bib] [doi] |
| [132] | How did you specify your test suite ? In Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), pages 407-416, September 2010.ACM [bib] |
| [131] | Model-Based Generation of Fault-Tolerant Embedded Systems In Proceedings of the 2010 International Conference on Embedded Systems and Applications, ESA 2010 (Hamid R. Arabnia, Ashu M. G. Solo, eds.), pages 136-142, July 2010.CSREA Press [bib] |
| [130] | Proving Memory Safety of Floating-Point Computations by Combining Static and Dynamic Program Analysis In International Symposium on Software Testing and Analysis (ISSTA'10), pages 1-12, July 2010.ACM [bib] |
| [129] | On the Distributivity of LTL Specifications In ACM Transactions on Computational Logic (TOCL), volume 11, number 3, May 2010.ACM [bib] |
| [128] | Constraint Satisfaction with Bounded Treewidth Revisited In Journal of Computer and System Sciences (JCSS), volume 76, number 2, pages 103-114, March 2010.Academic Press [bib] [doi] |
| [127] | Algorithms for Propositional Model Counting In Journal of Discrete Algorithms (JDA), volume 8, number 1, pages 50-64, March 2010.Elsevier [bib] [doi] |
| [126] | Don't care in SMT---Building flexible yet efficient abstraction/refinement solvers In International Journal on Software Tools for Technology Transfer, volume 12, number 1, pages 23-37, February 2010. [bib] [doi] |
| [125] | Proactive Detection of Computer Worms Using Model Checking In IEEE Transactions on Dependable and Secure Computing, volume 7, number 4, pages 424-438, October-December 2010. [bib] |
| [124] | Loopus - A Tool for Computing Loop Bounds for C Programs In Proceedings of the 3rd Workshop on Invariant Generation (WING), 2010. [bib] |
| [123] | Semantic Integrity in Large-Scale Online Simulations In ACM Transactions on Internet Technology (TOIT), 2010.Note: accepted for publication [bib] |
| [122] | The reachability-bound problem In PLDI, pages 292-304, 2010. [bib] |
| [121] | Runtime Verification for LTL and TLTL In ACM Transactions on Software and Methodology (TOSEM), 2010.Note: accepted for publication [bib] |
| [120] | Comparing LTL Semantics for Runtime Verification In Journal of Logic and Computation (JLC), 2010.Note: accepted for publication [bib] [doi] |
| 2009 | |
| [119] | Slope Testing for Activity Diagrams and Safety Critical Software October 2009.Technical report, Technische Universität Darmstadt [bib] |
| [118] | 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, October 2009.IEEE Computer Society [bib] |
| [117] | A Precise Specification Framework for White Box Program Testing September 2009.Technical report, Technische Universität Darmstadt [bib] |
| [116] | Encoding Treewidth into SAT In Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing (SAT'09) (Oliver Kullmann, ed.), volume 5584 of Lecture Notes in Computer Science, pages 45-50, July 2009.Springer-Verlag [bib] [doi] |
| [115] | 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, pages 188-197, July 2009.Springer [bib] |
| [114] | Model Analysis via a Translation Schema to Coloured Petri Nets In Proceedings of the International Workshop on Petri Nets and Software Engineering, PNSE '09 (D. Moldt, ed.), pages 273-292, June 2009. [bib] |
| [113] | Generating Distributed Code From COLA Models Chapter in 20, volume 33 of Lecture Notes in Electrical Engineering, March 2009.Springer [bib] |
| [112] | Fixed-Parameter Tractability Chapter in Handbook of Satisfiability (A. Biere, M. Heule, H. van Maaren, T. Walsh, eds.), volume 185 of Frontiers in Artificial Intelligence and Applications, pages 425-454, February 2009.IOS Press [bib] [doi] |
| [111] | Backdoor Sets of Quantified Boolean Formulas In Journal of Automated Reasoning (JAR), volume 42, number 1, pages 77-97, January 2009. [bib] [doi] |
| [110] | An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries In Proceedings of the Tenth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2009) (Neil D. Jones, Markus Müller-Olm, eds.), volume 5403 of Lecture Notes in Computer Science, January 2009.Springer [bib] |
| [109] | Query-Driven Program Testing In Proceedings of the Tenth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2009) (Neil D. Jones, Markus Müller-Olm, eds.), volume 5403 of Lecture Notes in Computer Science, pages 151-166, January 2009.Springer [bib] |
| [108] | Performance Modelling for Avionics Systems In 12th International Conference on Computer Aided Systems Theory - EUROCAST 2009, volume 5717 of Lecture Notes in Computer Science, pages 833-840, 15 - 20 February 2009.Springer [bib] |
| [107] | A Brief Account of Runtime Verification In Journal of Logic and Algebraic Programming (JLAP), number 78, pages 293-303, 2009. [bib] |
| [106] | Towards Resource Consumption-Aware Programming In , volume 0, pages 490-493, 2009.IEEE Computer Society [bib] [doi] |
| [105] | Reliable Operating Modes for Distributed Embedded Systems In Proceedings of the 6th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, 2009.IEEE Computer Society [bib] |
| [104] | One Click from Model to Reality In Proceedings of Symposium on Automotive/Avionics Systems Engineering (SAASE 2009), 2009. [bib] |
| [103] | Dependency Coverage Criteria with FQL 2009.Technical report, Technische Universität Darmstadt [bib] |
| [102] | Tractable Cases of the Extended Global Cardinality Constraint In Constraints, 2009.Springer NetherlandsNote: In press. [bib] [doi] |
| 2008 | |
| [101] | Query-Driven Program Testing October 2008.Technical report, Technische Universität Darmstadt [bib] |
| [100] | Navigating the Requirements Jungle In Leveraging Applications of Formal Methods, Verification and Validation (Tiziana Margaria, Bernhard Steffen, eds.), volume 17 of Communications in Computer and Information Science, pages 354-368, October 2008.Springer [bib] |
| [99] | Optimizing Automatic Deployment Using Non-Functional Requirement Annotations In Leveraging Applications of Formal Methods, Verification and Validation (Tiziana Margaria, Bernhard Steffen, eds.), volume 17 of Communications in Computer and Information Science, pages 400-414, October 2008.Springer [bib] |
| [98] | From COLA Models to Distributed Embedded Systems Code In IAENG International Journal of Computer Science, volume 35, number 3, pages 427-437, September 2008. [bib] |
| [97] | A Model Driven Development Approach for Implementing Reactive Systems in Hardware In Forum on Specification and Design Languages (FDL08), pages 197-202, September 2008.IEEE Computer Society [bib] [doi] |
| [96] | Domain Pattern Abstraction + Ptolemaic Abstract Domains = Environment Abstraction for Concurrent Systems In Exploiting Concurrency Efficiently and Correctly -- (EC)$^2$, July 2008. [bib] |
| [95] | 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 2008.Springer [bib] |
| [94] | 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, pages 209-213, July 2008.Springer [bib] |
| [93] | Mapping Data-Flow Dependencies onto Distributed Embedded Systems In Proceedings of the 2008 International Conference on Software Engineering Research & Practice, SERP 2008, July 2008. [bib] |
| [92] | 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, pages 139-144, June 2008.ACM [bib] |
| [91] | Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems In 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 (C. R. Ramakrishnan, Jakob Rehof, eds.), volume 4963 of Lecture Notes in Computer Science, pages 33-47, April 2008.Springer [bib] [pdf] |
| [90] | A Benchmarking Suite for Measurement-Based WCET Analysis Tools In International Conference on Software Testing Verification and Validation Workshop (ICSTW'08), pages 353-356, April 2008.IEEE Computer Society Press [bib] [doi] |
| [89] | Running COLA on Embedded Systems In Proceedings of The International MultiConference of Engineers and Computer Scientists 2008, pages 922-928, March 2008. [bib] |
| [88] | The good, the bad, the ugly---but how ugly is ugly? February 2008.Technical report, Institut für Informatik, Technische Universität München [bib] |
| [87] | Towards Improvements in Design and Analysis of Embedded Systems (Abstract) In Proceedings of the 3rd Annual Meeting of Institute Alb-Shkenca, 1 - 3 September 2008. [bib] |
| [86] | 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. [bib] |
| [85] | 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, 2008.Springer-Verlag [bib] [doi] |
| [84] | 25 Years of Model Checking - History, Achievements, Perspectives (Orna Grumberg, Helmut Veith, eds.), volume 5000 of Lecture Notes in Computer Science, 2008.Springer [bib] |
| [83] | Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings (Iliano Cervesato, Helmut Veith, Andrei Voronkov, eds.), volume 5330 of Lecture Notes in Computer Science, 2008.Springer [bib] |
| 2007 | |
| [82] | 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), pages 135-146, December 2007. [bib] |
| [81] | Software Transformations to Improve Malware Detection In Journal in Computer Virology, volume 3, number 4, pages 253-265, November 2007. [bib] |
| [80] | COLA -- The component language September 2007.Technical report, Institut für Informatik, Technische Universität München [bib] |
| [79] | 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), pages 101-108, August 2007.IEEE Computer Society Press [bib] [doi] |
| [78] | Compatibility and reuse in component-based systems via type and unit inference May 2007.Technical report, Institut für Informatik, Technische Universität München [bib] |
| [77] | Tool-support for the analysis of hybrid systems and models In Proceedings of the 2007 Conference on Design, Automation and Test in Europe (DATE), pages 924-929, April 2007.European Design and Automation Association [bib] [doi] |
| [76] | CPNunf: A tool for McMillan's Unfolding of Coloured Petri Nets In Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (Kurt Jensen, ed.), 22 - 24 October 2007. [bib] |
| [75] | Architecture and Security in Networked Virtual Environments 2007.PhD thesis, Vienna University of Technology [bib] |
| [74] | Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments (Extended Abstract) In IEEE Security and Privacy (S&P'07), pages 179-186, 2007. [bib] |
| [73] | Verification Across Intellectual Property Boundaries In Computer Aided Verification (CAV'07), pages 82-94, 2007. [bib] |
| [72] | Runtime Verfication for LTL and TLTL 2007.Technical report, Institut für Informatik, Technische Universität München [bib] |
| [71] | The good, the bad, and the ugly, but how ugly is ugly? In Workshop on Runtime Verification (RV'07), pages 126-138, 2007. [bib] |
| [70] | 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, 2007.Springer [bib] |
| 2006 | |
| [69] | Development of a tool to solve mixed logical/linear constraint problems February 2006.Master's thesis, Technische Universität München [bib] |
| [68] | Runtime Reflection: Dynamic model-based analyis of component-based distributed embedded systems In Modellierung von Automotive Systems, 2006. [bib] |
| [67] | Monitoring of Realtime Properties In Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06), pages 260-272, 2006. [bib] |
| [66] | Model-Based Runtime Analysis of Distributed Reactive Systems In Australian Software Engineering Conference (ASWEC'06), pages 243-252, 2006. [bib] |
| [65] | The first order definability of graphs: Upper bounds for quantifier depth In Discrete Applied Mathematics, volume 154, number 17, pages 2511-2529, 2006. [bib] [pdf] |
| [64] | Environment Abstraction for Parameterized Verification In Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (E. Allen Emerson, Kedar S. Namjoshi, eds.), pages 126-141, 2006.Springer [bib] [pdf] |
| [63] | From Temporal Logic Queries to Vacuity Detection In 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 (Edmund M. Clarke, Marius Minea, Ferucio Laurentiu Tiplea, eds.), volume 1 of NATO Security through Science Series D: Information and Communication Security, pages 149-167, 2006.IOS Press [bib] |
| 2005 | |
| [62] | Malware Normalization November 2005.Technical report, University of Wisconsin, Madison [bib] |
| [61] | Model Checking: Back and Forth between Hardware and Software In Verified Software: Theories, Tools, Experiments, October 2005. [bib] |
| [60] | Detecting Malicious Code by Model Checking In GI SIG SIDAR Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA'05) (Klaus Julisch, Christopher Krügel, eds.), volume 3548 of Lecture Notes in Computer Science, pages 174-187, July 2005.Springer [bib] [pdf] |
| [59] | Approximating Succinct MaxSat In Journal of Logic and Computation (JLC), volume 15, number 4, pages 551-557, 2005. [bib] |
| [58] | A Novel SAT Procedure for Linear Real Arithmetic In Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2005), 2005. [bib] |
| [57] | Model-Based Testing of Reactive Systems Chapter in Tools for Test Case Generation, volume 3472 of Lecture Notes in Computer Science, pages 391-438, 2005.Springer [bib] |
| [56] | Runtime verification revisited 2005.Technical report, Technische Universität München [bib] |
| [55] | An Iterative Framework for Simulation Conformance In J. Log. Comput., volume 15, number 4, pages 465-488, 2005. [bib] [pdf] |
| [54] | 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, 2005.IEEE Computer Society [bib] [pdf] |
| [53] | Malware Engineering In 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 (Hannes Federrath, ed.), pages 139-148, 2005.GI [bib] |
| [52] | Ensuring Media Integrity on Third-Party Infrastructures In 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 (Ryôichi Sasaki, Sihan Qing, Eiji Okamoto, Hiroshi Yoshiura, eds.), pages 493-508, 2005.Springer [bib] |
| [51] | State/Event Software Verification for Branching-Time Specifications In Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings (Judi Romijn, Graeme Smith, Jaco van de Pol, eds.), pages 53-69, 2005.Springer [bib] [pdf] |
| [50] | Temporal Logic Model Checking Chapter in Handbook of Networked and Embedded Control Systems (Dimitrios Hristu-Varsakelis, William S. Levine, eds.), pages 539-558, 2005.Birkhäuser [bib] |
| 2004 | |
| [49] | Towards a formal semantics for ODRL In First ODRL International Workshop, pages 137-148, 2004. [bib] |
| [48] | Modular Verification of Software Components in C In IEEE Trans. Software Eng., volume 30, number 6, pages 388-402, 2004. [bib] [pdf] |
| [47] | A Syntactic Characterization of Distributive LTL Queries In Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings (Josep Díaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella, eds.), pages 1099-1110, 2004.Springer [bib] [pdf] |
| [46] | Parameterized Vacuity In Formal Methods in Computer-Aided Design, 5th International Confrence, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings (Alan J. Hu, Andrew K. Martin, eds.), pages 322-336, 2004.Springer [bib] [pdf] |
| [45] | Verification by Network Decomposition In CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings (Philippa Gardner, Nobuko Yoshida, eds.), pages 276-291, 2004.Springer [bib] [pdf] |
| 2003 | |
| [44] | Transaction Processing for Clustered Virtual Environments In NATO Advanced Research Workshop on Concurrent Information Processing and Computing, pages 146-158, July 2003. [bib] |
| [43] | The ATOM Middleware for Massively Parallel Multi-Player Online Games March 2003.Technical report, Vienna University of Technology, Database and Artificial Intelligence Group [bib] |
| [42] | Counterexample-guided abstraction refinement for symbolic model checking In J. ACM, volume 50, number 5, pages 752-794, 2003. [bib] [pdf] |
| [41] | 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. [bib] |
| [40] | SAT Based Predicate Abstraction for Hardware Verification In Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers (Enrico Giunchiglia, Armando Tacchella, eds.), pages 78-92, 2003.Springer [bib] [pdf] |
| [39] | 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, 2003.IEEE Computer Society [bib] [pdf] |
| [38] | Watermarking schemes provably secure against copy and ambiguity attacks In Proceedings of the 2003 ACM workshop on Digital rights management 2003, Washington, DC, USA, October 27, 2003 (Moti Yung, ed.), pages 111-119, 2003.ACM [bib] [pdf] |
| [37] | Friends or Foes? Communities in Software Verification (Invited Lecture) In 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 (Matthias Baaz, Johann A. Makowsky, eds.), pages 528-529, 2003.Springer [bib] [pdf] |
| [36] | Validity of CTL Queries Revisited In 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 (Matthias Baaz, Johann A. Makowsky, eds.), pages 470-483, 2003.Springer [bib] [pdf] |
| [35] | Counterexamples Revisited: Principles, Algorithms, Applications In Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday (Nachum Dershowitz, ed.), pages 208-224, 2003.Springer [bib] [pdf] |
| 2002 | |
| [34] | Securing Symmetric Watermarking Schemes Against Protocol Attacks In Security and Watermarking of Multimedia Contents IV, volume 4675 of SPIE, pages 260-268, 2002. [bib] |
| [33] | Datalog LITE: a deductive query language with linear time model checking In ACM Trans. Comput. Log., volume 3, number 1, pages 42-79, 2002. [bib] [pdf] |
| [32] | On the complexity of data disjunctions In Theor. Comput. Sci., volume 288, number 1, pages 101-128, 2002. [bib] |
| [31] | 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, 2002.IEEE Computer Society [bib] [pdf] |
| [30] | Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis In Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings (Mark Aagaard, John W. O'Leary, eds.), pages 33-51, 2002.Springer [bib] [pdf] |
| 2001 | |
| [29] | A Guide to Quantified Propositional Gödel Logic In Workshop on Theory and Applications of Quantified Boolean Formulas (QBF 2001), 2001. [bib] |
| [28] | Complexity of t-tautologies In Ann. Pure Appl. Logic, volume 113, number 1-3, pages 3-11, 2001. [bib] |
| [27] | 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, 2001.IEEE Computer Society [bib] |
| [26] | Non-linear Quantification Scheduling in Image Computation In ICCAD, pages 293-, 2001. [bib] [pdf] |
| [25] | Progress on the State Explosion Problem in Model Checking In Informatics - 10 Years Back. 10 Years Ahead. (Reinhard Wilhelm, ed.), pages 176-194, 2001.Springer [bib] [pdf] |
| [24] | Using Combinatorial Optimization Methods for Quantification Scheduling In 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 (Tiziana Margaria, Thomas F. Melham, eds.), pages 293-309, 2001.Springer [bib] [pdf] |
| 2000 | |
| [23] | Application of Approximation Theory to Succinct Data Representation 2000.Master's thesis, Vienna University of Technology [bib] |
| [22] | An Analytic Calculus for Quantified Propositional Gödel Logic In Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings (Roy Dyckhoff, ed.), pages 112-126, 2000.Springer [bib] |
| [21] | Executable Protocol Specification in ESL In Formal Methods in Computer-Aided Design, Third International Conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings (Warren A. Hunt Jr., Steven D. Johnson, eds.), pages 197-216, 2000.Springer [bib] [pdf] |
| [20] | Counterexample-Guided Abstraction Refinement In Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings (E. Allen Emerson, A. Prasad Sistla, eds.), pages 154-169, 2000.Springer [bib] |
| [19] | An axiomatization of quantified proposition Gödel logic using the Takeuti-Titani rule In Logic Colloquium 1998, volume 13 of Lecture Notes in Logic, pages 91-104, 2000.Association for Symbolic Logic [bib] |
| [18] | Linear time datalog and branching time logic In , pages 443-467, 2000.Kluwer Academic Publishers [bib] |
| 1999 | |
| [17] | Multiprocessor Scheduling using the DÉJÀ VU Scheduling Class Library In ÖGAI (Journal of the Austrian Society for AI), volume 4, pages 16-25, 1999. [bib] |
| [16] | Succinctness as a Source of Complexity in Logical Formalisms In Ann. Pure Appl. Logic, volume 97, number 1-3, pages 231-260, 1999. [bib] |
| [15] | On the Undecidability of some Sub-Classical First-Order Logics In Foundations of Software Technology and Theoretical Computer Science, 19th Conference, Chennai, India, December 13-15, 1999, Proceedings (C. Pandu Rangan, Venkatesh Raman, R. Ramanujam, eds.), pages 258-268, 1999.Springer [bib] [pdf] |
| [14] | Interpolation in Fuzzy Logic In Archive for Mathematical Logic, volume 38, pages 461-489, 1999. [bib] |
| 1998 | |
| [13] | 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. [bib] |
| [12] | John W. Dawson, Jr., Logical Dilemmas: The Life and Work of Kurt Gödel Chapter in (Werner Leinfellner, Eckehart Köhler, eds.), 1998.Springer [bib] |
| [11] | Succinct Representation, Leaf Languages, and Projection Reductions In Inf. Comput., volume 142, number 2, pages 207-236, 1998. [bib] |
| [10] | Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics In Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings (Lubos Brim, Jozef Gruska, Jirí Zlatuska, eds.), pages 203-212, 1998.Springer [bib] [pdf] |
| [9] | A General Method to Determine the Expression Complexity of Database Query Languages In Grundlagen von Datenbanken, pages 134-137, 1998. [bib] |
| [8] | Quantifier Elimination in Fuzzy Logic In Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings (Georg Gottlob, Etienne Grandjean, Katrin Seyr, eds.), pages 399-414, 1998.Springer [bib] |
| [7] | How to Encode a Logical Structure by an OBDD In IEEE Conference on Computational Complexity, pages 122-131, 1998. [bib] [doi] |
| 1997 | |
| [6] | Languages Represented by Boolean Formulas In Inf. Process. Lett., volume 63, number 5, pages 251-256, 1997. [bib] [pdf] |
| [5] | Modular Logic Programming and Generalized Quantifiers In Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings (Jürgen Dix, Ulrich Furbach, Anil Nerode, eds.), pages 290-309, 1997.Springer [bib] |
| [4] | Generalized Quantifiers in Logic Programs In 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 (Jouko A. Väänänen, ed.), pages 72-98, 1997.Springer [bib] [pdf] |
| 1996 | |
| [3] | Succinct Representation, Leaf Languages, and Projection Reductions In IEEE Conference on Computational Complexity, pages 118-126, 1996. [bib] [pdf] |
| 1995 | |
| [2] | Succinct Representation and Leaf Languages In Electronic Colloquium on Computational Complexity (ECCC), volume 2, number 48, 1995. [bib] [pdf] |
| [1] | Second Order Logic and the Weak Exponential Hierarchies In Mathematical Foundations of Computer Science 1995, 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995, Proceedings (Jirí Wiedermann, Petr Hájek, eds.), pages 66-81, 1995.Springer [bib] |
Powered by bibtexbrowser
