Ausgabe 5-6/2015
Inhalt (10 Artikel)
Original Article
Untanglings: a novel approach to analyzing concurrent systems
Artem Polyvyanyy, Marcello La Rosa, Chun Ouyang, Arthur H. M. ter Hofstede
Original Article
Model checking the observational determinism security property using PROMELA and SPIN
Maryam Dabaghchian, Mohammad Abdollahi Azgomi
Original Article
Generating invariants for non-linear loops by linear algebraic methods
Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe
Original Article
Categorical foundations for structured specifications in
Pablo F. Castro, Nazareno Aguirre, Carlos L. Pombo, T. S. E. Maibaum
Original Article
Finding semantic associations in hierarchically structured groups of Web data
Domenico Rosaci
Original Article
Typed context awareness Ambient Calculus for pervasive applications
Douglas Pereira Pasqualin, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta
Original Article
Accelerating worst case execution time analysis of timed automata models with cyclic behaviour
Omar Al-Bataineh, Mark Reynolds, Tim French
Original Article
A reduced maximality labeled transition system generation for recursive Petri nets
Messaouda Bouneb, Djamel Eddine Saidouni, Jean Michel Ilie
Original Article
Model checking CML: tool development and industrial applications
A. Mota, A. Farias, J. Woodcock, P. G. Larsen