Search dblp for Publications

export results for "toc:db/conf/tssdv/tssdv1998.bht:"

 download as .bib file

@proceedings{DBLP:conf/tssdv/1998,
  editor       = {Rudolf Berghammer and
                  Yassine Lakhnech},
  title        = {Proceedings of the International Workshop Tool Support for System
                  Specification, Development and Verification, Malente, Germany, June
                  1-4, 1998},
  series       = {Advances in computing science},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-7091-6355-9},
  doi          = {10.1007/978-3-7091-6355-9},
  isbn         = {978-3-211-83282-0},
  timestamp    = {Mon, 04 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tssdv/1998.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tssdv/0001S98,
  author       = {Peter Baumgartner and
                  Dorothea Sch{\"{a}}fer},
  editor       = {Rudolf Berghammer and
                  Yassine Lakhnech},
  title        = {Model Elimination with Simplification and its Application to Software
                  Verification},
  booktitle    = {Proceedings of the International Workshop Tool Support for System
                  Specification, Development and Verification, Malente, Germany, June
                  1-4, 1998},
  series       = {Advances in computing science},
  pages        = {18--32},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-7091-6355-9\_2},
  doi          = {10.1007/978-3-7091-6355-9\_2},
  timestamp    = {Mon, 04 May 2020 10:40:23 +0200},
  biburl       = {https://dblp.org/rec/conf/tssdv/0001S98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tssdv/0003BHLS98,
  author       = {Ralf Behnke and
                  Rudolf Berghammer and
                  Thorsten Hoffmann and
                  Barbara Leoniuk and
                  Peter Schneider},
  editor       = {Rudolf Berghammer and
                  Yassine Lakhnech},
  title        = {Applications of the Rel View System},
  booktitle    = {Proceedings of the International Workshop Tool Support for System
                  Specification, Development and Verification, Malente, Germany, June
                  1-4, 1998},
  series       = {Advances in computing science},
  pages        = {33--47},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-7091-6355-9\_3},
  doi          = {10.1007/978-3-7091-6355-9\_3},
  timestamp    = {Mon, 04 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tssdv/0003BHLS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tssdv/BerghammerLR98,
  author       = {Rudolf Berghammer and
                  Yassine Lakhnech and
                  Wolfgang Reif},
  editor       = {Rudolf Berghammer and
                  Yassine Lakhnech},
  title        = {Formal Methods and Tools: Introduction and Overview},
  booktitle    = {Proceedings of the International Workshop Tool Support for System
                  Specification, Development and Verification, Malente, Germany, June
                  1-4, 1998},
  series       = {Advances in computing science},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-7091-6355-9\_1},
  doi          = {10.1007/978-3-7091-6355-9\_1},
  timestamp    = {Mon, 04 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tssdv/BerghammerLR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tssdv/BousquetOPRZ98,
  author       = {Lydie du Bousquet and
                  Farid Ouabdesselam and
                  Ioannis Parissis and
                  Jean{-}Luc Richier and
                  Nicolas Zuanon},
  editor       = {Rudolf Berghammer and
                  Yassine Lakhnech},
  title        = {Lutess: a testing environment for synchronous software},
  booktitle    = {Proceedings of the International Workshop Tool Support for System
                  Specification, Development and Verification, Malente, Germany, June
                  1-4, 1998},
  series       = {Advances in computing science},
  pages        = {48--61},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-7091-6355-9\_4},
  doi          = {10.1007/978-3-7091-6355-9\_4},
  timestamp    = {Mon, 04 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tssdv/BousquetOPRZ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tssdv/Buth98,
  author       = {Bettina Buth},
  editor       = {Rudolf Berghammer and
                  Yassine Lakhnech},
  title        = {{PAMELA+PVS} Verification of Sequential Programs},
  booktitle    = {Proceedings of the International Workshop Tool Support for System
                  Specification, Development and Verification, Malente, Germany, June
                  1-4, 1998},
  series       = {Advances in computing science},
  pages        = {62--76},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-7091-6355-9\_5},
  doi          = {10.1007/978-3-7091-6355-9\_5},
  timestamp    = {Mon, 04 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tssdv/Buth98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tssdv/ContiniSWCC98,
  author       = {Sergio Contini and
                  Stefan Scheer and
                  Marc Wilikens and
                  G. de Cola and
                  G. G. M. Cojazzi},
  editor       = {Rudolf Berghammer and
                  Yassine Lakhnech},
  title        = {{ASTRA:} An Integrated Tool Set for Complex Systems Dependability
                  Studies},
  booktitle    = {Proceedings of the International Workshop Tool Support for System
                  Specification, Development and Verification, Malente, Germany, June
                  1-4, 1998},
  series       = {Advances in computing science},
  pages        = {77--91},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-7091-6355-9\_6},
  doi          = {10.1007/978-3-7091-6355-9\_6},
  timestamp    = {Mon, 04 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tssdv/ContiniSWCC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tssdv/FuhrmannH98,
  author       = {Kay Fuhrmann and
                  Jan Hiemer},
  editor       = {Rudolf Berghammer and
                  Yassine Lakhnech},
  title        = {Formal Verification of Statemate-Statecharts},
  booktitle    = {Proceedings of the International Workshop Tool Support for System
                  Specification, Development and Verification, Malente, Germany, June
                  1-4, 1998},
  series       = {Advances in computing science},
  pages        = {92--107},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-7091-6355-9\_7},
  doi          = {10.1007/978-3-7091-6355-9\_7},
  timestamp    = {Mon, 04 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tssdv/FuhrmannH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tssdv/GoerigkGZ98,
  author       = {Wolfgang Goerigk and
                  Thilo Gaul and
                  Wolf Zimmermann},
  editor       = {Rudolf Berghammer and
                  Yassine Lakhnech},
  title        = {Correct Programs without Proof? On Checker-Based Program Verification},
  booktitle    = {Proceedings of the International Workshop Tool Support for System
                  Specification, Development and Verification, Malente, Germany, June
                  1-4, 1998},
  series       = {Advances in computing science},
  pages        = {108--122},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-7091-6355-9\_8},
  doi          = {10.1007/978-3-7091-6355-9\_8},
  timestamp    = {Mon, 04 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tssdv/GoerigkGZ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tssdv/HolenderskiP98,
  author       = {Leszek Holenderski and
                  Axel Poign{\'{e}}},
  editor       = {Rudolf Berghammer and
                  Yassine Lakhnech},
  title        = {Synchronie Workbench},
  booktitle    = {Proceedings of the International Workshop Tool Support for System
                  Specification, Development and Verification, Malente, Germany, June
                  1-4, 1998},
  series       = {Advances in computing science},
  pages        = {123--135},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-7091-6355-9\_9},
  doi          = {10.1007/978-3-7091-6355-9\_9},
  timestamp    = {Mon, 04 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tssdv/HolenderskiP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tssdv/Kahl98,
  author       = {Wolfram Kahl},
  editor       = {Rudolf Berghammer and
                  Yassine Lakhnech},
  title        = {The Term Graph Programming System {HOPS}},
  booktitle    = {Proceedings of the International Workshop Tool Support for System
                  Specification, Development and Verification, Malente, Germany, June
                  1-4, 1998},
  series       = {Advances in computing science},
  pages        = {136--149},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-7091-6355-9\_10},
  doi          = {10.1007/978-3-7091-6355-9\_10},
  timestamp    = {Mon, 04 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tssdv/Kahl98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tssdv/LangeL0T98,
  author       = {Martin Lange and
                  Martin Leucker and
                  Thomas Noll and
                  Stephan Tobies},
  editor       = {Rudolf Berghammer and
                  Yassine Lakhnech},
  title        = {Truth - {A} verification platform for concurrent systems},
  booktitle    = {Proceedings of the International Workshop Tool Support for System
                  Specification, Development and Verification, Malente, Germany, June
                  1-4, 1998},
  series       = {Advances in computing science},
  pages        = {150--159},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-7091-6355-9\_11},
  doi          = {10.1007/978-3-7091-6355-9\_11},
  timestamp    = {Mon, 04 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tssdv/LangeL0T98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tssdv/LuthK0WW98,
  author       = {Christoph L{\"{u}}th and
                  Einar W. Karlsen and
                  Kolyang and
                  Stefan Westmeier and
                  Burkhart Wolff},
  editor       = {Rudolf Berghammer and
                  Yassine Lakhnech},
  title        = {Tool Integration in the UniForM-Workbench},
  booktitle    = {Proceedings of the International Workshop Tool Support for System
                  Specification, Development and Verification, Malente, Germany, June
                  1-4, 1998},
  series       = {Advances in computing science},
  pages        = {160--173},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-7091-6355-9\_12},
  doi          = {10.1007/978-3-7091-6355-9\_12},
  timestamp    = {Mon, 04 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tssdv/LuthK0WW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tssdv/MannaBBCFPSU98,
  author       = {Zohar Manna and
                  Nikolaj S. Bj{\o}rner and
                  Anca Browne and
                  Michael Col{\'{o}}n and
                  Bernd Finkbeiner and
                  Mark C. Pichora and
                  Henny B. Sipma and
                  Tom{\'{a}}s E. Uribe},
  editor       = {Rudolf Berghammer and
                  Yassine Lakhnech},
  title        = {An Update on STeP: Deductive-Algorithmic Verification of Reactive
                  Systems},
  booktitle    = {Proceedings of the International Workshop Tool Support for System
                  Specification, Development and Verification, Malente, Germany, June
                  1-4, 1998},
  series       = {Advances in computing science},
  pages        = {174--188},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-7091-6355-9\_13},
  doi          = {10.1007/978-3-7091-6355-9\_13},
  timestamp    = {Thu, 14 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tssdv/MannaBBCFPSU98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tssdv/PfabROH98,
  author       = {Stephan Pfab and
                  Harald Rue{\ss} and
                  Sam Owre and
                  Friedrich W. von Henke},
  editor       = {Rudolf Berghammer and
                  Yassine Lakhnech},
  title        = {Towards Light-Weight Verification and Heavy-Weight Testing},
  booktitle    = {Proceedings of the International Workshop Tool Support for System
                  Specification, Development and Verification, Malente, Germany, June
                  1-4, 1998},
  series       = {Advances in computing science},
  pages        = {189--200},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-7091-6355-9\_14},
  doi          = {10.1007/978-3-7091-6355-9\_14},
  timestamp    = {Mon, 04 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tssdv/PfabROH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tssdv/Plath098,
  author       = {Malte Plath and
                  Mark Ryan},
  editor       = {Rudolf Berghammer and
                  Yassine Lakhnech},
  title        = {{SFI:} a Feature Integration Tool},
  booktitle    = {Proceedings of the International Workshop Tool Support for System
                  Specification, Development and Verification, Malente, Germany, June
                  1-4, 1998},
  series       = {Advances in computing science},
  pages        = {201--216},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-7091-6355-9\_15},
  doi          = {10.1007/978-3-7091-6355-9\_15},
  timestamp    = {Mon, 04 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tssdv/Plath098.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tssdv/Rock0W98,
  author       = {Georg Rock and
                  Werner Stephan and
                  Andreas Wolpers},
  editor       = {Rudolf Berghammer and
                  Yassine Lakhnech},
  title        = {Modular reasoning about structured {TLA} specifications},
  booktitle    = {Proceedings of the International Workshop Tool Support for System
                  Specification, Development and Verification, Malente, Germany, June
                  1-4, 1998},
  series       = {Advances in computing science},
  pages        = {217--229},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/978-3-7091-6355-9\_16},
  doi          = {10.1007/978-3-7091-6355-9\_16},
  timestamp    = {Mon, 04 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tssdv/Rock0W98.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.