Skip to main content

International Journal on Software Tools for Technology Transfer

Archive

2024 (Volume 26 | 2 Issues)

2023 (Volume 25 | 5 Issues)

Apr 23

Issue: 2/2023

TACAS 2021
Feb 23

Issue: 1/2023

SPIN 2021

2022 (Volume 24 | 6 Issues)

Dec 22

Issue: 6/2022

FMICS 2021
Oct 22

Issue: 5/2022

TACAS 2020
Jun 22

Issue: 3/2022

FMICS 2019/2020
Feb 22

Issue: 1/2022

TACAS 2019

2021 (Volume 23 | 6 Issues)

Aug 21

Issue: 4/2021

RV 2019
Jun 21

Issue: 3/2021

FASE 2019
Apr 21

Issue: 2/2021

RV 2018
Feb 21

Issue: 1/2021

SPIoT 2019

2020 (Volume 22 | 6 Issues)

Dec 20

Issue: 6/2020

TACAS 2018 (pp. 685-728)
Oct 20

Issue: 5/2020

SPIN 2019 (pp. 563-654)
Aug 20

Issue: 4/2020

REoCAS (pp. 389-522)
Jun 20

Issue: 3/2020

ABZ 2018
Apr 20

Issue: 2/2020

SPIN 2018
Feb 20

Issue: 1/2020

FASE 2018

2019 (Volume 21 | 6 Issues)

Dec 19

Issue: 6/2019

Quantitative Variability Modelling and Analysis
Jun 19

Issue: 3/2019

SPIN 2017 (pp. 247-349)

2018 (Volume 20 | 6 Issues)

Nov 18

Issue: 6/2018

FASE 2017
Oct 18

Issue: 5/2018

SPIN 2016
Aug 18

Issue: 4/2018

FMICS-AVoCS
Jun 18

Issue: 3/2018

Formal Methods for Transport Systems
Apr 18

Issue: 2/2018

TACAS 2016 (pp. 119-210)

2017 (Volume 19 | 6 Issues)

Nov 17

Issue: 6/2017

TACAS 2015 (pp. 649-741)
Oct 17

Issue: 5/2017

TACAS 2013 (pp. 511-584)
Aug 17

Issue: 4/2017

FMICS 2015/2016
Jun 17

Issue: 3/2017

MBTCloud (pp. 271-339)
Apr 17

Issue: 2/2017

ABZ 2014

2016 (Volume 18 | 6 Issues)

Nov 16

Issue: 6/2016

SW
Oct 16

Issue: 5/2016

PV 2014
Aug 16

Issue: 4/2016

SPIN 2013
Jun 16

Issue: 3/2016

ICTSS 2013
Apr 16

Issue: 2/2016

TACAS 2014

2015 (Volume 17 | 6 Issues)

Nov 15

Issue: 6/2015

VerifyThis 2012
Oct 15

Issue: 5/2015

SPLC 2013
Aug 15

Issue: 4/2015

SMC
Jun 15

Issue: 3/2015

ESE (pp245-319)
Apr 15

Issue: 2/2015

AD-RV (pp. 121-199)

2014 (Volume 16 | 6 Issues)

Nov 14

Issue: 6/2014

FMRCS (pp 643-726)
Oct 14

Issue: 5/2014

RERS (pp 457-558) and RBT (pp 559-642)
Aug 14

Issue: 4/2014

TASE 12
Jun 14

Issue: 3/2014

TTCN-3 (pp 215-313)
Apr 14

Issue: 2/2014

TACAS 2012
Feb 14

Issue: 1/2014

VVPS-11 (pp 1-65)

2013 (Volume 15 | 5 Issues)

Oct 13

Issue: 5-6/2013

Synthesis
Aug 13

Issue: 4/2013

TACAS 2009
Jun 13

Issue: 3/2013

EUROSYS
Apr 13

Issue: 2/2013

TACAS 2011
Feb 13

Issue: 1/2013

ALL-TIMES

2012 (Volume 14 | 6 Issues)

Nov 12

Issue: 6/2012

MTM
Oct 12

Issue: 5/2012

SW-Diversity
Aug 12

Issue: 4/2012

ICTSS 2010
Jun 12

Issue: 3/2012

Runtime Verification
Apr 12

Issue: 2/2012

Regular Model Checking

2011 (Volume 13 | 6 Issues)

Nov 11

Issue: 6/2011

VMCAI 2009
Oct 11

Issue: 5/2011

VSTTE 2009
Jun 11

Issue: 3/2011

HVC 2008
Apr 11

Issue: 2/2011

WSE 2009
Jan 11

Issue: 1/2011

SPIN 2009

2010 (Volume 12 | 5 Issues)

Nov 10

Issue: 6/2010

Special Section on VSTTE 2008
Jul 10

Issue: 3-4/2010

Special Section on GraBaTs 08
May 10

Issue: 2/2010

Special Section on SPIN 07

2009 (Volume 11 | 6 Issues)

Nov 09

Issue: 5/2009

Special Section on FMICS 05
Oct 09

Issue: 4/2009

Special Section on HVC 07

2008 (Volume 10 | 6 Issues)

Aug 08

Issue: 4/2008

Special Section on Advances in Test Automation - the Evolution of TTCN-3

2007 (Volume 9 | 4 Issues)

Mar 07

Issue: 2/2007

Special Section on Fundamental Approaches to Software Engineering
Feb 07

Issue: 1/2007

Special Section on Advances in Automated Verification of Critical Systems

2006 (Volume 8 | 5 Issues)

Nov 06

Issue: 6/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)
Aug 06

Issue: 4-5/2006

A View from Formal Methods 2003 (pp 301-354); Special Section on Recent Advances in Hardware Verification (pp 355-447)
Jun 06

Issue: 3/2006

Special Section on Tools and Algorithms for the Construction and Analysis of Systems 2004
Apr 06

Issue: 2/2006

Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML
Feb 06

Issue: 1/2006

Special section on Tools and Algorithms for the Construction and Analysis of Systems

2005 (Volume 7 | 4 Issues)

Aug 05

Issue: 4/2005

Special section on high-level test of complex systems
Jun 05

Issue: 3/2005

Special section on formal methods for industrial critical systems
Apr 05

Issue: 2/2005

Special section on Bounded Model Checking
Feb 05

Issue: 1/2005

Special section on parallel and distributed model checking