DOCTORAL CANDIDATE: Daniela Lepri DEGREE:

First Page		Document Content
Model checking Academia Knowledge Logic Formal methods Temporal logic Mathematical logic Formal verification Rajeev Alur Formal sciences Model checkers Science		DOCTORAL CANDIDATE: Daniela Lepri DEGREE: Add to Reading List Source URL: www.mn.uio.no Download Document from Source Website File Size: 180,89 KB Share Document on Facebook

	Results and Analysis of SyGuS-Comp’15 Rajeev Alur Dana Fisman University of Pennsylvania DocID: 1xTYH - View Document
	Safe Schedulability of Bounded-Rate Multi-Mode Systems Rajeev Alur ˇ Forejt Vojtech DocID: 1xTB7 - View Document
	The 4th Competition on Syntax-Guided Synthesis Rajeev Alur, Dana Fisman, Rishabh Singh and Armando Solar-Lezama DocID: 1xTaX - View Document
	1 Regular Functions and Cost Register Automata Rajeev Alur∗ , Loris D’Antoni∗ , Jyotirmoy Deshmukh† , Mukund Raghothaman∗ and Yifei Yuan∗ ∗ University of Pennsylvania † Toyota Technical Center (Invited P DocID: 1vnBd - View Document
	NetEgg: Programming Network Policies by Examples Yifei Yuan Rajeev Alur Boon Thau Loo DocID: 1v397 - View Document