default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal 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, Marcello M. Bersani, Francesco Marconi, Giovanni Quattrocchi, Matteo Rossi:
Using formal verification to evaluate the execution time of Spark applications. 33-70 - Waqar Ahmad, Osman Hasan, Sofiène Tahar:
Formal reliability and failure analysis of ethernet based communication networks in a smart grid substation. 71-111 - Yanhong Huang, Haiping Pang, Jianqi Shi:
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, Harald König, Mark Lawford:
Correction to: Multiple model synchronization with multiary delta lenses with amendment and K-Putput. 153
Volume 32, Number 2-3, July 2020
- Ana Cavalcanti, Pedro Ribeiro:
Editorial. 155 - Douglas Fraser, Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman:
Collaborative models for autonomous systems controller synthesis. 157-186 - Marcello M. Bersani, Matteo Soldo, Claudio Menghi, Patrizio Pelliccione, Matteo Rossi:
PuRSUE -from specification of robotic environments to synthesis of controllers. 187-227 - Adnan Rashid, Osman Hasan:
Formal Verification of Robotic Cell Injection systems up to 4-DOF using HOL Light. 229-250 - David M. Williams, Salaheddin Darwish, Steve Schneider, David R. Michael:
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, Yliès Falcone:
Runtime enforcement of timed properties using games. 315-360
Volume 32, Number 4-6, November 2020
- Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Béchir el Ayeb:
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, Guohui Wang, Ximeng Li, Qianying Zhang, Zhi-Ping Shi, Yong Guan:
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 2025-12-12 23:07 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:
