default search action
17th TACAS 2011: Saarbrücken, Germany (Part of ETAPS 2011)
- Parosh Aziz Abdulla, K. Rustan M. Leino:
Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings. Lecture Notes in Computer Science 6605, Springer 2011, ISBN 978-3-642-19834-2 - Gerard J. Holzmann:
Reliable Software Development: Analysis-Aware Design. 1-2 - Andreas Podelski, Andrey Rybalchenko:
Transition Invariants and Transition Predicate Abstraction for Program Termination. 3-10
Memory Models and Consistency
- Jacob Burnim, Koushik Sen, Christos Stergiou:
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models. 11-25 - Pranav Garg, P. Madhusudan:
Compositionality Entails Sequentializability. 26-40 - Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell:
Litmus: Running Tests against Hardware. 41-44
Invariants and Termination
- Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala:
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories. 45-59 - Krystof Hoder, Laura Kovács, Andrei Voronkov:
Invariant Generation in Vampire. 60-64 - Diego Garbervetsky, Daniel Gorín, Ariel Neisen:
Enforcing Structural Invariants Using Dynamic Frames. 65-80 - Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger, Daniel Kroening:
Loop Summarization and Termination Analysis. 81-95
Timed and Probabilistic Systems
- Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen:
Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata. 96-111 - Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu:
Quantitative Multi-objective Verification for Probabilistic Systems. 112-127 - Benoît Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre:
Efficient CTMC Model Checking of Linear Real-Time Objectives. 128-142
Interpolations and SAT-Solvers
- Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani:
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic. 143-157 - Tino Teige, Martin Fränzle:
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems. 158-172 - Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid:
Specification-Based Program Repair Using SAT. 173-188 - Michael Codish, Yoav Fekete, Carsten Fuhs, Peter Schneider-Kamp:
Optimal Base Encodings for Pseudo-Boolean Constraints. 189-204
Learning
- Yungbum Jung, Wonchan Lee, Bow-Yaw Wang, Kwangkeun Yi:
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference. 205-219 - Maik Merten, Bernhard Steffen, Falk Howar, Tiziana Margaria:
Next Generation LearnLib. 220-223
Model Checking
- Harro Wimmel, Karsten Wolf:
Applying CEGAR to the Petri Net State Equation. 224-238 - Muralidhar Talupur, Hyojung Han:
Biased Model Checking Using Flows. 239-253 - Yashwanth Annpureddy, Che Liu, Georgios Fainekos, Sriram Sankaranarayanan:
S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. 254-257
Games and Automata
- Chih-Hong Cheng, Alois C. Knoll, Michael Luttenberger, Christian Buckl:
GAVS+: An Open Platform for the Research of Algorithmic Game Solving. 258-261 - Yih-Kuen Tsay, Ming-Hsien Tsai, Jinn-Shu Chang, Yi-Wen Chang:
Büchi Store: An Open Repository of Büchi Automata. 262-266 - Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh:
QUASY: Quantitative Synthesis Tool. 267-271 - Rüdiger Ehlers:
Unbeast: Symbolic Bounded Synthesis. 272-275
Verification (I)
- Sebastian Kupferschmid, Martin Wehrle:
Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy. 276-290 - Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios, Daron Vroon:
The ACL2 Sedan Theorem Proving System. 291-295
Probabilistic Systems
- Stefan Kiefer, Dominik Wojtczak:
On Probabilistic Parallel Programs with Process Creation and Synchronisation. 296-310 - Mark Timmer, Mariëlle Stoelinga, Jaco van de Pol:
Confluence Reduction for Probabilistic Systems. 311-325 - Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka:
Model Repair for Probabilistic Systems. 326-340
Verification (II)
- Alessandro Cimatti, Iman Narasamdya, Marco Roveri:
Boosting Lazy Abstraction for SystemC with Partial Order Reduction. 341-356 - Anders P. Ravn, Jirí Srba, Muhammad Saleem Vighio:
Modelling and Verification of Web Services Business Activity Protocol. 357-371 - Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe:
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. 372-387 - Sanjit A. Seshia, Jonathan Kotker:
GameTime: A Toolkit for Timing Analysis of Software. 388-392
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.