References: [1] Adler, B., de Alfaro, L., da Silva, L. D., Faella, M., Legay, A., Raman, V., Roy, P. (2006). Ticc, a tool for interface compatibility and composition. In Proceedings 18th International Conference on Computer Aided Verification (CAV) (Vol. 4144, Lecture Notes in Computer Science). Springer. [2] Alur, R., Henzinger, T. A., Kupferman, O. (1997). Alternating-time temporal logic. In Proc. 38th IEEE Symp. Found. of Comp. Sci. (pp. 100–109). IEEE Computer Society Press. [3] Alur, R., Henzinger, T. A., Mang, F. Y. C., Qadeer, S., Rajamani, S. K., Tasiran, S. (1998). Mocha: Modularity in model checking. In CAV 98: Proc. of 10th Conf. on Computer Aided Verification (Vol. 1427, Lect. Notes in Comp. Sci., pp. 521–525). Springer-Verlag. [4] Bryant, R. E. (1986). Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8), 677–691. [5] Chackrabarti, A., de Alfaro, L., Henzinger, T. A., Stoelinga, M. (2003). Resource interfaces. In EMSOFT 03: 3rd Intl. Workshop on Embedded Software (Vol. 2855, Lect. Notes in Comp. Sci., pp. 117–133). Springer-Verlag. [6] Chackrabarti, A., de Alfaro, L., Jurdzinski, M., Chatterjee, K., Henzinger, T. A., & Mang, F.Y.C. (2003). CHIC: Checker for interface compatibility. Retrieved from http:// wwwcad.eecs.berkeley.edu/tah/chic/. [7] Chakrabarti, A., de Alfaro, L., Henzinger, T. A., Jurdzinski, M., Mang, F.Y.C. (2002). Interface compatibility checking for software modules. In CAV 02: Proceedings of the 14th Conference on Computer Aided Verification (Vol. 2404, Lecture Notes in Computer Science, pp. 428–441). Springer-Verlag. [8] Chakrabarti, A., de Alfaro, L., Henzinger, T. A., Mang, F.Y.C. (2002). Synchronous and bidirectional component interfaces. In CAV 02: Proceedings of the 14th Conference on Computer Aided Verification (Vol. 2404, Lecture Notes in Computer Science, pp. 414–427). Springer-Verlag. [9] Clarke, E.M., Grumberg, O., Peled, D.A. (1999). Model Checking. MIT Press. [10] de Alfaro, L. (2003). Game models for open systems. In Proceedings of the International Symposium on Verification (Theory in Practice) (Vol. 2772, Lecture Notes in Computer Science). Springer-Verlag. [11] de Alfaro, L., Alur, R., Grosu, R., Henzinger, T., Kang, M., Majumdar, R., Mang, F., MeyerKirsch, C., Wang, B.Y. (2001). Mocha: A model checking tool that exploits design structure. In ICSE 01: Proceedings of the 23rd International Conference on Software Engineering. [12] de Alfaro, L., da Silva, L. D., Faella, M., Legay, A., Roy, P., Sorea, M. (2005). Sociable interfaces. In Proceedings of the 5th International Workshop on Frontiers of Combining Systems (Vol. 3717, Lecture Notes in Computer Science, pp. 81–105). Springer. [13] de Alfaro, L., Henzinger, T. A. (2001). Interface automata. In Proceedings of the 8th European Software Engineering Conference and the 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE) (pp. 109–120). ACM Press. [14] de Alfaro, L., Henzinger, T. A. (2001). Interface theories for component-based design. In EMSOFT 01: 1st International Workshop on Embedded Software (Vol. 2211, Lecture Notes in Computer Science, pp. 148–165). Springer-Verlag. [15] de Alfaro, L., Henzinger, T. A. (2004). Interface-based design. In Engineering Theories of Software Intensive Systems, Proceedings of the Marktoberdorf Summer School. Kluwer. [16] de Alfaro, L., Henzinger, T. A., Stoelinga, M. (2002). Timed interfaces. In Proceedings of the Second International Workshop on Embedded Software (EMSOFT 2002), Lecture Notes in Computer Science (pp. 108–122). Springer-Verlag. [17] de Alfaro, L., Stoelinga, M. (2003). Interfaces: A game-theoretic framework to reason about open systems. In FOCLASA 03: Proceedings of the 2nd International Workshop on Foundations of Coordination Languages and Software Architectures. [18] Faella, M., Legay, A. (2005). Some models and tools for open systems. Technical report, University of Santa Cruz. Proceedings of FIT05. [19] Lee, E. A., Xiong, Y. (2003). A behavioral type system and its application in Ptolemy II. Formal Aspects of Computing Journal. [20] Leroy, X. Objective Caml. Retrieved from http://caml.inria.fr/ocaml/index.en.html. [21] Lynch, N. A. (1996). Distributed Algorithms. Morgan-Kaufmann. [22] Somenzi, F. Cudd: CU decision diagram package. Retrieved from http://vlsi.colorado.edu/ fabio/CUDD/cuddIntro.html. [23] Srinivasan, A., Kam, T., Malik, S., Brayton, R. (1990). Algorithms for discrete function manipulation. In: Proceedings International Conference CAD (ICCAD-91). |