default search action

combined dblp search
author search
venue search
publication search

ask others

Search dblp for Publications

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

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

> Home > Search

download as .bib file

@article{DBLP:journals/sttt/AbdullaD16,
  author       = {Parosh Aziz Abdulla and
                  Giorgio Delzanno},
  title        = {Parameterized verification},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {5},
  pages        = {469--473},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-016-0424-3},
  doi          = {10.1007/S10009-016-0424-3},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/AbdullaD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/AbdullaHH16,
  author       = {Parosh Aziz Abdulla and
                  Fr{\'{e}}d{\'{e}}ric Haziza and
                  Luk{\'{a}}s Hol{\'{\i}}k},
  title        = {Parameterized verification through view abstraction},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {5},
  pages        = {495--516},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-015-0406-x},
  doi          = {10.1007/S10009-015-0406-X},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sttt/AbdullaHH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/AbrahamH16,
  author       = {Erika {\'{A}}brah{\'{a}}m and
                  Klaus Havelund},
  title        = {Some recent advances in automated analysis},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {2},
  pages        = {121--128},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-015-0403-0},
  doi          = {10.1007/S10009-015-0403-0},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/AbrahamH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/AdhikariSWLZ16,
  author       = {Kiran Adhikari and
                  James Street and
                  Chao Wang and
                  Yang Liu and
                  Shao Jie Zhang},
  title        = {Verifying a quantitative relaxation of linearizability via refinement},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {4},
  pages        = {393--407},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-015-0373-2},
  doi          = {10.1007/S10009-015-0373-2},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/AdhikariSWLZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/AmighiGGH16,
  author       = {Afshin Amighi and
                  Pedro de Carvalho Gomes and
                  Dilian Gurov and
                  Marieke Huisman},
  title        = {Provably correct control flow graphs from Java bytecode programs with
                  exceptions},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {6},
  pages        = {653--684},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-015-0375-0},
  doi          = {10.1007/S10009-015-0375-0},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sttt/AmighiGGH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/ArmandoCC16,
  author       = {Alessandro Armando and
                  Roberto Carbone and
                  Luca Compagna},
  title        = {{SATMC:} a SAT-based model checker for security protocols, business
                  processes, and security APIs},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {2},
  pages        = {187--204},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-015-0385-y},
  doi          = {10.1007/S10009-015-0385-Y},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/ArmandoCC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/BartocciR16,
  author       = {Ezio Bartocci and
                  C. R. Ramakrishnan},
  title        = {Preface of the special issue on Model Checking of Software - Selected
                  papers of the 20th International {SPIN} Symposium on Model Checking
                  of Software},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {4},
  pages        = {355--357},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-016-0414-5},
  doi          = {10.1007/S10009-016-0414-5},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/BartocciR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/BogomolovDFGJLP16,
  author       = {Sergiy Bogomolov and
                  Alexandre Donz{\'{e}} and
                  Goran Frehse and
                  Radu Grosu and
                  Taylor T. Johnson and
                  Hamed Ladan and
                  Andreas Podelski and
                  Martin Wehrle},
  title        = {Guided search for hybrid systems based on coarse-grained space abstractions},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {4},
  pages        = {449--467},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-015-0393-y},
  doi          = {10.1007/S10009-015-0393-Y},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sttt/BogomolovDFGJLP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/BoltLA16,
  author       = {Alfredo Bolt and
                  Massimiliano de Leoni and
                  Wil M. P. van der Aalst},
  title        = {Scientific workflows for process mining: building blocks, scenarios,
                  and implementation},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {6},
  pages        = {607--628},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-015-0399-5},
  doi          = {10.1007/S10009-015-0399-5},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/BoltLA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/DeckerLT16,
  author       = {Normann Decker and
                  Martin Leucker and
                  Daniel Thoma},
  title        = {Monitoring modulo theories},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {2},
  pages        = {205--225},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-015-0380-3},
  doi          = {10.1007/S10009-015-0380-3},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/DeckerLT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/Delzanno16,
  author       = {Giorgio Delzanno},
  title        = {A unified view of parameterized verification of abstract models of
                  broadcast communication},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {5},
  pages        = {475--493},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-016-0412-7},
  doi          = {10.1007/S10009-016-0412-7},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/Delzanno16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/EnoiuCOWSP16,
  author       = {Eduard Paul Enoiu and
                  Adnan Causevic and
                  Thomas J. Ostrand and
                  Elaine J. Weyuker and
                  Daniel Sundmark and
                  Paul Pettersson},
  title        = {Automated test generation using model checking: an industrial evaluation},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {3},
  pages        = {335--353},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-014-0355-9},
  doi          = {10.1007/S10009-014-0355-9},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/EnoiuCOWSP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/EssenG16,
  author       = {Christian von Essen and
                  Dimitra Giannakopoulou},
  title        = {Probabilistic verification and synthesis of the next generation airborne
                  collision avoidance system},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {2},
  pages        = {227--243},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-015-0388-8},
  doi          = {10.1007/S10009-015-0388-8},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/EssenG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/FariaP16,
  author       = {Jo{\~{a}}o Pascoal Faria and
                  Ana C. R. Paiva},
  title        = {A toolset for conformance testing against {UML} sequence diagrams
                  based on event-driven colored Petri nets},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {3},
  pages        = {285--304},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-014-0354-x},
  doi          = {10.1007/S10009-014-0354-X},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/FariaP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/GanjeiREP16,
  author       = {Zeinab Ganjei and
                  Ahmed Rezine and
                  Petru Eles and
                  Zebo Peng},
  title        = {Counting dynamically synchronizing processes},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {5},
  pages        = {517--534},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-015-0411-0},
  doi          = {10.1007/S10009-015-0411-0},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/GanjeiREP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/Gibson-Robinson16,
  author       = {Thomas Gibson{-}Robinson and
                  Philip J. Armstrong and
                  Alexandre Boulgakov and
                  A. W. Roscoe},
  title        = {{FDR3:} a parallel refinement checker for {CSP}},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {2},
  pages        = {149--167},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-015-0377-y},
  doi          = {10.1007/S10009-015-0377-Y},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/Gibson-Robinson16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/GuptaG16,
  author       = {Amar Kumar Gupta and
                  Guy Edward Gallasch},
  title        = {Equivalence class verification of the contract net protocol-extension},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {6},
  pages        = {685--706},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-015-0376-z},
  doi          = {10.1007/S10009-015-0376-Z},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/GuptaG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/HendriksBVBS16,
  author       = {Martijn Hendriks and
                  Twan Basten and
                  Jacques Verriet and
                  Marco Brass{\'{e}} and
                  Lou J. Somers},
  title        = {A blueprint for system-level performance modeling of software-intensive
                  embedded systems},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {1},
  pages        = {21--40},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-014-0340-3},
  doi          = {10.1007/S10009-014-0340-3},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/HendriksBVBS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/HuangP16,
  author       = {Wen{-}ling Huang and
                  Jan Peleska},
  title        = {Complete model-based equivalence class testing},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {3},
  pages        = {265--283},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-014-0356-8},
  doi          = {10.1007/S10009-014-0356-8},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/HuangP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/InoueIKM16,
  author       = {Takeru Inoue and
                  Hiroaki Iwashita and
                  Jun Kawahara and
                  Shin{-}ichi Minato},
  title        = {Graphillion: software library for very large sets of labeled graphs},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {1},
  pages        = {57--66},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-014-0352-z},
  doi          = {10.1007/S10009-014-0352-Z},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/InoueIKM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/JensenLSO16,
  author       = {Jonas Finnemann Jensen and
                  Kim Guldstrand Larsen and
                  Jir{\'{\i}} Srba and
                  Lars Kaerlund Oestergaard},
  title        = {Efficient model-checking of weighted {CTL} with upper-bound constraints},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {4},
  pages        = {409--426},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-014-0359-5},
  doi          = {10.1007/S10009-014-0359-5},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/JensenLSO16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/KushikEYC16,
  author       = {Natalia Kushik and
                  Khaled El{-}Fakih and
                  Nina Yevtushenko and
                  Ana R. Cavalli},
  title        = {On adaptive experiments for nondeterministic finite state machines},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {3},
  pages        = {251--264},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-014-0357-7},
  doi          = {10.1007/S10009-014-0357-7},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sttt/KushikEYC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/KutsunaIY16,
  author       = {Takuro Kutsuna and
                  Yoshinao Ishii and
                  Akihiro Yamamoto},
  title        = {Abstraction and refinement of mathematical functions toward SMT-based
                  test-case generation},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {1},
  pages        = {109--120},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-015-0389-7},
  doi          = {10.1007/S10009-015-0389-7},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/KutsunaIY16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/LaarmanPPH16,
  author       = {Alfons Laarman and
                  Elwin Pater and
                  Jaco van de Pol and
                  Henri Hansen},
  title        = {Guard-based partial-order reduction},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {4},
  pages        = {427--448},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-014-0363-9},
  doi          = {10.1007/S10009-014-0363-9},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sttt/LaarmanPPH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/LamprechtSM16,
  author       = {Anna{-}Lena Lamprecht and
                  Bernhard Steffen and
                  Tiziana Margaria},
  title        = {Scientific workflows with the jABC framework - {A} review after a
                  decade in the field},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {6},
  pages        = {629--651},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-016-0427-0},
  doi          = {10.1007/S10009-016-0427-0},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/LamprechtSM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/LamprechtT16,
  author       = {Anna{-}Lena Lamprecht and
                  Kenneth J. Turner},
  title        = {Scientific workflows},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {6},
  pages        = {575--580},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-016-0428-z},
  doi          = {10.1007/S10009-016-0428-Z},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/LamprechtT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/LeonHL16,
  author       = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
                  Stefan Haar and
                  Delphine Longuet},
  title        = {Model-based testing for concurrent systems: unfolding-based test selection},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {3},
  pages        = {305--318},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-014-0353-y},
  doi          = {10.1007/S10009-014-0353-Y},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sttt/LeonHL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/LopesM16,
  author       = {Nuno P. Lopes and
                  Jos{\'{e}} Monteiro},
  title        = {Automatic equivalence checking of programs with uninterpreted functions
                  and integer arithmetic},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {4},
  pages        = {359--374},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-015-0366-1},
  doi          = {10.1007/S10009-015-0366-1},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sttt/LopesM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/Lowe16,
  author       = {Gavin Lowe},
  title        = {Concurrent depth-first search algorithms based on Tarjan's Algorithm},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {2},
  pages        = {129--147},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-015-0382-1},
  doi          = {10.1007/S10009-015-0382-1},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/Lowe16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/MenagerKRI16,
  author       = {Herv{\'{e}} M{\'{e}}nager and
                  Mat{\'{u}}s Kalas and
                  Kristoffer Rapacki and
                  Jon C. Ison},
  title        = {Using registries to integrate bioinformatics tools and services into
                  workbench environments},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {6},
  pages        = {581--586},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-015-0392-z},
  doi          = {10.1007/S10009-015-0392-Z},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/MenagerKRI16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/MontaliC16,
  author       = {Marco Montali and
                  Diego Calvanese},
  title        = {Soundness of data-aware, case-centric processes},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {5},
  pages        = {535--558},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-016-0417-2},
  doi          = {10.1007/S10009-016-0417-2},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/MontaliC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/OsaiweranSHGR16,
  author       = {Ammar Osaiweran and
                  Mathijs Schuts and
                  Jozef Hooman and
                  Jan Friso Groote and
                  Bart J. van Rijnsoever},
  title        = {Evaluating the effect of a lightweight formal technique in industry},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {1},
  pages        = {93--108},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-015-0374-1},
  doi          = {10.1007/S10009-015-0374-1},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/OsaiweranSHGR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/PezzeW16,
  author       = {Mauro Pezz{\`{e}} and
                  Jochen Wuttke},
  title        = {Model-driven generation of runtime checks for system properties},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {1},
  pages        = {1--19},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-014-0325-2},
  doi          = {10.1007/S10009-014-0325-2},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/PezzeW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/QueselMLAP16,
  author       = {Jan{-}David Quesel and
                  Stefan Mitsch and
                  Sarah M. Loos and
                  Nikos Ar{\'{e}}chiga and
                  Andr{\'{e}} Platzer},
  title        = {How to model and prove hybrid systems with KeYmaera: a tutorial on
                  safety},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {1},
  pages        = {67--91},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-015-0367-0},
  doi          = {10.1007/S10009-015-0367-0},
  timestamp    = {Thu, 16 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sttt/QueselMLAP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/RaniseTT16,
  author       = {Silvio Ranise and
                  Anh Tuan Truong and
                  Riccardo Traverso},
  title        = {Parameterized model checking for security policy analysis},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {5},
  pages        = {559--573},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-015-0410-1},
  doi          = {10.1007/S10009-015-0410-1},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/RaniseTT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/SchrammelMK16,
  author       = {Peter Schrammel and
                  Tom Melham and
                  Daniel Kroening},
  title        = {Generating test case chains for reactive systems},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {3},
  pages        = {319--334},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-014-0358-6},
  doi          = {10.1007/S10009-014-0358-6},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/SchrammelMK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/SethiTM16,
  author       = {Divjyot Sethi and
                  Muralidhar Talupur and
                  Sharad Malik},
  title        = {Model checking unbounded concurrent lists},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {4},
  pages        = {375--391},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-015-0369-y},
  doi          = {10.1007/S10009-015-0369-Y},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/SethiTM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/SinnottV16,
  author       = {Richard O. Sinnott and
                  William Voorsluys},
  title        = {A scalable Cloud-based system for data-intensive spatial analysis},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {6},
  pages        = {587--605},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-015-0398-6},
  doi          = {10.1007/S10009-015-0398-6},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/SinnottV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/WehrleK16,
  author       = {Martin Wehrle and
                  Sebastian Kupferschmid},
  title        = {Downward pattern refinement for timed automata},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {1},
  pages        = {41--56},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-014-0346-x},
  doi          = {10.1007/S10009-014-0346-X},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/WehrleK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/WijsB16,
  author       = {Anton Wijs and
                  Dragan Bosnacki},
  title        = {Many-core on-the-fly model checking of safety properties using GPUs},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {2},
  pages        = {169--185},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-015-0379-9},
  doi          = {10.1007/S10009-015-0379-9},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/WijsB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/YenigunYU16,
  author       = {H{\"{u}}sn{\"{u}} Yenig{\"{u}}n and
                  Cemal Yilmaz and
                  Andreas Ulrich},
  title        = {Advances in test generation for testing software and systems - An
                  introduction to selected papers from {ICTSS} 2013},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {18},
  number       = {3},
  pages        = {245--249},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10009-015-0404-z},
  doi          = {10.1007/S10009-015-0404-Z},
  timestamp    = {Wed, 21 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sttt/YenigunYU16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.