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/sttt6.bht:"
download as .bib file
@article{DBLP:journals/sttt/BouquetLP04,
author = {Fabrice Bouquet and
Bruno Legeard and
Fabien Peureux},
title = {{CLPS-B} - {A} constraint solver to animate a {B} specification},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {2},
pages = {143--157},
year = {2004},
url = {https://doi.org/10.1007/s10009-003-0123-8},
doi = {10.1007/S10009-003-0123-8},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BouquetLP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BurmesterGNTWWWZ04,
author = {Sven Burmester and
Holger Giese and
J{\"{o}}rg Niere and
Matthias Tichy and
J{\"{o}}rg P. Wadsack and
Robert Wagner and
Lothar Wendehals and
Albert Z{\"{u}}ndorf},
title = {Tool integration at the meta-model level: the Fujaba approach},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {3},
pages = {203--218},
year = {2004},
url = {https://doi.org/10.1007/s10009-004-0155-8},
doi = {10.1007/S10009-004-0155-8},
timestamp = {Fri, 26 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BurmesterGNTWWWZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/CamposGYF04,
author = {S{\'{e}}rgio Vale Aguiar Campos and
Orna Grumberg and
Karen Yorav and
Fady Copty},
title = {Test sequence generation and model checking using dynamic transition
relations},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {2},
pages = {174--182},
year = {2004},
url = {https://doi.org/10.1007/s10009-004-0142-0},
doi = {10.1007/S10009-004-0142-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/CamposGYF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ColacoP04,
author = {Jean{-}Louis Cola{\c{c}}o and
Marc Pouzet},
title = {Type-based initialization analysis of a synchronous dataflow language},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {3},
pages = {245--255},
year = {2004},
url = {https://doi.org/10.1007/s10009-004-0160-y},
doi = {10.1007/S10009-004-0160-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ColacoP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/CorradiniMM04,
author = {Flavio Corradini and
Leonardo Mariani and
Emanuela Merelli},
title = {An agent-based approach to tool integration},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {3},
pages = {231--244},
year = {2004},
url = {https://doi.org/10.1007/s10009-004-0158-5},
doi = {10.1007/S10009-004-0158-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/CorradiniMM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DorrS04,
author = {Heiko D{\"{o}}rr and
Andy Sch{\"{u}}rr},
title = {Introduction},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {3},
pages = {183--185},
year = {2004},
url = {https://doi.org/10.1007/s10009-004-0161-x},
doi = {10.1007/S10009-004-0161-X},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DorrS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DwyerL04,
author = {Matthew B. Dwyer and
Stefan Leue},
title = {Introductory paper},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {4},
pages = {257--259},
year = {2004},
url = {https://doi.org/10.1007/s10009-004-0168-3},
doi = {10.1007/S10009-004-0168-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DwyerL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/EdelkampLL04a,
author = {Stefan Edelkamp and
Stefan Leue and
Alberto Lluch{-}Lafuente},
title = {Partial-order reduction and trail improvement in directed model checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {4},
pages = {277--301},
year = {2004},
url = {https://doi.org/10.1007/s10009-004-0151-z},
doi = {10.1007/S10009-004-0151-Z},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/EdelkampLL04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GodefroidK04,
author = {Patrice Godefroid and
Sarfraz Khurshid},
title = {Exploring very large state spaces using genetic algorithms},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {2},
pages = {117--127},
year = {2004},
url = {https://doi.org/10.1007/s10009-004-0141-1},
doi = {10.1007/S10009-004-0141-1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GodefroidK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GroceV04,
author = {Alex Groce and
Willem Visser},
title = {Heuristics for model checking Java programs},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {4},
pages = {260--276},
year = {2004},
url = {https://doi.org/10.1007/s10009-003-0130-9},
doi = {10.1007/S10009-003-0130-9},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GroceV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Hansen04,
author = {Klaus Marius Hansen},
title = {Thoth - {A} publish/subscribe architecture for peer-to-peer tool integration},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {3},
pages = {219--230},
year = {2004},
url = {https://doi.org/10.1007/s10009-004-0156-7},
doi = {10.1007/S10009-004-0156-7},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Hansen04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HavelundR04,
author = {Klaus Havelund and
Grigore Rosu},
title = {Efficient monitoring of safety properties},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {2},
pages = {158--173},
year = {2004},
url = {https://doi.org/10.1007/s10009-003-0117-6},
doi = {10.1007/S10009-003-0117-6},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HavelundR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HungarS04,
author = {Hardi Hungar and
Bernhard Steffen},
title = {Behavior-based model construction},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {1},
pages = {4--14},
year = {2004},
url = {https://doi.org/10.1007/s10009-004-0139-8},
doi = {10.1007/S10009-004-0139-8},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HungarS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Iosif04,
author = {Radu Iosif},
title = {Symmetry reductions for model checking of concurrent dynamic software},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {4},
pages = {302--319},
year = {2004},
url = {https://doi.org/10.1007/s10009-004-0154-9},
doi = {10.1007/S10009-004-0154-9},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Iosif04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JinRS04,
author = {HoonSang Jin and
Kavita Ravi and
Fabio Somenzi},
title = {Fate and free will in error traces},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {2},
pages = {102--116},
year = {2004},
url = {https://doi.org/10.1007/s10009-004-0146-9},
doi = {10.1007/S10009-004-0146-9},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/JinRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KatoenS04,
author = {Joost{-}Pieter Katoen and
Perdita Stevens},
title = {Guest editors' introduction: Advancements and extensions of verification
techniques},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {2},
pages = {99--101},
year = {2004},
url = {https://doi.org/10.1007/s10009-004-0150-0},
doi = {10.1007/S10009-004-0150-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/KatoenS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KwiatkowskaNP04,
author = {Marta Z. Kwiatkowska and
Gethin Norman and
David Parker},
title = {Probabilistic symbolic model checking with {PRISM:} a hybrid approach},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {2},
pages = {128--142},
year = {2004},
url = {https://doi.org/10.1007/s10009-004-0140-2},
doi = {10.1007/S10009-004-0140-2},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/KwiatkowskaNP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/PennaIMTZ04,
author = {Giuseppe Della Penna and
Benedetto Intrigila and
Igor Melatti and
Enrico Tronci and
Marisa Venturini Zilli},
title = {Exploiting transition locality in automatic verification of finite-state
concurrent systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {4},
pages = {320--341},
year = {2004},
url = {https://doi.org/10.1007/s10009-004-0149-6},
doi = {10.1007/S10009-004-0149-6},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/PennaIMTZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Rival04,
author = {Xavier Rival},
title = {Certification of compiled assembly code by invariant translation},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {1},
pages = {15--37},
year = {2004},
url = {https://doi.org/10.1007/s10009-003-0125-6},
doi = {10.1007/S10009-003-0125-6},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Rival04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SchopferYWM04,
author = {G. Schopfer and
Aidong Yang and
Lars von Wedel and
Wolfgang Marquardt},
title = {{CHEOPS:} {A} tool-integration platform for chemical process modelling
and simulation},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {3},
pages = {186--202},
year = {2004},
url = {https://doi.org/10.1007/s10009-004-0157-6},
doi = {10.1007/S10009-004-0157-6},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/SchopferYWM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Wang04,
author = {Farn Wang},
title = {Efficient verification of timed automata with BDD-like data structures},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {1},
pages = {77--97},
year = {2004},
url = {https://doi.org/10.1007/s10009-003-0135-4},
doi = {10.1007/S10009-003-0135-4},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Wang04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/WinEGKL04,
author = {Toh Ne Win and
Michael D. Ernst and
Stephen J. Garland and
Dilsun Kirli Kaynar and
Nancy A. Lynch},
title = {Using simulated execution in verifying distributed algorithms},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {1},
pages = {67--76},
year = {2004},
url = {https://doi.org/10.1007/s10009-003-0126-5},
doi = {10.1007/S10009-003-0126-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/WinEGKL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/YangRS04,
author = {Ping Yang and
C. R. Ramakrishnan and
Scott A. Smolka},
title = {A logical encoding of the pi-calculus: model checking mobile processes
using tabled resolution},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {1},
pages = {38--66},
year = {2004},
url = {https://doi.org/10.1007/s10009-003-0136-3},
doi = {10.1007/S10009-003-0136-3},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/YangRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ZuckAC04,
author = {Lenore D. Zuck and
Paul C. Attie and
Agostino Cortesi},
title = {Preface by the section editors},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {1},
pages = {1--3},
year = {2004},
url = {https://doi.org/10.1007/s10009-004-0144-y},
doi = {10.1007/S10009-004-0144-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ZuckAC04.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-05-17 17:25 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:
