SCOPUS 정보 검색 플랫폼

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2002, Pages 442-452

Invariant-based specification, synthesis, and verification of synchronization in concurrent programs

(4) Deng, Xianghua a Dwyer, Matthew B a Hatcliff, John a Mizuno, Masaaki a

a Sunflower Networking Group (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONCURRENCY CONTROL; JAVA PROGRAMMING LANGUAGE; PROGRAM DIAGNOSTICS; SEMANTICS; SYNCHRONIZATION;

GLOBAL INVARIANT PATTERNS; SOFTWARE MODEL-CHECKING;

COMPUTER SOFTWARE;

EID: 0036038312 PISSN: 02705257 EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/581392.581394 Document Type: Conference Paper

Times cited : (53)

References (27)

1
- 0000810746
- Abstracting object-interactions using composition-filters
- (1993) Object-Based Distributed Processing, Lecture Notes in Computer Science 791
- Aksit, M.¹ Wakita, K.² Bosch, J.³ Bergmans, L.⁴ Yonezawa, A.⁵

2
- 0004016696
- Addison-Wesley
- (1991) Concurrent Programming: Principles and Practice
- Andrews, G.R.¹

3
- 0003739606
- Addison-Wesley
- (2000) Foundations of Multithreaded, Parallel, and Distributed Programming
- Andrews, G.R.¹

4
- 0034818448
- Automatic predicate abstraction of C programs
- June
- (2001) Proceedings of the ACM SIGPLAN '01 Conference on Programming Language Design and Implementation (PLDI-01) , pp. 203-213
- Ball, T.¹ Majumdar, R.² Millstein, T.³ Rajamani, S.⁴

5
- 0005365265
- Jones and Bartlett
- (1993) Distributed Operating Systems and Algorithms
- Bernstein, A.¹ Lewis, P.²

6
- 85087233991
- An analysis-based approach to composition of distributed embedded systems
- Proc. of the International Workshop on Hardware/Software Codesign, 1998
- Chou, P.¹ Borriello, G.²

7
- 0027342054
- The concurrency workbench: A semantics-based verification tool for the verification of concurrent systems
- Jan.
- (1993) ACM Transactions on Programming Languages and Systems , vol.15 , Issue.1 , pp. 36-72
- Cleaveland, R.¹

8
- 0033697422
- Bandera: Extracting finite-state models from Java source code
- Proceedings of the 22nd International Conference on Software Engineering, June 2000
- Corbett, J.C.¹ Dwyer, M.B.² Hatcliff, J.³ Laubach, S.⁴ Pǎsǎreanu, C.S.⁵ Robby⁶ Zheng, H.⁷

9
- 0005297227
- Tool-support for invariant-based specification, synthesis, and verification of synchronization in concurrent Java programs
- Technical report
- (2001)
- Deng, X.¹

10
- 0035000465
- Tool-supported program abstraction for finite-state verification
- Proceedings of the 23rd International Conference on Software Engineering, May 2001
- Dwyer, M.B.¹ Hatcliff, J.² Joehanes, R.³ Laubach, S.⁴ Pǎsǎreanu, C.S.⁵ Robby, W.V.⁶ Zheng, H.⁷

11
- 0035783999
- Modular verification of collaboration-based software designs
- Sept.
- (2001) Proceedings of the 8th European Software Engineering Conference Held Jointly with the 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering , pp. 152-163
- Fisler, K.¹ Krishnamurthi, S.²

12
- 0003844091
- Springer-Verlag, New York
- (1981) The Science of Programming
- Gries, D.¹

13
- 0004022117
- Oxford University Press
- (1998) Concurrent Programming - the Java Programming Language
- Hartley, S.¹

14
- 0034511711
- Slicing software for model construction
- (2000) Higher-Order and Symbolic Computation , vol.13 , Issue.4
- Hatcliff, J.¹ Dwyer, M.B.² Zheng, H.³

15
- 0030197750
- Automated consistency checking of requirements specifications
- July
- (1996) ACM Transactions on Software Engineering and Methodology , vol.5 , Issue.3 , pp. 231-261
- Heitmeyer, C.L.¹ Jeffords, R.D.² Labaw, B.G.³

16
- 0031315113
- Aspects of synchronization
- Proceedings of the Twenty-Fifth Conference on the Technology of Object-Oriented Languages and Systems (TOOLS Pacific '97), 1997
- Holmes, D.¹ Noble, J.² Potter, J.³

17
- 18944390941
- The model checker SPIN
- May
- (1997) IEEE Transactions on Software Engineering , vol.23 , Issue.5 , pp. 279-294
- Holzmann, G.J.¹

18
- 0000381112
- Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
- (1999) Formal Aspects of Computing , vol.11 , Issue.6 , pp. 637-664
- Latella, D.¹ Majzik, I.² Massink, M.³

19
- 0003702998
- D: A language framework for distributed programming
- In Technical Report SPL97-010, P9710047, Xerox Palo Alto Research Center
- (1997)
- Lopes, C.¹ Kiczales, C.²

20
- 0030637986
- Automated computation of decomposable synchronization conditions
- IEEE High-Assurance Systems Engineering Workshop, 1997
- Matos, G.¹ Purtilo, J.² White, E.³

21
- 0033548339
- A structured approach for developing concurrent programs in Java
- Mar.
- (1999) Information Processing Letters , vol.69 , Issue.5 , pp. 233-238
- Mizuno, M.¹

22
- 0004056947
- A pattern-based approach to developing concurrent programs in UML: Part 1
- Technical Report 2001-2, Kansas State University, Department of Computing and Information Sciences
- (2001)
- Mizuno, M.¹

23
- 0004056947
- A pattern-based approach to developing concurrent programs in UML: Part 2
- Technical Report 2001-3, Kansas State University, Department of Computing and Information Sciences
- (2001)
- Mizuno, M.¹

25
- 0032045971
- The design of the TAO real-time object request broker
- Apr.
- (1998) Computer Communications , vol.21 , Issue.4
- Schmidt, D.C.¹ Levine, D.L.² Mungee, S.³

26
- 0001956132
- Soot - a Java optimization framework
- (1999) Proceedings of CASCON 1999 , pp. 125-135
- Vallee-Rai, R.¹ Hendren, L.² Sundaresan, V.³ Lam, P.⁴ Gagnon, E.⁵ Co, P.⁶

27
- 0034506577
- Using predicate abstraction to reduce object-oriented programs for model checking
- Aug.
- (2000) Proceedings of the 3rd Workshop on Formal Methods in Software Practice (FMSP-00) , pp. 3-12
- Visser, W.¹ Park, S.J.² Penix, J.³

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.