International Journal on Software Tools for Technology Transfer, Volume 20 (original) (raw)

default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches
• 

Venues:

• no matches
• 

Publications:

• no matches
• 

• > Home > Journals > International Journal on Software Tools for Technology Transfer

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

Volume 20, Number 1, February 2018

• 
  • 
  • 
  • 
  • 
    Mohamad Jaber, Yliès Falcone, Kinan Dak-Al-Bab, John Abou-Jaoudeh, Mostafa El-Katerji:
    A high-level modeling language for the efficient design, implementation, and testing of Android applications. 1-18
• 
  • 
  • 
  • 
  • 
    Ilyès Boukhari, Stéphane Jean, Idir Aït-Sadoune, Ladjel Bellatreche:
    The role of user requirements in data repository design. 19-34
• 
  • 
  • 
  • 
  • 
    Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto:
    Exact finite-state machine identification from scenarios and temporal properties. 35-55
• 
  • 
  • 
  • 
  • 
    Josie Holmes, Alex Groce, Jervis Pinto, Pranjal Mittal, Pooria Azimi, Kevin Kellar, James O'Brien:
    TSTL: the template scripting testing language. 57-78
• 
  • 
  • 
  • 
  • 
    Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos:
    Mining parametric temporal logic properties in model-based design for cyber-physical systems. 79-93
• 
  • 
  • 
  • 
  • 
    Vera Pantelic, Steven M. Postma, Mark Lawford, Monika Jaskolka, Bennett Mackenzie, Alexandre Korobkine, Marc Bender, Jeff Ong, Gordon Marks, Alan Wassyng:
    Software engineering practices and Simulink: bridging the gap. 95-117

Volume 20, Number 2, April 2018

TACAS 2016

• 
  • 
  • 
  • 
  • 
    Radu Mateescu:
    Recent advances in interactive and automated analysis. 119-123
• 
  • 
  • 
  • 
  • 
    Alexander John Faithfull, Jesper Bengtson, Enrico Tassi, Carst Tankink:
    Coqoon - An IDE for interactive proof development in Coq. 125-137
• 
  • 
  • 
  • 
  • 
    Gudmund Grov, Yuhui Lin:
    The Tinker tool for graphical tactic development. 139-155
• 
  • 
  • 
  • 
  • 
    Tom van Dijk, Jaco van de Pol:
    Multi-core symbolic bisimulation minimisation. 157-177
• 
  • 
  • 
  • 
  • 
    Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller:
    Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata. 179-194
• 
  • 
  • 
  • 
  • 
    Marta Kwiatkowska, David Parker, Clemens Wiltsche:
    PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives. 195-210

Regular article

• 
  • 
  • 
  • 
  • 
    Peter W. V. Tran-Jørgensen, Peter Gorm Larsen, Gary T. Leavens:
    Automated translation of VDM to JML-annotated Java. 211-235

Volume 20, Number 3, June 2018

Formal Methods for Transport Systems

• 
  • 
  • 
  • 
  • 
    Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp:
    Formal methods for transport systems. 237-241
• 
  • 
  • 
  • 
  • 
    Somsak Vanit-Anunchai:
    Modelling and simulating a Thai railway signalling system using Coloured Petri Nets. 243-262
• 
  • 
  • 
  • 
  • 
    Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo:
    Towards formal methods diversity in railways: an experience report with seven frameworks. 263-288
• 
  • 
  • 
  • 
  • 
    Vincenzo Ciancia, Stephen Gilmore, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink:
    Spatio-temporal model checking of vehicular movement in public transport systems. 289-311
• 
  • 
  • 
  • 
  • 
    Gianpiero Cabodi, Paolo Camurati, Carmelo Loiacono, Marco Palena, Paolo Pasini, Denis Patti, Stefano Quer:
    To split or to group: from divide-and-conquer to sub-task sharing for verifying multiple properties in model checking. 313-325
• 
  • 
  • 
  • 
  • 
    Stefan Naujokat, Michael Lybecait, Dawid Kopetzki, Bernhard Steffen:
    CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools. 327-354

Volume 20, Number 4, August 2018

FMICS-AVoCS

• 
  • 
  • 
  • 
  • 
    Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp:
    Formal methods and automated verification of critical systems. 355-358
• 
  • 
  • 
  • 
  • 
    Johannes Leupolz, Alexander Knapp, Axel Habermaier, Wolfgang Reif:
    Qualitative and quantitative analysis of safety-critical systems with s#. 359-377
• 
  • 
  • 
  • 
  • 
    André de Matos Pedro, Jorge Sousa Pinto, David Pereira, Luís Miguel Pinho:
    Runtime verification of autopilot systems using a fragment of MTL- {\int }$$ ∫. 379-395
• 
  • 
  • 
  • 
  • 
    Mounir Chadli, Jin Hyun Kim, Kim G. Larsen, Axel Legay, Stefan Naujokat, Bernhard Steffen, Louis-Marie Traonouez:
    High-level frameworks for the specification and verification of scheduling problems. 397-422
• 
  • 
  • 
  • 
  • 
    Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau:
    Integrated formal verification of safety-critical software. 423-440
• 
  • 
  • 
  • 
  • 
    Wen-ling Huang, Jan Peleska:
    Model-based testing strategies and their (in)dependence on syntactic model representations. 441-465
• 
  • 
  • 
  • 
  • 
    Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron:
    Assessing SMT and CLP approaches for workflow nets verification. 467-491

Volume 20, Number 5, October 2018

SPIN 2016

• 
  • 
  • 
  • 
  • 
    Dragan Bosnacki, Anton Wijs:
    Model checking: recent improvements and applications. 493-497
• 
  • 
  • 
  • 
  • 
    María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Alberto Salmerón:
    Integrating river basin DSSs with model checking. 499-514
• 
  • 
  • 
  • 
  • 
    Stefan Edelkamp, Christoph Greulich:
    A case study of planning for smart factories - Model checking and Monte Carlo search for the rescue. 515-528
• 
  • 
  • 
  • 
  • 
    Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba:
    Discrete and continuous strategies for timed-arc Petri net games. 529-546
• 
  • 
  • 
  • 
  • 
    Ehsan Khamespanah, Marjan Sirjani, Kirill Mechitov, Gul Agha:
    Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking. 547-561
• 
  • 
  • 
  • 
  • 
    Radu Mateescu, José Ignacio Requeno:
    On-the-fly model checking for extended action-based probabilistic operators. 563-587
• 
  • 
  • 
  • 
  • 
    Antti Valmari, Walter Vogler:
    Fair testing and stubborn sets. 589-610

Volume 20, Number 6, November 2018

FASE 2017

• 
  • 
  • 
  • 
  • 
    Marieke Huisman, Julia Rubin:
    Software quality tools and techniques presented in FASE'17. 611-613
• 
  • 
  • 
  • 
  • 
    Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer:
    Tactical contract composition for hybrid system component verification. 615-643
• 
  • 
  • 
  • 
  • 
    Zheng Cheng, Massimo Tisi:
    Slicing ATL model transformations for scalable deductive verification and fault localization. 645-663
• 
  • 
  • 
  • 
  • 
    Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias:
    Automated workarounds from Java program specifications based on SAT solving. 665-688
• 
  • 
  • 
  • 
  • 
    Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang:
    Learning probabilistic models for model checking: an evolutionary approach and an empirical study. 689-704
• 
  • 
  • 
  • 
  • 
    Sven Schneider, Leen Lambers, Fernando Orejas:
    Automated reasoning for attributed graph properties. 705-737
• 
  • 
  • 
  • 
  • 
    Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco:
    Slicing from formal semantics: Chisel - a tool for generic program slicing. 739-769

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.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

dblp was originally created in 1993 at:

since 2018, dblp has been operated and maintained by: