← Publication catalog

Keyword

model-based constraints

Recurring research keyword model-based constraints: 2 papers by Naser Ezzati-Jivan, with summaries, citations, and source links.

• Execution trace-based model verification to analyze multicore and real-time systems (2022)
• Automated Generation of Model-Based Constraints for Common Multi-core and Real-Time Applications Using Execution Tracing (2021)