Alur - PDFSEARCH.IO - Document Search Engine

Alur
Results: 147

#	Item
41	Symbolic Analysis for Improving Simulation Coverage of Simulink/Stateflow Models Rajeev Alur Aditya Kanade Add to Reading List Source URL: www.cis.upenn.edu - Date: 2008-08-04 09:57:56
42	Quantifying the gap between embedded control models and time-triggered implementations Hakan Yazarel, Antoine Girard, George J. Pappas, Rajeev Alur University of Pennsylvania Philadelphia, PAUSA {hakan,agirard,pap Add to Reading List Source URL: www.cis.upenn.edu - Date: 2006-06-22 11:47:17
43	130 Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement Sebastian Burckhardt, Rajeev Alur, and Milo M.K. Martin Add to Reading List Source URL: www.cis.upenn.edu - Date: 2006-06-22 11:47:09
44	Regular Specifications of Resource Requirements for Embedded Control Software Rajeev Alur and Gera Weiss University of Pennsylvania Abstract Add to Reading List Source URL: www.cis.upenn.edu - Date: 2008-02-06 11:42:39
45	A Model-Based Approach to Integrating Security Policies for Embedded Devices Michael McDougall Rajeev Alur Add to Reading List Source URL: www.cis.upenn.edu - Date: 2006-06-22 11:47:26
46	Alur menu mandiri call : Menu Utama : #. Masukkan 16 digit nomor kartu : 1. Informasi rekening : 1. Informasi saldo 2. Permintaan rekening koran Add to Reading List Source URL: bankmandiri.co.id - Date: 2010-10-09 09:42:10
47	Nondeterministic Streaming String Transducers? Rajeev Alur and Jyotirmoy V. Deshmukh Dept. of Computer and Information Science, University of Pennsylvania. {alur,djy}@cis.upenn.edu Add to Reading List Source URL: www.cis.upenn.edu - Date: 2012-03-30 09:49:15
48	Ranking Automata and Games for Prioritized Requirements Rajeev Alur, Aditya Kanade, and Gera Weiss University of Pennsylvania Abstract. Requirements of reactive systems are usually specified by Add to Reading List Source URL: www.cis.upenn.edu - Date: 2008-04-24 09:17:15
49	Formal Analysis of Hierarchical State Machines Rajeev Alur University of Pennsylvania In honor of Zohar Manna Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-06-22 11:47:11
50	Relating Average and Discounted Costs for Quantitative Analysis of Timed Systems Rajeev Alur Ashutosh Trivedi Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2011-08-09 11:59:47

UPDATE