Journal: Formal aspects of computing - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Journal Formal aspects of computing

1. Generating invariants for non-linear loops by linear algebraic methods. (November 2015)

Authors:: Rebiha, Rachid; Moura, Arnaldo; Matringe, Nadir
Journal:: Formal aspects of computing
Issue:: Volume 27:Number 5(2015)
Page Start:: 805
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Editorial. (November 2015)

Authors:: Woodcock, Jim; Jones, Cliff
Journal:: Formal aspects of computing
Issue:: Volume 27:Number 5(2015)
Page Start:: 751
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Model checking CML: tool development and industrial applications. (November 2015)

Authors:: Mota, A.; Farias, A.; Woodcock, J.; Larsen, P.
Journal:: Formal aspects of computing
Issue:: Volume 27:Number 5(2015)
Page Start:: 975
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Model checking the observational determinism security property using PROMELA and SPIN. (November 2015)

Authors:: Dabaghchian, Maryam; Abdollahi Azgomi, Mohammad
Journal:: Formal aspects of computing
Issue:: Volume 27:Number 5(2015)
Page Start:: 789
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

5. Typed context awareness Ambient Calculus for pervasive applications. (November 2015)

Authors:: Pasqualin, Douglas; Vizzotto, Juliana; Piveta, Eduardo
Journal:: Formal aspects of computing
Issue:: Volume 27:Number 5(2015)
Page Start:: 885
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

6. A reduced maximality labeled transition system generation for recursive Petri nets. (November 2015)

Authors:: Bouneb, Messaouda; Saidouni, Djamel; Ilie, Jean
Journal:: Formal aspects of computing
Issue:: Volume 27:Number 5(2015)
Page Start:: 951
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

7. Accelerating worst case execution time analysis of timed automata models with cyclic behaviour. (November 2015)

Authors:: Al-Bataineh, Omar; Reynolds, Mark; French, Tim
Journal:: Formal aspects of computing
Issue:: Volume 27:Number 5(2015)
Page Start:: 917
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

8. Finding semantic associations in hierarchically structured groups of Web data. (November 2015)

Authors:: Rosaci, Domenico
Journal:: Formal aspects of computing
Issue:: Volume 27:Number 5(2015)
Page Start:: 867
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

9. Untanglings: a novel approach to analyzing concurrent systems. (November 2015)

Authors:: Polyvyanyy, Artem; La Rosa, Marcello; Ouyang, Chun; Hofstede, Arthur
Journal:: Formal aspects of computing
Issue:: Volume 27:Number 5(2015)
Page Start:: 753
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

10. Categorical foundations for structured specifications in $${\mathsf{Z}}$$Z. (November 2015)

Authors:: Castro, Pablo; Aguirre, Nazareno; Pombo, Carlos; Maibaum, T.
Journal:: Formal aspects of computing
Issue:: Volume 27:Number 5(2015)
Page Start:: 831
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗