Abstract is missing.
- Embedded Systems: Challenges in Specification and VerificationAmir Pnueli. 1-14 [doi]
- An Approach to Designing Safe Embedded SoftwareNancy G. Leveson. 15-29 [doi]
- Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)David Harel. 30-31 [doi]
- Platform-Based Embedded Software Design for Multi-vehicle Multi-modal SystemsTak-John Koo, Judith Liebman, Cedric Ma, Benjamin Horowitz, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry. 32-45 [doi]
- A Giotto-Based Helicopter Control SystemChristoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree. 46-60 [doi]
- Principles of Real-Time ProgrammingChristoph M. Kirsch. 61-75 [doi]
- Time-Safety Checking for Embedded ProgramsThomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic. 76-92 [doi]
- Compositional Modeling in MetropolisGregor Gößler, Alberto L. Sangiovanni-Vincentelli. 93-107 [doi]
- Timed InterfacesLuca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga. 108-122 [doi]
- Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control SystemStavros Tripakis. 123-137 [doi]
- Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOSDarren D. Cofer, Murali Rangarajan. 138-152 [doi]
- Scalable Applications for Energy-Aware ProcessorsGiorgio C. Buttazzo. 153-165 [doi]
- Upgrading Embedded Software in the Field: Dependability and SurvivabilityLui Sha. 166-181 [doi]
- Real-Time Virtual Resource: A Timely Abstraction for Embedded SystemsAloysius K. Mok, Alex Xiang Feng. 182-196 [doi]
- JCOD: A Lightweight Modular Compilation Technology for Embedded JavaBertrand Delsart, Vania Joloboff, Eric Paire. 197-212 [doi]
- Decreasing Memory Overhead in Hard Real-Time Garbage CollectionTobias Ritzau, Peter Fritzson. 213-226 [doi]
- Speedup Prediction for Selective Compilation of Embedded Java ProgramsVincent Colin de Verdière, Sébastien Cros, Christian Fabre, Romain Guider, Sergio Yovine. 227-239 [doi]
- Synchronous Modelling of Asynchronous SystemsNicolas Halbwachs, Siwar Baghdadi. 240-251 [doi]
- A Protocol for Loosely Time-Triggered ArchitecturesAlbert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis. 252-265 [doi]
- Automatic Production of Globally Asynchronous Locally Synchronous SystemsAlain Girault, Clément Ménier. 266-281 [doi]
- Adaptive and Reflective Middleware for Distributed Real-Time and Embedded SystemsDouglas C. Schmidt. 282-293 [doi]
- Toward an Approximation Theory for Computerised ControlPaul Caspi, Albert Benveniste. 294-304 [doi]
- A New Facility for Dynamic Control of Program Execution: DELIGiuseppe Desoli, Nikolay Mateev, Evelyn Duesterwald, Paolo Faraboschi, Josh Fisher. 305-318 [doi]
- Design Tools for Application Specific Embedded ProcessorsWei Qin, Subramanian Rajagopalan, Manish Vachharajani, Hangsheng Wang, Xinping Zhu, David I. August, Kurt Keutzer, Sharad Malik, Li-Shiuan Peh. 319-333 [doi]
- Processor Pipelines and Their Properties for Static WCET AnalysisJakob Engblom, Bengt Jonsson. 334-348 [doi]
- ILP-Based Interprocedural Path AnalysisHenrik Theiling. 349-363 [doi]
- Enhancing Compiler Techniques for Memory Energy OptimizationsJoseph Zambreno, Mahmut T. Kandemir, Alok N. Choudhary. 364-381 [doi]
- FlexCC2: An Optimizing Retargetable C Compiler for DSP ProcessorsValérie Bertin, Jean-Marc Daveau, Philippe Guillaume, Thierry Lepley, Denis Pilat, Claire Richard, Miguel Santana, Thomas Thery. 382-398 [doi]
- Physical Programming: Beyond Mere LogicBran Selic. 399-406 [doi]
- Processes, Interfaces and Platforms. Embedded Software Modeling in MetropolisFelice Balarin, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe. 407-416 [doi]