-
1
-
-
84948950320
-
Symbolic verification of lossy channel systems: Application to the bounded retransmission protocol
-
In TACAS'99
-
P. Abdulla, A. Annichini, and A. Bouajjani. Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol. In TACAS'99. LNCS 1579, 1999.
-
(1999)
LNCS
, vol.1579
-
-
Abdulla, P.1
Annichini, A.2
Bouajjani, A.3
-
3
-
-
84863933189
-
On-The-fly analysis of systems with unbounded, lossy fifo channels
-
In CAV'98
-
Abdulla, A. Bouajjani, and B. Jonsson. On-the-fly Analysis of Systems with Unbounded, Lossy Fifo Channels. In CAV'98. LNCS 1427, 1998.
-
(1998)
LNCS
, vol.1427
-
-
Abdulla, A.1
Bouajjani, P.2
Jonsson, B.3
-
4
-
-
84957059164
-
Handling global conditions in parametrized system verification
-
In CAV'99
-
P.Abdulla, A. Bouajjani, B. Jonsson, and M. Nilsson. Handling Global Conditions in Parametrized System Verification. In CAV'99. LNCS 1633, 1999.
-
(1999)
LNCS
, vol.1633
-
-
Abdulla, A.1
Bouajjani, P.2
Jonsson, B.3
Nilsson, M.4
-
5
-
-
84958752919
-
TRex: A tool for reachability analysis of complex systems
-
In CAV'01 Springer Verlag
-
A. Annichini, A. Bouajjani, and M. Sighireanu. TReX: A Tool for Reachability Analysis of Complex Systems. In CAV'01. LNCS, Springer-Verlag, 2001.
-
(2001)
LNCS
-
-
Annichini, A.1
Bouajjani, A.2
Sighireanu, M.3
-
6
-
-
84879540955
-
General decidability theorems for infinite-state systems
-
In LICS'96
-
P. Abdulla, K. Cer̄ans, B. Jonsson, and Y.-K. Tsay. General Decidability Theorems for Infinite-State Systems. In LICS'96. IEEE, 1996.
-
(1996)
IEEE
-
-
Abdulla, P.1
Cerans, K.2
Jonsson, B.3
Tsay, Y.-K.4
-
7
-
-
84944409047
-
Reachability analysis of push down automata: Application to model checking
-
In CONCUR'97
-
A. Bouajjani, J. Esparza, and O. Maler. Reachability Analysis of Push down Automata: Application to Model Checking. In CONCUR'97. LNCS 1243, 1997.
-
(1997)
LNCS
, vol.1243
-
-
Bouajjani, A.1
Esparza, J.2
Maler, O.3
-
8
-
-
84947427683
-
Symbolic verification of communication protocols with infinite state spaces using QDDs
-
In CAV'96
-
B. Boigelot and P. Godefroid. Symbolic verification of communication protocols with infinite state spaces using QDDs. In CAV'96. LNCS 1102, 1996.
-
(1996)
LNCS
, vol.1102
-
-
Boigelot, B.1
Godefroid, P.2
-
10
-
-
0005293993
-
Symbolic reachability analysis of fifo-channel systems with nonregular sets of configurations
-
In ICALP'97 Full version in TCS 1999
-
A. Bouajjani and P. Habermehl. Symbolic Reachability Analysis of FIFO-Channel Systems with Nonregular Sets of Configurations. In ICALP'97. LNCS 1256, 1997. Full version in TCS 221 (1/2), pp 221-250, 1999.
-
(1997)
LNCS 1256
, vol.221
, Issue.1-2
, pp. 221-250
-
-
Bouajjani, A.1
Habermehl, P.2
-
12
-
-
67649451135
-
Permutation rewriting and algorithmic verification
-
In LICS'01
-
A. Bouajjani, A. Muscholl, and T. Touili. Permutation Rewriting and Algorithmic Verification. In LICS'01. IEEE, 2001.
-
(2001)
IEEE
-
-
Bouajjani, A.1
Muscholl, A.2
Touili, T.3
-
13
-
-
84947479623
-
Symbolic verification with periodic sets
-
In CAV'94
-
B. Boigelot and P. Wolper. Symbolic Verification with Periodic Sets. In CAV'94. LNCS 818, 1994.
-
(1994)
LNCS
, vol.818
-
-
Boigelot, B.1
Wolper, P.2
-
14
-
-
0026944928
-
On the regular structure of prefix rewriting
-
D. Caucal. On the Regular Structure of Prefix Rewriting. TCS, 106(1):61-86, 1992.
-
(1992)
TCS
, vol.106
, Issue.1
, pp. 61-86
-
-
Caucal, D.1
-
16
-
-
13544268666
-
Unreliable channels are easier to verify than perfect channels
-
Ǵerard Ćeće, Alain Finkel, and S. Purushothaman Iyer. Unreliable Channels Are Easier to Verify Than Perfect Channels. Inform. and Comput. , 124(1):20-31, 1996.
-
(1996)
Inform. and Comput.
, vol.124
, Issue.1
, pp. 20-31
-
-
Ćeće, G.1
Finkel, A.2
Purushothaman Iyer, S.3
-
17
-
-
84958751356
-
Iterating transducers
-
In CAV'01 Springer Verlag
-
D. Dams, Y. Lakhnech, and M. Steffen. Iterating transducers. In CAV'01. LNCS, Springer-Verlag, 2001.
-
(2001)
LNCS
-
-
Dams, D.1
Lakhnech, Y.2
Steffen, M.3
-
18
-
-
33745656232
-
An automata-theoretic approach to interpro-cedural dataflow analysis
-
In FOSSACS'99
-
J. Esparza and J. Knoop. An automata-theoretic approach to interpro-cedural dataflow analysis. In FOSSACS'99. LNCS 1578, 1999.
-
(1999)
LNCS
, vol.1578
-
-
Esparza, J.1
Knoop, J.2
-
19
-
-
84958757867
-
A BDD-based model checker for recursive programs
-
CAV'01. Springer-Verlag
-
J. Esparza and S. Schwoon. A BDD-based Model Checker for Recursive Programs. In CAV'01. LNCS, Springer-Verlag, 2001.
-
(2001)
LNCS
-
-
Esparza, J.1
Schwoon, S.2
-
21
-
-
84885197083
-
Well-abstracted transition systems
-
CONCUR'00
-
A. Finkel, S. Purushothaman Iyer, and G. Sutre. Well-abstracted transition systems. In CONCUR'00. LNCS 1877, 2000.
-
(2000)
LNCS
, vol.1877
-
-
Finkel, A.1
Purushothaman Iyer, S.2
Sutre, G.3
-
23
-
-
84863921735
-
Transitive closures of regular relations for verifying infinite-state systems
-
TACAS'00
-
B. Jonsson and M. Nilsson. Transitive Closures of Regular Relations for Verifying Infinite-State Systems. In TACAS'00. LNCS 1785, 2000.
-
(2000)
LNCS
, vol.1785
-
-
Jonsson, B.1
Nilsson, M.2
-
24
-
-
84947424451
-
Symbolic model checking with rich assertional languages
-
CAV'97
-
Y. Kesten, O. Maler, M. Marcus, A. Pnueli, and E. Shahar. Symbolic model checking with rich assertional languages. In CAV'97. LNCS 1254, 1997.
-
(1997)
LNCS
, vol.1254
-
-
Kesten, Y.1
Maler, O.2
Marcus, M.3
Pnueli, A.4
Shahar, E.5
-
27
-
-
84896693153
-
Undecidable problems in unreliable computations
-
In LATIN'00
-
R. Mayr. Undecidable Problems in Unreliable Computations. In LATIN'00. LNCS 1776, 2000.
-
(2000)
LNCS
, vol.1776
-
-
Mayr, R.1
-
28
-
-
84955565828
-
Infinite results
-
In CONCUR'96
-
F. Moller. Infinite results. In CONCUR'96. LNCS 1119, 1996.
-
(1996)
LNCS
, vol.1119
-
-
Moller, F.1
-
29
-
-
35248874135
-
Liveness and acceleration in parametrized verification
-
In CAV'00
-
A. Pnueli and E. Shahar. Liveness and acceleration in parametrized verification. In CAV'00. LNCS 1855, 2000.
-
(2000)
LNCS
, vol.1855
-
-
Pnueli, A.1
Shahar, E.2
-
30
-
-
0031536422
-
Polynomial closure and unambiguous product
-
J.-E. Pin and P. Weil. Polynomial closure and unambiguous product. Theory of Computing Systems, 30:383-422, 1997.
-
(1997)
Theory of Computing Systems
, vol.30
, pp. 383-422
-
-
Pin, J.-E.1
Weil, P.2
-
31
-
-
19144370793
-
V́erification de Ŕeseaux Paraḿetŕes Baśee sur des Techniques de Ŕéecriture
-
MSc Thesis (French DEA) report University of Paris 7, July
-
T. Touili. V́erification de Ŕeseaux Paraḿetŕes Baśee sur des Techniques de Ŕéecriture. MSc. Thesis (French DEA) report, Liafa Lab. , University of Paris 7, July 2000. http://verif. liafa. jussieu. fr/touili.
-
(2000)
Liafa Lab.
-
-
Touili, T.1
-
32
-
-
84863906620
-
Verifying systems with infinite but regular state spaces
-
In CAV'98
-
P. Wolper and B. Boigelot. Verifying systems with infinite but regular state spaces. In CAV'98. LNCS 1427, 1998.
-
(1998)
LNCS
, vol.1427
-
-
Wolper, P.1
Boigelot, B.2
|