Journal: Formal Asp. Comput.

Volume 16, Issue 4

313 -- 331Stefan Hallerstede, Michael J. Butler. Performance analysis of probabilistic action systems
332 -- 351Stephen Paynter, Neil Henderson, James M. Armstrong. Ramifications of metastability in bit variables explored via Simpson?s 4-slot mechanism
352 -- 373Solange Coupet-Grimal, Line Jakubiec. Certifying circuits in Type Theory
374 -- 386Florentin Ipate. Complete deterministic stream X-machine testing
387 -- 393Wim H. Hesselink. An assertional proof for a construction of an atomic variable
394 -- 411Joy N. Reed, J. E. Sinclair, A. W. Roscoe. Responsiveness of interoperating components

Volume 16, Issue 3

165 -- 0Manfred Broy, Gerald Lüttgen, Michael Mendler. Editorial
166 -- 193María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel. A generalized semantics of PROMELA for abstract model checking
194 -- 209Ingolf Krüger, Wolfgang Prenninger, Robert Sandner. Broadcast MSCs
210 -- 237Edward A. Lee, Yuhong Xiong. A behavioral type system and its application in Ptolemy II
238 -- 262Natalia López, Manuel Núñez, Fernando Rubio. An integrated framework for the performance analysis of asynchronous communicating stochastic processes
263 -- 291Mirabelle Nebut. Specification and analysis of synchronous reactions
292 -- 312Simone Tini. Timed CCP compositionally embeds Argos and Lustre

Volume 16, Issue 2

95 -- 0Cliff B. Jones, Michael R. Hansen. Editorial
96 -- 103Rana Barua. Completeness of a combination of neighbourhood logic and temporal logic
104 -- 120Henning Dierks. Comparing model checking and logical reasoning for real-time systems
121 -- 139Martin Fränzle. Model-checking dense-time Duration Calculus
140 -- 154Zhiming Liu, Anders P. Ravn, Xiaoshan Li. Unifying proof methodologies of duration calculus and timed linear temporal logic
155 -- 163Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li 0005, Guoliang Zheng. Duration-constrained regular expressions

Volume 16, Issue 1

1 -- 0Cliff B. Jones, John Cooke. Editorial
2 -- 3John S. Fitzgerald. Formal Methods Europe Update
4 -- 0Cliff B. Jones, D. J. Cooke, Christiane Notarmarco. Online First Publication
5 -- 18Antónia Lopes, José Luiz Fiadeiro. Superposition: composition vs refinement of non-deterministic, action-based systems
19 -- 35Clare E. Martin, Jeremy Gibbons, Ian Bayley. Disciplined, efficient, generalised folds for nested datatypes
36 -- 50Alan Stewart, Maurice Clint, Joaquim Gabarró. Barrier synchronisation: Axiomatisation and relaxation
51 -- 79Richard F. Paige, Jonathan S. Ostroff. ERC - An object-oriented refinement calculus for Eiffel
80 -- 94C. T. Carr, T. Martin McGinnity, L. J. McDaid. Integration of UML and VHDL-AMS for analogue system modelling