default search action
Formal Aspects of Computing, Volume 32
Volume 32, Number 1, February 2020
- Graeme Smith
, Kirsten Winter, Robert J. Colvin:
Linearizability on hardware weak memory models. 1-32 - Luciano Baresi
Using formal verification to evaluate the execution time of Spark applications. 33-70 - Waqar Ahmad
Formal reliability and failure analysis of ethernet based communication networks in a smart grid substation. 71-111 - Yanhong Huang
Modeling and Verification of A Timing Protection Mechanism in the OSEK/VDX OS using CSP. 113-145 - Jonathan P. Bowen
Gerard O'Regan: Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications. 147-148 - Alexander Knapp, Markus Roggenbach:
André Platzer: Logical foundations of cyber-physical systems. 149-151 - Zinovy Diskin
Correction to: Multiple model synchronization with multiary delta lenses with amendment and K-Putput. 153
Volume 32, Number 2-3, July 2020
- Ana Cavalcanti
Editorial. 155 - Douglas Fraser, Ruben Giaquinta, Ruth Hoffmann
Collaborative models for autonomous systems controller synthesis. 157-186 - Marcello M. Bersani, Matteo Soldo, Claudio Menghi
PuRSUE -from specification of robotic environments to synthesis of controllers. 187-227 - Adnan Rashid
Formal Verification of Robotic Cell Injection systems up to 4-DOF using HOL Light. 229-250 - David M. Williams
Legislation-driven development of a Gift Aid system using Event-B. 251-273 - Feng Sheng, Huibiao Zhu, Jifeng He, Zongyuan Yang, Jonathan P. Bowen
Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP. 275-314 - Matthieu Renard, Antoine Rollet
Runtime enforcement of timed properties using games. 315-360
Volume 32, Number 4-6, November 2020
- Aida Lahouij
An Event-B based approach for cloud composite services verification. 361-393 - Xilong Zhuo, Chenyi Zhang
TFA: an efficient and precise virtual method call resolution for Java. 395-416 - Shanyan Chen
Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula. 417-437
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 2024-12-22 18:50 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: