Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/sttt/sttt7.bht:"
download as .bib file
@article{DBLP:journals/sttt/AlurMN05,
author = {Rajeev Alur and
P. Madhusudan and
Wonhong Nam},
title = {Symbolic computational techniques for solving games},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {2},
pages = {118--128},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0179-0},
doi = {10.1007/S10009-004-0179-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AlurMN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ArtsP05,
author = {Thomas Arts and
Jaco van de Pol},
title = {Introductory paper},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {3},
pages = {195--196},
year = {2005},
url = {https://doi.org/10.1007/s10009-005-0196-7},
doi = {10.1007/S10009-005-0196-7},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ArtsP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BaldiniBP05,
author = {Andrea Baldini and
Alfredo Benso and
Paolo Prinetto},
title = {System-level functional testing from {UML} specifications in end-of-production
industrial environments},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {4},
pages = {326--340},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0147-8},
doi = {10.1007/S10009-004-0147-8},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BaldiniBP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Behrmann05,
author = {Gerd Behrmann},
title = {Distributed reachability analysis in timed automata},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {1},
pages = {19--30},
year = {2005},
url = {https://doi.org/10.1007/s10009-003-0111-z},
doi = {10.1007/S10009-003-0111-Z},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Behrmann05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BellH05,
author = {Alexander Bell and
Boudewijn R. Haverkort},
title = {Sequential and distributed model checking of Petri nets},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {1},
pages = {43--60},
year = {2005},
url = {https://doi.org/10.1007/s10009-003-0129-2},
doi = {10.1007/S10009-003-0129-2},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BellH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BiereS05,
author = {Armin Biere and
Ofer Strichman},
title = {Introductory paper},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {2},
pages = {87--88},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0186-1},
doi = {10.1007/S10009-004-0186-1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BiereS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BlomO05,
author = {Stefan Blom and
Simona Orzan},
title = {A distributed algorithm for strong bisimulation reduction of state
spaces},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {1},
pages = {74--86},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0159-4},
doi = {10.1007/S10009-004-0159-4},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BlomO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BlomO05a,
author = {Stefan Blom and
Simona Orzan},
title = {Distributed state space minimization},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {3},
pages = {280--291},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0185-2},
doi = {10.1007/S10009-004-0185-2},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BlomO05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BrabermanOS05,
author = {V{\'{\i}}ctor A. Braberman and
Alfredo Olivero and
Fernando Schapachnik},
title = {Issues in distributed timed model checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {1},
pages = {4--18},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0143-z},
doi = {10.1007/S10009-004-0143-Z},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BrabermanOS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BrimG05,
author = {Lubos Brim and
Orna Grumberg},
title = {Introductory paper},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {1},
pages = {1--3},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0177-2},
doi = {10.1007/S10009-004-0177-2},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BrimG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BrimYZ05,
author = {Lubos Brim and
Karen Yorav and
Jitka Zidkova},
title = {Assumption-based distribution of {CTL} model checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {1},
pages = {61--73},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0163-8},
doi = {10.1007/S10009-004-0163-8},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BrimYZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BruckerW05,
author = {Achim D. Brucker and
Burkhart Wolff},
title = {A verification approach to applied system security},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {3},
pages = {233--247},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0176-3},
doi = {10.1007/S10009-004-0176-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BruckerW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BubelH05,
author = {Richard Bubel and
Reiner H{\"{a}}hnle},
title = {Integration of informal and formal development of object-oriented
safety-critical software},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {3},
pages = {197--211},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0166-5},
doi = {10.1007/S10009-004-0166-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BubelH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BunkerGS05,
author = {Annette Bunker and
Ganesh Gopalakrishnan and
Konrad Slind},
title = {Live sequence charts applied to hardware requirements specification
and verification},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {4},
pages = {341--350},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0145-x},
doi = {10.1007/S10009-004-0145-X},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BunkerGS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BurdyCCEKLLP05,
author = {Lilian Burdy and
Yoonsik Cheon and
David R. Cok and
Michael D. Ernst and
Joseph R. Kiniry and
Gary T. Leavens and
K. Rustan M. Leino and
Erik Poll},
title = {An overview of {JML} tools and applications},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {3},
pages = {212--232},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0167-4},
doi = {10.1007/S10009-004-0167-4},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BurdyCCEKLLP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ButterfieldW05,
author = {Andrew Butterfield and
Jim Woodcock},
title = {prialt in Handel-C: an operational semantics},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {3},
pages = {248--267},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0181-6},
doi = {10.1007/S10009-004-0181-6},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/ButterfieldW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/CabodiKLNQW05,
author = {Gianpiero Cabodi and
Alex Kondratyev and
Luciano Lavagno and
Sergio Nocco and
Stefano Quer and
Yosinori Watanabe},
title = {A BMC-based formulation for the scheduling problem of hardware systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {2},
pages = {102--117},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0170-9},
doi = {10.1007/S10009-004-0170-9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/CabodiKLNQW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/CabodiNQ05,
author = {Gianpiero Cabodi and
Sergio Nocco and
Stefano Quer},
title = {Are BDDs still alive within sequential verification?},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {2},
pages = {129--142},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0172-7},
doi = {10.1007/S10009-004-0172-7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/CabodiNQ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ClarkeKOS05,
author = {Edmund M. Clarke and
Daniel Kroening and
Jo{\"{e}}l Ouaknine and
Ofer Strichman},
title = {Computational challenges in bounded model checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {2},
pages = {174--183},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0182-5},
doi = {10.1007/S10009-004-0182-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ClarkeKOS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HammarbergN05,
author = {Jerker Hammarberg and
Simin Nadjm{-}Tehrani},
title = {Formal verification of fault tolerance in safety-critical reconfigurable
modules},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {3},
pages = {268--279},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0152-y},
doi = {10.1007/S10009-004-0152-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HammarbergN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JardJ05,
author = {Claude Jard and
Thierry J{\'{e}}ron},
title = {{TGV:} theory, principles and algorithms},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {4},
pages = {297--315},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0153-x},
doi = {10.1007/S10009-004-0153-X},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/JardJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JonesS05,
author = {Michael D. Jones and
Jacob Sorber},
title = {Parallel search for {LTL} violations},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {1},
pages = {31--42},
year = {2005},
url = {https://doi.org/10.1007/s10009-003-0115-8},
doi = {10.1007/S10009-003-0115-8},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/JonesS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JussilaHN05,
author = {Toni Jussila and
Keijo Heljanko and
Ilkka Niemel{\"{a}}},
title = {{BMC} via on-the-fly determinization},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {2},
pages = {89--101},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0178-1},
doi = {10.1007/S10009-004-0178-1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/JussilaHN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KellererR05,
author = {Bartholom{\"{a}}us Kellerer and
Manfred Reitenspie{\ss}},
title = {Practical quality assurance for standards-based, high-availability
middleware},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {4},
pages = {376--387},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0162-9},
doi = {10.1007/S10009-004-0162-9},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/KellererR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LeuckerNSW05,
author = {Martin Leucker and
Thomas Noll and
Perdita Stevens and
Michael Weber},
title = {Functional programming languages for verification tools: a comparison
of Standard {ML} and Haskell},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {2},
pages = {184--194},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0184-3},
doi = {10.1007/S10009-004-0184-3},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/LeuckerNSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LiWS05,
author = {Bing Li and
Chao Wang and
Fabio Somenzi},
title = {Abstraction refinement in symbolic model checking using satisfiability
as the only decision procedure},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {2},
pages = {143--155},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0169-2},
doi = {10.1007/S10009-004-0169-2},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/LiWS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Margaria05,
author = {Tiziana Margaria},
title = {Introductory paper},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {4},
pages = {293--296},
year = {2005},
url = {https://doi.org/10.1007/s10009-005-0197-6},
doi = {10.1007/S10009-005-0197-6},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Margaria05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/PrasadBG05,
author = {Mukul R. Prasad and
Armin Biere and
Aarti Gupta},
title = {A survey of recent advances in SAT-based formal verification},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {2},
pages = {156--173},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0183-4},
doi = {10.1007/S10009-004-0183-4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/PrasadBG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SchieferdeckerDA05,
author = {Ina Schieferdecker and
George Din and
Dimitrios Apostolidis},
title = {Distributed functional and load tests for Web services},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {4},
pages = {351--360},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0165-6},
doi = {10.1007/S10009-004-0165-6},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/SchieferdeckerDA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Turner05,
author = {Kenneth J. Turner},
title = {Test generation for radiotherapy accelerators},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {4},
pages = {361--375},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0148-7},
doi = {10.1007/S10009-004-0148-7},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Turner05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Viho05,
author = {C{\'{e}}sar Viho},
title = {Test distribution: a solution for complex network system testing},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {4},
pages = {316--325},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0164-7},
doi = {10.1007/S10009-004-0164-7},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Viho05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-06-04 11:36 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
