IEEE TRANSACTIONS ON LAUNCHING IN[removed]BIG DATA

First Page		Document Content
Date: 2014-03-14 14:06:32 Science Institute of Electrical and Electronics Engineers IEEE Computational Intelligence Society IEEE Communications Society IEEE Computer Society IEEE Systems Man and Cybernetics Society IEEE Signal Processing Society IEEE Consumer Electronics Society IEEE Transactions on Mobile Computing International nongovernmental organizations Engineering Electronics		IEEE TRANSACTIONS ON LAUNCHING IN[removed]BIG DATA Add to Reading List Source URL: www.computer.org Download Document from Source Website File Size: 625,91 KB Share Document on Facebook

	A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017 DocID: 1xW3e - View Document
	What is a Trace? A Runtime Verification Perspective Giles Reger1 1 2 DocID: 1xW0i - View Document
	A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifi DocID: 1xVZ6 - View Document
	Motivation Interleaving AVATAR DocID: 1xVYE - View Document
	Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA DocID: 1xVWh - View Document