Rance Cleaveland
Proceedings of the Sixth International Conference on Tools and Algorithms for the Construction and Analysis of Systems
TACAS, 1999.

@proceedings{TACAS-1999,
	address       = "Amsterdam, The Netherlands",
	editor        = "Rance Cleaveland",
	isbn          = "3-540-65703-7",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Sixth International Conference on Tools and Algorithms for the Construction and Analysis of Systems}",
	volume        = 1579,
	year          = 1999,
}

Contents (31 items)

10 ×#verification
5 ×#analysis
4 ×#tool support
4 ×#using
3 ×#automation
3 ×#composition
3 ×#protocol
3 ×#proving
2 ×#bisimulation
2 ×#communication

TACAS-1999-KramerM #modelling

Modelling for Mere Mortals (JK, JM), pp. 1–18.

TACAS-1999-HsiungWK #scheduling #verification

Scheduling System Verification (PAH, FW, YSK), pp. 19–33.

TACAS-1999-RyuH #algorithm #design #realtime

A Period Assignment Algorithm for Real-Time System Design (MR, SH), pp. 34–43.

TACAS-1999-GardnerL #probability #realtime

Analyzing Stochastic Fixed-Priority Real-Time Systems (MKG, JWSL), pp. 44–58.

TACAS-1999-Tripakis #reachability

Timed Diagnostics for Reachability Properties (ST), pp. 59–73.

TACAS-1999-DongDRRRSSSW #case study #comparative #concurrent #tool support #verification

Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools (YD, XD, YSR, CRR, IVR, SAS, OS, EWS, DSW), pp. 74–88.

TACAS-1999-Pusch #bytecode #higher-order #java #proving #specification #verification

Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL (CP), pp. 89–103.

TACAS-1999-Kreitz #automation #communication #configuration management

Automated Fast-Track Reconfiguration of Group Communication Systems (CK), pp. 104–118.

TACAS-1999-HickeyLR #proving #specification

Specifications and Proofs for Ensemble Layers (JH, NAL, RvR), pp. 119–133.

TACAS-1999-BergeronM #analysis #automation #email #interactive

An Automated Analysis of Ping-Pong Interactions in E-mail Services (AB, JCM), pp. 134–147.

TACAS-1999-MarchignoliM #analysis #automation #composition #encryption #protocol #verification

Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques (DM, FM), pp. 148–162.

TACAS-1999-BehrmannLAHL #composition #reuse #usability #using #verification

Verification of Hierarchical State/Event Systems Using Reusability and Compositionality (GB, KGL, HRA, HH, JLN), pp. 163–177.

TACAS-1999-RusuS #abstraction #on the #proving #safety #static analysis #theorem proving

On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction (VR, ES), pp. 178–192.

TACAS-1999-BiereCCZ #model checking

Symbolic Model Checking without BDDs (AB, AC, EMC, YZ), pp. 193–207.

TACAS-1999-AbdullaAB #bound #protocol #verification

Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol (PAA, AA, AB), pp. 208–222.

TACAS-1999-DelzannoP #model checking

Model Checking in CLP (GD, AP), pp. 223–239.

TACAS-1999-Heljanko #concurrent #logic programming #petri net #problem #reachability #semantics #source code #using

Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets (KH), pp. 240–254.

TACAS-1999-MontanariP #finite #verification #π-calculus

Finite State Verification for the Asynchronous π-Calculus (UM, MP), pp. 255–269.

TACAS-1999-BastenH #algebra #process

Process Algebra in PVS (TB, JH), pp. 270–284.

TACAS-1999-Hirschkoff #bisimulation #on the #using #verification

On the Benefits of Using the Up-To Techniques for Bisimulation Verification (DH), pp. 285–299.

TACAS-1999-LiC #bisimulation #congruence #process

Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes (ZL, HC), pp. 300–314.

TACAS-1999-KahloucheVZ #communication #consistency #hardware #protocol #testing #using

Hardware Testing Using a Communication Protocol Conformance Testing Tool (HK, CV, MZ), pp. 315–329.

TACAS-1999-KernOG #framework #hardware #verification

A Light-Weight Framework for Hardware Verification (CK, TOT, MRG), pp. 330–344.

TACAS-1999-ParnasP #tool support

An Easily Extensible Toolset for Tabular Mathematical Expressions (DLP, DKP), pp. 345–359.

TACAS-1999-Knoop #approach #multi #paradigm

From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach (JK), pp. 360–374.

TACAS-1999-SpeltE #analysis #database #object-oriented #theorem proving

A Theorem Prover-Based Analysis Tool for Object-Oriented Databases (DS, SE), pp. 375–389.

TACAS-1999-BakhmurovKS #analysis #design #embedded #named

DYANA: An Environment for Embedded System Design and Analysis (AGB, APK, RLS), pp. 390–404.

TACAS-1999-GunterP

Path Exploration Tool (ELG, DP), pp. 405–419.

TACAS-1999-BuchholzK #analysis #composition #distributed #tool support

Modular State Level Analysis of Distributed Systems Techniques and Tool Support (PB, PK), pp. 420–434.

TACAS-1999-Stevens #re-engineering #tool support #verification

Some Issues in the Software Engineering of Verification Tools (PS), pp. 435–438.

TACAS-1999-BraunKMS #online

The ETI Online Service in Action (VB, JK, TMS, BS), pp. 439–443.