Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

AuthorTACAS 2003 (2003 : Warsaw, Poland)
TitleTools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / Hubert Garavel, John Hatcliff (eds.)
Imprint Berlin : Springer, c2003
Descript xvi, 604 p. : ill. ; 24 cm

CONTENT

What are we trying to prove? Reflections on experiences with proof-carrying code / Peter Lee -- Automatic abstraction without counterexamples / Kenneth L. McMillan, Nina Amla -- Bounded model checking for past LTL / Marco Benedetti, Alessandro Cimatti -- Experimental analysis of different techniques for bounded model checking / Nina Amla, Robert Kurshan, Kenneth McMillan, Ricardo Medel -- On the universal and existential fragments of the [mu]-Calculus / Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar -- Resets vs. aborts in linear temporal logic / Roy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi -- A generic on-the-fly solver for alternation-free boolean equation systems / Radu Meteescu -- Decidability of invariant validation for parameterized systems / Pascal Fontaine, E. Pascal Gribomont -- Verification and improvement of the sliding Window protocol / Dmitri Chkliaev, Jozef Hooman, Erik de Vink -- Simple representative instantiations for multicast protocols / Javier Esparza, Monika Maidl -- Rapid parameterized model checking of snoopy cache coherence protocols / E. Allen Emerson, Vineet Kahlon -- Proof-like counter-examples / Arie Gurfinkel, Marsha Chechik -- Multiple-counterexample guided iterative abstraction refinement: An industrial evaluation / Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi -- Verification of hybrid systems based on counterexample-guided abstraction refinement / Edmund Clarke, Ansgar Fehnker, Zhi Han, Bruce Krogh, Olaf Stursberg, Michael Theobald -- Counter-example guided predicate abstraction of hybrid systems / Rajeev Alur, Thao Dang, Franjo Ivancic -- Schedulability analysis using two clocks / Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi -- On optimal scheduling under uncertainty / Yasmina Abdeddaim, Eugene Asarin, Oded Maler -- Static guard analysis in timed automata verification / Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim G. Larsen -- Moby/DC - A tool for model-checking parametric real-time Specifications / Henning Dierks, Josef Tapken -- actual symbol not reproducible]erics: A Tool for Verifying Timed Automata and Estelle Specifications / Piotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Polrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny -- A New Knowledge Representation Strategy for Cryptographic Protocol Analysis / Ivan Cibrario B., Luca Durante, Riccardo Sisto, Adriano Valenzano -- Pattern-Based Abstraction for Verifying Secrecy in Protocols / Liana Bozga, Yassine Lakhnech, Michael Perin -- Compositional Analysis for Verification of Parameterized Systems / Samik Basu, C. R. Ramakrishnan -- Learning Assumptions for Compositional Verification / Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu -- Automated Module Composition / Stavros Tripakis -- Modular Strategies for Recursive Game Graphs / Rajeev Alur, Salvatore La Torre, Parthasarathy Madhusudan -- Modular Strategies for Recursive Game Graphs / Rajeev Alur, Salvatore La Torre, Parthasarathy Madhusudan -- Game Graphs / Rajeev Alur, Salvatore La Torre, Parthasarathy Madhusudan -- Saturation Unbound / Gianfranco Ciardo, Robert Marmorstein, Radu Siminiceanu -- Construction of Efficient BDDs for Bounded Arithmetic Constraints / Constantinos Bartzis, Tevfik Bultan -- Modeling and Analysis of Power-Aware Systems / Oleg Sokolsky, Ann Philippou, Insup Lee, Kyriakos Christou -- A Set of Performance and Dependability Analysis Components for CADP / Holger Hermanns, Christophe Joubert -- The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems / Dezhuang Zhang, Rance Cleaveland, Eugene W. Stark -- BANANA - A Tool for Boundary Ambients Nesting ANAlysis / Chiara Braghin, Agostino Cortesi, Stefano Filippone, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza -- State Class Constructions for Branching Analysis of Time Petri Nets / Bernard Berthomieu, Francois Vernadat -- Branching Processes of High-Level Petri Nets / Victor Khomenko, Maciej Koutny -- Using Petri Net Invariants in State Space Construction / Karsten Schmidt -- Optimistic Synchronization-Based State-Space Reduction / Scott D. Stoller, Ernie Cohen -- Checking Properties of Heap-Manipulating Procedures with a Constraint Solver / Mandana Vaziri, Daniel Jackson -- An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic / Sergey Berezin, Vijay Gunesh, David L. Dill -- Generalized Symbolic Execution for Model Checking and Testing / Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser -- Code-Based Test Generation for Validation of Functional Processor Descriptions / Fabrice Baray, Philippe Codognet, Daniel Diaz, Henri Michel -- Large State Space Visualization / Jan Friso Groote, Frank van Ham -- Automatic Test Generation with AGATHA / Celine Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin -- LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios / Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee


System design -- Congresses Computer software -- Development -- Congresses

LOCATIONCALL#STATUS
Central Library (4th Floor)004.211 T115T 2003CHECK SHELVES

Chulalinet's Book Delivery Request




Location



Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network

  line

facebook   instragram