Abdolbaghi Rezazadeh

20 papers B 1C 3Misc 2Journal 4Unranked 9

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	A Rigorous Analysis of the Safety and Security in Cyber-Physical Systems. ICSRS Samih Alkhamissi, Abdolbaghi Rezazadeh, Asieh Salehi Fathabadi
2024	C	`conf`	An Event-B Formal Model for Access Control and Resource Management of Serverless Apps. ABZ Mehmet Said Nur Yagmahan, Abdolbaghi Rezazadeh, Michael J. Butler
2023	J	`jnl`	An information security model for an IoT-enabled Smart Grid in the Saudi energy sector. Comput. Electr. Eng. Abeer Akkad, Gary B. Wills, Abdolbaghi Rezazadeh
2022	C	`conf`	An Information Security Model for an IoT-enabled Smart Grid. IoTBDS Abeer Akkad, Gary B. Wills, Abdolbaghi Rezazadeh
2019	—	`conf`	Making (Implicit) Security Requirements Explicit for Cyber-Physical Systems: A Maritime Use Case Security Analysis. DEXA Workshops Tope Omitola, Abdolbaghi Rezazadeh, Michael J. Butler
2018	C	`conf`	Verifiable Code Generation from Scheduled Event-B Models. ABZ Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh, Asieh Salehi Fathabadi
2017	J	`jnl`	Derivation of algorithmic control structures in Event-B refinement. Sci. Comput. Program. Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh
2017	—	`conf`	Incremental Database Design using UML-B and Event-B. IMPEX/FM&MDD Ahmed Al-Brashdi, Michael J. Butler, Abdolbaghi Rezazadeh
2016	Misc	`conf`	Modelling Complex Timing Requirements with Refinement. IRI Gintautas Sulskus, Michael Poppleton, Abdolbaghi Rezazadeh
2015	—	`conf`	An Interval-Based Approach to Modelling Time in Event-B. FSEN Gintautas Sulskus, Michael Poppleton, Abdolbaghi Rezazadeh
2015	—	`conf`	From Event-B Models to Dafny Code Contracts. FSEN Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh
2015	J	`jnl`	Language and tool support for event refinement structures in Event-B. Formal Aspects Comput. Asieh Salehi Fathabadi, Michael J. Butler, Abdolbaghi Rezazadeh
2015	J	`jnl`	Transforming Event-B Models to Dafny Contracts. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh
2012	B	`conf`	A Systematic Approach to Atomicity Decomposition in Event-B. SEFM Asieh Salehi Fathabadi, Michael J. Butler, Abdolbaghi Rezazadeh
2012	Misc	`conf`	Formal Modelling for Ada Implementations: Tasking Event-B. Ada-Europe Andrew Edmunds, Abdolbaghi Rezazadeh, Michael J. Butler
2011	—	`conf`	Applying Atomicity and Model Decomposition to a Space Craft System in Event-B. NASA Formal Methods Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Michael J. Butler
2010	—	`conf`	Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B. NASA Formal Methods Sanaz Yeganefard, Michael J. Butler, Abdolbaghi Rezazadeh
2010	—	`conf`	On an Extensible Rule-Based Prover for Event-B. ASM Issam Maamria, Michael J. Butler, Andrew Edmunds, Abdolbaghi Rezazadeh
2006	—	`—`	Formal patterns for Web-based systems design. Abdolbaghi Rezazadeh
2005	—	`conf`	Some Guidelines for Formal Development of Web-Based Applications in B-Method. ZB Abdolbaghi Rezazadeh, Michael J. Butler