Volumes and issues

Search all International Journal on Software Tools for Technology Transfer articles

Volume 26 February - April 2024Feb - Apr 2024
- Issue 2 April 2024
- Issue 1 February 2024
Volume 25 February - December 2023Feb - Dec 2023
- Issue 5-6 December 2023
- Issue 4 August 2023
- Issue 3 June 2023
- Issue 2 April 2023
  TACAS 2021
- Issue 1 February 2023
  SPIN 2021
Volume 24 February - December 2022Feb - Dec 2022
- Issue 6 December 2022
  FMICS 2021
- Issue 5 October 2022
  TACAS 2020
- Issue 4 August 2022
- Issue 3 June 2022
  FMICS 2019/2020
- Issue 2 April 2022
- Issue 1 February 2022
  TACAS 2019
Volume 23 February - December 2021Feb - Dec 2021
- Issue 6 December 2021
- Issue 5 October 2021
- Issue 4 August 2021
  RV 2019
- Issue 3 June 2021
  FASE 2019
- Issue 2 April 2021
  RV 2018
- Issue 1 February 2021
  SPIoT 2019
Volume 22 February - December 2020Feb - Dec 2020
- Issue 6 December 2020
  TACAS 2018 (pp. 685-728)
- Issue 5 October 2020
  SPIN 2019 (pp. 563-654)
- Issue 4 August 2020
  REoCAS (pp. 389-522)
- Issue 3 June 2020
  ABZ 2018
- Issue 2 April 2020
  SPIN 2018
- Issue 1 February 2020
  FASE 2018
Volume 21 February - December 2019Feb - Dec 2019
- Issue 6 December 2019
  Quantitative Variability Modelling and Analysis
- Issue 5 October 2019
- Issue 4 August 2019
- Issue 3 June 2019
  SPIN 2017 (pp. 247-349)
- Issue 2 April 2019
- Issue 1 February 2019
Volume 20 February - November 2018Feb - Nov 2018
- Issue 6 November 2018
  FASE 2017
- Issue 5 October 2018
  SPIN 2016
- Issue 4 August 2018
  FMICS-AVoCS
- Issue 3 June 2018
  Formal Methods for Transport Systems
- Issue 2 April 2018
  TACAS 2016 (pp. 119-210)
- Issue 1 February 2018
Volume 19 February - November 2017Feb - Nov 2017
- Issue 6 November 2017
  TACAS 2015 (pp. 649-741)
- Issue 5 October 2017
  TACAS 2013 (pp. 511-584)
- Issue 4 August 2017
  FMICS 2015/2016
- Issue 3 June 2017
  MBTCloud (pp. 271-339)
- Issue 2 April 2017
  ABZ 2014
- Issue 1 February 2017
Volume 18 February - November 2016Feb - Nov 2016
- Issue 6 November 2016
  SW
- Issue 5 October 2016
  PV 2014
- Issue 4 August 2016
  SPIN 2013
- Issue 3 June 2016
  ICTSS 2013
- Issue 2 April 2016
  TACAS 2014
- Issue 1 February 2016
Volume 17 February - November 2015Feb - Nov 2015
- Issue 6 November 2015
  VerifyThis 2012
- Issue 5 October 2015
  SPLC 2013
- Issue 4 August 2015
  SMC
- Issue 3 June 2015
  ESE (pp245-319)
- Issue 2 April 2015
  AD-RV (pp. 121-199)
- Issue 1 February 2015
Volume 16 February - November 2014Feb - Nov 2014
- Issue 6 November 2014
  FMRCS (pp 643-726)
- Issue 5 October 2014
  RERS (pp 457-558) and RBT (pp 559-642)
- Issue 4 August 2014
  TASE 12
- Issue 3 June 2014
  TTCN-3 (pp 215-313)
- Issue 2 April 2014
  TACAS 2012
- Issue 1 February 2014
  VVPS-11 (pp 1-65)
Volume 15 February - October 2013Feb - Oct 2013
- Issue 5-6 October 2013
  Synthesis
- Issue 4 August 2013
  TACAS 2009
- Issue 3 June 2013
  EUROSYS
- Issue 2 April 2013
  TACAS 2011
- Issue 1 February 2013
  ALL-TIMES
Volume 14 February - November 2012Feb - Nov 2012
- Issue 6 November 2012
  MTM
- Issue 5 October 2012
  SW-Diversity
- Issue 4 August 2012
  ICTSS 2010
- Issue 3 June 2012
  Runtime Verification
- Issue 2 April 2012
  Regular Model Checking
- Issue 1 February 2012
Volume 13 January - November 2011Jan - Nov 2011
- Issue 6 November 2011
  VMCAI 2009
- Issue 5 October 2011
  VSTTE 2009
- Issue 4 August 2011
- Issue 3 June 2011
  HVC 2008
- Issue 2 April 2011
  WSE 2009
- Issue 1 January 2011
  SPIN 2009
Volume 12 February - November 2010Feb - Nov 2010
- Issue 6 November 2010
  Special Section on VSTTE 2008
- Issue 5 September 2010
- Issue 3-4 July 2010
  Special Section on GraBaTs 08
- Issue 2 May 2010
  Special Section on SPIN 07
- Issue 1 February 2010
Volume 11 February - December 2009Feb - Dec 2009
- Issue 6 December 2009
- Issue 5 November 2009
  Special Section on FMICS 05
- Issue 4 October 2009
  Special Section on HVC 07
- Issue 3 July 2009
- Issue 2 April 2009
- Issue 1 February 2009
Volume 10 January - December 2008Jan - Dec 2008
- Issue 6 December 2008
- Issue 5 October 2008
- Issue 4 August 2008
  Special Section on Advances in Test Automation - the Evolution of TTCN-3
- Issue 3 June 2008
- Issue 2 March 2008
- Issue 1 January 2008
Volume 9 February - October 2007Feb - Oct 2007
- Issue 5-6 October 2007
- Issue 3-4 June 2007
- Issue 2 March 2007
  Special Section on Fundamental Approaches to Software Engineering
- Issue 1 February 2007
  Special Section on Advances in Automated Verification of Critical Systems
Volume 8 February - November 2006Feb - Nov 2006
- Issue 6 November 2006
  Special Section on Leveraging Applications of Formal Methods (pp 467-603); Special Section on Quantitative Analysis of Real-Time Embedded Systems (pp 605-667)
- Issue 4-5 August 2006
  A View from Formal Methods 2003 (pp 301-354); Special Section on Recent Advances in Hardware Verification (pp 355-447)
- Issue 3 June 2006
  Special Section on Tools and Algorithms for the Construction and Analysis of Systems 2004
- Issue 2 April 2006
  Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML
- Issue 1 February 2006
  Special section on Tools and Algorithms for the Construction and Analysis of Systems
Volume 7 February - August 2005Feb - Aug 2005
- Issue 4 August 2005
  Special section on high-level test of complex systems
- Issue 3 June 2005
  Special section on formal methods for industrial critical systems
- Issue 2 April 2005
  Special section on Bounded Model Checking
- Issue 1 February 2005
  Special section on parallel and distributed model checking
Volume 6 July - August 2004Jul - Aug 2004
- Issue 4 August 2004
  Special section on the algorithmics of software model checking
- Issue 3 August 2004
  Special section on tool integration applications and frameworks
- Issue 2 August 2004
  Special section on tools and algorithms for the construction and analysis of systems
- Issue 1 July 2004
Volume 5 November 2003 - May 2004Nov 2003 - May 2004
- Issue 4 May 2004
- Issue 2-3 March 2004
- Issue 1 November 2003
Volume 4 October 2002 - August 2003Oct 2002 - Aug 2003
- Issue 4 August 2003
- Issue 3 May 2003
- Issue 2 February 2003
- Issue 1 October 2002
Volume 3 September 2000 - September 2001Sept 2000 - Sept 2001
- Issue 4 September 2001
- Issue 3 August 2001
- Issue 2 May 2001
- Issue 1 September 2000
Volume 2 November 1998 - March 2000Nov 1998 - Mar 2000
- Issue 4 March 2000
- Issue 3 November 1999
- Issue 2 December 1998
- Issue 1 November 1998
Volume 1 December 1997Dec 1997
- Issue 1-2 December 1997

Volumes and issues

Volume 26 February - April 2024Feb - Apr 2024

Volume 25 February - December 2023Feb - Dec 2023

Volume 24 February - December 2022Feb - Dec 2022

Volume 23 February - December 2021Feb - Dec 2021

Volume 22 February - December 2020Feb - Dec 2020

Volume 21 February - December 2019Feb - Dec 2019

Volume 20 February - November 2018Feb - Nov 2018

Volume 19 February - November 2017Feb - Nov 2017

Volume 18 February - November 2016Feb - Nov 2016

Volume 17 February - November 2015Feb - Nov 2015

Volume 16 February - November 2014Feb - Nov 2014

Volume 15 February - October 2013Feb - Oct 2013

Volume 14 February - November 2012Feb - Nov 2012

Volume 13 January - November 2011Jan - Nov 2011

Volume 12 February - November 2010Feb - Nov 2010

Volume 11 February - December 2009Feb - Dec 2009

Volume 10 January - December 2008Jan - Dec 2008

Volume 9 February - October 2007Feb - Oct 2007

Volume 8 February - November 2006Feb - Nov 2006

Volume 7 February - August 2005Feb - Aug 2005

Volume 6 July - August 2004Jul - Aug 2004

Volume 5 November 2003 - May 2004Nov 2003 - May 2004

Volume 4 October 2002 - August 2003Oct 2002 - Aug 2003

Volume 3 September 2000 - September 2001Sept 2000 - Sept 2001

Volume 2 November 1998 - March 2000Nov 1998 - Mar 2000

Volume 1 December 1997Dec 1997

Search

Navigation