Lv1
30 积分 2022-12-12 加入
From Invariant Checking to Invariant Inference Using Randomized Search
2年前
已完结
Mining Requirements From Closed-Loop Control Models
2年前
已完结
Drain: An Online Log Parsing Approach with Fixed Depth Tree
2年前
已完结
Discovering Branching Conditions from Business Process Execution Logs
2年前
已完结
Mining temporal invariants from partially ordered logs
2年前
已完结
Unraveling and Learning Workflow Models from Interleaved Event Logs
2年前
已完结
Recursion aware modeling and discovery for hierarchical software event log analysis
2年前
已完结
Mining Software Component Interactions to Detect Security Threats at the Architectural Level
2年前
已完结
Using contexts to extract models from code
2年前
已完结
皖公网安备34019202002308
