External Links

    Journal: ISSE

    Volume 9, Issue 4

    217 -- 0Abhishek Dubey, Gabor Karsai. Software health management
    219 -- 233Ashok N. Srivastava, Johann Schumann. Software health management: a necessity for safety critical systems
    235 -- 255Lee Pike, Nis Wegmann, Sebastian Niller, Alwyn Goodloe. Copilot: monitoring embedded systems
    257 -- 269Suzette Person, Neha Rungta. Maintaining the health of software monitors
    271 -- 292Johann Schumann, Timmy Mbaya, Ole J. Mengshoel, Knot Pipatsrisawat, Ashok N. Srivastava, Arthur Choi, Adnan Darwiche. Software health management with Bayesian networks
    293 -- 318Nagabhushan Mahadevan, Abhishek Dubey, Daniel Balasubramanian, Gabor Karsai. Deliberative, search-based mitigation strategies for model-based software health management

    Volume 9, Issue 3

    133 -- 0Roy Sterritt. Special issue: Engineering of Computer-Based Systems
    135 -- 145Miodrag Djukic, Nenad Cetic, Radovan Obradovic, Miroslav Popovic. An approach to instruction set compiled simulator development based on a target processor C compiler back-end design
    147 -- 162Tamás Vajk, Gergely Mezei, Tihamer Levendovszky. Incremental semantic analysis for OCL compilers
    163 -- 177Valentino Vranic, L'ubos Zelinka. A configurable use case modeling metamodel with superimposed variants
    179 -- 190Robert M. Marks, Roy Sterritt. A metadata driven approach to performing complex heterogeneous database schema migrations
    191 -- 200David W. Bustard, F. George Wilkie, Des Greer. Towards optimal software engineering: learning from agile practice
    201 -- 215Judy Bowen, Steve Reeves. UI-design driven model-based testing

    Volume 9, Issue 2

    57 -- 58Mohammad Reza Mousavi, Jun Pang. Special issue: software verification and testing
    59 -- 77Reynald Affeldt. On construction of a library of formally verified low-level arithmetic functions
    79 -- 93Sandeep Dasgupta, Amey Karkare, Vinay K. Reddy. Precise shape analysis using field sensitivity
    95 -- 104Gian Perrone, Søren Debois, Thomas T. Hildebrandt. A verification environment for bigraphs
    105 -- 117Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noel De Palma, Xavier Etchevers, Olivier Gruber. An experience report on the verification of autonomic protocols in the cloud
    119 -- 131Junaid Haroon Siddiqui, Sarfraz Khurshid. Scaling symbolic execution using staged analysis

    Volume 9, Issue 1

    1 -- 2Volker Stolz. Special Issue: Harnessing theories for tool support in software
    3 -- 16Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang. A framework for automated and certified refinement steps
    17 -- 28Thomas Bøgholm, Christian Frost, René Rydhof Hansen, Casper Svenning Jensen, Kasper Søe Luckow, Anders P. Ravn, Hans Søndergaard, Bent Thomsen. Towards harnessing theories through tool support for hard real-time Java programming
    29 -- 43Joakim Bjørk, Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa. User-defined schedulers for real-time concurrent objects
    45 -- 56Ansgar Fehnker, Ralf Huuck. Model checking driven static analysis for the real world: designing and tuning large scale bug detection
    runs on