default search action
International Journal on Software Tools for Technology Transfer, Volume 18
Volume 18, Number 1, February 2016
- Mauro Pezzè
, Jochen Wuttke:
Model-driven generation of runtime checks for system properties. 1-19 - Martijn Hendriks, Twan Basten
A blueprint for system-level performance modeling of software-intensive embedded systems. 21-40 - Martin Wehrle, Sebastian Kupferschmid:
Downward pattern refinement for timed automata. 41-56 - Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, Shin-ichi Minato:
Graphillion: software library for very large sets of labeled graphs. 57-66 - Jan-David Quesel, Stefan Mitsch
How to model and prove hybrid systems with KeYmaera: a tutorial on safety. 67-91 - Ammar Osaiweran
Evaluating the effect of a lightweight formal technique in industry. 93-108 - Takuro Kutsuna
Abstraction and refinement of mathematical functions toward SMT-based test-case generation. 109-120
Volume 18, Number 2, April 2016
- Erika Ábrahám
Some recent advances in automated analysis. 121-128 - Gavin Lowe:
Concurrent depth-first search algorithms based on Tarjan's Algorithm. 129-147 - Thomas Gibson-Robinson, Philip J. Armstrong, Alexandre Boulgakov, A. W. Roscoe:
FDR3: a parallel refinement checker for CSP. 149-167 - Anton Wijs
Many-core on-the-fly model checking of safety properties using GPUs. 169-185 - Alessandro Armando
SATMC: a SAT-based model checker for security protocols, business processes, and security APIs. 187-204 - Normann Decker, Martin Leucker
Monitoring modulo theories. 205-225 - Christian von Essen, Dimitra Giannakopoulou:
Probabilistic verification and synthesis of the next generation airborne collision avoidance system. 227-243
Volume 18, Number 3, June 2016
- Hüsnü Yenigün, Cemal Yilmaz
Advances in test generation for testing software and systems - An introduction to selected papers from ICTSS 2013. 245-249 - Natalia Kushik
On adaptive experiments for nondeterministic finite state machines. 251-264 - Wen-ling Huang, Jan Peleska:
Complete model-based equivalence class testing. 265-283 - João Pascoal Faria
A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets. 285-304 - Hernán Ponce de León, Stefan Haar, Delphine Longuet
Model-based testing for concurrent systems: unfolding-based test selection. 305-318 - Peter Schrammel
Generating test case chains for reactive systems. 319-334 - Eduard Paul Enoiu, Adnan Causevic, Thomas J. Ostrand, Elaine J. Weyuker, Daniel Sundmark, Paul Pettersson:
Automated test generation using model checking: an industrial evaluation. 335-353
Volume 18, Number 4, August 2016
- Ezio Bartocci
Preface of the special issue on Model Checking of Software - Selected papers of the 20th International SPIN Symposium on Model Checking of Software. 355-357 - Nuno P. Lopes
Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic. 359-374 - Divjyot Sethi, Muralidhar Talupur, Sharad Malik
Model checking unbounded concurrent lists. 375-391 - Kiran Adhikari, James Street, Chao Wang, Yang Liu
Verifying a quantitative relaxation of linearizability via refinement. 393-407 - Jonas Finnemann Jensen, Kim Guldstrand Larsen
Efficient model-checking of weighted CTL with upper-bound constraints. 409-426 - Alfons Laarman
Guard-based partial-order reduction. 427-448 - Sergiy Bogomolov
Guided search for hybrid systems based on coarse-grained space abstractions. 449-467
Volume 18, Number 5, October 2016
- Parosh Aziz Abdulla, Giorgio Delzanno:
Parameterized verification. 469-473 - Giorgio Delzanno:
A unified view of parameterized verification of abstract models of broadcast communication. 475-493 - Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík
Parameterized verification through view abstraction. 495-516 - Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng:
Counting dynamically synchronizing processes. 517-534 - Marco Montali
Soundness of data-aware, case-centric processes. 535-558 - Silvio Ranise
Parameterized model checking for security policy analysis. 559-573
Volume 18, Number 6, November 2016
- Anna-Lena Lamprecht, Kenneth J. Turner:
Scientific workflows. 575-580 - Hervé Ménager
Using registries to integrate bioinformatics tools and services into workbench environments. 581-586 - Richard O. Sinnott
A scalable Cloud-based system for data-intensive spatial analysis. 587-605 - Alfredo Bolt, Massimiliano de Leoni
Scientific workflows for process mining: building blocks, scenarios, and implementation. 607-628 - Anna-Lena Lamprecht, Bernhard Steffen, Tiziana Margaria
Scientific workflows with the jABC framework - A review after a decade in the field. 629-651 - Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov
Provably correct control flow graphs from Java bytecode programs with exceptions. 653-684 - Amar Kumar Gupta, Guy Edward Gallasch:
Equivalence class verification of the contract net protocol-extension. 685-706
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-01-18 01: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: