Conferences in DBLP

International Conference / Workshop on Embedded Systems (EMSOFT) (emsoft)
2002 (conf/emsoft/2002)

1. Amir Pnueli
   Embedded Systems: Challenges in Specification and Verification. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2002, pp:1-14 [Conf]
   
2. Nancy G. Leveson
   An Approach to Designing Safe Embedded Software. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2002, pp:15-29 [Conf]
   
3. David Harel
   Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?). [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2002, pp:30-31 [Conf]
   
4. Tak-John Koo, Judith Liebman, Cedric Ma, Benjamin Horowitz, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry
   Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2002, pp:32-45 [Conf]
   
5. Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree
   A Giotto-Based Helicopter Control System. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2002, pp:46-60 [Conf]
   
6. Christoph M. Kirsch
   Principles of Real-Time Programming. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2002, pp:61-75 [Conf]
   
7. Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic
   Time-Safety Checking for Embedded Programs. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2002, pp:76-92 [Conf]
   
8. Gregor Gößler, Alberto L. Sangiovanni-Vincentelli
   Compositional Modeling in Metropolis. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2002, pp:93-107 [Conf]
   
9. Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga
   Timed Interfaces. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2002, pp:108-122 [Conf]
   
10. Stavros Tripakis
    Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:123-137 [Conf]
    
11. Darren D. Cofer, Murali Rangarajan
    Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:138-152 [Conf]
    
12. Giorgio C. Buttazzo
    Scalable Applications for Energy-Aware Processors. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:153-165 [Conf]
    
13. Lui Sha
    Upgrading Embedded Software in the Field: Dependability and Survivability. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:166-181 [Conf]
    
14. Aloysius K. Mok, Alex Xiang Feng
    Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:182-196 [Conf]
    
15. Bertrand Delsart, Vania Joloboff, Eric Paire
    JCOD: A Lightweight Modular Compilation Technology for Embedded Java. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:197-212 [Conf]
    
16. Tobias Ritzau, Peter Fritzson
    Decreasing Memory Overhead in Hard Real-Time Garbage Collection. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:213-226 [Conf]
    
17. Vincent Colin de Verdière, Sébastien Cros, Christian Fabre, Romain Guider, Sergio Yovine
    Speedup Prediction for Selective Compilation of Embedded Java Programs. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:227-239 [Conf]
    
18. Nicolas Halbwachs, Siwar Baghdadi
    Synchronous Modelling of Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:240-251 [Conf]
    
19. Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis
    A Protocol for Loosely Time-Triggered Architectures. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:252-265 [Conf]
    
20. Alain Girault, Clément Ménier
    Automatic Production of Globally Asynchronous Locally Synchronous Systems. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:266-281 [Conf]
    
21. Douglas C. Schmidt
    Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:282-293 [Conf]
    
22. Paul Caspi, Albert Benveniste
    Toward an Approximation Theory for Computerised Control. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:294-304 [Conf]
    
23. Giuseppe Desoli, Nikolay Mateev, Evelyn Duesterwald, Paolo Faraboschi, Josh Fisher
    A New Facility for Dynamic Control of Program Execution: DELI. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:305-318 [Conf]
    
24. Wei Qin, Subramanian Rajagopalan, Manish Vachharajani, Hangsheng Wang, Xinping Zhu, David I. August, Kurt Keutzer, Sharad Malik, Li-Shiuan Peh
    Design Tools for Application Specific Embedded Processors. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:319-333 [Conf]
    
25. Jakob Engblom, Bengt Jonsson
    Processor Pipelines and Their Properties for Static WCET Analysis. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:334-348 [Conf]
    
26. Henrik Theiling
    ILP-Based Interprocedural Path Analysis. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:349-363 [Conf]
    
27. Joseph Zambreno, Mahmut T. Kandemir, Alok N. Choudhary
    Enhancing Compiler Techniques for Memory Energy Optimizations. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:364-381 [Conf]
    
28. Valérie Bertin, Jean-Marc Daveau, Philippe Guillaume, Thierry Lepley, Denis Pilat, Claire Richard, Miguel Santana, Thomas Thery
    FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:382-398 [Conf]
    
29. Bran Selic
    Physical Programming: Beyond Mere Logic. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:399-406 [Conf]
    
30. Felice Balarin, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe
    Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:407-416 [Conf]