Interface Automata (2001)

by Luca de Alfaro , Thomas A. Henzinger
Venue:Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE), ACM
Citations:333 - 22 self

Documents Related by Co-Citation

108 Interface Theories for Component-based Design – Luca De Alfaro, Thomas A. Henzinger - 2001
247 Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. ACM Distinguished Dissertations – David L Dill - 1989
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
448 Alternating-time Temporal Logic – Rajeev Alur, Thomas Henzinger, Orna Kupferman - 1997
158 MOCHA: Modularity in Model Checking – Rajeev Alur, Thomas A. Henzinger, F.Y.C. Mang, R. Alur, S.K. Rajamani, S. Tasiran, S. Qadeer - 1998
123 Alternating refinement relations – Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi - 1998
365 Hierarchical correctness proofs for distributed algorithms – Nancy A. Lynch, Mark R. Tuttle - 1987
1534 Distributed Algorithms – N A Lynch - 1996
276 Reactive Modules – Rajeev Alur , Thomas A. Henzinger - 1996
82 Assumption generation for software component verification – Dimitra Giannakopoulou, Corina S. Păsăreanu, Howard Barringer - 2002
289 Mining Specifications – Glenn Ammons, Rastislav Bodik, James R. Larus - 2002
139 Conversation specification: a new approach to design and analysis of e-service composition – Tevfik Bultan, Xiang Fu, Richard Hull, Jianwen Su - 2003
73 Realizable and unrealizable specifications of reactive systems – M Abadi, L Lamport, P Wolper - 1989
1330 A Calculus of Communicating Systems – R Milner - 1980
271 Model Checking and Modular Verification – Orna Grumberg, David E. Long - 1991
786 The semantics of a simple language for parallel programming – G Kahn - 1974
71 Tree automata, µ-calculus and determinacy – E A Emerson, C S Jutla - 1991
41 Context Constraints for Compositional Reachability Analysis – S C Cheung, J Kramer - 1996