Accepted papers for TACAS 2002



Date view Thread view Subject view Author view

Joost-Pieter Katoen (katoen@cs.utwente.nl)
Fri, 11 Jan 2002 13:46:51 +0100


[[ - Apologies for multiple copies. - ]] Regular papers (selected out of 95 submissions) ----------------------------------------------- Beyond Parameterized Verification Marco Bozzano and Giorgio Delzanno (UniversitÓ di Genova, Italy) Resource-Constrained Model Checking of Recursive Programs Samik Basu (State University of New York at Stony Brook, USA), K. Narayan Kumar (Chennai Mathematical Institute, India), L. Robert Pokorny and C. R. Ramakrishnan (State University of New York at Stony Brook, USA) Model Checking Large-scale and Parameterized Resource Allocation Systems Allen Emerson and Vineet Kahlon (The University of Texas at Austin, USA) On the Relative Completeness of an Automated Program Verification Method based on Abstraction Refinement Tom Ball (Microsoft Research, USA), Andreas Podelski (Max-Planck Institute, Germany), Sriram Rajamani (Microsoft Research, USA) Towards the Automated Verification of Multithreaded Java Programs Giorgio Delzanno (Universita di Genova, Italy), Jean-Francois Raskin and Laurent Van Begin (Universite Libre de Bruxelles, Belgium) CLPS-B - A Constraint Solver To Evaluate the B Formal Models Bruno Legeard and Fabien Peureux (Laboratoire d'Informatique UniversitÚ de Franche-ComtÚ, France) Formal Verification of functional properties on SCR-style SRS using PVS Taeho Kim (KAIST, South-Korea and SRI International, USA), David Stringer-Calvert (SRI International, USA), and Sungdeok Cha (KAIST, South-Korea) Explicit Modeling of Influences, and of Their Absence, in Distributed Systems Horst F. Wedde and Arnim Wedig (University of Dortmund, Germany) A Functional Semantics of Attribute Grammars Kevin Backhouse (Oxford University Computing Laboratory, UK) Timed Automata with Asynchronous Processes: Schedulability and Decidability Elena Fersman, Paul Pettersson, Wang Yi (Uppsala University, Sweden) Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems Rhan Ha (Hongik University, South-Korea) and Hojung Cha (Yonsei University, South Korea) An Analysis of Zero-Clairvoyant Scheduling K. Subramani (West Virginia University, USA) Preemptive Job-Shop Scheduling using Stopwatch Automata Yasmina Abdeddaim and Oded Maler (VERIMAG, France) Improving the Verification of Timed Systems using Influence Information VÝctor Braberman (Universidad de Buenos Aires, Argentina) and Alfredo Olivero (Universidad Argentina de la Empresa, Argentina) Digitisation and Full Abstraction for Dense-Time Model Checking Joel Ouaknine (Tulane University, USA) Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach Marta Kwiatkowska, Gethin Norman and David Parker (University of Birmingham, UK) Exploring Very Large State Spaces Using Genetic Algorithms Patrice Godefroid (Bell Labs, USA) and Sarfraz Khurshid (MIT, USA) Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems Radu Mateescu (INRIA Rhone-Alpes / VASY, France) The ForSpec Temporal Logic: A New Temporal Property-Specification Logic R. Armoni, L. Fix, R. Gerth, B. Ginsburg, T. Kanza, A. Landver, S. Mador-Haim, E. Singerman, A. Tiemeyer, M.Y. Vardi and Y. Zbar (Rice University, USA, and Intel, USA/Israel) Fine-Grained Conjunction Scheduling for Symbolic Reachablity Analysis HoonSang Jin (University of Colorado at Boulder, USA), Andreas Kuehlmann (Cadence Berkeley Labs, USA) and Fabio Somenzi (University of Colorado at Boulder, USA) A Temporal Logic Based Theory of Test Coverage and Generation Hyoung Seok Hong, Insup Lee, Oleg Sokolsky (University of Pennsylvania, USA) and Hasan Ural (University of Ottawa, Canada) Synthesizing Dynamic Programming Algorithms from Past Time Temporal Logic Formulae Klaus Havelund and Grigore Rosu (NASA Ames Research Center, USA) Adaptive Model Checking Alex Groce (Carnegie Mellon University, USA), Doron Peled (University of Texas at Austin, USA) and Mihalis Yannakakis (Avaya Laboratories, USA) Parallelisation of the Petri Net Unfolding Algorithm Keijo Heljanko (Helsinki University of Technology, Finland) Victor Khomenko and Maciej Koutny (University of Newcastle upon Tyne, UK) Black Box Unfolding with Local First Search Sebastien Bornot, Remi Morin, Peter Niebert and Sarah Zennou (Laboratoire d'Informatique Fondamentale de Marseille, France) Applicability of Fair Simulation Doran Burstan and Orna Grumberg (Technion Haifa, Israel) Simulation as Coarsest Partition Problem Raffaella Gentilini, Carla Piazza and Alberto Policriti (Universita di Udine, Italy) Temporal Debugging for Concurrent Systems Elsa Gunter (New Jersey Institute of Science, USA) and Doron Peled (University of Texas at Austin, USA) Fate and Free Will in Error Traces HoonSang Jin (University of Colorado at Boulder, USA), Kavita Ravi (Cadence Design Systems, USA), and Fabio Somenzi (University of Colorado at Boulder) Tool demo papers ---------------- STG: A Symbolic Test Generation Tool Duncan Clarke, Thierry Jeron, Vlad Rusu, and Elena Zinovieva (IRISA/INRIA Rennes, France) Compositional Verification using SVL Scripts Frederic Lang (INRIA Rhone-Alpes, France) TIMES - A Tool for Modelling and Implementation of Embedded Systems Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Petterson, and Wang Yi (Uppsala University, Sweden) Real-Time Systems Design with PEP Christian Stehno (University of Oldenburg, Germany)


Date view Thread view Subject view Author view