Grosu - PDFSEARCH.IO - Document Search Engine

Grosu
Results: 14

#	Item
1	Adaptive Runtime Verification Radu Grosu Vienna University of Technology Joint work with: E. Bartocci, S. Callanan, K. Havelund, K. Kalajdzik Add to Reading List Source URL: www.mad-workshop.de - Date: 2016-03-22 12:43:37
2	PROGRAM IDEI - PROIECTE COMPLEXE DE CERCETARE EXPLORATORIE – PCCE DERULATE INCOMPETIȚIANR. NR. Add to Reading List Source URL: cercetare.ubbcluj.ro Language: English - Date: 2014-05-16 09:12:31 Grosu Surnames
3	Adaptive Runtime Verification Radu Grosu Vienna University of Technology in collaboration with: Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Add to Reading List Source URL: rv2012.ku.edu.tr Language: English - Date: 2012-10-18 06:21:54 Logic in computer science Runtime verification Succ Smolka
4	ON THE RANK OF HIGHER INCLUSION MATRICES ´ CODRUT ¸ GROSU, YURY PERSON, TIBOR SZABO Abstract. Let r ≥ s ≥ 0 be integers and G be an r-graph. The higher inclusion matrix Msr (G) is a {0, 1}-matrix with rows indexed Add to Reading List Source URL: page.mi.fu-berlin.de Language: English - Date: 2013-06-13 06:45:19
5	THE EXTREMAL FUNCTION FOR PARTIAL BIPARTITE TILINGS CODRUT GROSU AND JAN HLADKY For a xed bipartite graph H and given 2 (0; 1) Add to Reading List Source URL: iti.mff.cuni.cz Language: English - Date: 2016-02-04 05:53:37
6	Computational Logical Frameworks and Generic Program Analysis Technologies Jos´e Meseguer and Grigore Ro¸su {meseguer,grosu}@cs.uiuc.edu Department of Computer Science University of Illinois at Urbana-Champaign Add to Reading List Source URL: vstte.ethz.ch Language: English - Date: 2005-10-11 03:37:08
7	dan mihuţ / autodafe Colecţia EURIDICE Ilustraţie: Mugur Grosu dan mihuţ Add to Reading List Source URL: dannish.files.wordpress.com Language: Romanian - Date: 2009-08-20 02:44:24
8	Toward Real-Time Simulation of Cardiac Dynamics Ezio Bartocci, Elizabeth M. Cherry, James Glimm, Radu Grosu, Scott A. Smolka and Flavio H. Fenton. In CMSB 2011: Proceedings of the 9th ACM International Conference on Comp Add to Reading List Source URL: thevirtualheart.org Language: English - Date: 2014-08-23 00:29:37
9	Radu Grosu: Short Bio Radu Grosu is a Professor and Head of the Dependable-‐Systems Group at the Faculty of Informatic Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-09-06 13:07:11
10	Curriculum Vitae1 Radu Grosu Address Institute of Computer Engineering Head of Dependable Systems GroupFaculty of Informatics Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-08-24 05:32:58 Computer Aided Verification Runtime verification Computer science Model checking Real-time computing Theoretical computer science Formal methods Orc

UPDATE