Emailmihail.asavoae@info.uaic.roWeb/vlad.craciun/member/6/AddressBerthelot 16, 700483StatusFormerPublications2012Semantics-Based WCET AnalysisMihail Asavoae Unpublished2011Using the Executable Semantics for CFG Extraction and UnfoldingMihail Asavoae, Irina Asavoae Conference2010Path Directed Symbolic Execution in the K FrameworkIrina Asavoae, Mihail Asavoae, Dorel Lucanu ConferenceCollecting Semantics under Predicate Abstraction in the K FrameworkIrina Asavoae, Mihail Asavoae ConferenceGrantsAn Executable Semantic Framework for Rigorous Design, Analysis and Testing of Systems (DAK) (DAK)
