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

FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025

IF
Papers15
Citations
Journal Papers 15
Publication Date
delete
Promise-Driven Modeling: A Structured Approach for Modeling Cyber-Physical Systems
deleteFORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSchaber, Felix; Mashkoor, Atif; Leuschel, Michael
deleteShare
deleteSave
End-to-End Formal Methods Integrated Development with SysMLv2 Using HAMR
deleteFORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHatcliff, John; Belt, Jason; Robby; McKenzie, Clint; Liang, Catalina
deleteShare
deleteSave
Robust Spatio-Temporal Logic Semantics for Autonomous Driving Systems Falsification
deleteFORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSequeira, Tiago; Pedro, Andre Matos
deleteShare
deleteSave
Data-Driven Synthesis of Stochastic Fault Trees for Proactive Maintenance of Railway Vehicles
deleteFORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025
IF0
delete2026-01-01
delete1
PREAI
deleteCarnevali, Laura; Fantechi, Alessandro; Gori, Gloria; Vreshtazi, Denis; Borselli, Alessandro; Cefaloni, Aria Rosaria; Rota, Lucio
deleteShare
deleteSave
An Overview of Sound and Modest Approaches to Quantitative Model Checking from Sea to Space
deleteFORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHartmanns, Arnd
deleteShare
deleteSave
A Specification-Driven Approach to Embedded FDIR Code Generation
deleteFORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBonafini, Federico; Cavada, Roberto; Cimatti, Alessandro; Gomez, Guillermo; Tonetta, Tefano
deleteShare
deleteSave
AutoSV-Annotator: Integrating Deductive and Automatic Software Verification
deleteFORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025
IF0
delete2026-01-01
delete0
deleteOAAI
deleteArmborst, Lukas; Beyer, Dirk; Huisman, Marieke; Lingsch-Rosenfeld, Marian
deleteShare
deleteSave
A Complete Formal Specification and Verification of the BESW Software Control System of the Maeslant Storm Surge Barrier
deleteFORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBeers, Adrian; Booy, Jore; Groote, Jan Friso; van den Bogaard, Johan; Bouwman, Mark
deleteShare
deleteSave
Proof Engineering in Logika: Synergistically Integrating Automated and Semi-automated Program Verification
deleteFORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHallerstede, Stefan; Robby; Hatcliff, John; Belt, Jason; Hardin, David
deleteShare
deleteSave
GRUST: A Programming Language for Automotive Engineering
deleteFORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteThome, Emilie; Denis, Xavier; Tasson, Christine
deleteShare
deleteSave
Building a Modular Platform for Model Checking Glitch Attacks in RISC-V Programs
deleteFORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBrandhoj, Andreas Kjeldgaard; Bogedal, Tobias Worm; Hansen, Rene Rydhof; Larsen, Kim G. Uldstrand; Poulsen, Danny Bogsted
deleteShare
deleteSave
Navigating the Growing Field of Research on AI for Software Testing - The Taxonomy for AI-Augmented Software Testing and an Ontology-Driven Literature Survey
deleteFORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSchieferdecker, Ina K.
deleteShare
deleteSave
Ensuring Integration Conditions During the Update of Cyber-Physical Systems at Runtime
deleteFORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteKroeger, Janis; Stierand, Ingo; Fraenzle, Martin
deleteShare
deleteSave
Backward Responsibility in Transition Systems Beyond Safety
deleteFORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBaier, Christel; Klatt, Rio; Klueppelholz, Sascha; Lehmann, Johannes
deleteShare
deleteSave
IC3 for Loop Invariant Generation in Deductive Analysis
deleteFORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025
IF0
delete2026-01-01
delete0
PREAI
deletevan de Sand, Niklas; Voelker, Marcus
deleteShare
deleteSave