-
3
-
-
0022665562
-
Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems
-
(Feb.)
-
AVRUNIN, G. S., DILLON, L. K., WILEDEN, J. C., AND RIDDLE, W. E. 1986. Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems. IEEE Trans. Softw. Eng. SE-12, 2 (Feb.), 278-292.
-
(1986)
IEEE Trans. Softw. Eng. SE-12
, vol.2
, pp. 278-292
-
-
AVRUNIN, G.S.1
DILLON, L.K.2
WILEDEN, J.C.3
RIDDLE, W.E.4
-
4
-
-
85034735655
-
Another look at abstraction in process algebra
-
(Karlsruhe, Germany, July). Lecture Notes in Computer Science, Springer-Verlag, Berlin
-
BAETEN, J. C. M. AND VAN GLABEEK, R. J. 1987. Another look at abstraction in process algebra. In Proceedings of the 14th International Colloquium on Automata. Languages, and Programming (ICALP) (Karlsruhe, Germany, July). Lecture Notes in Computer Science, vol. 267. Springer-Verlag, Berlin, 84-94.
-
(1987)
Proceedings of the 14th International Colloquium on Automata. Languages, and Programming (ICALP)
, vol.267
, pp. 84-94
-
-
BAETEN, J.C.M.1
VAN GLABEEK, R.J.2
-
5
-
-
0021291978
-
Process algebra for synchronous communication
-
BERGSTRA, J. A. AND KLOP, J. W. 1984. Process algebra for synchronous communication. Inf. Control 60, 109-137.
-
(1984)
Inf. Control
, vol.60
, pp. 109-137
-
-
BERGSTRA, J.A.1
KLOP, J.W.2
-
6
-
-
0021465083
-
A theory of communicating sequential processes
-
(July)
-
BROOKES, S. D., HOARE, C. A. R., AND ROSCOE, A. W. 1984. A theory of communicating sequential processes J. ACM 31, 3 (July), 560-599.
-
(1984)
J. ACM
, vol.31
, Issue.3
, pp. 560-599
-
-
BROOKES, S.D.1
HOARE, C.A.R.2
ROSCOE, A.W.3
-
7
-
-
1542542749
-
-
Prentice-Hall, Englewood Cliffs, N.J.
-
BUHR, R. J. A. 1984. System Design with Ada. Prentice-Hall, Englewood Cliffs, N.J.
-
(1984)
System Design with Ada
-
-
BUHR, R.J.A.1
-
8
-
-
0025595038
-
20 states and beyond
-
IEEE Computer Society Press, Los Alamitos, Calif.
-
20 states and beyond. In Proceedings of the 5th Annual Symposium on Logic in Computer Science. IEEE Computer Society Press, Los Alamitos, Calif., 428-439.
-
(1990)
Proceedings of the 5th Annual Symposium on Logic in Computer Science
, pp. 428-439
-
-
BURCH, J.R.1
CLARKE, E.M.2
MCMILLAN, K.L.3
DILL, D.L.4
HWANG, L.J.5
-
9
-
-
33747341354
-
Using temporal logic for automatic verification of finite state systems
-
K R. Apt, Ed Springer-Verlag, Berlin
-
CLARKE, E. M., BROWNE, M. C., EMERSON, E. A., AND SISTAL, A. P. 1985. Using temporal logic for automatic verification of finite state systems. In Logics and Models of Concurrent Systems, K R. Apt, Ed Springer-Verlag, Berlin, 3-26.
-
(1985)
Logics and Models of Concurrent Systems
, pp. 3-26
-
-
CLARKE, E.M.1
BROWNE, M.C.2
EMERSON, E.A.3
SISTAL, A.P.4
-
10
-
-
0022706656
-
Automatic verification of finite-state concurrent systems using temporal logic
-
(Apr.)
-
CLARKE, E. M., EMERSON, E. A., AND SISTAL, A. P. 1986. Automatic verification of finite-state concurrent systems using temporal logic. ACM Trans. Program. Lang. Syst. 8, 2 (Apr.), 244-263.
-
(1986)
ACM Trans. Program. Lang. Syst.
, vol.8
, Issue.2
, pp. 244-263
-
-
CLARKE, E.M.1
EMERSON, E.A.2
SISTAL, A.P.3
-
11
-
-
0006418085
-
A semantics-based verification tool for finite-state systems
-
North-Holland, Amsterdam
-
CLEAVELAND, R., PARROW, J., AND STEFFEN, B. 1990. A semantics-based verification tool for finite-state systems. In Protocol Specification, Testing, and Verification. Vol. 9. North-Holland, Amsterdam, 287-302.
-
(1990)
Protocol Specification, Testing, and Verification
, vol.9
, pp. 287-302
-
-
CLEAVELAND, R.1
PARROW, J.2
STEFFEN, B.3
-
12
-
-
0024037393
-
Constrained expressions: Toward broad applicability of analysis methods for distributed software systems
-
(July)
-
DILLON, L. K., AVRUNIN, G. S., AND WILEDEN, J. C. 1988. Constrained expressions: Toward broad applicability of analysis methods for distributed software systems. ACM Trans. Program. Lang. Syst. 10, 3 (July), 374-402.
-
(1988)
ACM Trans. Program. Lang. Syst.
, vol.10
, Issue.3
, pp. 374-402
-
-
DILLON, L.K.1
AVRUNIN, G.S.2
WILEDEN, J.C.3
-
13
-
-
0026867627
-
A toolbox for the verification of LOTOS programs
-
(Melbourne, Australia). IEEE Computer Society Press, Los Alamitos, Calif.
-
FERNANDEZ, J.-C., GARAVEL, H., MOURNIER, L., RASSE, A., RODRIGUEZ, C., AND SIFAKIS, J. 1992. A toolbox for the verification of LOTOS programs. In Proceedings of the 14th International Conference on Software Engineering (Melbourne, Australia). IEEE Computer Society Press, Los Alamitos, Calif., 246-259.
-
(1992)
Proceedings of the 14th International Conference on Software Engineering
, pp. 246-259
-
-
FERNANDEZ, J.-C.1
GARAVEL, H.2
MOURNIER, L.3
RASSE, A.4
RODRIGUEZ, C.5
SIFAKIS, J.6
-
14
-
-
84976814858
-
IRIS-Ada reference manual
-
Arcadia Tech. Rep. UM-90-07, Univ. of Massachusetts, Amherst, Mass
-
FORESTER, K. 1991. IRIS-Ada reference manual. Arcadia Tech. Rep. UM-90-07, Univ. of Massachusetts, Amherst, Mass.
-
(1991)
-
-
FORESTER, K.1
-
15
-
-
84976767702
-
State space caching revisited
-
(Montreal, Quebec, July). Lecture Notes in Computer Science, Springer-Verlag, Berlin
-
GODEFROID, P., HOLZMANN, G. J., AND PIROTTIN, D. 1993. State space caching revisited. In Proceedings of the 4th Workshop on Computer-Aided Verification (Montreal, Quebec, July). Lecture Notes in Computer Science, vol. 663. Springer-Verlag, Berlin, 175-186.
-
(1993)
Proceedings of the 4th Workshop on Computer-Aided Verification
, vol.663
, pp. 175-186
-
-
GODEFROID, P.1
HOLZMANN, G.J.2
PIROTTIN, D.3
-
17
-
-
0004189966
-
-
MIT Press Series in the Foundations of Computing. The MIT Press, Cambridge, Mass.
-
HENNESSY, M. 1988. Algebraic Theory of Processes. MIT Press Series in the Foundations of Computing. The MIT Press, Cambridge, Mass.
-
(1988)
Algebraic Theory of Processes
-
-
HENNESSY, M.1
-
18
-
-
0020223821
-
Implementation strategies for Ada tasking idioms
-
ACM, New York
-
HILFINGER, P. N. 1982. Implementation strategies for Ada tasking idioms In Proceedings of the AdaTEC Conference on Ada. ACM, New York, 26-30.
-
(1982)
Proceedings of the AdaTEC Conference on Ada
, pp. 26-30
-
-
HILFINGER, P.N.1
-
19
-
-
0016114085
-
Monitors: An operating system structuring concept
-
(Oct.)
-
HOARE, C. A. R. 1974. Monitors: An operating system structuring concept. Commun. ACM 17, 10 (Oct.).
-
(1974)
Commun. ACM
, vol.17
, Issue.10
-
-
HOARE, C.A.R.1
-
21
-
-
0025432462
-
CCS expressions, finite state processes, and three problems of equivalence
-
KANELLAKIS, P. C. AND SMOLKA, S A. 1990. CCS expressions, finite state processes, and three problems of equivalence. Inf. Comput. 86, 43-68.
-
(1990)
Inf. Comput.
, vol.86
, pp. 43-68
-
-
KANELLAKIS, P.C.1
SMOLKA, S.A.2
-
22
-
-
0026237735
-
User interface development and software environments: The Chiron-1 system
-
(Austin, Tex., May). IEEE Computer Science Press, Los Alamitos, Calif.
-
KELLER, R. K., CAMERON, M., TAYLOR, R. N., AND TROUP, D. B. 1991. User interface development and software environments: The Chiron-1 system. In Proceedings of the 13th International Conference on Software Engineering (Austin, Tex., May). IEEE Computer Science Press, Los Alamitos, Calif., 208-218.
-
(1991)
Proceedings of the 13th International Conference on Software Engineering
, pp. 208-218
-
-
KELLER, R.K.1
CAMERON, M.2
TAYLOR, R.N.3
TROUP, D.B.4
-
23
-
-
85035053875
-
The complexity of problems in systems of communicating sequential processes
-
(Atlanta, Ga., April). ACM, New York
-
LADNER, R. E. 1979. The complexity of problems in systems of communicating sequential processes. In Proceedings of the 11th Annual ACM Symposium on Theory of Computing (Atlanta, Ga., April). ACM, New York, 214-223.
-
(1979)
Proceedings of the 11th Annual ACM Symposium on Theory of Computing
, pp. 214-223
-
-
LADNER, R.E.1
-
24
-
-
0021458959
-
Protocol verification via projections
-
(July)
-
LAM, S. S. AND SHANKAR, A. U. 1984. Protocol verification via projections. IEEE Trans. Softw. Eng. SE-10, 4 (July), 325-342.
-
(1984)
IEEE Trans. Softw. Eng. SE-10
, vol.4
, pp. 325-342
-
-
LAM, S.S.1
SHANKAR, A.U.2
-
26
-
-
0024664865
-
Task interaction graphs for concurrency analysis
-
(Pittsburgh, Pa., May). IEEE Computer Society Press, Los Alamitos, Calif.
-
LONG, D. L. AND CLARKE, L. A. 1989. Task interaction graphs for concurrency analysis. In Proceedings of the 11th International Conference on Software Engineering (Pittsburgh, Pa., May). IEEE Computer Society Press, Los Alamitos, Calif., 44-52.
-
(1989)
Proceedings of the 11th International Conference on Software Engineering
, pp. 44-52
-
-
LONG, D.L.1
CLARKE, L.A.2
-
27
-
-
84949514766
-
Data flow analysis of concurrent systems that use the rendezvous model of synchronization
-
(Victoria, British Columbia, October). ACM Press, New York
-
LONG, D. AND CLARKE, L. A. 1991. Data flow analysis of concurrent systems that use the rendezvous model of synchronization. In Proceedings of the Symposium on Software Testing, Analysis, and Verification (TAV4) (Victoria, British Columbia, October). ACM Press, New York, 21-35.
-
(1991)
Proceedings of the Symposium on Software Testing, Analysis, and Verification (TAV4)
, pp. 21-35
-
-
LONG, D.1
CLARKE, L.A.2
-
28
-
-
0021942583
-
Modeling the Ada task system by Petri nets
-
MANDRIOLI, D., ZICARI, R., GHEZZI, C., AND TISATO, F. 1985. Modeling the Ada task system by Petri nets. Comput. Lang. 10, 1, 43-61.
-
(1985)
Comput. Lang.
, vol.10
, Issue.1
, pp. 43-61
-
-
MANDRIOLI, D.1
ZICARI, R.2
GHEZZI, C.3
TISATO, F.4
-
31
-
-
0024683436
-
A practical algorithm for static analysis of parallel programs
-
MCDOWELL, C. E. 1989. A practical algorithm for static analysis of parallel programs. J. Parallel Distrib. Comput. 6, 515-536.
-
(1989)
J. Parallel Distrib. Comput.
, vol.6
, pp. 515-536
-
-
MCDOWELL, C.E.1
-
33
-
-
0001081511
-
Interactive state-space analysis of concurrent systems
-
(Oct.)
-
MORGAN, E. T. AND RAZOUK, R. R. 1987. Interactive state-space analysis of concurrent systems. IEEE Trans. Softw. Eng. SE-13, 10 (Oct.), 1080-1091.
-
(1987)
IEEE Trans. Softw. Eng. SE-13
, vol.10
, pp. 1080-1091
-
-
MORGAN, E.T.1
RAZOUK, R.R.2
-
35
-
-
84976756324
-
IDEFIX: A tool for debugging Ada tasks in a real-time environment
-
RAITHER, B., CAILLET, J.-F., AND DE SEZE, P. 1990. IDEFIX: A tool for debugging Ada tasks in a real-time environment. Technique et Science Informatiques 9, 2, 150-156.
-
(1990)
Technique et Science Informatiques
, vol.9
, Issue.2
, pp. 150-156
-
-
RAITHER, B.1
CAILLET, J.-F.2
DE SEZE, P.3
-
36
-
-
84957059174
-
Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE
-
(New Orleans, La., Dec.). ACM, New York
-
RATEL, C., HALBWACHS, N., AND RAYMOND, P. 1991. Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE. In Proceedings of the ACM SIGSOFT '91 Conference on Software for Critical Systems (New Orleans, La., Dec.). ACM, New York, 112-119.
-
(1991)
Proceedings of the ACM SIGSOFT '91 Conference on Software for Critical Systems
, pp. 112-119
-
-
RATEL, C.1
HALBWACHS, N.2
RAYMOND, P.3
-
37
-
-
84939350457
-
-
Tech. Rep. 86-25, Univ. of California, Irvine, Calif
-
RAZOUK, R. R. 1987. A guided tour of P-NUT. Tech. Rep. 86-25, Univ. of California, Irvine, Calif.
-
(1987)
A guided tour of P-NUT
-
-
RAZOUK, R.R.1
-
38
-
-
0025502608
-
Design and implementation of a Petri net based toolkit for Ada tasking analysis
-
(Oct.)
-
SHATZ, S. M., MAI, K., BLACK, C., AND TU, S. 1990. Design and implementation of a Petri net based toolkit for Ada tasking analysis. IEEE Trans. Parallel Distrib. Syst. 1, 4 (Oct.), 424-441.
-
(1990)
IEEE Trans. Parallel Distrib. Syst.
, vol.1
, Issue.4
, pp. 424-441
-
-
SHATZ, S.M.1
MAI, K.2
BLACK, C.3
TU, S.4
-
39
-
-
84913418098
-
-
Ph.D. thesis, Tech. Rep. CS-84-05, Dept. of Computer Science, Brown Univ., Providence, R.I
-
SMOLKA, S. A. 1984. Analysis of communicating finite state processes. Ph.D. thesis, Tech. Rep. CS-84-05, Dept. of Computer Science, Brown Univ., Providence, R.I.
-
(1984)
Analysis of communicating finite state processes
-
-
SMOLKA, S.A.1
-
41
-
-
0025886006
-
Debugging concurrent Ada programs by deterministic execution
-
(Jan.)
-
TAI, K. C., CARVER, R. H., AND OBAID, E. E. 1991. Debugging concurrent Ada programs by deterministic execution. IEEE Trans. Softw. Eng. 17, 1 (Jan.), 45-63.
-
(1991)
IEEE Trans. Softw. Eng.
, vol.17
, Issue.1
, pp. 45-63
-
-
TAI, K.C.1
CARVER, R.H.2
OBAID, E.E.3
-
42
-
-
0020736536
-
Complexity of analyzing the synchronization structure of concurrent programs
-
a
-
TAYLOR, R. N. 1983a. Complexity of analyzing the synchronization structure of concurrent programs. Acta Informatica 19, 57-84.
-
(1983)
Acta Informatica
, vol.19
, pp. 57-84
-
-
TAYLOR, R.N.1
-
43
-
-
0020752281
-
A general-purpose algorithm for analyzing concurrent programs
-
b, (May)
-
TAYLOR, R. N. 1983b. A general-purpose algorithm for analyzing concurrent programs. Commun. ACM 26, 5 (May), 362-376.
-
(1983)
Commun. ACM
, vol.26
, Issue.5
, pp. 362-376
-
-
TAYLOR, R.N.1
-
44
-
-
84939770757
-
Debugging real-time software in a host-target environment
-
TAYLOR, R. N. 1984. Debugging real-time software in a host-target environment. Technique et Science Informatiques 3, 4, 281-288.
-
(1984)
Technique et Science Informatiques
, vol.3
, Issue.4
, pp. 281-288
-
-
TAYLOR, R.N.1
-
45
-
-
0027813271
-
Separations of concerns in the Chiron-1 user interface development and management system
-
(Amsterdam, Apr.). ACM, New York
-
TAYLOR, R. N. AND JOHNSON, G. F. 1993. Separations of concerns in the Chiron-1 user interface development and management system. In Proceedings of the Conference on Human Factors in Computing Systems (Amsterdam, Apr.). ACM, New York, 367-374.
-
(1993)
Proceedings of the Conference on Human Factors in Computing Systems
, pp. 367-374
-
-
TAYLOR, R.N.1
JOHNSON, G.F.2
-
46
-
-
0026827806
-
Structural testing of concurrent programs
-
(Mar.)
-
TAYLOR, R. N., LEVINE, D. L., AND KELLY, C. D. 1992. Structural testing of concurrent programs. IEEE Trans. Softw. Eng. 18, 3 (Mar.), 206-215.
-
(1992)
IEEE Trans. Softw. Eng.
, vol.18
, Issue.3
, pp. 206-215
-
-
TAYLOR, R.N.1
LEVINE, D.L.2
KELLY, C.D.3
-
47
-
-
85016851732
-
A stubborn attack on state explosion
-
Lecture Notes in Computer Science, Springer-Verlag, Berlin
-
VALMARI, A. 1990. A stubborn attack on state explosion. In Computer-Aided Verification, 2nd International Conference Proceedings. Lecture Notes in Computer Science, vol. 531. Springer-Verlag, Berlin, 156-165.
-
(1990)
Computer-Aided Verification, 2nd International Conference Proceedings
, vol.531
, pp. 156-165
-
-
VALMARI, A.1
-
48
-
-
84945717332
-
Static concurrency analysis of Ada programs
-
Master's thesis, Univ. of California, Irvine, Calif
-
WAMPLER, G. K. 1985. Static concurrency analysis of Ada programs. Master's thesis, Univ. of California, Irvine, Calif.
-
(1985)
-
-
WAMPLER, G.K.1
-
49
-
-
0024142939
-
A formal framework for the study of concurrent program testing
-
(Banff, Canada, July). ACM/SIGSOFT and IEEE-CS Software Engineering Technical Committee.
-
WEISS, S. N. 1988. A formal framework for the study of concurrent program testing. In Proceedings of the 2nd Workshop on Software Testing, Verification, and Analysis (Banff, Canada, July). ACM/SIGSOFT and IEEE-CS Software Engineering Technical Committee.
-
(1988)
Proceedings of the 2nd Workshop on Software Testing, Verification, and Analysis
-
-
WEISS, S.N.1
-
50
-
-
84976710683
-
PGRAPHITE: An experiment in persistent typed object management
-
(Boston, Nov.). ACM, New York
-
WILEDEN, J. C., WOLF, A. L., FISHER, C. D., AND TARR, P. L. 1988. PGRAPHITE: An experiment in persistent typed object management. In Proceedings of ACM SIGSOFT '88: 3rd Symposium on Software Development Environments (Boston, Nov.). ACM, New York, 130-142.
-
(1988)
Proceedings of ACM SIGSOFT '88: 3rd Symposium on Software Development Environments
, pp. 130-142
-
-
WILEDEN, J.C.1
WOLF, A.L.2
FISHER, C.D.3
TARR, P.L.4
-
51
-
-
1542486272
-
-
Ph.D. thesis, Dept. of Computer Sciences, Purdue Univ., West Lafayette, Ind
-
YEH, W. J. 1993. Controlling state explosion in reachability analysis. Ph.D. thesis, Dept. of Computer Sciences, Purdue Univ., West Lafayette, Ind.
-
(1993)
Controlling state explosion in reachability analysis
-
-
YEH, W.J.1
-
52
-
-
84944469846
-
Compositional reachability analysis using process algebra
-
(Victoria, British Columbia, Oct.). ACM Press, New York
-
YEH, W. J. AND YOUNG, M. 1991. Compositional reachability analysis using process algebra. In Proceedings of the Symposium on Software Testing, Analysis, and Verification (TAV4) (Victoria, British Columbia, Oct.). ACM Press, New York, 49-59.
-
(1991)
Proceedings of the Symposium on Software Testing, Analysis, and Verification (TAV4)
, pp. 49-59
-
-
YEH, W.J.1
YOUNG, M.2
-
53
-
-
84976849005
-
Compositional reachability analysis of Ada programs using process algebra. Tech. Rep., Software Engineering Research Center, Dept. of Computer Sciences, Purdue Univ., West Lafayette, Ind
-
YEH, W. J. AND YOUNG, M. 1993. Compositional reachability analysis of Ada programs using process algebra. Tech. Rep., Software Engineering Research Center, Dept. of Computer Sciences, Purdue Univ., West Lafayette, Ind.
-
(1993)
-
-
YEH, W.J.1
YOUNG, M.2
|