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/isse/isse9.bht:"
download as .bib file
@article{DBLP:journals/isse/Affeldt13,
author = {Reynald Affeldt},
title = {On construction of a library of formally verified low-level arithmetic
functions},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {2},
pages = {59--77},
year = {2013},
url = {https://doi.org/10.1007/s11334-013-0195-x},
doi = {10.1007/S11334-013-0195-X},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/Affeldt13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/BjorkBJST13,
author = {Joakim Bj{\o}rk and
Frank S. de Boer and
Einar Broch Johnsen and
Rudolf Schlatte and
Silvia Lizeth Tapia Tarifa},
title = {User-defined schedulers for real-time concurrent objects},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {1},
pages = {29--43},
year = {2013},
url = {https://doi.org/10.1007/s11334-012-0184-5},
doi = {10.1007/S11334-012-0184-5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/BjorkBJST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/BogholmFHJLRST13,
author = {Thomas B{\o}gholm and
Christian Frost and
Ren{\'{e}} Rydhof Hansen and
Casper Svenning Jensen and
Kasper S{\o}e Luckow and
Anders P. Ravn and
Hans S{\o}ndergaard and
Bent Thomsen},
title = {Towards harnessing theories through tool support for hard real-time
Java programming},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {1},
pages = {17--28},
year = {2013},
url = {https://doi.org/10.1007/s11334-012-0185-4},
doi = {10.1007/S11334-012-0185-4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/BogholmFHJLRST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/BowenR13,
author = {Judy Bowen and
Steve Reeves},
title = {UI-design driven model-based testing},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {3},
pages = {201--215},
year = {2013},
url = {https://doi.org/10.1007/s11334-013-0199-6},
doi = {10.1007/S11334-013-0199-6},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/BowenR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/BustardWG13,
author = {David W. Bustard and
F. George Wilkie and
Des Greer},
title = {Towards optimal software engineering: learning from agile practice},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {3},
pages = {191--200},
year = {2013},
url = {https://doi.org/10.1007/s11334-013-0216-9},
doi = {10.1007/S11334-013-0216-9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/BustardWG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/DasguptaKR13,
author = {Sandeep Dasgupta and
Amey Karkare and
Vinay K. Reddy},
title = {Precise shape analysis using field sensitivity},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {2},
pages = {79--93},
year = {2013},
url = {https://doi.org/10.1007/s11334-013-0198-7},
doi = {10.1007/S11334-013-0198-7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/DasguptaKR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/DjukicCOP13,
author = {Miodrag Djukic and
Nenad Cetic and
Radovan Obradovic and
Miroslav Popovic},
title = {An approach to instruction set compiled simulator development based
on a target processor {C} compiler back-end design},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {3},
pages = {135--145},
year = {2013},
url = {https://doi.org/10.1007/s11334-013-0220-0},
doi = {10.1007/S11334-013-0220-0},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/DjukicCOP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/DubeyK13,
author = {Abhishek Dubey and
Gabor Karsai},
title = {Software health management},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {4},
pages = {217},
year = {2013},
url = {https://doi.org/10.1007/s11334-013-0226-7},
doi = {10.1007/S11334-013-0226-7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/DubeyK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/FehnkerH13,
author = {Ansgar Fehnker and
Ralf Huuck},
title = {Model checking driven static analysis for the real world: designing
and tuning large scale bug detection},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {1},
pages = {45--56},
year = {2013},
url = {https://doi.org/10.1007/s11334-012-0192-5},
doi = {10.1007/S11334-012-0192-5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/FehnkerH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/GriesmayerLMW13,
author = {Andreas Griesmayer and
Zhiming Liu and
Charles Morisset and
Shuling Wang},
title = {A framework for automated and certified refinement steps},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {1},
pages = {3--16},
year = {2013},
url = {https://doi.org/10.1007/s11334-012-0183-6},
doi = {10.1007/S11334-012-0183-6},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/GriesmayerLMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/MahadevanDBK13,
author = {Nagabhushan Mahadevan and
Abhishek Dubey and
Daniel Balasubramanian and
Gabor Karsai},
title = {Deliberative, search-based mitigation strategies for model-based software
health management},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {4},
pages = {293--318},
year = {2013},
url = {https://doi.org/10.1007/s11334-013-0215-x},
doi = {10.1007/S11334-013-0215-X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/MahadevanDBK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/MarksS13,
author = {Robert M. Marks and
Roy Sterritt},
title = {A metadata driven approach to performing complex heterogeneous database
schema migrations},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {3},
pages = {179--190},
year = {2013},
url = {https://doi.org/10.1007/s11334-013-0217-8},
doi = {10.1007/S11334-013-0217-8},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/MarksS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/MousaviP13,
author = {Mohammad Reza Mousavi and
Jun Pang},
title = {Special issue: software verification and testing},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {2},
pages = {57--58},
year = {2013},
url = {https://doi.org/10.1007/s11334-013-0211-1},
doi = {10.1007/S11334-013-0211-1},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/MousaviP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/PerroneDH13,
author = {Gian Perrone and
S{\o}ren Debois and
Thomas T. Hildebrandt},
title = {A verification environment for bigraphs},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {2},
pages = {95--104},
year = {2013},
url = {https://doi.org/10.1007/s11334-013-0210-2},
doi = {10.1007/S11334-013-0210-2},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/PerroneDH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/PersonR13,
author = {Suzette Person and
Neha Rungta},
title = {Maintaining the health of software monitors},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {4},
pages = {257--269},
year = {2013},
url = {https://doi.org/10.1007/s11334-013-0213-z},
doi = {10.1007/S11334-013-0213-Z},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/PersonR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/PikeWNG13,
author = {Lee Pike and
Nis Wegmann and
Sebastian Niller and
Alwyn Goodloe},
title = {Copilot: monitoring embedded systems},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {4},
pages = {235--255},
year = {2013},
url = {https://doi.org/10.1007/s11334-013-0223-x},
doi = {10.1007/S11334-013-0223-X},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/PikeWNG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/SalaunBCPEG13,
author = {Gwen Sala{\"{u}}n and
Fabienne Boyer and
Thierry Coupaye and
Noel De Palma and
Xavier Etchevers and
Olivier Gruber},
title = {An experience report on the verification of autonomic protocols in
the cloud},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {2},
pages = {105--117},
year = {2013},
url = {https://doi.org/10.1007/s11334-013-0204-0},
doi = {10.1007/S11334-013-0204-0},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/SalaunBCPEG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/SchumannMMPSCD13,
author = {Johann Schumann and
Timmy Mbaya and
Ole J. Mengshoel and
Knot Pipatsrisawat and
Ashok N. Srivastava and
Arthur Choi and
Adnan Darwiche},
title = {Software health management with Bayesian networks},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {4},
pages = {271--292},
year = {2013},
url = {https://doi.org/10.1007/s11334-013-0214-y},
doi = {10.1007/S11334-013-0214-Y},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/SchumannMMPSCD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/SiddiquiK13,
author = {Junaid Haroon Siddiqui and
Sarfraz Khurshid},
title = {Scaling symbolic execution using staged analysis},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {2},
pages = {119--131},
year = {2013},
url = {https://doi.org/10.1007/s11334-013-0196-9},
doi = {10.1007/S11334-013-0196-9},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/SiddiquiK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/SrivastavaS13,
author = {Ashok N. Srivastava and
Johann Schumann},
title = {Software health management: a necessity for safety critical systems},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {4},
pages = {219--233},
year = {2013},
url = {https://doi.org/10.1007/s11334-013-0212-0},
doi = {10.1007/S11334-013-0212-0},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/SrivastavaS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/Sterritt13,
author = {Roy Sterritt},
title = {Special issue: Engineering of Computer-Based Systems},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {3},
pages = {133},
year = {2013},
url = {https://doi.org/10.1007/s11334-013-0222-y},
doi = {10.1007/S11334-013-0222-Y},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/Sterritt13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/Stolz13,
author = {Volker Stolz},
title = {Special Issue: Harnessing theories for tool support in software},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {1},
pages = {1--2},
year = {2013},
url = {https://doi.org/10.1007/s11334-012-0193-4},
doi = {10.1007/S11334-012-0193-4},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/Stolz13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/VajkML13,
author = {Tam{\'{a}}s Vajk and
Gergely Mezei and
Tihamer Levendovszky},
title = {Incremental semantic analysis for {OCL} compilers},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {3},
pages = {147--162},
year = {2013},
url = {https://doi.org/10.1007/s11334-013-0218-7},
doi = {10.1007/S11334-013-0218-7},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/VajkML13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/VranicZ13,
author = {Valentino Vranic and
L'ubos Zelinka},
title = {A configurable use case modeling metamodel with superimposed variants},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {3},
pages = {163--177},
year = {2013},
url = {https://doi.org/10.1007/s11334-013-0219-6},
doi = {10.1007/S11334-013-0219-6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/VranicZ13.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-04-19 19:08 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:
