Conferences in DBLP
Perry Alexander , Cindy Kong Heterogeneous Modeling Support for Embedded Systems Design. [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Alur , Thao Dang , Joel M. Esposito , Rafael B. Fierro , Yerang Hur , Franjo Ivancic , Vijay Kumar , Insup Lee , Pradyumna Mishra , George J. Pappas , Oleg Sokolsky Hierarchical Hybrid Modeling of Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Albert Benveniste Some Synchronization Issues When Designing Embedded Systems from Components. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Berry Synchronous Programming Techniques for Embedded Systems: Present and Future. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Broy , Oscar Slotosch From Requirements to Validated Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ken Butts , Dave Bostic , Alongkrit Chutinan , Jeffrey Cook , Bill Milam , Yanxin Wang Usage Scenarios for an Automated Model Compiler. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Caspi Embedded Control: From Asynchrony to Synchrony and Back. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Cousot , Radhia Cousot Verification of Embedded Software: Problems and Perspectives. [Citation Graph (0, 0)][DBLP ] Conf ] David E. Culler , Jason L. Hill , Philip Buonadonna , Robert Szewczyk , Alec Woo A Network-Centric Approach to Embedded Software for Tiny Devices. [Citation Graph (0, 0)][DBLP ] Conf ] Steven M. Donahue , Matthew P. Hampton , Morgan Deters , Jonathan M. Nye , Ron Cytron , Krishna M. Kavi Storage Allocation for Real-Time, Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Luca de Alfaro , Thomas A. Henzinger Interface Theories for Component-Based Design. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas A. Henzinger , Benjamin Horowitz , Christoph M. Kirsch Giotto: A Time-Triggered Language for Embedded Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Walid Taha , Paul Hudak , Zhanyong Wan Directions in Functional Programming for Real(-Time) Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Kevin Jeffay , Steve Goddard Rate-Based Resource Allocation Models for Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hermann Kopetz The Temporal Specification of Interfaces in Distributed Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Edward A. Lee , Yuhong Xiong System-Level Types for Component-Based Design. [Citation Graph (0, 0)][DBLP ] Conf ] Sharad Malik Embedded Software Implementation Tools for Fully Programmable Application Specific Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Krishna V. Palem , Surendranath Talla , Weng-Fai Wong Compiler Optimizations for Adaptive EPIC Processors. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Pree , Alessandro Pasetti Embedded Software Market Transformation through Reusable Frameworks. [Citation Graph (0, 0)][DBLP ] Conf ] Ragunathan Rajkumar An End-To-End Methodology for Building Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] William S. Beebee , Martin C. Rinard An Implementation of Scoped Memory for Real-Time Java. [Citation Graph (0, 0)][DBLP ] Conf ] John M. Rushby Bus Architectures for Safety-Critical Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jerry R. Burch , Roberto Passerone , Alberto L. Sangiovanni-Vincentelli Using Multiple Levels of Abstractions in Embedded Software Design. [Citation Graph (0, 0)][DBLP ] Conf ] Tak-John Koo , Judith Liebman , Cedric Ma , Shankar Sastry Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas C. Schmidt Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph Sifakis Modeling Real-Time Systems-Challenges and Work Directions. [Citation Graph (0, 0)][DBLP ] Conf ] John A. Stankovic VEST - A Toolset for Constructing and Analyzing Component Based Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Janos Sztipanovits , Gabor Karsai Embedded Software: Challenges and Opportunities. [Citation Graph (0, 0)][DBLP ] Conf ] Lothar Thiele , Samarjit Chakraborty , Matthias Gries , Alexander Maxiaguine , Jonas Greutert Embedded Software in Network Processors - Models and Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Tunc Simsek , Pravin Varaiya Design of Autonomous, Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Pam Binns , Steve Vestal Formalizing Software Architectures for Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Ferdinand , Reinhold Heckmann , Marc Langenbach , Florian Martin , Michael Schmidt , Henrik Theiling , Stephan Thesing , Reinhard Wilhelm Reliable and Precise WCET Determination for a Real-Life Processor. [Citation Graph (0, 0)][DBLP ] Conf ] Niklaus Wirth Embedded Systems and Real-Time Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Wayne Wolf Embedded Software for Video. [Citation Graph (0, 0)][DBLP ] Conf ] 