Alur - PDFSEARCH.IO - Document Search Engine

Alur
Results: 147

#	Item
71	Dispatch Sequences for Embedded Control Models ? Rajeev Alur and Arun Chandrashekharapuram Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, U.S.A. Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-06-22 11:47:27
72	Regular Transformations of Infinite Strings Rajeev Alur Emmanuel Filiot Ashutosh Trivedi Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-05-15 12:41:03
73	Model Checking on Trees with Path Equivalences⋆ ˇ Rajeev Alur, Pavol Cern´ y, and Swarat Chaudhuri University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-08-06 16:40:04
74	On the Feasibility of Automation for Bandwidth Allocation Problems in Data Centers Yifei Yuan, Anduo Wang, Rajeev Alur, and Boon Thau Loo University of Pennsylvania Abstract—Mapping virtual networks to physical networ Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-08-22 15:44:39
75	SUR SURVEY Theory in Practice for System Design and Verification Rajeev Alur Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2015-01-07 11:30:13
76	Symbolic Analysis for GSMP Models with One Stateful Clock Mikhail Bernadsky and Rajeev Alur Department of Computer and Information Science University of Pennsylvania {mbernads, alur}@cis.upenn.edu Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-12-21 08:53:51
77	Generating Litmus Tests for Contrasting Memory Consistency Models? Sela Mador-Haim, Rajeev Alur, and Milo M.K. Martin University of Pennsylvania Abstract. Well-defined memory consistency models are necessary for Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2010-04-19 10:17:08
78	Streaming Transducers for Algorithmic Verification of Single-pass List-processing Programs ∗ Rajeev Alur ˇ y Pavol Cern´ Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2011-01-12 13:19:23
79	Automated Refinement Checking of Asynchronous Processes Rajeev Alur University of Pennsylvania www.cis.upenn.edu/~alur/ Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-06-22 11:47:11
80	Syntax-Guided Synthesis Rajeev Alur† Sanjit A. Seshia‡ Rastislav Bodik‡ Rishabh Singh] Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-08-23 09:46:13

UPDATE