default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Aspects of Computing, Volume 31
Volume 31, Number 1, February 2019
- Martin Fränzle
, Deepak Kapur, Heike Wehrheim, Naijun Zhan:
Editorial. 1 - Mingsheng Ying:
Toward automatic verification of quantum programs. 3-25 - Andrzej Mizera, Jun Pang, Qixia Yuan:
GPU-accelerated steady-state computation of large probabilistic Boolean networks. 27-46 - Xiaoju Dong, Yuxi Fu, Daniele Varacca:
Extensional Petri net. 47-58
- Marco Bozzano, Alessandro Cimatti, Cristian Mattarei:
Formal reliability analysis of redundancy architectures. 59-94 - Yuhui Lin, Alan Bundy, Gudmund Grov, Ewen Maclean:
Automating Event-B invariant proofs by rippling and proof patching. 95-129
Volume 31, Number 2, April 2019
- Stefania Gnesi, Ana Cavalcanti, John S. Fitzgerald, Constance L. Heitmeyer:
Editorial. 131-132 - Ian J. Hayes, Larissa A. Meinicke, Kirsten Winter, Robert J. Colvin:
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency. 133-163 - Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez:
Hybrid statistical estimation of mutual information and its application to information flow. 165-206 - Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin:
Automated mutual induction proof in separation logic. 207-230 - Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski:
Finding suitable variability abstractions for lifted analysis. 231-259 - Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krcál, Gilles Nies, Marvin Stenger:
Battery-aware scheduling in low orbit: the GomX-3 case. 261-285
Volume 31, Number 3, June 2019
- Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden:
Consistency-preserving refactoring of refinement structures in Event-B models. 287-320 - Sidi Mohamed Beillahi, Mohamed Yousri Mahmoud, Sofiène Tahar:
A modeling and verification framework for optical quantum circuits. 321-351 - Cliff B. Jones, Nisansala Yatapanage:
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example. 353-374 - Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe:
Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving. 375-409
Volume 31, Number 4, August 2019
- Gavin Lowe:
Discovering and correcting a deadlock in a channel implementation. 411-419 - Antonio Brogi, Andrea Corradini, Jacopo Soldani:
Estimating costs of multi-component enterprise applications. 421-451 - Richard Banach:
John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef (eds): Collaborative design for embedded systems - Springer, Berlin Heidelberg, 2014. 453-454 - Igor Konnov:
Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds): Handbook of model checking - Springer International Publishing AG, Cham, Switzerland, 2018. 455-456
Volume 31, Number 5, November 2019
- Alessandra Russo, Andy Schürr, Heike Wehrheim:
Editorial. 457-458 - Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi:
A verification-driven framework for iterative design of controllers. 459-502 - Si Liu, Peter Csaba Ölveczky, Qi Wang, Indranil Gupta, José Meseguer:
Read atomic transactions with prevention of lost updates: ROLA and its formal analysis. 503-540 - Diego Marmsoler, Habtom Kahsay Gidey:
Interactive verification of architectural design patterns in FACTum. 541-610 - Zinovy Diskin, Harald König, Mark Lawford:
Multiple model synchronization with multiary delta lenses with amendment and K-Putput. 611-640 - Greg Michaelson:
Bernhard Steffen, Oliver R¨uthing, and Michael Huth: Mathematical Foundations of Advanced Informatics - Volume 1: Inductive Approaches - Springer, 2 April 2018, 258 pp, 156x16x234mm, ISBN-13: 978-3319683966 (Hardback, £28.99), ISBN: 978-3030098339 (Paperback, £27.99). 641-642
Volume 31, Number 6, December 2019
- Nachum Dershowitz, Richard Waldinger:
Zohar Manna (1939-2018). 643-660 - Cliff B. Jones, José Oliveira:
Editorial. 661 - Thomas Haigh:
Assembling a prehistory for formal methods: a personal view. 663-674 - Lawrence C. Paulson, Tobias Nipkow, Makarius Wenzel:
From LCF to Isabelle/HOL. 675-698 - J Strother Moore:
Milestones from the Pure Lisp theorem prover to ACL2. 699-732 - Damien Pous, Davide Sangiorgi:
Bisimulation and Coinduction Enhancements: A Historical Perspective. 733-749 - Krzysztof R. Apt, Ernst-Rüdiger Olderog:
Fifty years of Hoare's logic. 751-807
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-11 23:06 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:
