Untanglings: a novel approach to analyzing concurrent systems Artem PolyvyanyyMarcello La RosaArthur H. M. ter Hofstede Original Article 13 January 2015 Pages: 753 - 788
Model checking the observational determinism security property using PROMELA and SPIN Maryam DabaghchianMohammad Abdollahi Azgomi Original Article 20 January 2015 Pages: 789 - 804
Generating invariants for non-linear loops by linear algebraic methods Rachid RebihaArnaldo Vieira MouraNadir Matringe Original Article 18 March 2015 Pages: 805 - 829
Categorical foundations for structured specifications in \({\mathsf{Z}}\) Pablo F. CastroNazareno AguirreT. S. E. Maibaum Original Article 22 May 2015 Pages: 831 - 865
Finding semantic associations in hierarchically structured groups of Web data Domenico Rosaci Original Article 09 July 2015 Pages: 867 - 884
Typed context awareness Ambient Calculus for pervasive applications Douglas Pereira PasqualinJuliana Kaizer VizzottoEduardo Kessler Piveta Original Article 29 July 2015 Pages: 885 - 916
Accelerating worst case execution time analysis of timed automata models with cyclic behaviour Omar Al-BatainehMark ReynoldsTim French Original Article 31 July 2015 Pages: 917 - 949
A reduced maximality labeled transition system generation for recursive Petri nets Messaouda BounebDjamel Eddine SaidouniJean Michel Ilie Original Article 06 August 2015 Pages: 951 - 973
Model checking CML: tool development and industrial applications A. MotaA. FariasP. G. Larsen Original Article 07 September 2015 Pages: 975 - 1001