Search dblp for Publications

export results for "toc:db/journals/entcs/entcs25.bht:"

 download as .bib file

@proceedings{DBLP:conf/monterey/1998,
  editor       = {Luqi and
                  Manfred Broy},
  title        = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
                  for Computer Basesd Systems, Carmel, California, USA, October 23-26,
                  1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {25},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/25/suppl/C},
  timestamp    = {Wed, 23 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/monterey/1998.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Berry99,
  author       = {Daniel M. Berry},
  editor       = {Luqi and
                  Manfred Broy},
  title        = {Formal Methods: The Very Idea Some Thoughts About Why They Work When
                  They Work},
  booktitle    = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
                  for Computer Basesd Systems, Carmel, California, USA, October 23-26,
                  1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {25},
  pages        = {10--22},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00127-6},
  doi          = {10.1016/S1571-0661(04)00127-6},
  timestamp    = {Wed, 23 Nov 2022 16:14:20 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Berry99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CookeK99,
  author       = {Daniel E. Cooke and
                  Vladik Kreinovich},
  editor       = {Luqi and
                  Manfred Broy},
  title        = {Automatic Concurrency in SequenceL},
  booktitle    = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
                  for Computer Basesd Systems, Carmel, California, USA, October 23-26,
                  1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {25},
  pages        = {23--34},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00128-8},
  doi          = {10.1016/S1571-0661(04)00128-8},
  timestamp    = {Wed, 23 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CookeK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Drummond99,
  author       = {John Drummond},
  editor       = {Luqi and
                  Manfred Broy},
  title        = {Dynamic Task Monitoring},
  booktitle    = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
                  for Computer Basesd Systems, Carmel, California, USA, October 23-26,
                  1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {25},
  pages        = {35--37},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00129-X},
  doi          = {10.1016/S1571-0661(04)00129-X},
  timestamp    = {Wed, 23 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Drummond99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GafniFY99,
  author       = {Vered Gafni and
                  Yishai A. Feldman and
                  Amiram Yehudai},
  editor       = {Luqi and
                  Manfred Broy},
  title        = {Real-Time Systems Development with {MASS}},
  booktitle    = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
                  for Computer Basesd Systems, Carmel, California, USA, October 23-26,
                  1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {25},
  pages        = {73--86},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00133-1},
  doi          = {10.1016/S1571-0661(04)00133-1},
  timestamp    = {Wed, 23 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GafniFY99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GelfondW99,
  author       = {Michael Gelfond and
                  Richard Watson},
  editor       = {Luqi and
                  Manfred Broy},
  title        = {On Methodology of Representing Knowledge in Dynamic Domains},
  booktitle    = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
                  for Computer Basesd Systems, Carmel, California, USA, October 23-26,
                  1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {25},
  pages        = {121--132},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00137-9},
  doi          = {10.1016/S1571-0661(04)00137-9},
  timestamp    = {Mon, 03 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/GelfondW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KosiuczenkoW99,
  author       = {Piotr Kosiuczenko and
                  Martin Wirsing},
  editor       = {Luqi and
                  Manfred Broy},
  title        = {Formalizing and Executing Message Sequence Charts via Timed Rewriting},
  booktitle    = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
                  for Computer Basesd Systems, Carmel, California, USA, October 23-26,
                  1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {25},
  pages        = {50--61},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00131-8},
  doi          = {10.1016/S1571-0661(04)00131-8},
  timestamp    = {Wed, 23 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KosiuczenkoW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KwakLS99,
  author       = {Hee{-}Hwan Kwak and
                  Insup Lee and
                  Oleg Sokolsky},
  editor       = {Luqi and
                  Manfred Broy},
  title        = {Parametric Approach to the Specification and Analysis of Real-time
                  System Designs based on {ACSR-VP}},
  booktitle    = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
                  for Computer Basesd Systems, Carmel, California, USA, October 23-26,
                  1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {25},
  pages        = {38--49},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00130-6},
  doi          = {10.1016/S1571-0661(04)00130-6},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KwakLS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Luqi99,
  author       = {Luqi},
  editor       = {Luqi and
                  Manfred Broy},
  title        = {Engineering Automation for Computer Based Systems},
  booktitle    = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
                  for Computer Basesd Systems, Carmel, California, USA, October 23-26,
                  1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {25},
  pages        = {1--9},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00126-4},
  doi          = {10.1016/S1571-0661(04)00126-4},
  timestamp    = {Wed, 23 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Luqi99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LuqiB99,
  author       = {Luqi and
                  Manfred Broy},
  editor       = {Luqi and
                  Manfred Broy},
  title        = {Preface - Software Engineering to our Planning Horizon},
  booktitle    = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
                  for Computer Basesd Systems, Carmel, California, USA, October 23-26,
                  1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {25},
  pages        = {145--146},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80554-7},
  doi          = {10.1016/S1571-0661(05)80554-7},
  timestamp    = {Wed, 23 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LuqiB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/NarasimhaCI99,
  author       = {Murali Narasimha and
                  Rance Cleaveland and
                  S. Purushothaman Iyer},
  editor       = {Luqi and
                  Manfred Broy},
  title        = {The role of observations in probabilistic open systems},
  booktitle    = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
                  for Computer Basesd Systems, Carmel, California, USA, October 23-26,
                  1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {25},
  pages        = {133--144},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00138-0},
  doi          = {10.1016/S1571-0661(04)00138-0},
  timestamp    = {Wed, 23 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NarasimhaCI99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Polak99,
  author       = {Wolfgang Polak},
  editor       = {Luqi and
                  Manfred Broy},
  title        = {Formal Methods in Practice},
  booktitle    = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
                  for Computer Basesd Systems, Carmel, California, USA, October 23-26,
                  1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {25},
  pages        = {62--72},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00132-X},
  doi          = {10.1016/S1571-0661(04)00132-X},
  timestamp    = {Wed, 23 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Polak99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ShingLBSWGS99,
  author       = {Man{-}tak Shing and
                  Luqi and
                  Valdis Berzins and
                  Michael Saluto and
                  Julian Williams and
                  Jiang Guo and
                  B. Shultes},
  editor       = {Luqi and
                  Manfred Broy},
  title        = {The Story of Re-engineering 350,000 Lines of {FORTRAN} Code},
  booktitle    = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
                  for Computer Basesd Systems, Carmel, California, USA, October 23-26,
                  1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {25},
  pages        = {111--120},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00136-7},
  doi          = {10.1016/S1571-0661(04)00136-7},
  timestamp    = {Wed, 23 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ShingLBSWGS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/VolkerK99,
  author       = {Norbert V{\"{o}}lker and
                  Bernd J. Kr{\"{a}}mer},
  editor       = {Luqi and
                  Manfred Broy},
  title        = {Automated Verification of Function Block Based Industrial Control
                  Systems},
  booktitle    = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
                  for Computer Basesd Systems, Carmel, California, USA, October 23-26,
                  1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {25},
  pages        = {97--110},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00135-5},
  doi          = {10.1016/S1571-0661(04)00135-5},
  timestamp    = {Wed, 23 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/VolkerK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ZhangLFK99,
  author       = {Du Zhang and
                  Vo Lee and
                  Joseph Friedel and
                  Robert Keyser},
  editor       = {Luqi and
                  Manfred Broy},
  title        = {Automated Facts Generation From Raw Data: {A} Perspective From The
                  {ANDES} Project},
  booktitle    = {The 1998 {ARO/ONR/NSF/DARPA} Monterey Workshop on Engineering Automation
                  for Computer Basesd Systems, Carmel, California, USA, October 23-26,
                  1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {25},
  pages        = {87--96},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00134-3},
  doi          = {10.1016/S1571-0661(04)00134-3},
  timestamp    = {Wed, 23 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ZhangLFK99.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.