default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Aspects of Computing, Volume 25
Volume 25, Number 1, January 2013
- Preface. 1-2
- A. W. Roscoe, Jian Huang:
Checking noninterference in Timed CSP. 3-35 - Ana Cavalcanti
, Andy J. Wellings, Jim Woodcock:
The Safety-Critical Java memory model formalised. 37-57 - Thai Son Hoang:
Security invariants in discrete transition systems. 59-87 - Yifeng Chen:
Semantic inheritance in unifying theories of programming. 89-106 - Bill Stoddart, Frank Zeyda:
A unification of probabilistic choice within a design-based model of reversible computation. 107-131 - Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
Unifying theories in ProofPower-Z. 133-158
Volume 25, Number 2, March 2013
- Ragnhild Kobro Runde, Atle Refsdal, Ketil Stølen:
Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism. 159-187 - Kenneth Johnson, John V. Tucker:
The data type of spatial objects. 189-218 - Toby C. Murray:
On the limits of refinement-testing for model-checking CSP. 219-256 - Troels Christoffer Damgaard, Arne J. Glenstrup, Lars Birkedal, Robin Milner:
An inductive characterization of matching in binding bigraphs. 257-288 - Rodolfo Gómez:
Model-checking timed automata with deadlines with Uppaal. 289-318 - K. Subramani, Matthew D. Williamson, Xiaofeng Gu:
Improved algorithms for optimal length resolution refutation in difference constraint systems. 319-341
Volume 25, Number 3, May 2013
- Jonathan P. Bowen, Michael J. Butler, Steve Reeves, Mike Hinchey:
Editorial. 343 - Rob Arthan, Ursula Martin, Paulo Oliva:
A Hoare logic for linear systems. 345-363 - Juan Ignacio Perna, Chris George:
Model checking RAISE applicative specifications. 365-388 - Domagoj Babic, Byron Cook, Alan J. Hu, Zvonimir Rakamaric:
Proving termination of nonlinear command sequences. 389-403 - Bernhard Beckert, Vladimir Klebanov:
A Dynamic Logic for deductive verification of multi-threaded programs. 405-437 - Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney:
Atomicity failure and the retrenchment atomicity pattern. 439-464
Volume 25, Number 4, July 2013
- Yongjian Li, Jun Pang:
An inductive approach to strand spaces. 465-501 - Vashti Galpin, Luca Bortolussi, Jane Hillston:
HYPE: Hybrid modelling by composition of flows. 503-541 - Tomás Poch, Ondrej Sery, Frantisek Plásil, Jan Kofron:
Threaded behavior protocols. 543-572 - Richard Banach, Marco Bozzano:
The mechanical generation of fault trees for reactive systems via retrenchment I: combinational circuits. 573-607 - Richard Banach, Marco Bozzano:
The mechanical generation of fault trees for reactive systems via retrenchment II: clocked and feedback circuits. 609-657
Volume 25, Number 5, September 2013
- Rik Eshuis:
Statechartable Petri nets. 659-681 - Achim D. Brucker, Burkhart Wolff:
On theorem prover-based testing. 683-721 - Mathias John, Hans-Jörg Schulz, Heidrun Schumann, Adelinde M. Uhrmacher, Andrea Unger:
Constructing and visualizing chemical reaction networks from pi-calculus models. 723-742 - Pablo Rabanal, Ismael Rodríguez, Fernando Rubio:
Testing restorable systems: formal definition and heuristic solution based on river formation dynamics. 743-768 - Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir:
Towards formally specifying and verifying transactional memory. 769-799 - Massimo Merro, Eleonora Sibilio:
A calculus of trustworthy ad hoc networks. 801-832
Volume 25, Number 6, November 2013
- Alan Stewart, Joaquim Gabarró, Anthony Keenan:
Reasoning about orchestrations of web services using partial correctness. 833-846 - Xiang Fu, Michael C. Powell, Michael Bantegui, Chung-Chih Li:
Simple linear string constraints. 847-891 - Richard Bornat, Hasan Amjad:
Explanation of two non-blocking shared-variable communication algorithms. 893-931 - Paolo Bientinesi, John A. Gunnels, Margaret E. Myers, Enrique S. Quintana-Ortí, Tyler Rhodes, Robert A. van de Geijn, Field G. Van Zee:
Deriving dense linear algebra libraries. 933-945 - Wim H. Hesselink, Mark IJbema:
Starvation-free mutual exclusion with semaphores. 947-969 - Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane:
Automatic verification of reduction techniques in Higher Order Logic. 971-991 - Hanne Gottliebsen, Ruth Hardy, Olga Lightfoot, Ursula Martin:
Applications of real number theorem proving in PVS. 993-1016
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-04 22:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
