Bibliography

ABLS01

A. Annichini, A. Bouajjani, Y. Lakhnech, and M. Sighireanu.
Analysis of Fair Extended Automata.
In Proc. 8th Intern. Static Analysis Symposium (SAS'01), Paris, France, July 2001. Lecture Notes in Computer Science 2126, Springer-Verlag.

AJ01

Parosh Aziz Abdulla and Bengt Jonsson.
Model checking of systems with many identical timed processes, 2001.
To appear in the journal of Theoretical Computer Science.

APR$^+$01

T. Arons, A. Pnueli, S. Ruah, J. Xu, and L. Zuck.
Parameterized verification with automatically computed inductive assertions.
In CAV'01, pages 221-234, 2001.

BHM01

A. Bouajjani, P. Habermehl, and R. Mayr.
Automatic Verification of Recursive Procedures with one Integer Parameter.
In Proc. 26th Intern. Symp. on Mathematical Foundations of Computer Science (MFCS 2001), Marianske Lazne, Czech Republic, August 2001. Lecture Notes in Computer Science, Springer-Verlag.

BLS01

K. Baukus, Y. Lakhnech, and K. Stahl.
Verification of parameterized networks.
Journal of Universal Computer Science, 7(2), 2001.

BMT01

A. Bouajjani, A. Muscholl, and T. Touili.
Permutation Rewriting and Algorithmic Verification.
In Proc. 16th Symp. on Logic in Computer Science (LICS'01), Boston (MA), USA, 2001. IEEE.

BSBL01

K. Baukus, K. Stahl, S. Bensalem, and Y. Lakhnech.
Networks of processes with parameterized state space.
Electonic Notes of Theoretical Computer Science, 50(4), 2001.
Proc. Workshop on Verification of Parametrized Systems (VEPAS'01), Crete, July, 2001.

CAS01

A Collomb-Annichini and M. Sighireanu.
Parameterized Reachability Analysis of the IEEE 1394 Root Contention Protocol using TReX.
In Proc. Workshop on Real-Time Tools (RT-TOOLS'01), Aalborg, August 2001. Aalborg University.

DLS01

D. Dams, Y. Lakhnech, and M. Steffen.
Iterating transducers.
In G. Berry, H. Comon, and A. Finkel, editors, Computer Aided Verification, volume 2102 of LNCS, 2001.

FP01

Dana Fisman and Amir Pnueli.
Beyond regular model checking.
In Proc. 21th Conference on the Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science, December 2001.
To appear.

KMM$^+$01

Y. Kesten, O. Maler, M. Marcus, A. Pnueli, and E. Shahar.
Symbolic model checking with rich assertional languages.
Theoretical Computer Science, 256:93-112, 2001.

Mai01

M. Maidl.
A unifying model checking approach for safety properties of parameterized systems.
In CAV'01, pages 324-336, 2001.

PRZ01

A. Pnueli, S. Ruah, and L. Zuck.
Automatic deductive verification with invisible invariants.
In TACAS'01, volume 2031, pages 82-97, 2001.

Tou01

T. Touili.
Regular Model Checking using Widening Techniques.
Electronic Notes in Theoretical Computer Science, 50(4), 2001.
Proc. Workshop on Verification of Parametrized Systems (VEPAS'01), Crete, July, 2001.