Journal: Formal Asp. Comput.

Volume 27, Issue 5-6

751 -- 752Jim Woodcock, Cliff B. Jones. Editorial
753 -- 788Artem Polyvyanyy, Marcello La Rosa, Chun Ouyang, Arthur H. M. ter Hofstede. Untanglings: a novel approach to analyzing concurrent systems
789 -- 804Maryam Dabaghchian, Mohammad Abdollahi Azgomi. Model checking the observational determinism security property using PROMELA and SPIN
805 -- 829Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe. Generating invariants for non-linear loops by linear algebraic methods
831 -- 865Pablo F. Castro, Nazareno Aguirre, Carlos López Pombo, T. S. E. Maibaum. Categorical foundations for structured specifications in Z
867 -- 884Domenico Rosaci. Finding semantic associations in hierarchically structured groups of Web data
885 -- 916Douglas Pereira Pasqualin, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta. Typed context awareness Ambient Calculus for pervasive applications
917 -- 949Omar I. Al-Bataineh, Mark Reynolds, Tim French. Accelerating worst case execution time analysis of timed automata models with cyclic behaviour
951 -- 973Messaouda Bouneb, Djamel-Eddine Saïdouni, Jean-Michel Ilié. A reduced maximality labeled transition system generation for recursive Petri nets
975 -- 1001Alexandre Mota, Adalberto Farias, Jim Woodcock, Peter Gorm Larsen. Model checking CML: tool development and industrial applications

Volume 27, Issue 4

611 -- 612Michael J. Butler, Einar Broch Johnsen, Luigia Petre. Editorial
613 -- 640Cosimo Laneve, Luca Padovani. An algebraic theory for web service contracts
641 -- 664Safouan Taha, Jacques Julliand, Frédéric Dadeau, Kalou Cabrera Castillos, Bilal Kanso. A compositional automata-based semantics and preserving transformation rules for testing property patterns
665 -- 699Elvira Albert, Jesús Correas Fernández, Germán Puebla, Guillermo Román-Díez. Quantified abstract configurations of distributed systems
701 -- 726Dorel Lucanu, Vlad Rusu. Program equivalence by circular reasoning
727 -- 750Ernst-Rüdiger Olderog, Mani Swaminathan. Structural transformations for data-enriched real-time systems

Volume 27, Issue 3

473 -- 0George Eleftherakis, Michael J. Butler, Mike Hinchey. Editorial
475 -- 497Cliff B. Jones, Ian J. Hayes, Robert J. Colvin. Balancing expressiveness in formal approaches to concurrency
499 -- 523Asieh Salehi Fathabadi, Michael J. Butler, Abdolbaghi Rezazadeh. Language and tool support for event refinement structures in Event-B
525 -- 549Gabriel Ciobanu, Maciej Koutny, L. Jason Steggles. Strategy based semantics for mobility with time and access permissions
551 -- 572Crystal Chang Din, Olaf Owe. Compositional reasoning about active objects with shared futures
573 -- 609Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski. Frama-C: A software analysis perspective

Volume 27, Issue 2

237 -- 0Cliff B. Jones. In memoriam: Professor Heinz Zemanek (1920-2014)
239 -- 253Pamela Zave. A practical comparison of Alloy and Spin
255 -- 282Yongjian Li, Jun Pang. Formalizing provable anonymity in Isabelle/HOL
283 -- 307Hugo Daniel Macedo, José Nuno Oliveira. A linear algebra approach to OLAP
309 -- 334Gholamreza Sotudeh, Ali Movaghar. Abstraction and approximation in fuzzy temporal logics and models
335 -- 374Amel Mammar, Marc Frappier. Proof-based verification approaches for dynamic properties: application to the information system domain
375 -- 395Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa, Rolf Hennicker. Refinement in hybridised institutions
397 -- 421Fu Song, Tayssir Touili. Model checking dynamic pushdown networks
423 -- 472Frank Zeyda, Ana Cavalcanti. Laws of mission-based programming

Volume 27, Issue 1

1 -- 31Borzoo Bonakdarpour, Sandeep S. Kulkarni. Synthesizing bounded-time 2-phase fault recovery
33 -- 52Mohand Yazid Saidi, Djamil Aïssani, Louiza Bouallouche-Medjkoune, Nassim Amrouche, Kamel Bakli. Modeling and enhancement of the IEEE 802.11 RTS/CTS scheme in an error-prone channel
53 -- 77Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis. Integrating stochastic reasoning into Event-B development
79 -- 102Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid. Formal probabilistic analysis of detection properties in wireless sensor networks
103 -- 131Qian Ma, Zhenhua Duan, Nan Zhang, Xiaobing Wang. Verification of distributed systems with the axiomatic system of MSVL
133 -- 166Huibiao Zhu, Jifeng He, Shengchao Qin, Phillip J. Brooke. Denotational semantics and its algebraic derivation for an event-driven system-level language
167 -- 192Shu Cheng, Jim Woodcock, Deepak D'Souza. Using formal reasoning on a model of tasks for FreeRTOS
193 -- 235Kevin Lano, T. Clark, Shekoufeh Kolahdouz Rahimi. A framework for model transformation verification