Hierarchical System Design with Vertical Contracts
暂无分享,去创建一个
[1] Rajeev Alur,et al. Counterexample-guided predicate abstraction of hybrid systems , 2006, Theor. Comput. Sci..
[2] Alberto L. Sangiovanni-Vincentelli,et al. A Contract-based Framework for Integrated Demand Response Management in Smart Grids , 2015, BuildSys@SenSys.
[3] Goran Frehse,et al. PHAVer: algorithmic verification of hybrid systems past HyTech , 2005, International Journal on Software Tools for Technology Transfer.
[4] Dejan Nickovic,et al. Compositional Contract Abstraction for System Design , 2014 .
[5] Alberto L. Sangiovanni-Vincentelli,et al. Stochastic contracts for cyber-physical system design under probabilistic requirements , 2017, MEMOCODE.
[6] Alberto L. Sangiovanni-Vincentelli,et al. A Contract-Based Methodology for Aircraft Electric Power System Design , 2014, IEEE Access.
[7] Alberto L. Sangiovanni-Vincentelli,et al. Contract-based design of control protocols for safety-critical cyber-physical systems , 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).
[8] Alberto L. Sangiovanni-Vincentelli,et al. Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems , 2012, Eur. J. Control.
[9] Alberto L. Sangiovanni-Vincentelli,et al. CHASE: Contract-based requirement engineering for cyber-physical system design , 2018, 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).
[10] Edward A. Lee,et al. Cyber-physical system design contracts , 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).
[11] Roberto Passerone,et al. Platform-Based Design and Frameworks: METROPOLIS andMETRO II , 2018, Model-Based Design for Embedded Systems.
[12] Edward A. Lee,et al. A framework for comparing models of computation , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[13] Alberto Sangiovanni-Vincentelli,et al. Methodology and Tools for Next Generation Cyber‐Physical Systems: The iCyPhy Approach , 2015 .
[14] Alberto L. Sangiovanni-Vincentelli,et al. Refinement preserving approximations for the design and verification of heterogeneous systems , 2007, Formal Methods Syst. Des..
[15] Alberto Sangiovanni-Vincentelli,et al. System Design in the Cyber-Physical Era , 2017 .
[16] Davide Bresolin,et al. A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems , 2015, Proceedings of the IEEE.
[17] Stephan Merz,et al. The TLA+ Proof System: Building a Heterogeneous Verification Platform , 2010, ICTAC.
[18] George J. Pappas,et al. Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.
[19] T. Henzinger,et al. Algorithmic Analysis of Nonlinear Hybrid Systems , 1998, CAV.
[20] Edward A. Lee,et al. A Theory of Synchronous Relational Interfaces , 2011, TOPL.
[21] Amir Pnueli,et al. Synthesis of Reactive(1) Designs , 2006, VMCAI.
[22] Pierluigi Nuzzo. Compositional Design of Cyber-Physical Systems Using Contracts , 2015 .
[23] Jan Reineke,et al. Basic Problems in Multi-View Modeling , 2014, TACAS.
[24] Thomas A. Henzinger,et al. Interface Theories for Component-Based Design , 2001, EMSOFT.
[25] Patrick Cousot,et al. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.
[26] Amir Pnueli,et al. The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[27] Alberto L. Sangiovanni-Vincentelli,et al. Robustness in analog systems: Design techniques, methodologies and tools , 2011, 2011 6th IEEE International Symposium on Industrial and Embedded Systems.
[28] Alberto L. Sangiovanni-Vincentelli,et al. Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design , 2007, Proceedings of the IEEE.
[29] Alberto L. Sangiovanni-Vincentelli,et al. Are interface theories equivalent to contract theories? , 2014, 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE).
[30] Edward A. Lee,et al. An Interface Theory for the Internet of Things , 2015, SEFM.
[31] Edward A. Lee,et al. Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems , 2014, 2014 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).
[32] Roberto Passerone,et al. Multiple Viewpoint Contract-Based Specification and Design , 2008, FMCO.
[33] Alberto Sangiovanni-Vincentelli,et al. Smart Buildings in the Smart Grid: Contract-Based Design of an Integrated Energy Management System , 2015 .
[34] Bradley R. Schmerl,et al. Supporting Heterogeneity in Cyber-Physical Systems Architectures , 2014, IEEE Transactions on Automatic Control.
[35] Oded Maler,et al. Accurate hybridization of nonlinear systems , 2010, HSCC '10.
[36] Edward A. Lee,et al. Scalable Semantic Annotation Using Lattice-Based Ontologies , 2009, MoDELS.
[37] Ron Koymans,et al. Specifying real-time properties with metric temporal logic , 1990, Real-Time Systems.
[38] Alberto L. Sangiovanni-Vincentelli,et al. Let's Get Physical: Computer Science Meets Systems , 2014, FPS@ETAPS.
[39] Bruce H. Krogh,et al. Verification of infinite-state dynamic systems using approximate quotient transition systems , 2001, IEEE Trans. Autom. Control..
[40] Bertrand Meyer,et al. Applying 'design by contract' , 1992, Computer.
[41] Alberto L. Sangiovanni-Vincentelli,et al. A mixed discrete-continuous optimization scheme for Cyber-Physical System architecture exploration , 2015, 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
[42] Luciano Lavagno,et al. Metropolis: An Integrated Electronic System Design Environment , 2003, Computer.
[43] Manfred Morari,et al. Model predictive control: Theory and practice - A survey , 1989, Autom..
[44] Dejan Nickovic,et al. Monitoring Temporal Properties of Continuous Signals , 2004, FORMATS/FTRTFT.
[45] Alberto L. Sangiovanni-Vincentelli,et al. System-level design: orthogonalization of concerns andplatform-based design , 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[46] Thomas A. Henzinger,et al. Interface automata , 2001, ESEC/FSE-9.
[47] Xuening Sun,et al. Methodology for the Design of Analog Integrated Interfaces Using Contracts , 2012, IEEE Sensors Journal.