Volume 27, Issue 5-6

Formal Aspects of Computing is now archived and no longer receiving submissions with this publisher. All articles published in the journal during its time with Springer will remain fully searchable through our websites.

Search all Formal Aspects of Computing articles

November 2015

10 articles in this issue

Editorial
Jim Woodcock
Cliff Jones
Editorial 12 November 2015 Pages: 751 - 752
Untanglings: a novel approach to analyzing concurrent systems
Artem Polyvyanyy
Marcello La Rosa
Arthur H. M. ter Hofstede
Original Article 13 January 2015 Pages: 753 - 788
Model checking the observational determinism security property using PROMELA and SPIN
Maryam Dabaghchian
Mohammad Abdollahi Azgomi
Original Article 20 January 2015 Pages: 789 - 804
Generating invariants for non-linear loops by linear algebraic methods
Rachid Rebiha
Arnaldo Vieira Moura
Nadir Matringe
Original Article 18 March 2015 Pages: 805 - 829
Categorical foundations for structured specifications in \({\mathsf{Z}}\)
Pablo F. Castro
Nazareno Aguirre
T. 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 Pasqualin
Juliana Kaizer Vizzotto
Eduardo 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-Bataineh
Mark Reynolds
Tim French
Original Article 31 July 2015 Pages: 917 - 949
A reduced maximality labeled transition system generation for recursive Petri nets
Messaouda Bouneb
Djamel Eddine Saidouni
Jean Michel Ilie
Original Article 06 August 2015 Pages: 951 - 973
Model checking CML: tool development and industrial applications
A. Mota
A. Farias
P. G. Larsen
Original Article 07 September 2015 Pages: 975 - 1001

Volume 27, Issue 5-6

Search

Navigation