Journals in DBLP

Proceedings of the IEEE
2003, volume: 91, number: 1

1. Shankar Sastry, Janos Sztipanovits, Ruzena Bajcsy, H. Gill
   Scanning the issue - special issue on modeling and design of embedded software. [Citation Graph (0, 0)][DBLP]
   Proceedings of the IEEE, 2003, v:91, n:1, pp:3-10 [Journal]
   
2. Rajeev Alur, Thao Dang, Joel M. Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky
   Hierarchical modeling and analysis of embedded systems. [Citation Graph (0, 0)][DBLP]
   Proceedings of the IEEE, 2003, v:91, n:1, pp:11-28 [Journal]
   
3. Ashish Tiwari, Natarajan Shankar, John M. Rushby
   Invisible formal methods for embedded control systems. [Citation Graph (0, 0)][DBLP]
   Proceedings of the IEEE, 2003, v:91, n:1, pp:29-39 [Journal]
   
4. Feng Zhao, Christopher Bailey-Kellogg, Markus P. J. Fromherz
   Physics-based encapsulation in embedded software for distributed sensing and control applications. [Citation Graph (0, 0)][DBLP]
   Proceedings of the IEEE, 2003, v:91, n:1, pp:40-63 [Journal]
   
5. Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone
   The synchronous languages 12 years later. [Citation Graph (0, 0)][DBLP]
   Proceedings of the IEEE, 2003, v:91, n:1, pp:64-83 [Journal]
   
6. Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch
   Giotto: a time-triggered language for embedded programming. [Citation Graph (0, 0)][DBLP]
   Proceedings of the IEEE, 2003, v:91, n:1, pp:84-99 [Journal]
   
7. Joseph Sifakis, Stavros Tripakis, Sergio Yovine
   Building models of real-time systems from application software. [Citation Graph (0, 0)][DBLP]
   Proceedings of the IEEE, 2003, v:91, n:1, pp:100-111 [Journal]
   
8. Hermann Kopetz, Günther Bauer
   The time-triggered architecture. [Citation Graph (0, 0)][DBLP]
   Proceedings of the IEEE, 2003, v:91, n:1, pp:112-126 [Journal]
   
9. Johan Eker, Jörn W. Janneck, Edward A. Lee, Jie Liu, Xiaojun Liu, J. Ludvig, Stephen Neuendorffer, S. Sachs, Yuhong Xiong
   Taming heterogeneity - the Ptolemy approach. [Citation Graph (0, 0)][DBLP]
   Proceedings of the IEEE, 2003, v:91, n:1, pp:127-144 [Journal]
   
10. Gabor Karsai, Janos Sztipanovits, Ákos Lédeczi, Ted Bapty
    Model-integrated development of embedded software. [Citation Graph (0, 0)][DBLP]
    Proceedings of the IEEE, 2003, v:91, n:1, pp:145-164 [Journal]
    
11. Wayne Wolf, Mahmut T. Kandemir
    Memory system optimization of embedded software. [Citation Graph (0, 0)][DBLP]
    Proceedings of the IEEE, 2003, v:91, n:1, pp:165-182 [Journal]
    
12. Christopher D. Gill, Ron Cytron, Douglas C. Schmidt
    Multiparadigm scheduling for distributed real-time embedded computing. [Citation Graph (0, 0)][DBLP]
    Proceedings of the IEEE, 2003, v:91, n:1, pp:183-197 [Journal]
    
13. Benjamin Horowitz, Judith Liebman, Cedric Ma, Tak-John Koo, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry
    Platform-based embedded software design and system integration for autonomous vehicles. [Citation Graph (0, 0)][DBLP]
    Proceedings of the IEEE, 2003, v:91, n:1, pp:198-211 [Journal]
    
14. Brian C. Williams, Michel D. Ingham, S. H. Chung, P. H. Elliott
    Model-based programming of intelligent embedded systems and robotic space explorers. [Citation Graph (0, 0)][DBLP]
    Proceedings of the IEEE, 2003, v:91, n:1, pp:212-237 [Journal]
    
15. I. J. Blanken
    Scanning our past from the Netherlands: Bernard Tellegen and the pentode valve. [Citation Graph (0, 0)][DBLP]
    Proceedings of the IEEE, 2003, v:91, n:1, pp:238-239 [Journal]