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/sttt12.bht:"
download as .bib file
@article{DBLP:journals/sttt/AbrialBHHMV10,
author = {Jean{-}Raymond Abrial and
Michael J. Butler and
Stefan Hallerstede and
Thai Son Hoang and
Farhad Mehta and
Laurent Voisin},
title = {Rodin: an open toolset for modelling and reasoning in Event-B},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {6},
pages = {447--466},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0145-y},
doi = {10.1007/S10009-010-0145-Y},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/AbrialBHHMV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AmeurBW10,
author = {Yamine A{\"{\i}}t Ameur and
Fr{\'{e}}d{\'{e}}ric Boniol and
Virginie Wiels},
title = {Toward a wider use of formal methods for aerospace systems design
and verification},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {1},
pages = {1--7},
year = {2010},
url = {https://doi.org/10.1007/s10009-009-0131-4},
doi = {10.1007/S10009-009-0131-4},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AmeurBW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BakewellDGL10,
author = {Adam Bakewell and
Aleksandar S. Dimovski and
Dan R. Ghica and
Ranko Lazic},
title = {Data-abstraction refinement: a game semantic approach},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {5},
pages = {373--389},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0143-0},
doi = {10.1007/S10009-010-0143-0},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BakewellDGL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BarnatBR10,
author = {Jiri Barnat and
Lubos Brim and
Petr Rockai},
title = {Scalable shared memory {LTL} model checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {2},
pages = {139--153},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0136-z},
doi = {10.1007/S10009-010-0136-Z},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BarnatBR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BauerLST10,
author = {Andreas Bauer and
Martin Leucker and
Christian Schallhart and
Michael Tautschnig},
title = {Don't care in {SMT:} building flexible yet efficient abstraction/refinement
solvers},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {1},
pages = {23--37},
year = {2010},
url = {https://doi.org/10.1007/s10009-009-0133-2},
doi = {10.1007/S10009-009-0133-2},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BauerLST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BeaudenonET10,
author = {Vincent Beaudenon and
Emmanuelle Encrenaz and
Sami Taktak},
title = {Data decision diagrams for Promela systems analysis},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {5},
pages = {337--352},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0135-0},
doi = {10.1007/S10009-010-0135-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BeaudenonET10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BiermannELPRT10,
author = {Enrico Biermann and
Claudia Ermel and
Leen Lambers and
Ulrike Prange and
Olga Runge and
Gabriele Taentzer},
title = {Introduction to {AGG} and {EMF} Tiger by modeling a Conference Scheduling
System},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {3-4},
pages = {245--261},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0154-x},
doi = {10.1007/S10009-010-0154-X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BiermannELPRT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BosnackiE10,
author = {Dragan Bosnacki and
Stefan Edelkamp},
title = {Model checking software: on some new waves and some evergreens},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {2},
pages = {89--95},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0155-9},
doi = {10.1007/S10009-010-0155-9},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BosnackiE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BucciCRV10,
author = {Giacomo Bucci and
Laura Carnevali and
Lorenzo Ridi and
Enrico Vicario},
title = {Oris: a tool for modeling, verification and evaluation of real-time
systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {5},
pages = {391--403},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0156-8},
doi = {10.1007/S10009-010-0156-8},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BucciCRV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/CarverL10,
author = {Richard H. Carver and
Yu Lei},
title = {A class library for implementing, testing, and debugging concurrent
programs},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {1},
pages = {69--88},
year = {2010},
url = {https://doi.org/10.1007/s10009-009-0102-9},
doi = {10.1007/S10009-009-0102-9},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/CarverL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ChalinRJLK10,
author = {Patrice Chalin and
Robby and
Perry R. James and
Jooyong Lee and
George Karabotsos},
title = {Towards an industrial grade {IVE} for Java and next generation research
platform for {JML}},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {6},
pages = {429--446},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0164-8},
doi = {10.1007/S10009-010-0164-8},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ChalinRJLK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Cok10,
author = {David R. Cok},
title = {Improved usability and performance of {SMT} solvers for debugging
specifications},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {6},
pages = {467--481},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0138-x},
doi = {10.1007/S10009-010-0138-X},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Cok10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DolevG10,
author = {Shlomi Dolev and
Ori Gersten},
title = {A framework for robust active super tier systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {1},
pages = {53--67},
year = {2010},
url = {https://doi.org/10.1007/s10009-008-0096-8},
doi = {10.1007/S10009-008-0096-8},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DolevG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/EvangelistaP10,
author = {Sami Evangelista and
Christophe Pajault},
title = {Solving the ignoring problem for partial order reduction},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {2},
pages = {155--170},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0137-y},
doi = {10.1007/S10009-010-0137-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/EvangelistaP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GeigerZ10,
author = {Leif Geiger and
Albert Z{\"{u}}ndorf},
title = {Fujaba case studies for GraBaTs 2008: lessons learned},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {3-4},
pages = {287--304},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0152-z},
doi = {10.1007/S10009-010-0152-Z},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GeigerZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GurfinkelC10,
author = {Arie Gurfinkel and
Sagar Chaki},
title = {Combining predicate and numeric abstraction for software model checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {6},
pages = {409--427},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0162-x},
doi = {10.1007/S10009-010-0162-X},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/GurfinkelC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HorvathBRV10,
author = {{\'{A}}kos Horv{\'{a}}th and
G{\'{a}}bor Bergmann and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}}},
title = {Experimental assessment of combining pattern matching strategies with
{VIATRA2}},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {3-4},
pages = {211--230},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0149-7},
doi = {10.1007/S10009-010-0149-7},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HorvathBRV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JakumeitBK10,
author = {Edgar Jakumeit and
Sebastian Buchwald and
Moritz Kroll},
title = {GrGen.NET - The expressive, convenient and fast graph rewrite system},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {3-4},
pages = {263--271},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0148-8},
doi = {10.1007/S10009-010-0148-8},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/JakumeitBK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KrahnRV10,
author = {Holger Krahn and
Bernhard Rumpe and
Steven V{\"{o}}lkel},
title = {MontiCore: a framework for compositional development of domain specific
languages},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {5},
pages = {353--372},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0142-1},
doi = {10.1007/S10009-010-0142-1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/KrahnRV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KroeningM10,
author = {Daniel Kroening and
Tiziana Margaria},
title = {Verified software: theories, tools and experiments},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {6},
pages = {405--408},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0175-5},
doi = {10.1007/S10009-010-0175-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/KroeningM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MaderBUJHH10,
author = {Angelika Mader and
Henrik C. Bohnenkamp and
Yaroslav S. Usenko and
David N. Jansen and
Johann L. Hurink and
Holger Hermanns},
title = {Synthesis and stochastic assessment of cost-optimal schedules},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {5},
pages = {305--318},
year = {2010},
url = {https://doi.org/10.1007/s10009-009-0129-y},
doi = {10.1007/S10009-009-0129-Y},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MaderBUJHH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MeszarosMLA10,
author = {Tam{\'{a}}s M{\'{e}}sz{\'{a}}ros and
Gergely Mezei and
Tihamer Levendovszky and
M{\'{a}}rk Asztalos},
title = {Manual and automated performance optimization of model transformation
systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {3-4},
pages = {231--243},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0151-0},
doi = {10.1007/S10009-010-0151-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MeszarosMLA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MohaSFBJ10,
author = {Naouel Moha and
Sagar Sen and
Cyril Faucher and
Olivier Barais and
Jean{-}Marc J{\'{e}}z{\'{e}}quel},
title = {Evaluation of Kermeta for solving graph-based problems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {3-4},
pages = {273--285},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0150-1},
doi = {10.1007/S10009-010-0150-1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MohaSFBJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MuliawanJ10,
author = {Olaf Muliawan and
Dirk Janssens},
title = {Model refactoring using MoTMoT},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {3-4},
pages = {201--209},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0147-9},
doi = {10.1007/S10009-010-0147-9},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MuliawanJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/PerezCHM10,
author = {Francisco Javier P{\'{e}}rez and
Yania Crespo and
Berthold Hoffmann and
Tom Mens},
title = {A case study to evaluate the suitability of graph transformation tools
for program refactoring},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {3-4},
pages = {183--199},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0153-y},
doi = {10.1007/S10009-010-0153-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/PerezCHM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/PlaggeL10,
author = {Daniel Plagge and
Michael Leuschel},
title = {Seven at one stroke: {LTL} model checking for high-level specifications
in B, Z, CSP, and more},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {1},
pages = {9--21},
year = {2010},
url = {https://doi.org/10.1007/s10009-009-0132-3},
doi = {10.1007/S10009-009-0132-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/PlaggeL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Rehm10,
author = {Joris Rehm},
title = {Proved development of the real-time properties of the {IEEE} 1394
Root Contention Protocol with the event-B method},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {1},
pages = {39--51},
year = {2010},
url = {https://doi.org/10.1007/s10009-009-0130-5},
doi = {10.1007/S10009-009-0130-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Rehm10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/RensinkG10,
author = {Arend Rensink and
Pieter Van Gorp},
title = {Graph transformation tool contest 2008},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {3-4},
pages = {171--181},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0157-7},
doi = {10.1007/S10009-010-0157-7},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/RensinkG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/RozierV10,
author = {Kristin Y. Rozier and
Moshe Y. Vardi},
title = {{LTL} satisfiability checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {2},
pages = {123--137},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0140-3},
doi = {10.1007/S10009-010-0140-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/RozierV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SimmondsDGC10,
author = {Jocelyn Simmonds and
Jessica Davies and
Arie Gurfinkel and
Marsha Chechik},
title = {Exploiting resolution proofs to speed up {LTL} vacuity detection for
{BMC}},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {5},
pages = {319--335},
year = {2010},
url = {https://doi.org/10.1007/s10009-009-0134-1},
doi = {10.1007/S10009-009-0134-1},
timestamp = {Tue, 12 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/SimmondsDGC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/Weber10,
author = {Michael Weber},
title = {An embeddable virtual machine for state space generation},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {2},
pages = {97--111},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0141-2},
doi = {10.1007/S10009-010-0141-2},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/Weber10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/YangCGK10,
author = {Yu Yang and
Xiaofang Chen and
Ganesh Gopalakrishnan and
Robert M. Kirby},
title = {Distributed dynamic partial order reduction},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {2},
pages = {113--122},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0144-z},
doi = {10.1007/S10009-010-0144-Z},
timestamp = {Tue, 07 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/YangCGK10.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-28 00: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:
