Search dblp for Publications

export results for "toc:db/journals/sttt/sttt1.bht:"

 download as .bib file

@article{DBLP:journals/sttt/AlurH97,
  author       = {Rajeev Alur and
                  Thomas A. Henzinger},
  title        = {Real-Time System = Discrete System + Clock Variables},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {1},
  number       = {1-2},
  pages        = {86--109},
  year         = {1997},
  url          = {https://doi.org/10.1007/s100090050007},
  doi          = {10.1007/S100090050007},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/AlurH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/BozgaFKM97,
  author       = {Marius Bozga and
                  Jean{-}Claude Fernandez and
                  Alain Kerbrat and
                  Laurent Mounier},
  title        = {Protocol Verification with the ALD{\'{E}}BARAN Toolset},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {1},
  number       = {1-2},
  pages        = {166--184},
  year         = {1997},
  url          = {https://doi.org/10.1007/s100090050012},
  doi          = {10.1007/S100090050012},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/BozgaFKM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/BraunMW97,
  author       = {Volker Braun and
                  Tiziana Margaria and
                  Carsten Weise},
  title        = {Integrating Tools in the {ETI} Platform},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {1},
  number       = {1-2},
  pages        = {31--48},
  year         = {1997},
  url          = {https://doi.org/10.1007/s100090050004},
  doi          = {10.1007/S100090050004},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/BraunMW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/CleavelandMS97,
  author       = {Rance Cleaveland and
                  Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Editorial},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {1},
  number       = {1-2},
  pages        = {1--5},
  year         = {1997},
  url          = {https://doi.org/10.1007/s100090050001},
  doi          = {10.1007/S100090050001},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/CleavelandMS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/HenzingerHW97,
  author       = {Thomas A. Henzinger and
                  Pei{-}Hsin Ho and
                  Howard Wong{-}Toi},
  title        = {{HYTECH:} {A} Model Checker for Hybrid Systems},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {1},
  number       = {1-2},
  pages        = {110--122},
  year         = {1997},
  url          = {https://doi.org/10.1007/s100090050008},
  doi          = {10.1007/S100090050008},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/HenzingerHW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/LarsenPY97,
  author       = {Kim Guldstrand Larsen and
                  Paul Pettersson and
                  Wang Yi},
  title        = {{UPPAAL} in a Nutshell},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {1},
  number       = {1-2},
  pages        = {134--152},
  year         = {1997},
  url          = {https://doi.org/10.1007/s100090050010},
  doi          = {10.1007/S100090050010},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/LarsenPY97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/LarsenSW97,
  author       = {Kim Guldstrand Larsen and
                  Bernhard Steffen and
                  Carsten Weise},
  title        = {Continuous Modeling of Real-Time and Hybrid Systems: From Concepts
                  to Tools},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {1},
  number       = {1-2},
  pages        = {64--85},
  year         = {1997},
  url          = {https://doi.org/10.1007/s100090050006},
  doi          = {10.1007/S100090050006},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/LarsenSW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/Leblanc97,
  author       = {Philippe Leblanc},
  title        = {{OMT} and {SDL} Based Techniques and Tools for Design, Simulation
                  and Test Production of Distributed Systems},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {1},
  number       = {1-2},
  pages        = {153--165},
  year         = {1997},
  url          = {https://doi.org/10.1007/s100090050011},
  doi          = {10.1007/S100090050011},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/Leblanc97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/MargariaBK97,
  author       = {Tiziana Margaria and
                  Volker Braun and
                  J{\"{u}}rgen Kreileder},
  title        = {Interacting with {ETI:} {A} User Session},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {1},
  number       = {1-2},
  pages        = {49--63},
  year         = {1997},
  url          = {https://doi.org/10.1007/s100090050005},
  doi          = {10.1007/S100090050005},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/MargariaBK97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/SteffenMB97,
  author       = {Bernhard Steffen and
                  Tiziana Margaria and
                  Volker Braun},
  title        = {The Electronic Tool Integration Platform: Concepts and Design},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {1},
  number       = {1-2},
  pages        = {9--30},
  year         = {1997},
  url          = {https://doi.org/10.1007/s100090050003},
  doi          = {10.1007/S100090050003},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/SteffenMB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/Wolper97,
  author       = {Pierre Wolper},
  title        = {The Meaning of "Formal": From Weak to Strong Formal Methods},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {1},
  number       = {1-2},
  pages        = {6--8},
  year         = {1997},
  url          = {https://doi.org/10.1007/s100090050002},
  doi          = {10.1007/S100090050002},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sttt/Wolper97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/Yovine97,
  author       = {Sergio Yovine},
  title        = {{KRONOS:} {A} Verification Tool for Real-Time Systems},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {1},
  number       = {1-2},
  pages        = {123--133},
  year         = {1997},
  url          = {https://doi.org/10.1007/s100090050009},
  doi          = {10.1007/S100090050009},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sttt/Yovine97.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.