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

Formal Methods in System Design

IF0.8
Papers11
Citations
Journal Papers 11
Publication Date
delete
Linear temporal constraints for sketch-based synthesizers
deleteFormal Methods in System Design
IF0.8
delete2026-05-12
delete0
PREAI
deleteGalicia-Mendoza, Fernando A.; Rosenblueth, David A.; Solar-Lezama, Armando
deleteShare
deleteSave
A program instrumentation framework for automatic verification
deleteFormal Methods in System Design
IF0.8
delete2026-03-20
delete0
PREAI
deleteAmilon, Jesper; Esen, Zafer; Gurov, Dilian; Lidstrom, Christian; Rummer, Philipp; Voorberg, Marten
deleteShare
deleteSave
Symbolic computer algebra for multipliers revisited - demonstrating the significance of order and phase optimization
deleteFormal Methods in System Design
IF0.8
delete2026-03-19
delete0
PREAI
deleteKonrad, Alexander; Scholl, Christoph
deleteShare
deleteSave
Search and explore: symbiotic policy synthesis in POMDPs
deleteFormal Methods in System Design
IF0.8
delete2026-02-01
delete0
PREAI
deleteAndriushchenko, Roman; Bork, Alexander; Ceska, Milan; Junges, Sebastian; Katoen, Joost-Pieter; Macak, Filip
deleteShare
deleteSave
Modular analysis of distributed hybrid systems using post-regions
deleteFormal Methods in System Design
IF0.8
delete2026-02-01
delete0
PREAI
deleteKamburjan, Eduard
deleteShare
deleteSave
A scalable anytime algorithm for learning fragments of linear temporal logic
deleteFormal Methods in System Design
IF0.8
delete2026-01-08
delete0
PREAI
deleteRaha, Ritam; Roy, Rajarshi; Fijalkow, Nathanael; Neider, Daniel
deleteShare
deleteSave
Formal methods for mobile ad hoc networks: a survey
deleteFormal Methods in System Design
IF0.8
delete2025-12-15
delete0
PREAI
deleteFokkink, Wan; van Glabbeek, Rob
deleteShare
deleteSave
Preserving provability over GPU program optimizations with annotation-aware transformations
deleteFormal Methods in System Design
IF0.8
delete2025-11-01
delete0
PREAI
deleteSakar, Omer; Safari, Mohsen; Huisman, Marieke; Wijs, Anton
deleteShare
deleteSave
Bounded satisfiability checking of FOL* formulas with aggregations
deleteFormal Methods in System Design
IF0.8
delete2025-11-01
delete0
PREAI
deleteFeng, Nick; Marsso, Lina; Kholodetska, Yuliia; Chechik, Marsha
deleteShare
deleteSave
Formalization of robot collision detection method based on conformal geometric algebra
deleteFormal Methods in System Design
IF0.8
delete2025-10-01
delete0
PREAI
deleteWu, Yingjie; Wang, Guohui; Chen, Shanyan; Shi, Zhiping; Guan, Yong; Li, Ximeng
deleteShare
deleteSave
Editorial: Special issue on formal methods in computer-aided design
deleteFormal Methods in System Design
IF0.8
delete2025-10-01
delete0
deleteOAAI
deleteGriggio, Alberto; Rungta, Neha
deleteShare
deleteSave