Emailmariuca.asavoae@info.uaic.roWeb/vlad.craciun/member/3/AddressBerthelot 16, 700483StatusFormerPublications2015Model checking recursive programs interacting via the heapIrina Asavoae, Frank de Boer, Marcello Bonsangue, Dorel Lucanu, Jurriann Rot Journal2012K Semantics for AbstractionsIrina Asavoae UnpublishedInteracting via the Heap in the Presence of RecursionJurriann Rot, Irina Asavoae, Frank de Boer, Marcello Bonsangue, Dorel Lucanu ConferenceBounded Model Checking of Recursive Programs with Pointers in KIrina Asavoae, Frank de Boer, Marcello Bonsangue, Dorel Lucanu, Jurriann Rot Conference2011Using 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)
