-
1
-
-
0032108041
-
Partial Evaluation of Functional Logic Programs
-
Alpuente, M., Falaschi, M., Vidal, G.: Partial Evaluation of Functional Logic Programs. ACM TOPLAS 20(4), 768-844 (1998)
-
(1998)
ACM TOPLAS
, vol.20
, Issue.4
, pp. 768-844
-
-
Alpuente, M.1
Falaschi, M.2
Vidal, G.3
-
2
-
-
84922960766
-
Narrowing the narrowing space
-
Hartel, P.H, Kuchen, H, eds, PLILP 1997, Springer, Heidelberg
-
Antoy, S., Ariola, Z.M.: Narrowing the narrowing space. In: Hartel, P.H., Kuchen, H. (eds.) PLILP 1997. LNCS, vol. 1292, pp. 1-15. Springer, Heidelberg (1997)
-
(1997)
LNCS
, vol.1292
, pp. 1-15
-
-
Antoy, S.1
Ariola, Z.M.2
-
3
-
-
84937200470
-
-
Basu, S., Mukund, M., Ramakrishnan, C.R., Ramakrishnan, I.V., Verma, R.M.: Local and symbolic bisimulation using tabled constraint logic programming. In: Codognet, P. (ed.) ICLP 2001. LNCS, 2237, pp. 166-180. Springer, Heidelberg (2001)
-
Basu, S., Mukund, M., Ramakrishnan, C.R., Ramakrishnan, I.V., Verma, R.M.: Local and symbolic bisimulation using tabled constraint logic programming. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol. 2237, pp. 166-180. Springer, Heidelberg (2001)
-
-
-
-
4
-
-
84858747410
-
Languages, rewriting systems, and verification of infinite-state systems
-
Orejas, F, Spirakis, P.G, van Leeuwen, J, eds, ICALP 2001, Springer, Heidelberg
-
Bouajjani, A.: Languages, rewriting systems, and verification of infinite-state systems. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol. 2076, pp. 24-39. Springer, Heidelberg (2001)
-
(2001)
LNCS
, vol.2076
, pp. 24-39
-
-
Bouajjani, A.1
-
5
-
-
33749404295
-
-
Bouajjani, A., Esparza, J.: Rewriting models of boolean programs. In: Pfenning, F. (ed.) RTA 2006. LNCS, 4098, pp. 136-150. Springer, Heidelberg (2006)
-
Bouajjani, A., Esparza, J.: Rewriting models of boolean programs. In: Pfenning, F. (ed.) RTA 2006. LNCS, vol. 4098, pp. 136-150. Springer, Heidelberg (2006)
-
-
-
-
6
-
-
84957104846
-
Model checking lossy vector addition systems
-
Meinel, C, Tison, S, eds, STACS, 1563, pp, Springer, Heidelberg
-
Bouajjani, A., Mayr, R.: Model checking lossy vector addition systems. In: Meinel, C., Tison, S. (eds.) STACS 99. LNCS, vol. 1563, pp. 323-333. Springer, Heidelberg (1999)
-
(1999)
LNCS
, vol.99
, pp. 323-333
-
-
Bouajjani, A.1
Mayr, R.2
-
7
-
-
0012626037
-
Verification over Infinite States
-
Elsevier, Amsterdam
-
Burkart, O., Caucal, D., Moller, F., Steffen, B.: Verification over Infinite States. In: Handbook of Process Algebra, pp. 545-623. Elsevier, Amsterdam (2001)
-
(2001)
Handbook of Process Algebra
, pp. 545-623
-
-
Burkart, O.1
Caucal, D.2
Moller, F.3
Steffen, B.4
-
8
-
-
0028513196
-
Model checking and abstraction
-
Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. ACM TOPLAS 16(5), 1512-1542 (1994)
-
(1994)
ACM TOPLAS
, vol.16
, Issue.5
, pp. 1512-1542
-
-
Clarke, E.M.1
Grumberg, O.2
Long, D.E.3
-
9
-
-
0003962322
-
-
MIT Press, Cambridge
-
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2001)
-
(2001)
Model Checking
-
-
Clarke, E.M.1
Grumberg, O.2
Peled, D.A.3
-
10
-
-
38049179424
-
-
Springer, Heidelberg To appear
-
Clavel, M., Durán, F., Eker, S., Lincoln, P., Marti-Oliet, N., Meseguer, J., Talcott, C.: All About Maude: A High-Performance Logical Framework. Springer, Heidelberg (To appear 2007)
-
(2007)
All About Maude: A High-Performance Logical Framework
-
-
Clavel, M.1
Durán, F.2
Eker, S.3
Lincoln, P.4
Marti-Oliet, N.5
Meseguer, J.6
Talcott, C.7
-
11
-
-
33847036332
-
Constraint multiset rewriting
-
Technical report, DISI, Universita di Genova
-
Delzanno, G.: Constraint multiset rewriting. Technical report, DISI - Universita di Genova (2002)
-
(2002)
-
-
Delzanno, G.1
-
12
-
-
84896692864
-
Constraint-based deductive model checking
-
Delzanno, G., Podelski, A.: Constraint-based deductive model checking. STTT 3(3), 250-270 (2001)
-
(2001)
STTT
, vol.3
, Issue.3
, pp. 250-270
-
-
Delzanno, G.1
Podelski, A.2
-
14
-
-
85007553476
-
On model checking for nondeterministic infinite state systems
-
IEEE Press, New York
-
Emerson, A., Namjoshi, K.: On model checking for nondeterministic infinite state systems. In: LICS'98, pp. 70-80. IEEE Press, New York (1998)
-
(1998)
LICS'98
, pp. 70-80
-
-
Emerson, A.1
Namjoshi, K.2
-
15
-
-
33750477656
-
A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties
-
Escobar, S., Meadows, C., Meseguer, J.: A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties. Theoretical Computer Science (Elsevier) 367(1-2), 162-202 (2006)
-
(2006)
Theoretical Computer Science (Elsevier)
, vol.367
, Issue.1-2
, pp. 162-202
-
-
Escobar, S.1
Meadows, C.2
Meseguer, J.3
-
16
-
-
38049096504
-
Symbolic model checking of infinite-state systems using narrowing
-
Technical Report No. 2814, Department of Computer Science, University of Illinois at Urbana-Champaign
-
Escobar, S., Meseguer, J.: Symbolic model checking of infinite-state systems using narrowing. Technical Report No. 2814, Department of Computer Science, University of Illinois at Urbana-Champaign (2007)
-
(2007)
-
-
Escobar, S.1
Meseguer, J.2
-
17
-
-
33746239698
-
State space reduction of rewrite theories using invisible transitions
-
Johnson, M, Vene, V, eds, AMAST 2006, Springer, Heidelberg
-
Farzan, A., Meseguer, J.: State space reduction of rewrite theories using invisible transitions. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol. 4019, pp. 142-157. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.4019
, pp. 142-157
-
-
Farzan, A.1
Meseguer, J.2
-
18
-
-
0034911369
-
Well-structured transition systems everywhere!
-
Finkel, A., Schnoebelen, P.: Well-structured transition systems everywhere! Theoretical Computer Science 256(1), 63-92 (2001)
-
(2001)
Theoretical Computer Science
, vol.256
, Issue.1
, pp. 63-92
-
-
Finkel, A.1
Schnoebelen, P.2
-
19
-
-
84937398672
-
Reachability analysis of term rewriting systems with Timbuk
-
ICLP'01, Springer, Heidelberg
-
Genet, T., Viet Triem Tong, V.: Reachability analysis of term rewriting systems with Timbuk. In: ICLP'01. LNCS, vol. 2250, pp. 695-706. Springer, Heidelberg (2001)
-
(2001)
LNCS
, vol.2250
, pp. 695-706
-
-
Genet, T.1
Viet Triem Tong, V.2
-
20
-
-
84947441305
-
-
Graf, S., Saidi, H.: Construction of abstract state graphs with PVS. In: Grumberg, O. (ed.) CAV 1997. LNCS, 1254, pp. 72-83. Springer, Heidelberg (1997)
-
Graf, S., Saidi, H.: Construction of abstract state graphs with PVS. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol. 1254, pp. 72-83. Springer, Heidelberg (1997)
-
-
-
-
21
-
-
84896694022
-
Control and data abstraction: The cornerstones of practical formal verification
-
Kesten, Y., Pnueli, A.: Control and data abstraction: The cornerstones of practical formal verification. STTT 4(2), 328-342 (2000)
-
(2000)
STTT
, vol.4
, Issue.2
, pp. 328-342
-
-
Kesten, Y.1
Pnueli, A.2
-
22
-
-
0029207880
-
Property preserving abstractions for the verification of concurrent systems
-
Loiseaux, C., Graf, S., Sifakis, J., Bouajjani, A., Bensalem, S.: Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design 6, 1-36 (1995)
-
(1995)
Formal Methods in System Design
, vol.6
, pp. 1-36
-
-
Loiseaux, C.1
Graf, S.2
Sifakis, J.3
Bouajjani, A.4
Bensalem, S.5
-
23
-
-
24344505481
-
-
Marti-Oliet, N., Meseguer, J., Palomino, M.: Theoroidal maps as algebraic simulations. In: Fiadeiro, J.L., Mosses, P.D., Orejas, F. (eds.) WADT 2004. LNCS, 3423, pp. 126-143. Springer, Heidelberg (2005)
-
Marti-Oliet, N., Meseguer, J., Palomino, M.: Theoroidal maps as algebraic simulations. In: Fiadeiro, J.L., Mosses, P.D., Orejas, F. (eds.) WADT 2004. LNCS, vol. 3423, pp. 126-143. Springer, Heidelberg (2005)
-
-
-
-
24
-
-
34047234972
-
Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
-
To appear
-
Meseguer, J., Thati, P.: Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols. High-Order Symbolic Computation (To appear 2007)
-
(2007)
High-Order Symbolic Computation
-
-
Meseguer, J.1
Thati, P.2
-
25
-
-
0027113376
-
Conditional rewriting logic as a unified model of concurrency
-
Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science 96(1), 73-155 (1992)
-
(1992)
Theoretical Computer Science
, vol.96
, Issue.1
, pp. 73-155
-
-
Meseguer, J.1
-
26
-
-
0009948701
-
-
Meseguer, J.: Multiparadigm logic programming. In: Kirchner, H., Levi, G. (eds.) ALP'92. LNCS, 632, pp. 158-200. Springer, Heidelberg (1992)
-
Meseguer, J.: Multiparadigm logic programming. In: Kirchner, H., Levi, G. (eds.) ALP'92. LNCS, vol. 632, pp. 158-200. Springer, Heidelberg (1992)
-
-
-
-
27
-
-
84957873927
-
-
Meseguer, J.: Membership algebra as a logical framework for equational specification. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, 1376, pp. 18-61. Springer, Heidelberg (1998)
-
Meseguer, J.: Membership algebra as a logical framework for equational specification. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol. 1376, pp. 18-61. Springer, Heidelberg (1998)
-
-
-
-
28
-
-
38049137128
-
The Temporal Logic of Rewriting
-
Technical Report No. 2815, Department of Computer Science, University of Illinois at Urbana-Champaign
-
Meseguer, J.: The Temporal Logic of Rewriting. Technical Report No. 2815, Department of Computer Science, University of Illinois at Urbana-Champaign (2007)
-
(2007)
-
-
Meseguer, J.1
-
29
-
-
7044268976
-
Equational abstractions
-
Baader, F, ed, Automated Deduction, CADE-19, Springer, Heidelberg
-
Meseguer, J., Palomino, M., Marti-Oliet, N.: Equational abstractions. In: Baader, F. (ed.) Automated Deduction - CADE-19. LNCS (LNAI), vol. 2741, pp. 2-16. Springer, Heidelberg (2003)
-
(2003)
LNCS (LNAI
, vol.2741
, pp. 2-16
-
-
Meseguer, J.1
Palomino, M.2
Marti-Oliet, N.3
-
30
-
-
84947742359
-
-
Ohsaki, H., Seki, H., Takai, T.: Recognizing boolean closed A-tree languages with membership conditional mechanism. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, 2706, pp. 483-498. Springer, Heidelberg (2003)
-
Ohsaki, H., Seki, H., Takai, T.: Recognizing boolean closed A-tree languages with membership conditional mechanism. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol. 2706, pp. 483-498. Springer, Heidelberg (2003)
-
-
-
-
31
-
-
84957079461
-
-
Saïdi, H., Shankar, N.: Abstract and model check while you prove. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, 1633, pp. 443-454. Springer, Heidelberg (1999)
-
Saïdi, H., Shankar, N.: Abstract and model check while you prove. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 443-454. Springer, Heidelberg (1999)
-
-
-
-
32
-
-
1242286270
-
-
TeReSe, ed, Cambridge University Press, Cambridge
-
TeReSe, (ed.): Term Rewriting Systems. Cambridge University Press, Cambridge (2003)
-
(2003)
Term Rewriting Systems
-
-
-
33
-
-
24644453930
-
Using language inference to verify omega-regular properties
-
Halbwachs, N, Zuck, L.D, eds, TACAS 2005, Springer, Heidelberg
-
Vardhan, A., Sen, K., Viswanathan, M., Agha, G.: Using language inference to verify omega-regular properties. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 45-60. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3440
, pp. 45-60
-
-
Vardhan, A.1
Sen, K.2
Viswanathan, M.3
Agha, G.4
|