Joost-Pieter Katoen, Perdita Stevens
Proceedings of the Eighth International Conference on Tools and Algorithms for the Construction and Analysis of Systems
TACAS, 2002.

@proceedings{TACAS-2002,
	address       = "Grenoble, France",
	editor        = "Joost-Pieter Katoen and Perdita Stevens",
	isbn          = "3-540-43419-4",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Eighth International Conference on Tools and Algorithms for the Construction and Analysis of Systems}",
	volume        = 2280,
	year          = 2002,
}

Contents (35 items)

7 ×#model checking
5 ×#using
5 ×#verification
4 ×#named
4 ×#scheduling
3 ×#analysis
3 ×#modelling
2 ×#abstraction
2 ×#algorithm
2 ×#automaton

TACAS-2002-Lowry #analysis #tool support

Software Construction and Analysis Tools for Future Space Missions (MRL), pp. 1–19.

TACAS-2002-Jackson #alloy #modelling #named

Alloy: A New Technology for Software Modelling (DJ), p. 20.

TACAS-2002-BrabermanGO #using #verification

Improving the Verification of Timed Systems Using Influence Information (VAB, DG, AO), pp. 21–36.

TACAS-2002-Ouaknine #abstraction #model checking

Digitisation and Full Abstraction for Dense-Time Model Checking (JO), pp. 37–51.

TACAS-2002-KwiatkowskaNP #approach #hybrid #model checking #probability

Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach (MZK, GN, DP), pp. 52–66.

TACAS-2002-FersmanPY #automaton #decidability #process #scheduling

Timed Automata with Asynchronous Processes: Schedulability and Decidability (EF, PP, WY), pp. 67–82.

TACAS-2002-ChaH #constraints #distributed #execution #realtime #validation

Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems (HC, RH), pp. 83–97.

TACAS-2002-Subramani #analysis #scheduling

An Analysis of Zero-Clairvoyant Scheduling (KS), pp. 98–112.

TACAS-2002-AbdeddaimM #automaton #scheduling #using

Preemptive Job-Shop Scheduling Using Stopwatch Automata (YA, OM), pp. 113–126.

TACAS-2002-WeddeW #distributed #modelling

Explicit Modeling of Influences, and of Their Absence, in Distributed Systems (HW, AW), pp. 127–141.

TACAS-2002-Backhouse #attribute grammar #functional #semantics

A Functional Semantics of Attribute Grammars (KB), pp. 142–157.

TACAS-2002-BallPR #abstraction #model checking #refinement

Relative Completeness of Abstraction Refinement for Software Model Checking (TB, AP, SKR), pp. 158–172.

TACAS-2002-DelzannoRB #automation #java #parallel #source code #thread #towards #verification

Towards the Automated Verification of Multithreaded Java Programs (GD, JFR, LVB), pp. 173–187.

TACAS-2002-BouquetLP #constraints #named #theorem proving

CLPS-B — A Constraint Solver for B (FB, BL, FP), pp. 188–204.

TACAS-2002-KimSC #functional #requirements #specification #using #verification

Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS (TK, DWJSC, SDC), pp. 205–220.

TACAS-2002-BozzanoD #verification

Beyond Parameterized Verification (MB, GD), pp. 221–235.

TACAS-2002-BasuKPR #model checking #recursion #source code

Resource-Constrained Model Checking of Recursive Programs (SB, KNK, LRP, CRR), pp. 236–250.

TACAS-2002-EmersonK #model checking #resource management #scalability

Model Checking Large-Scale and Parameterized Resource Allocation Systems (EAE, VK), pp. 251–265.

TACAS-2002-GodefroidK #algorithm #scalability #search-based #using

Exploring Very Large State Spaces Using Genetic Algorithms (PG, SK), pp. 266–280.

TACAS-2002-Mateescu #calculus #lts #model checking #μ-calculus

Local Model-Checking of Modal μ-Calculus on Acyclic Labeled Transition Systems (RM), pp. 281–295.

TACAS-2002-ArmoniFFGGKLMSTVZ #logic

The ForSpec Temporal Logic: A New Temporal Property-Specification Language (RA, LF, AF, RG, BG, TK, AL, SMH, ES, AT, MYV, YZ), pp. 296–211.

TACAS-2002-JinKS #analysis #reachability #scheduling

Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis (HJ, AK, FS), pp. 312–326.

TACAS-2002-HongLSU #generative #logic #test coverage

A Temporal Logic Based Theory of Test Coverage and Generation (HSH, IL, OS, HU), pp. 327–341.

TACAS-2002-HavelundR #monitoring #safety

Synthesizing Monitors for Safety Properties (KH, GR), pp. 342–356.

TACAS-2002-GrocePY #adaptation #model checking

Adaptive Model Checking (AG, DP, MY), pp. 357–370.

TACAS-2002-HeljankoKK #algorithm #parallel #petri net

Parallelisation of the Petri Net Unfolding Algorithm (KH, VK, MK), pp. 371–385.

TACAS-2002-BornotMNZ #black box

Black Box Unfolding with Local First Search (SB, RM, PN, SZ), pp. 386–400.

TACAS-2002-BustanG #simulation

Applicability of Fair Simulation (DB, OG), pp. 401–414.

TACAS-2002-GentiliniPP #problem #simulation

Simulation as Coarsest Partition Problem (RG, CP, AP), pp. 415–430.

TACAS-2002-GunterP #concurrent #debugging

Temporal Debugging for Concurrent Systems (ELG, DP), pp. 431–444.

TACAS-2002-JinRS #fault

Fate and Free Will in Error Traces (HJ, KR, FS), pp. 445–459.

TACAS-2002-AmnellFMPY #embedded #implementation #modelling #named

TIMES — A Tool for Modelling and Implementation of Embedded Systems (TA, EF, LM, PP, WY), pp. 460–464.

TACAS-2002-Lang #composition #using #verification

Compositional Verification Using SVL Scripts (FL), pp. 465–469.

TACAS-2002-ClarkeJRZ #generative #named #testing

STG: A Symbolic Test Generation Tool (DC, TJ, VR, EZ), pp. 470–475.

TACAS-2002-Stehno #design #realtime

Real-Time Systems Design with PEP (CS), pp. 476–480.