Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational 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, Jacques Verriet, Marco Brassé, Lou J. Somers:
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, Sarah M. Loos, Nikos Aréchiga, André Platzer:
How to model and prove hybrid systems with KeYmaera: a tutorial on safety. 67-91 - Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jan Friso Groote, Bart J. van Rijnsoever:
Evaluating the effect of a lightweight formal technique in industry. 93-108 - Takuro Kutsuna, Yoshinao Ishii, Akihiro Yamamoto:
Abstraction and refinement of mathematical functions toward SMT-based test-case generation. 109-120
Volume 18, Number 2, April 2016
- Erika Ábrahám, Klaus Havelund:
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, Dragan Bosnacki:
Many-core on-the-fly model checking of safety properties using GPUs. 169-185 - Alessandro Armando, Roberto Carbone, Luca Compagna:
SATMC: a SAT-based model checker for security protocols, business processes, and security APIs. 187-204 - Normann Decker, Martin Leucker, Daniel Thoma:
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, Andreas Ulrich:
Advances in test generation for testing software and systems - An introduction to selected papers from ICTSS 2013. 245-249 - Natalia Kushik, Khaled El-Fakih, Nina Yevtushenko, Ana R. Cavalli:
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, Ana C. R. Paiva:
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, Tom Melham, Daniel Kroening:
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, C. R. Ramakrishnan:
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, José Monteiro:
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, Shao Jie Zhang:
Verifying a quantitative relaxation of linearizability via refinement. 393-407 - Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jirí Srba, Lars Kaerlund Oestergaard:
Efficient model-checking of weighted CTL with upper-bound constraints. 409-426 - Alfons Laarman, Elwin Pater, Jaco van de Pol, Henri Hansen:
Guard-based partial-order reduction. 427-448 - Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle:
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, Diego Calvanese:
Soundness of data-aware, case-centric processes. 535-558 - Silvio Ranise, Anh Tuan Truong, Riccardo Traverso:
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, Matús Kalas, Kristoffer Rapacki, Jon C. Ison:
Using registries to integrate bioinformatics tools and services into workbench environments. 581-586 - Richard O. Sinnott, William Voorsluys:
A scalable Cloud-based system for data-intensive spatial analysis. 587-605 - Alfredo Bolt, Massimiliano de Leoni, Wil M. P. van der Aalst:
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, Marieke Huisman:
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
a service of 
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-06-10 21:27 CEST 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:
