← Publication catalog

Keyword

JACK2

Recurring research keyword JACK2: 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)