Rigorous Component-Based System Design Using the BIP Framework
暂无分享,去创建一个
Joseph Sifakis | Thanh-Hung Nguyen | Marius Bozga | Ananda Basu | Saddek Bensalem | Jacques Combaz | Mohamad Jaber | J. Sifakis | M. Bozga | Mohamad Jaber | S. Bensalem | Thanh-Hung Nguyen | A. Basu | Jacques Combaz
[1] Joseph Sifakis,et al. Incremental component-based construction and verification using invariants , 2010, Formal Methods in Computer Aided Design.
[2] Matthieu Herrb,et al. G/sup en/oM: a tool for the specification and the implementation of operating modules in a distributed robot architecture , 1997, Proceedings of the 1997 IEEE/RSJ International Conference on Intelligent Robot and Systems. Innovative Robotics for Real-World Applications. IROS '97.
[3] Steve Vestal,et al. The SAE Architecture Analysis & Design Language (AADL) a standard for engineering performance critical systems , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.
[4] Jeff Magee,et al. Dynamic structure in software architectures , 1996, SIGSOFT '96.
[5] Rajive L. Bagrodia,et al. Process Synchronization: Design and Performance Evaluation of Distributed Algorithms , 1989, IEEE Trans. Software Eng..
[6] K. Mani Chandy,et al. Parallel program design - a foundation , 1988 .
[7] Joseph Sifakis,et al. From high-level component-based models to distributed implementations , 2010, EMSOFT '10.
[8] Alan Burns,et al. Real-Time Systems and Programming Languages , 2009 .
[9] Joseph Sifakis,et al. D-Finder: A Tool for Compositional Deadlock Detection and Verification , 2009, CAV.
[10] Joseph Sifakis,et al. Causal semantics for the algebra of connectors , 2008, Formal Methods Syst. Des..
[11] Joseph Sifakis,et al. Incremental Component-Based Construction and Verification of a Robotic System , 2008, ECAI.
[12] Edward A. Lee,et al. Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.
[13] Joseph Sifakis,et al. Compositional verification for component-based systems and application , 2010, IET Softw..
[14] Joseph Sifakis,et al. A Notion of Glue Expressiveness for Component-Based Systems , 2008, CONCUR.
[15] David Garlan,et al. Acme: an architecture description interchange language , 1997, CASCON.
[16] Nicolas Halbwachs,et al. Synchronous Programming of Reactive Systems , 1992, CAV.