logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
R

RIGOROUS STATE-BASED METHODS, ABZ 2025

IF
Papers23
Citations
Journal Papers 23
Publication Date
delete
Model-Based Testing of Non-deterministic Systems
deleteRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
delete2026-01-01
delete0
PREAI
deleteOnofrei, Alexander; Frappier, Marc; Bernard, Emilie
deleteShare
deleteSave
Using Symbolic Model Execution to Detect Vulnerabilities of Smart Contracts
deleteRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBraghin, Chiara; Del Castillo, Giuseppe; Riccobene, Elvinia; Valentini, Simone
deleteShare
deleteSave
The Proved Construction of a Protocol with an Example Inspired by the Paxos Protocol
deleteRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCansell, Dominique; Abrial, Jean-Raymond
deleteShare
deleteSave
Enhancing Decision-Making Safety in Autonomous Driving Through Online Model Checking
deleteRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
delete2026-01-01
delete0
PREAI
deleteTran, Duong Dinh; Hasegawa, Akira; Riviere, Peter; Tomita, Takashi; Aoki, Toshiaki
deleteShare
deleteSave
Behavioural Theory of Reflective Parallel Algorithms
deleteRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSchewe, Klaus-Dieter; Ferrarotti, Flavio
deleteShare
deleteSave
Case Study: Safety Controller for Autonomous Driving on Highways
deleteRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLeuschel, Michael; Vu, Fabian; Rutenkolk, Kristin
deleteShare
deleteSave
Weakening Goals in Logical Specifications
deleteRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAndrew, Ben M.
deleteShare
deleteSave
A Reasoning and Explicit Algebraic Theory for BBSL in Event-B: EB4BBSL Framework
deleteRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
delete2026-01-01
delete0
PREAI
deleteRiviere, Peter; Tran, Duong Dinh; Tomita, Takashi; Aoki, Toshiaki
deleteShare
deleteSave
Insider Threat Simulation Through Ant Colonies and ProB
deleteRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
delete2026-01-01
delete0
PREAI
deleteIdani, Akram; Pepin, Aurelien; Triki, Mariem
deleteShare
deleteSave
State-Based Modelling with a Concept DSL
deleteRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
delete2026-01-01
delete0
PREAI
deleteJakobsen, Nikolaj Kuhne
deleteShare
deleteSave
On The Road Again (Safely): Modelling and Analysis of Autonomous Driving with STARK
deleteRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBetancourt, Sebastian; Castiglioni, Valentina
deleteShare
deleteSave
Polychronous RSS in a Process-Algebraic Framework - A Case Study
deleteRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCrisafulli, Paolo; Durier, Adrien; Puyobro, Benjamin; Wolff, Burkhart
deleteShare
deleteSave
Formal Modelling and Reasoning on Assurance Cases Expressed with GSN in Event-B
deleteRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
delete2026-01-01
delete0
PREAI
deleteChen, Christophe
deleteShare
deleteSave
Safety Enforcement for Autonomous Driving on a Simulated Highway Using Asmeta Models@run.time
deleteRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo; Pellegrinelli, Nico; Scandurra, Patrizia
deleteShare
deleteSave
Developing Safe Exception Recovery Mechanisms for CHERI Capability Hardware Using UML-B Formal Analysis
deleteRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSnook, Colin; Fathabadi, Asieh Salehi; Hoang, Thai Son; Thorburn, Robert; Butler, Michael; Aniello, Leonardo; Sassone, Vladimiro
deleteShare
deleteSave
Proof Semantics of Railway Interlocking
deleteRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLaibinis, Linas; Iliasov, Alexei; Romanovsky, Alexander
deleteShare
deleteSave
Towards an End-to-End Toolchain for Traceable and Verifiable Railway Signalling Specifications
deleteRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
delete2026-01-01
delete0
PREAI
deleteReiter, Frederic; Wetenkamp, Roman; Schmid, Robert; Kretzschmar, Richard; Ifflaender, Lukas
deleteShare
deleteSave
Translating Event-B Models and Development Proofs to TLA
deleteRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
delete2026-01-01
delete0
PREAI
deleteGrieu, Anne; Bodeveix, Jean-Paul; Filali, Mamoun
deleteShare
deleteSave
Mathematical Proofs and Moving Trains: The Double Life of Atelier B
deleteRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
delete2026-01-01
delete0
PREAI
deleteLecomte, Thierry
deleteShare
deleteSave
Verification of Autonomous Neural Car Control with KeYmaera X
deleteRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
delete2026-01-01
delete0
PREAI
deletePrebet, Enguerrand; Teuber, Samuel; Platzer, Andre
deleteShare
deleteSave