-
1
-
-
0026258660
-
Automated analysis of concurrent systems with the constrained expression toolset
-
a
-
AVRUNIN, G. S., BUY, U. A., CORBETT, J. C., DILLON, L. K., AND WILEDEN, J. C. 1991a. Automated analysis of concurrent systems with the constrained expression toolset. IEEE Trans. Softw. Eng. 17, 11, 1204-1222.
-
(1991)
IEEE Trans. Softw. Eng.
, vol.17
, Issue.11
, pp. 1204-1222
-
-
AVRUNIN, G.S.1
BUY, U.A.2
CORBETT, J.C.3
DILLON, L.K.4
WILEDEN, J.C.5
-
2
-
-
1542695801
-
Experiments with an improved constrained expression toolset
-
b, (Victoria, British Columbia). ACM, New York
-
AVRUNIN, G. S., BUY, U. A., CORBETT, J. C., DILLON, L. K., AND WILEDEN, J. C. 1991b. Experiments with an improved constrained expression toolset. In Proceedings of the 4th Symposium on Testing, Analysis, and Verification (Victoria, British Columbia). ACM, New York, 178-187.
-
(1991)
Proceedings of the 4th Symposium on Testing, Analysis, and Verification
, pp. 178-187
-
-
AVRUNIN, G.S.1
BUY, U.A.2
CORBETT, J.C.3
DILLON, L.K.4
WILEDEN, J.C.5
-
3
-
-
0000940701
-
Checking properties of nets using transformations
-
Lecture Notes in Computer Science, Springer-Verlag, New York
-
BERTHELOT, G. 1987. Checking properties of nets using transformations. In Advances in Petri nets. Lecture Notes in Computer Science, vol. 222. Springer-Verlag, New York, 19-40.
-
(1987)
Advances in Petri nets
, vol.222
, pp. 19-40
-
-
BERTHELOT, G.1
-
4
-
-
0003384938
-
Analysis of real-time programs with simple time Petri nets
-
(Seattle, Wash.). ACM, New York
-
BUY, U. AND SLOAN, R. H. 1994. Analysis of real-time programs with simple time Petri nets. In Proceedings of the 1994 International Symposium on Software Testing and Analysis (Seattle, Wash.). ACM, New York, 228-239.
-
(1994)
Proceedings of the 1994 International Symposium on Software Testing and Analysis
, pp. 228-239
-
-
BUY, U.1
SLOAN, R.H.2
-
5
-
-
84976673620
-
Using state space reduction to aid in Ada tasking analysis: Concepts and experiments. Tech. Rep. UIC-EECS-92-9, Concurrent Software Systems Lab, EECS Department, Univ. of Illinois, Chicago, Ill
-
BUY, U., DEVARAPALLI, R., DURI, S., AND SHATZ, S. M. 1992. Using state space reduction to aid in Ada tasking analysis: Concepts and experiments. Tech. Rep. UIC-EECS-92-9, Concurrent Software Systems Lab, EECS Department, Univ. of Illinois, Chicago, Ill.
-
(1992)
-
-
BUY, U.1
DEVARAPALLI, R.2
DURI, S.3
SHATZ, S.M.4
-
6
-
-
84976744525
-
Identical tasks and counter variables in an integer programming-based approach to verification
-
(Redondo Beach, Calif.). ACM, New York, To appear in ACM Software Engineering Notes.
-
CORBETT, J. C. 1993. Identical tasks and counter variables in an integer programming-based approach to verification. In Proceedings of the 7th International Workshop on Software Specifications and Design (Redondo Beach, Calif.). ACM, New York, 100-109. To appear in ACM Software Engineering Notes.
-
(1993)
Proceedings of the 7th International Workshop on Software Specifications and Design
, pp. 100-109
-
-
CORBETT, J.C.1
-
7
-
-
84976745140
-
Applying TOTAL to realistic Ada tasking programs: Experiments, problems, and solutions
-
Master's Project Rep., Dept. of EECS, Univ. of Illinois, Chicago, Ill
-
DEVARAPALLI, R. 1993. Applying TOTAL to realistic Ada tasking programs: Experiments, problems, and solutions. Master's Project Rep., Dept. of EECS, Univ. of Illinois, Chicago, Ill.
-
(1993)
-
-
DEVARAPALLI, R.1
-
8
-
-
0015195766
-
Hierarchical ordering of sequential processes
-
DIJKSTRA, E. W. 1971. Hierarchical ordering of sequential processes. Acta Informatica 2, 2, 115-138.
-
(1971)
Acta Informatica
, vol.2
, Issue.2
, pp. 115-138
-
-
DIJKSTRA, E.W.1
-
9
-
-
0027843866
-
Using state space methods for deadlock analysis in Ada tasking
-
(Cambridge, Mass.). ACM, New York
-
DURI, S., BUY, U., DEVARAPALLI, R., AND SHATZ, S. M. 1993. Using state space methods for deadlock analysis in Ada tasking. In Proceedings of the 1993 International Symposium on Software Testing and Analysis (Cambridge, Mass.). ACM, New York, 51-60.
-
(1993)
Proceedings of the 1993 International Symposium on Software Testing and Analysis
, pp. 51-60
-
-
DURI, S.1
BUY, U.2
DEVARAPALLI, R.3
SHATZ, S.M.4
-
10
-
-
84976738415
-
-
Tech. Rep. CSDL-R-2307, The Charles Stark Draper Laboratory, Inc., Cambridge, Mass
-
FUJITA-YUHAS, T., CLOUGH, A., AND VIDALE, R. 1990. Development methodology for hard real-time systems-IR&D 281 Final Report. Tech. Rep. CSDL-R-2307, The Charles Stark Draper Laboratory, Inc., Cambridge, Mass.
-
(1990)
Development methodology for hard real-time systems-IR&D 281 Final Report
-
-
FUJITA-YUHAS, T.1
CLOUGH, A.2
VIDALE, R.3
-
12
-
-
84929062089
-
Using partial orders for the efficient verification of deadlock freedom and safety properties
-
K. G. Larsen and A. Skou, Eds. Lecture Notes in Computer Science, Springer-Verlag, New York
-
GODEFROID, P. AND WOLPER, P. 1991. Using partial orders for the efficient verification of deadlock freedom and safety properties. In Computer-Aided Verification, K. G. Larsen and A. Skou, Eds. Lecture Notes in Computer Science, vol. 575. Springer-Verlag, New York, 332-342.
-
(1991)
Computer-Aided Verification
, vol.575
, pp. 332-342
-
-
GODEFROID, P.1
WOLPER, P.2
-
13
-
-
0022026418
-
Debugging Ada tasking programs
-
HELMBOLD, D. AND LUCKHAM, D. 1985. Debugging Ada tasking programs. IEEE Softw. 2, 2, 47-57.
-
(1985)
IEEE Softw
, vol.2
, Issue.2
, pp. 47-57
-
-
HELMBOLD, D.1
LUCKHAM, D.2
-
14
-
-
0009856696
-
Coverage preserving reduction strategies for reachability analysis
-
(Lake Buena Vista, Fla.). North-Holland, Amsterdam
-
HOLZMANN, G., GODEFROID, P., AND PIROTTIN, D. 1992. Coverage preserving reduction strategies for reachability analysis. In Proceedings of the 12th International Symposium on Protocol Specification, Testing, and Verification (Lake Buena Vista, Fla.). North-Holland, Amsterdam, 349-363.
-
(1992)
Proceedings of the 12th International Symposium on Protocol Specification, Testing, and Verification
, pp. 349-363
-
-
HOLZMANN, G.1
GODEFROID, P.2
PIROTTIN, D.3
-
15
-
-
0025471560
-
Starvation and critical race analyzers for Ada
-
KARAM, G. M. AND BUHR, R. J. 1990. Starvation and critical race analyzers for Ada. IEEE Trans. Softw. Eng. 16, 8, 829-843.
-
(1990)
IEEE Trans. Softw. Eng.
, vol.16
, Issue.8
, pp. 829-843
-
-
KARAM, G.M.1
BUHR, R.J.2
-
16
-
-
0024664865
-
Task interaction graphs for concurrency analysis
-
(Pittsburgh, Pa.). IEEE, New York
-
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.). IEEE, New York, 44-52.
-
(1989)
Proceedings of the 11th International Conference on Software Engineering
, pp. 44-52
-
-
LONG, D.L.1
CLARKE, L.A.2
-
18
-
-
0024683436
-
A practical algorithm for static analysis of parallel programs
-
(June)
-
MCDOWELL, C. E. 1989. A practical algorithm for static analysis of parallel programs. J. Parall. Distrib. Process. (June), 515-536.
-
(1989)
J. Parall. Distrib. Process.
, pp. 515-536
-
-
MCDOWELL, C.E.1
-
19
-
-
84976771531
-
Modeling and analysis of Ada tasking using colored Petri nets
-
Master's thesis, Dept. of Computer Science, Boston University, Boston, Mass
-
MCLENDON, W. W., JR. 1991. Modeling and analysis of Ada tasking using colored Petri nets. Master's thesis, Dept. of Computer Science, Boston University, Boston, Mass.
-
(1991)
-
-
MCLENDON, W.W.1
-
20
-
-
0001081511
-
Interactive state-space analysis of concurrent systems
-
MORGAN, E. T. AND RAZOUK, R. 1987. Interactive state-space analysis of concurrent systems. IEEE Trans. Softw. Eng. 13, 10, 1080-1091.
-
(1987)
IEEE Trans. Softw. Eng.
, vol.13
, Issue.10
, pp. 1080-1091
-
-
MORGAN, E.T.1
RAZOUK, R.2
-
21
-
-
0024645936
-
Petri nets: Properties, analysis and applications
-
MURATA, T. 1989. Petri nets: Properties, analysis and applications. Proc. IEEE 77, 4, 451-480.
-
(1989)
Proc. IEEE
, vol.77
, Issue.4
, pp. 451-480
-
-
MURATA, T.1
-
22
-
-
0024628787
-
Detection of Ada static deadlocks using Petri net invariants
-
MURATA, T., SHENKER, B., AND SHATZ, S. M. 1989. Detection of Ada static deadlocks using Petri net invariants. IEEE Trans. Softw. Eng. 15, 3, 314-326.
-
(1989)
IEEE Trans. Softw. Eng.
, vol.15
, Issue.3
, pp. 314-326
-
-
MURATA, T.1
SHENKER, B.2
SHATZ, S.M.3
-
23
-
-
4143080220
-
A proposed testing and analysis research initiative
-
OSTERWEIL, L. AND CLARKE, L. A. 1992. A proposed testing and analysis research initiative. IEEE Softw. 9, 5, 89-96.
-
(1992)
IEEE Softw
, vol.9
, Issue.5
, pp. 89-96
-
-
OSTERWEIL, L.1
CLARKE, L.A.2
-
24
-
-
0023998898
-
The complexity of reachability in distributed communicating processes
-
REIF, J. H. AND SMOLKA, S. A. 1988. The complexity of reachability in distributed communicating processes. Acta Informatica 25, 3, 333-354.
-
(1988)
Acta Informatica
, vol.25
, Issue.3
, pp. 333-354
-
-
REIF, J.H.1
SMOLKA, S.A.2
-
25
-
-
0041861479
-
Development of Distributed Software: Concepts and Tools
-
Macmillan, New York
-
SHATZ, S. M. 1993. Development of Distributed Software: Concepts and Tools. Macmillan, New York.
-
(1993)
-
-
SHATZ, S.M.1
-
26
-
-
0025502608
-
Design and implementation of a Petri net-based toolkit for Ada tasking analysis
-
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. Parall. Distrib. Syst. 1, 4, 424-441.
-
(1990)
IEEE Trans. Parall. Distrib. Syst.
, vol.1
, Issue.4
, pp. 424-441
-
-
SHATZ, S.M.1
MAI, K.2
BLACK, C.3
TU, S.4
-
27
-
-
84976671260
-
-
Tech. Rep. UIC-EECS 91-15, EECS Department, Univ. of Illinois, Chicago, Ill
-
SHATZ, S. M., TU, S., MURATA, T., AND DURI, S. 1993. Theory and application of Petri net reduction for Ada-tasking deadlock analysis. Tech. Rep. UIC-EECS 91-15, EECS Department, Univ. of Illinois, Chicago, Ill.
-
(1993)
Theory and application of Petri net reduction for Ada-tasking deadlock analysis
-
-
SHATZ, S.M.1
TU, S.2
MURATA, T.3
DURI, S.4
-
28
-
-
0000418537
-
Reachability analysis of Petri nets using symmetries
-
STARKE, P. H. 1991. Reachability analysis of Petri nets using symmetries. Syst. Anal. Model. Simul. 8, 293-303.
-
(1991)
Syst. Anal. Model. Simul.
, vol.8
, pp. 293-303
-
-
STARKE, P.H.1
-
29
-
-
0020736536
-
Complexity of analyzing the synchronization structure of concurrent programs
-
a
-
TAYLOR, R. 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.1
-
30
-
-
0020752281
-
A general purpose algorithm for analyzing concurrent programs
-
b
-
TAYLOR, R. 1983b. A general purpose algorithm for analyzing concurrent programs. Commun. ACM 26, 5, 362-376.
-
(1983)
Commun. ACM
, vol.26
, Issue.5
, pp. 362-376
-
-
TAYLOR, R.1
-
31
-
-
0025531205
-
Applying Petri net reduction to support Ada-tasking deadlock detection
-
(Paris, France). IEEE, New York
-
Tu, S., SHATZ, S. M., AND MURATA, T. 1990. Applying Petri net reduction to support Ada-tasking deadlock detection. In Proceedings of the 11th International Conference on Distributed Computing Systems (Paris, France). IEEE, New York, 96-103.
-
(1990)
Proceedings of the 11th International Conference on Distributed Computing Systems
, pp. 96-103
-
-
Tu, S.1
SHATZ, S.M.2
MURATA, T.3
-
32
-
-
85016851732
-
A stubborn attack on state explosion
-
Lecture Notes in Computer Science, Springer-Verlag, New York
-
VALMARI, A. 1991. A stubborn attack on state explosion. In Proceedings of the 2nd International Workshop on Computer-Aided Verification. Lecture Notes in Computer Science, vol. 531. Springer-Verlag, New York, 156-165.
-
(1991)
Proceedings of the 2nd International Workshop on Computer-Aided Verification
, vol.531
, pp. 156-165
-
-
VALMARI, A.1
-
35
-
-
84944469846
-
Compositional reachability analysis using process algebra
-
(Victoria, British Columbia). ACM, New York
-
YEH, W. J. AND YOUNG, M. 1991. Compositional reachability analysis using process algebra. In Proceedings of the 1991 International Symposium on Testing, Analysis, and Verification (Victoria, British Columbia). ACM, New York, 49-59.
-
(1991)
Proceedings of the 1991 International Symposium on Testing, Analysis, and Verification
, pp. 49-59
-
-
YEH, W.J.1
YOUNG, M.2
-
36
-
-
0024092198
-
Combining static concurrency analysis with symbolic execution
-
YOUNG, M. AND TAYLOR, R. N. 1988. Combining static concurrency analysis with symbolic execution. IEEE Trans. Softw. Eng. 14, 10, 1499-1511.
-
(1988)
IEEE Trans. Softw. Eng.
, vol.14
, Issue.10
, pp. 1499-1511
-
-
YOUNG, M.1
TAYLOR, R.N.2
-
37
-
-
0024942488
-
Integrated concurrency analysis in a software development environment
-
Softw. Eng. Notes 14
-
YOUNG, M., TAYLOR, R. N., FORESTER, K., AND BRODBECK, D. 1989. Integrated concurrency analysis in a software development environment. In Proceedings of the ACM SIGSOFT '89 3rd Symposium on Software Testing, Analysis and Verification. Softw. Eng. Notes 14, 8, 200-209.
-
(1989)
Proceedings of the ACM SIGSOFT '89 3rd Symposium on Software Testing, Analysis and Verification
, vol.8
, pp. 200-209
-
-
YOUNG, M.1
TAYLOR, R.N.2
FORESTER, K.3
BRODBECK, D.4
|