-
1
-
-
0025418560
-
Adding liveness properties to coupled finite-state machines
-
April
-
Aggarwal, S., Courcoubetis, C., and Wolper, P. "Adding Liveness Properties to Coupled Finite-State Machines, " ACM Transactions on Programming Languages and Systems, vol. 12(2), pp. 303-339, April 1990.
-
(1990)
ACM Transactions on Programming Languages and Systems
, vol.12
, Issue.2
, pp. 303-339
-
-
Aggarwal, S.1
Courcoubetis, C.2
Wolper, P.3
-
3
-
-
0000627069
-
Appraising fairness in languages for distributed programming
-
Apt, K.R., Francez, N., and Katz, S. "Appraising fairness in languages for distributed programming, " Distributed Computing, vol. 2, pp. 226-241, 1988.
-
(1988)
Distributed Computing
, vol.2
, pp. 226-241
-
-
Apt, K.R.1
Francez, N.2
Katz, S.3
-
4
-
-
84868290829
-
Dynamic priorities for modeling real-time
-
Osaka, November, T. Mizuno, N. Shiratori, T. Higashino, and A. Togashi, Eds
-
Bhat, G., Cleaveland, R., and Lüttgen, G. "Dynamic priorities for modeling real-time, " in Proc. of the Formal Description Techniques and Protocol Specification, Testing and Verification (FORTE X/PSTV XVII '97), Osaka, November 1997, pp. 321-336. T. Mizuno, N. Shiratori, T. Higashino, and A. Togashi, Eds.
-
(1997)
Proc. of the Formal Description Techniques and Protocol Specification, Testing and Verification (FORTE X/PSTV XVII '97)
, pp. 321-336
-
-
Bhat, G.1
Cleaveland, R.2
Lüttgen, G.3
-
6
-
-
84949466858
-
Verification of liveness properties using compositional reachability analysis
-
Zurich, Switzerland, September, Lecture Notes in Computer Science 1301, M. Jazayeri and H. Schauer, Eds
-
Cheung, S.C., Giannakopoulou, D., and Kramer, J. "Verification of Liveness Properties using Compositional Reachability Analysis, " in Proc. of the 6th European Software Engineering Conference held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'97), Zurich, Switzerland, September 1997. Lecture Notes in Computer Science 1301, pp. 227-243. M. Jazayeri and H. Schauer, Eds.
-
(1997)
Proc. of the 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'97)
, pp. 227-243
-
-
Cheung, S.C.1
Giannakopoulou, D.2
Kramer, J.3
-
7
-
-
0029518579
-
Checking subsystem safety properties in compositional reachability analysis
-
Berlin, Germany, March
-
Cheung, S.C. and Kramer, J. "Checking Subsystem Safety Properties in Compositional Reachability Analysis, " in Proc. of the 18th International Conference on Software Engineering (ICSE'18), Berlin, Germany, March 1996, pp. 144-154.
-
(1996)
Proc. of the 18th International Conference on Software Engineering (ICSE'18)
, pp. 144-154
-
-
Cheung, S.C.1
Kramer, J.2
-
8
-
-
0022706656
-
Automatic verification of finite state concurrent systems using temporal logic specifications
-
Clarke, E.M., Emerson, E.A., and Sistla, A.P. "Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications, " ACM Transactions on Programming Languages and Systems, vol. 8(2), pp. 244-263, 1986.
-
(1986)
ACM Transactions on Programming Languages and Systems
, vol.8
, Issue.2
, pp. 244-263
-
-
Clarke, E.M.1
Emerson, E.A.2
Sistla, A.P.3
-
9
-
-
0000289556
-
Formal methods: State of the art and future directions
-
December
-
Clarke, E.M. and Wing, J.M. "Formal Methods: State of the Art and Future Directions, " ACM Computing Surveys, vol. 28(4), December 1996, pp. 626-643.
-
(1996)
ACM Computing Surveys
, vol.28
, Issue.4
, pp. 626-643
-
-
Clarke, E.M.1
Wing, J.M.2
-
10
-
-
0025464714
-
Priorities in process algebra
-
July/August
-
Cleaveland, R. and Hennessy, M. "Priorities in process algebra, " Information and Computation, vol. 87(1/2), pp. 58-77, July/August 1990.
-
(1990)
Information and Computation
, vol.87
, Issue.1-2
, pp. 58-77
-
-
Cleaveland, R.1
Hennessy, M.2
-
11
-
-
0032667112
-
Patterns in property specifications for finite-state verification
-
Los Angeles, CA, 16-22 May
-
Dwyer, M., Avrunin, G., and Corbett, J. "Patterns in property Specifications for Finite-State Verification, " in Proc. of the 21st International Conference on Software Engineering (ICSE'99), Los Angeles, CA, 16-22 May 1999, pp. 411-420.
-
(1999)
Proc. of the 21st International Conference on Software Engineering (ICSE'99)
, pp. 411-420
-
-
Dwyer, M.1
Avrunin, G.2
Corbett, J.3
-
12
-
-
0002147440
-
Simple on-the-fly automatic verification of linear temporal logic
-
Warsaw, Poland, June
-
Gerth, R., Peled, D., Vardi, M.Y., and Wolper, P. "Simple On-the-fly Automatic Verification of Linear Temporal Logic, " in Proc. of the 15th IFIP/WG6.1 Symposium on Protocol Specification, Testing and Verification (PSTV'95), Warsaw, Poland, June 1995, pp. 3-18.
-
(1995)
Proc. of the 15th IFIP/WG6.1 Symposium on Protocol Specification, Testing and Verification (PSTV'95)
, pp. 3-18
-
-
Gerth, R.1
Peled, D.2
Vardi, M.Y.3
Wolper, P.4
-
13
-
-
0011857387
-
-
PhD Thesis, Dept. of Computing, Imperial College, London, March
-
Giannakopoulou, D. "Model Checking for Concurrent Software Architectures, " PhD Thesis, Dept. of Computing, Imperial College, London, March 1999.
-
(1999)
Model Checking for Concurrent Software Architectures
-
-
Giannakopoulou, D.1
-
14
-
-
0011852873
-
Analysing the behaviour of distributed systems using tracta
-
special issue on Automated Analysis of Software, vol., January, R. Cleaveland and D. Jackson, Eds
-
Giannakopoulou, D., Kramer, J., and Cheung, S.C. "Analysing the Behaviour of Distributed Systems using Tracta, " Journal of Automated Software Engineering, special issue on Automated Analysis of Software, vol. 6(1), January 1999. R. Cleaveland and D. Jackson, Eds.
-
(1999)
Journal of Automated Software Engineering
, vol.6
, Issue.1
-
-
Giannakopoulou, D.1
Kramer, J.2
Cheung, S.C.3
-
15
-
-
0027713506
-
On the verification of temporal properties
-
Liège, Belgium, June, A. Danthine, G. Leduc, and P. Wolper, Eds
-
Godefroid, P. and Holzmann, G.J. "On the Verification of Temporal Properties, " in Proc. of the 13th IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification (PSTV'93), Liège, Belgium, June 1993, pp. 109-124. A. Danthine, G. Leduc, and P. Wolper, Eds.
-
(1993)
Proc. of the 13th IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification (PSTV'93)
, pp. 109-124
-
-
Godefroid, P.1
Holzmann, G.J.2
-
21
-
-
85034565451
-
Impartiality, justice and fairness: The ethics of concurrent termination
-
Acre (Akko), Israel, July 13-17, Lecture Notes in Computer Science 115, S. Even and O. Kariv, Eds
-
Lehmann, D., Pnueli, A., and Stavi, J. "Impartiality, Justice and Fairness: The ethics of concurrent termination, " in Proc. of the 8th International Colloquium on Automata, Languages and Programming, Acre (Akko), Israel, July 13-17, 1981. Lecture Notes in Computer Science 115, pp. 264-277. S. Even and O. Kariv, Eds.
-
(1981)
Proc. of the 8th International Colloquium on Automata, Languages and Programming
, pp. 264-277
-
-
Lehmann, D.1
Pnueli, A.2
Stavi, J.3
-
22
-
-
0031352210
-
Analysing the behaviour of distributed software architectures: A case study
-
Tunis, Tunisia, October
-
Magee, J., Kramer, J., and Giannakopoulou, D. "Analysing the Behaviour of Distributed Software Architectures: a Case Study, " in Proc. of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems, Tunis, Tunisia, October 1997, pp. 240-245.
-
(1997)
Proc. of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems
, pp. 240-245
-
-
Magee, J.1
Kramer, J.2
Giannakopoulou, D.3
-
23
-
-
84949044366
-
Software architecture directed behaviour analysis
-
Ise-shima, Japan, April 16-18
-
Magee, J., Kramer, J., and Giannakopoulou, D. "Software Architecture Directed Behaviour Analysis, " in Proc. of the Ninth IEEE International Workshop on Software Specification and Design (IWSSD-9), Ise-shima, Japan, April 16-18 1998, pp. 144-146.
-
(1998)
Proc. of the Ninth IEEE International Workshop on Software Specification and Design (IWSSD-9)
, pp. 144-146
-
-
Magee, J.1
Kramer, J.2
Giannakopoulou, D.3
-
25
-
-
33746779228
-
Divergence and fair testing
-
Szeged, Hungary, July, Lecture Notes in Computer Science 944, Z. Fulop and F. Gecseg, Eds
-
Natarajan, V. and Cleaveland, R. "Divergence and Fair Testing, " in Proc. of the Automata, Languages and Programming (ICALP '95), Szeged, Hungary, July 1995. Lecture Notes in Computer Science 944, pp. 648-659. Z. Fulop and F. Gecseg, Eds.
-
(1995)
Proc. of the Automata, Languages and Programming (ICALP '95)
, pp. 648-659
-
-
Natarajan, V.1
Cleaveland, R.2
-
26
-
-
84887500710
-
Approaches to priority in process algebra
-
Draft, Imperial College, London, November
-
Phillips, I. "Approaches to priority in process algebra, " Draft Report, Dept. of Computing, Imperial College, London, November 1994.
-
(1994)
Report, Dept. of Computing
-
-
Phillips, I.1
-
27
-
-
0020786959
-
Fairness and related properties in transition systems - A temporal logic to deal with fairness
-
Queille, J.P. and Sifakis, J. "Fairness and Related Properties in Transition Systems - A Temporal Logic to Deal with Fairness, " Acta Informatica, vol. 19, pp. 195-220, 1983.
-
(1983)
Acta Informatica
, vol.19
, pp. 195-220
-
-
Queille, J.P.1
Sifakis, J.2
-
29
-
-
0001790593
-
Depth-first search and linear graph algorithms
-
Tarjan, R. "Depth-First Search and Linear Graph Algorithms, " SIAM Journal of Computing, vol. 1, pp. 146-160, 1972.
-
(1972)
SIAM Journal of Computing
, vol.1
, pp. 146-160
-
-
Tarjan, R.1
-
30
-
-
0022987223
-
An automata-theoretic approach to automatic program verification
-
Cambridge, June
-
Vardi, M.Y. and Wolper, P. "An automata-theoretic approach to automatic program verification, " in Proc. of the 1st Symposium on Logic in Computer Science, Cambridge, June 1986, pp. 322-331.
-
(1986)
Proc. of the 1st Symposium on Logic in Computer Science
, pp. 322-331
-
-
Vardi, M.Y.1
Wolper, P.2
|