Search dblp for Publications

export results for "toc:db/conf/fesca/fesca2008.bht:"

 download as .bib file

@proceedings{DBLP:conf/fesca/2008,
  editor       = {Ralf H. Reussner and
                  Iman Poernomo and
                  Juliana K{\"{u}}ster Filipe Bowles},
  title        = {Proceedings of the 5th International Workshop on Formal Foundations
                  of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS
                  2008, Budapest, Hungary, March 29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {6},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/238/issue/6},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fesca/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ChoualiMM10,
  author       = {Samir Chouali and
                  Hassan Mountassir and
                  Sebti Mouelhi},
  editor       = {Ralf H. Reussner and
                  Iman Poernomo and
                  Juliana K{\"{u}}ster Filipe Bowles},
  title        = {An {I/O} Automata-based Approach to Verify Component Compatibility:
                  Application to the CyCab Car},
  booktitle    = {Proceedings of the 5th International Workshop on Formal Foundations
                  of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS
                  2008, Budapest, Hungary, March 29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {6},
  pages        = {3--13},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2010.06.002},
  doi          = {10.1016/J.ENTCS.2010.06.002},
  timestamp    = {Fri, 24 Feb 2023 13:26:33 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ChoualiMM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CollingbourneK10,
  author       = {Peter Collingbourne and
                  Paul H. J. Kelly},
  editor       = {Ralf H. Reussner and
                  Iman Poernomo and
                  Juliana K{\"{u}}ster Filipe Bowles},
  title        = {Inference of Session Types From Control Flow},
  booktitle    = {Proceedings of the 5th International Workshop on Formal Foundations
                  of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS
                  2008, Budapest, Hungary, March 29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {6},
  pages        = {15--40},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2010.06.003},
  doi          = {10.1016/J.ENTCS.2010.06.003},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CollingbourneK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GuelevH10,
  author       = {Dimitar P. Guelev and
                  Dang Van Hung},
  editor       = {Ralf H. Reussner and
                  Iman Poernomo and
                  Juliana K{\"{u}}ster Filipe Bowles},
  title        = {Reasoning about QoS Contracts in the Probabilistic Duration Calculus},
  booktitle    = {Proceedings of the 5th International Workshop on Formal Foundations
                  of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS
                  2008, Budapest, Hungary, March 29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {6},
  pages        = {41--62},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2010.06.004},
  doi          = {10.1016/J.ENTCS.2010.06.004},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GuelevH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MoschoyiannisRK10,
  author       = {Sotiris Moschoyiannis and
                  Amir Reza Razavi and
                  Paul J. Krause},
  editor       = {Ralf H. Reussner and
                  Iman Poernomo and
                  Juliana K{\"{u}}ster Filipe Bowles},
  title        = {Transaction Scripts: Making Implicit Scenarios Explicit},
  booktitle    = {Proceedings of the 5th International Workshop on Formal Foundations
                  of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS
                  2008, Budapest, Hungary, March 29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {6},
  pages        = {63--79},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2010.06.005},
  doi          = {10.1016/J.ENTCS.2010.06.005},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MoschoyiannisRK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/OvatmanBH10,
  author       = {Tolga Ovatman and
                  Aske Wiid Brekling and
                  Michael R. Hansen},
  editor       = {Ralf H. Reussner and
                  Iman Poernomo and
                  Juliana K{\"{u}}ster Filipe Bowles},
  title        = {Cost Analysis for Embedded Systems: Experiments with Priced Timed
                  Automata},
  booktitle    = {Proceedings of the 5th International Workshop on Formal Foundations
                  of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS
                  2008, Budapest, Hungary, March 29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {6},
  pages        = {81--95},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2010.06.006},
  doi          = {10.1016/J.ENTCS.2010.06.006},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/OvatmanBH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ReussnerPB10,
  author       = {Ralf H. Reussner and
                  Iman Poernomo and
                  Juliana K{\"{u}}ster Filipe Bowles},
  editor       = {Ralf H. Reussner and
                  Iman Poernomo and
                  Juliana K{\"{u}}ster Filipe Bowles},
  title        = {Preface},
  booktitle    = {Proceedings of the 5th International Workshop on Formal Foundations
                  of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS
                  2008, Budapest, Hungary, March 29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {6},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2010.06.001},
  doi          = {10.1016/J.ENTCS.2010.06.001},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ReussnerPB10.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.