OpenAlex is a bibliographic catalogue of scientific papers, authors and institutions accessible in open access mode, named after the Library of Alexandria. It's citation coverage is excellent and I hope you will find utility in this listing of citing articles!
If you click the article title, you'll navigate to the article, as listed in CrossRef. If you click the Open Access links, you'll navigate to the "best Open Access location". Clicking the citation count will open this listing for that article. Lastly at the bottom of the page, you'll find basic pagination options.
Requested Article:
Formal Methods in Industry
Maurice H. ter Beek, Roderick Chapman, Rance Cleaveland, et al.
Formal Aspects of Computing (2024) Vol. 37, Iss. 1, pp. 1-38
Open Access | Times Cited: 8
Maurice H. ter Beek, Roderick Chapman, Rance Cleaveland, et al.
Formal Aspects of Computing (2024) Vol. 37, Iss. 1, pp. 1-38
Open Access | Times Cited: 8
Showing 8 citing articles:
On Formal Methods Thinking in Computer Science Education
Brijesh Dongol, Catherine Dubois, Stefan Hallerstede, et al.
Formal Aspects of Computing (2024) Vol. 37, Iss. 1, pp. 1-23
Open Access | Times Cited: 9
Brijesh Dongol, Catherine Dubois, Stefan Hallerstede, et al.
Formal Aspects of Computing (2024) Vol. 37, Iss. 1, pp. 1-23
Open Access | Times Cited: 9
Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, et al.
Formal Aspects of Computing (2025)
Closed Access
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, et al.
Formal Aspects of Computing (2025)
Closed Access
Models for formal methods and tools: the case of railway systems
Maurice H. ter Beek
Software & Systems Modeling (2025)
Open Access
Maurice H. ter Beek
Software & Systems Modeling (2025)
Open Access
Modelling Cyber-Physical Systems for Verification and Synthesis
Rong Gu
Lecture notes in computer science (2025), pp. 1-25
Closed Access
Rong Gu
Lecture notes in computer science (2025), pp. 1-25
Closed Access
The Role of Formal Methods in Computer Science Education
Maurice H. ter Beek, Manfred Broy, Brijesh Dongol
ACM Inroads (2024) Vol. 15, Iss. 4, pp. 58-66
Open Access | Times Cited: 2
Maurice H. ter Beek, Manfred Broy, Brijesh Dongol
ACM Inroads (2024) Vol. 15, Iss. 4, pp. 58-66
Open Access | Times Cited: 2
ASMETA Tool Set for Rigorous System Design
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, et al.
Lecture notes in computer science (2024), pp. 492-517
Open Access | Times Cited: 1
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, et al.
Lecture notes in computer science (2024), pp. 492-517
Open Access | Times Cited: 1
Formal Methods for Industrial Critical Systems
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
Lecture notes in computer science (2024), pp. 327-344
Closed Access | Times Cited: 1
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
Lecture notes in computer science (2024), pp. 327-344
Closed Access | Times Cited: 1
Formal Verification of Code Conversion: A Comprehensive Survey
Amira T. Mahmoud, Ali Mohammed, Mahitap Ayman, et al.
Technologies (2024) Vol. 12, Iss. 12, pp. 244-244
Open Access
Amira T. Mahmoud, Ali Mohammed, Mahitap Ayman, et al.
Technologies (2024) Vol. 12, Iss. 12, pp. 244-244
Open Access
