default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInnovations 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
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.
last updated on 2024-11-27 20:18 CET 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:
