![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Innovations in Systems and Software Engineering, Volume 9
Volume 9, Number 1, March 2013
- Volker Stolz:
Special Issue: Harnessing theories for tool support in software. 1-2 - Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang:
A framework for automated and certified refinement steps. 3-16 - Thomas 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. 17-28 - Joakim Bjørk, Frank S. de Boer, Einar Broch Johnsen
, Rudolf Schlatte
, Silvia Lizeth Tapia Tarifa
:
User-defined schedulers for real-time concurrent objects. 29-43 - Ansgar Fehnker
, Ralf Huuck:
Model checking driven static analysis for the real world: designing and tuning large scale bug detection. 45-56
Volume 9, Number 2, June 2013
- Mohammad Reza Mousavi
, Jun Pang:
Special issue: software verification and testing. 57-58 - Reynald Affeldt
:
On construction of a library of formally verified low-level arithmetic functions. 59-77 - Sandeep Dasgupta, Amey Karkare
, Vinay K. Reddy:
Precise shape analysis using field sensitivity. 79-93 - Gian Perrone, Søren Debois, Thomas T. Hildebrandt:
A verification environment for bigraphs. 95-104 - Gwen 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. 105-117 - Junaid Haroon Siddiqui
, Sarfraz Khurshid:
Scaling symbolic execution using staged analysis. 119-131
Volume 9, Number 3, September 2013
- Roy Sterritt
:
Special issue: Engineering of Computer-Based Systems. 133 - Miodrag 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. 135-145 - Tamás Vajk, Gergely Mezei, Tihamer Levendovszky:
Incremental semantic analysis for OCL compilers. 147-162 - Valentino Vranic
, L'ubos Zelinka:
A configurable use case modeling metamodel with superimposed variants. 163-177 - Robert M. Marks, Roy Sterritt
:
A metadata driven approach to performing complex heterogeneous database schema migrations. 179-190 - David W. Bustard, F. George Wilkie, Des Greer
:
Towards optimal software engineering: learning from agile practice. 191-200 - Judy Bowen
, Steve Reeves
:
UI-design driven model-based testing. 201-215
Volume 9, Number 4, December 2013
- Abhishek Dubey
, Gabor Karsai
:
Software health management. 217 - Ashok N. Srivastava, Johann Schumann:
Software health management: a necessity for safety critical systems. 219-233 - Lee Pike, Nis Wegmann, Sebastian Niller, Alwyn Goodloe:
Copilot: monitoring embedded systems. 235-255 - Suzette Person, Neha Rungta:
Maintaining the health of software monitors. 257-269 - Johann Schumann, Timmy Mbaya, Ole J. Mengshoel, Knot Pipatsrisawat, Ashok N. Srivastava, Arthur Choi, Adnan Darwiche:
Software health management with Bayesian networks. 271-292 - Nagabhushan Mahadevan, Abhishek Dubey
, Daniel Balasubramanian, Gabor Karsai
:
Deliberative, search-based mitigation strategies for model-based software health management. 293-318
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.