Proceedings of the Eighth International Conference on Tools and Algorithms for the Construction and Analysis of Systems
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

TCS
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.