TACAS 2002

35 papers

1. A Functional Semantics of Attribute Grammars · Kevin Backhouse
2. A Temporal Logic Based Theory of Test Coverage and Generation · Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural
3. Adaptive Model Checking · Alex Groce, Doron A. Peled, Mihalis Yannakakis
4. Alloy: A New Technology for Software Modelling · Daniel Jackson
5. An Analysis of Zero-Clairvoyant Scheduling · K. Subramani
6. Applicability of Fair Simulation · Doron Bustan, Orna Grumberg
7. Beyond Parameterized Verification · Marco Bozzano, Giorgio Delzanno
8. Black Box Unfolding with Local First Search · Sébastien Bornot, Rémi Morin, Peter Niebert, Sarah Zennou
9. CLPS-B - A Constraint Solver for B · Fabrice Bouquet, Bruno Legeard, Fabien Peureux
10. Compositional Verification Using SVL Scripts · Frédéric Lang
11. Digitisation and Full Abstraction for Dense-Time Model Checking · Joël Ouaknine
12. Explicit Modeling of Influences, and of Their Absence, in Distributed Systems · Horst F. Wedde, Arnim Wedig
13. Exploring Very Large State Spaces Using Genetic Algorithms · Patrice Godefroid, Sarfraz Khurshid
14. Fate and Free Will in Error Traces · HoonSang Jin, Kavita Ravi, Fabio Somenzi
15. Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis · HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi
16. Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS · Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha
17. Improving the Verification of Timed Systems Using Influence Information · Víctor A. Braberman, Diego Garbervetsky, Alfredo Olivero
18. Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems · Radu Mateescu
19. Model Checking Large-Scale and Parameterized Resource Allocation Systems · E. Allen Emerson, Vineet Kahlon
20. Parallelisation of the Petri Net Unfolding Algorithm · Keijo Heljanko, Victor Khomenko, Maciej Koutny
21. Preemptive Job-Shop Scheduling Using Stopwatch Automata · Yasmina Abdeddaïm, Oded Maler
22. Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach · Marta Z. Kwiatkowska, Gethin Norman, David Parker
23. Real-Time Systems Design with PEP · Christian Stehno
24. Relative Completeness of Abstraction Refinement for Software Model Checking · Thomas Ball, Andreas Podelski, Sriram K. Rajamani
25. Resource-Constrained Model Checking of Recursive Programs · Samik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan
26. STG: A Symbolic Test Generation Tool · Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva
27. Simulation as Coarsest Partition Problem · Raffaella Gentilini, Carla Piazza, Alberto Policriti
28. Software Construction and Analysis Tools for Future Space Missions · Michael R. Lowry
29. Synthesizing Monitors for Safety Properties · Klaus Havelund, Grigore Rosu
30. TIMES - A Tool for Modelling and Implementation of Embedded Systems · Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi
31. Temporal Debugging for Concurrent Systems · Elsa L. Gunter, Doron A. Peled
32. The ForSpec Temporal Logic: A New Temporal Property-Specification Language · Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza + 6 more
33. Timed Automata with Asynchronous Processes: Schedulability and Decidability · Elena Fersman, Paul Pettersson, Wang Yi
34. Towards the Automated Verification of Multithreaded Java Programs · Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin
35. Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems · Hojung Cha, Rhan Ha