default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Journal on Software Tools for Technology Transfer, Volume 17
Volume 17, Number 1, February 2015
- Agneta Nilsson, Laura M. Castro
, Samuel Rivas, Thomas Arts:
Assessing the effects of introducing a new software development process: a methodological description. 1-16 - Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Louis-Marie Traonouez, Andrzej Wasowski:
Real-time specifications. 17-45 - Hong Yi Chen, Shaked Flur, Supratik Mukhopadhyay:
Termination proofs for linear simple loops. 47-57 - Muhammad Shafique, Yvan Labiche:
A systematic review of state-based test tools. 59-76 - Reza Pulungan, Holger Hermanns:
A construction and minimization service for continuous probability distributions. 77-90 - Daniel Lincke, Sibylle Schupp, Cezar Ionescu:
Functional prototypes for generic C++ libraries: a transformational approach based on higher-order, typed signatures. 91-105 - Peter Y. H. Wong, Richard Bubel, Frank S. de Boer, Miguel Gómez-Zamalloa, Stijn de Gouw, Reiner Hähnle, Karl Meinke, Muddassar Azam Sindhu:
Testing abstract behavioral specifications. 107-119
Volume 17, Number 2, April 2015
- Yliès Falcone, Lenore D. Zuck:
Runtime verification: the application perspective. 121-123 - Sylvain Hallé, Jason Vallet, Raphaël Tremblay-Lessard:
On piggyback runtime monitoring of object-oriented programs. 125-142 - Klaus Havelund:
Rule-based runtime verification revisited. 143-170 - Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay:
Statistical model checking QoS properties of systems with SBIP. 171-185 - Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis:
Schedulability of Herschel revisited using statistical model checking. 187-199
- Sébastien Salva, Stassia R. Zafimiharisoa:
APSET, an Android aPplication SEcurity Testing tool for detecting intent-based vulnerabilities. 201-221 - Farn Wang:
Model-checking fair dense-time systems with propositions and events. 223-243
Volume 17, Number 3, June 2015
- Michael Felderer, Basel Katt:
A process for mastering security evolution in the development lifecycle. 245-250 - Atle Refsdal, Bjørnar Solhaug, Ketil Stølen:
Security risk analysis of system changes exemplified within the oil and gas domain. 251-266 - Jens Bürger, Jan Jürjens, Sven Wenzel:
Restoring security of evolving software models using graph transformation. 267-289 - Dries Vanoverberghe, Frank Piessens:
Policy ignorant caller-side inline reference monitoring. 291-303 - Michael Felderer, Elizabeta Fourneret:
A systematic classification of security regression testing approaches. 305-319
- Kenneth J. Turner, Paul S. Lambert:
Workflows for quantitative data analysis in the social sciences. 321-338 - Grzegorz Anielak, Grzegorz Jakacki, Slawomir Lasota:
Incremental test case generation using bounded model checking: an application to automatic rating. 339-349 - Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards:
Statistical model checking for biological systems. 351-367
Volume 17, Number 4, August 2015
- Axel Legay, Mahesh Viswanathan:
Statistical model checking: challenges and perspectives. 369-376 - Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, Boudewijn R. Haverkort:
On hypothesis testing for statistical model checking. 377-395 - Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen:
Uppaal SMC tutorial. 397-415 - Nima Roohi, Mahesh Viswanathan:
Statistical model checking for unbounded until formulas. 417-427 - Arnd Hartmanns, Mark Timmer:
Sound statistical model checking for MDP using partial order and confluence reduction. 429-456 - Richard Lassaigne, Sylvain Peyronnet:
Approximate planning and verification for large Markov decision processes. 457-467 - Pedro R. D'Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez:
Smart sampling for lightweight verification of Markov decision processes. 469-484 - Christian Ellen, Sebastian Gerwinn, Martin Fränzle:
Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains. 485-504 - Paolo Ballarini:
Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking. 505-526 - Paolo Zuliani:
Statistical model checking for biological applications. 527-536 - Souymodip Chakraborty, Joost-Pieter Katoen, Falak Sher, Martin Strelec:
Modelling and statistical model checking of a microgrid. 537-554
Volume 17, Number 5, October 2015
- Stefania Gnesi, Stan Jarzabek:
Special section on the 17th International Software Product Line Conference. 555-557 - Holger Eichelberger, Klaus Schmid:
Mapping the design-space of textual variability modeling languages: a refined analysis. 559-584 - João Bosco Ferreira Filho, Olivier Barais, Mathieu Acher, Jérôme Le Noir, Axel Legay, Benoit Baudry:
Generating counterexamples of model-based software product lines. 585-600 - Arne Haber, Katrin Hölldobler, Carsten Kolassa, Markus Look, Klaus Müller, Bernhard Rumpe, Ina Schaefer, Christoph Schulze:
Systematic synthesis of delta modeling languages. 601-626 - Julia Rubin, Krzysztof Czarnecki, Marsha Chechik:
Cloned product variants: from ad-hoc to managed software product lines. 627-646
Volume 17, Number 6, November 2015
- Marieke Huisman, Vladimir Klebanov, Rosemary Monahan:
VerifyThis 2012 - A Program Verification Competition. 647-657 - Bart Jacobs, Jan Smans, Frank Piessens:
Solving the VerifyThis 2012 challenges with VeriFast. 659-676 - Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif:
KIV: overview and VerifyThis competition. 677-694 - Duc Hoang, Yannick Moy, Angela Wallenburg, Roderick Chapman:
SPARK 2014 and GNATprove - A competition report from builders of an industrial-strength verifying compiler. 695-707 - François Bobot, Jean-Christophe Filliâtre, Claude Marché, Andrei Paskevich:
Let's verify this with Why3. 709-727 - Daniel Bruns, Wojciech Mostowski, Mattias Ulbrich:
Implementation-level verification of algorithms with KeY. 729-744 - Julian Tschannen, Carlo A. Furia, Martin Nordio:
AutoProof meets some verification challenges. 745-755 - Stefan Blom, Marieke Huisman:
Witnessing the elimination of magic wands. 757-781
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 2025-12-04 22:08 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:
