ask others

International Journal on Software Tools for Technology Transfer, Volume 20

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

Volume 20, Number 1, February 2018

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/JaberFDAE18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/JaberFDAE18
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
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/BoukhariJAB18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/BoukhariJAB18
Ilyès Boukhari, Stéphane Jean, Idir Aït-Sadoune, Ladjel Bellatreche:
The role of user requirements in data repository design. 19-34
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/UlyantsevBS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/UlyantsevBS18
Vladimir Ulyantsev, Igor Buzhinsky, Anatoly Shalyto:
Exact finite-state machine identification from scenarios and temporal properties. 35-55
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/HolmesGPMAKO18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/HolmesGPMAKO18
Josie Holmes, Alex Groce, Jervis Pinto, Pranjal Mittal, Pooria Azimi, Kevin Kellar, James O'Brien:
TSTL: the template scripting testing language. 57-78
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/HoxhaDF18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/HoxhaDF18
Bardh Hoxha, Adel Dokhanchi, Georgios E. Fainekos:
Mining parametric temporal logic properties in model-based design for cyber-physical systems. 79-93
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/PantelicPLJMKBO18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/PantelicPLJMKBO18
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

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/Mateescu18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/Mateescu18
Radu Mateescu:
Recent advances in interactive and automated analysis. 119-123
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/FaithfullBTT18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/FaithfullBTT18
Alexander Faithfull, Jesper Bengtson, Enrico Tassi, Carst Tankink:
Coqoon - An IDE for interactive proof development in Coq. 125-137
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/GrovL18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/GrovL18
Gudmund Grov, Yuhui Lin:
The Tinker tool for graphical tactic development. 139-155
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/DijkP18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/DijkP18
Tom van Dijk, Jaco van de Pol:
Multi-core symbolic bisimulation minimisation. 157-177
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/KleinBCDDKMM18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/KleinBCDDKMM18
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
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/KwiatkowskaPW18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/KwiatkowskaPW18
Marta Kwiatkowska, David Parker, Clemens Wiltsche:
PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives. 195-210

Regular article

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/Tran-JorgensenL18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/Tran-JorgensenL18
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

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/BeekGK18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/BeekGK18
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp:
Formal methods for transport systems. 237-241
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/Vanit-Anunchai18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/Vanit-Anunchai18
Somsak Vanit-Anunchai:
Modelling and simulating a Thai railway signalling system using Coloured Petri Nets. 243-262
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/MazzantiFS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/MazzantiFS18
Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo:
Towards formal methods diversity in railways: an experience report with seven frameworks. 263-288
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/CianciaGGLLM18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/CianciaGGLLM18
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
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/CabodiCLPPPQ18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/CabodiCLPPPQ18
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
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/NaujokatLKS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/NaujokatLKS18
Stefan Naujokat, Michael Lybecait, Dawid Kopetzki, Bernhard Steffen:
CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools. 327-354

maintained by

at