Search dblp for Publications

export results for "toc:db/conf/emsoft/emsoft2001.bht:"

 download as .bib file

@inproceedings{DBLP:conf/emsoft/AlexanderK01,
  author       = {Perry Alexander and
                  Cindy Kong},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {Heterogeneous Modeling Support for Embedded Systems Design},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {1--13},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_1},
  doi          = {10.1007/3-540-45449-7\_1},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/AlexanderK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/AlfaroH01,
  author       = {Luca de Alfaro and
                  Thomas A. Henzinger},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {Interface Theories for Component-Based Design},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {148--165},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_11},
  doi          = {10.1007/3-540-45449-7\_11},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/AlfaroH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/AlurDEFHIKLMPS01,
  author       = {Rajeev Alur and
                  Thao Dang and
                  Joel M. Esposito and
                  Rafael Fierro and
                  Yerang Hur and
                  Franjo Ivancic and
                  Vijay Kumar and
                  Insup Lee and
                  Pradyumna Mishra and
                  George J. Pappas and
                  Oleg Sokolsky},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {Hierarchical Hybrid Modeling of Embedded Systems},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {14--31},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_2},
  doi          = {10.1007/3-540-45449-7\_2},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/AlurDEFHIKLMPS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/BeebeeR01,
  author       = {William S. Beebee and
                  Martin C. Rinard},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {An Implementation of Scoped Memory for Real-Time Java},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {289--305},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_21},
  doi          = {10.1007/3-540-45449-7\_21},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/BeebeeR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/Benveniste01,
  author       = {Albert Benveniste},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {Some Synchronization Issues When Designing Embedded Systems from Components},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {32--49},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_3},
  doi          = {10.1007/3-540-45449-7\_3},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/Benveniste01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/Berry01,
  author       = {G{\'{e}}rard Berry},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {Synchronous Programming Techniques for Embedded Systems: Present and
                  Future},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {50},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_4},
  doi          = {10.1007/3-540-45449-7\_4},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/Berry01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/BinnsV01,
  author       = {Pam Binns and
                  Steve Vestal},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {Formalizing Software Architectures for Embedded Systems},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {451--468},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_31},
  doi          = {10.1007/3-540-45449-7\_31},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/BinnsV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/BroyS01,
  author       = {Manfred Broy and
                  Oscar Slotosch},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {From Requirements to Validated Embedded Systems},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {51--65},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_5},
  doi          = {10.1007/3-540-45449-7\_5},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/BroyS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/BurchPS01,
  author       = {Jerry R. Burch and
                  Roberto Passerone and
                  Alberto L. Sangiovanni{-}Vincentelli},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {Using Multiple Levels of Abstractions in Embedded Software Design},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {324--343},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_23},
  doi          = {10.1007/3-540-45449-7\_23},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/BurchPS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/ButtsBCCMW01,
  author       = {Ken Butts and
                  Dave Bostic and
                  Alongkrit Chutinan and
                  Jeffrey Cook and
                  Bill Milam and
                  Yanxin Wang},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {Usage Scenarios for an Automated Model Compiler},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {66--79},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_6},
  doi          = {10.1007/3-540-45449-7\_6},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/ButtsBCCMW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/Caspi01,
  author       = {Paul Caspi},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {Embedded Control: From Asynchrony to Synchrony and Back},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {80--96},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_7},
  doi          = {10.1007/3-540-45449-7\_7},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/Caspi01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/CousotC01,
  author       = {Patrick Cousot and
                  Radhia Cousot},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {Verification of Embedded Software: Problems and Perspectives},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {97--113},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_8},
  doi          = {10.1007/3-540-45449-7\_8},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/CousotC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/CullerHBSW01,
  author       = {David E. Culler and
                  Jason L. Hill and
                  Philip Buonadonna and
                  Robert Szewczyk and
                  Alec Woo},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {A Network-Centric Approach to Embedded Software for Tiny Devices},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {114--130},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_9},
  doi          = {10.1007/3-540-45449-7\_9},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/CullerHBSW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/DonahueHDNCK01,
  author       = {Steven M. Donahue and
                  Matthew P. Hampton and
                  Morgan Deters and
                  Jonathan M. Nye and
                  Ron Cytron and
                  Krishna M. Kavi},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {Storage Allocation for Real-Time, Embedded Systems},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {131--147},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_10},
  doi          = {10.1007/3-540-45449-7\_10},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/DonahueHDNCK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/FerdinandHLMSTTW01,
  author       = {Christian Ferdinand and
                  Reinhold Heckmann and
                  Marc Langenbach and
                  Florian Martin and
                  Michael Schmidt and
                  Henrik Theiling and
                  Stephan Thesing and
                  Reinhard Wilhelm},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {Reliable and Precise {WCET} Determination for a Real-Life Processor},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {469--485},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_32},
  doi          = {10.1007/3-540-45449-7\_32},
  timestamp    = {Wed, 11 Apr 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/FerdinandHLMSTTW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/HenzingerHK01,
  author       = {Thomas A. Henzinger and
                  Benjamin Horowitz and
                  Christoph M. Kirsch},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {Giotto: {A} Time-Triggered Language for Embedded Programming},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {166--184},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_12},
  doi          = {10.1007/3-540-45449-7\_12},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/HenzingerHK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/JeffayG01,
  author       = {Kevin Jeffay and
                  Steve Goddard},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {Rate-Based Resource Allocation Models for Embedded Systems},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {204--222},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_14},
  doi          = {10.1007/3-540-45449-7\_14},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/JeffayG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/KooLMS01,
  author       = {Tak{-}John Koo and
                  Judith Liebman and
                  Cedric Ma and
                  Shankar Sastry},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded
                  Software},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {344--360},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_24},
  doi          = {10.1007/3-540-45449-7\_24},
  timestamp    = {Mon, 25 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/KooLMS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/Kopetz01,
  author       = {Hermann Kopetz},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {The Temporal Specification of Interfaces in Distributed Real-Time
                  Systems},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {223--236},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_15},
  doi          = {10.1007/3-540-45449-7\_15},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/Kopetz01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/LeeX01,
  author       = {Edward A. Lee and
                  Yuhong Xiong},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {System-Level Types for Component-Based Design},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {237--253},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_16},
  doi          = {10.1007/3-540-45449-7\_16},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/LeeX01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/Malik01,
  author       = {Sharad Malik},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {Embedded Software Implementation Tools for Fully Programmable Application
                  Specific Systems},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {254--256},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_17},
  doi          = {10.1007/3-540-45449-7\_17},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/Malik01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/PalemTW01,
  author       = {Krishna V. Palem and
                  Surendranath Talla and
                  Weng{-}Fai Wong},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {Compiler Optimizations for Adaptive {EPIC} Processors},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {257--273},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_18},
  doi          = {10.1007/3-540-45449-7\_18},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/PalemTW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/PreeP01,
  author       = {Wolfgang Pree and
                  Alessandro Pasetti},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {Embedded Software Market Transformation through Reusable Frameworks},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {274--286},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_19},
  doi          = {10.1007/3-540-45449-7\_19},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/PreeP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/Rajkumar01,
  author       = {Ragunathan Rajkumar},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {An End-To-End Methodology for Building Embedded Systems},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {287--288},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_20},
  doi          = {10.1007/3-540-45449-7\_20},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/Rajkumar01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/Rushby01,
  author       = {John M. Rushby},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {Bus Architectures for Safety-Critical Embedded Systems},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {306--323},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_22},
  doi          = {10.1007/3-540-45449-7\_22},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/Rushby01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/Schmidt01,
  author       = {Douglas C. Schmidt},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {Adaptive and Reflective Middleware for Distributed Real-Time and Embedded
                  Systems},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {361--372},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_25},
  doi          = {10.1007/3-540-45449-7\_25},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/Schmidt01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/Sifakis01,
  author       = {Joseph Sifakis},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {Modeling Real-Time Systems-Challenges and Work Directions},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {373--389},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_26},
  doi          = {10.1007/3-540-45449-7\_26},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/Sifakis01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/SimsekV01,
  author       = {Tunc Simsek and
                  Pravin Varaiya},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {Design of Autonomous, Distributed Systems},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {435--450},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_30},
  doi          = {10.1007/3-540-45449-7\_30},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/SimsekV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/Stankovic01,
  author       = {John A. Stankovic},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {{VEST} - {A} Toolset for Constructing and Analyzing Component Based
                  Embedded Systems},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {390--402},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_27},
  doi          = {10.1007/3-540-45449-7\_27},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/Stankovic01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/SztipanovitsK01,
  author       = {Janos Sztipanovits and
                  Gabor Karsai},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {Embedded Software: Challenges and Opportunities},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {403--415},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_28},
  doi          = {10.1007/3-540-45449-7\_28},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/SztipanovitsK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/TahaHW01,
  author       = {Walid Taha and
                  Paul Hudak and
                  Zhanyong Wan},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {Directions in Functional Programming for Real(-Time) Applications},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {185--203},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_13},
  doi          = {10.1007/3-540-45449-7\_13},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/TahaHW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/ThieleCGMG01,
  author       = {Lothar Thiele and
                  Samarjit Chakraborty and
                  Matthias Gries and
                  Alexander Maxiaguine and
                  Jonas Greutert},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {Embedded Software in Network Processors - Models and Algorithms},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {416--434},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_29},
  doi          = {10.1007/3-540-45449-7\_29},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/ThieleCGMG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/Wirth01,
  author       = {Niklaus Wirth},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {Embedded Systems and Real-Time Programming},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {486--492},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_33},
  doi          = {10.1007/3-540-45449-7\_33},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/Wirth01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/emsoft/Wolf01,
  author       = {Wayne H. Wolf},
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {Embedded Software for Video},
  booktitle    = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  pages        = {493--502},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7\_34},
  doi          = {10.1007/3-540-45449-7\_34},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/Wolf01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/emsoft/2001,
  editor       = {Thomas A. Henzinger and
                  Christoph M. Kirsch},
  title        = {Embedded Software, First International Workshop, {EMSOFT} 2001, Tahoe
                  City, CA, USA, October, 8-10, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2211},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45449-7},
  doi          = {10.1007/3-540-45449-7},
  isbn         = {3-540-42673-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.