Grumberg, Orna - The Technion - Computer-aided verification of software and hardware, modularity and abstraction, temporal logics, equivalences and preorders, automata on infinite objects, theorem provers, static analysis and model checking, coverage in model checking.


Home		Set as Homepage		Add to Favorite		Contact

09 November, 2009

search for

egories

New Addition

Goat & Sheep Leather Manufacturers

Stainless Steels Bars Supplier India

Heavy Duty Relay Manufacturer

Industrial Gearboxes Exporter

Recruitment Agency supply skilled polish workers

Generic Drug Manufacturers India

Industrial Valve Supplier India

Wholesale Industrial Chemical Suppliers

Dhoop Incense Manufacturing Company

Loft conversion London

Spring Compression Manufacturer

Chemicals Supplier From India

Digital Linx Hosting

Madison Construction

Hearts of Gold Senior Home Care

Team Green Outdoor

Get This List Of Used Cars In Portland

Hudson Poly Bag, Inc.

Hydraulic Jack Wholesaler

IT Outsourcing Company

Category: Main » Computers » Computer Science » People » G	UPDATE URL \| REPORT BROKEN LINK
Grumberg, Orna	Popularity: Hit: 154

Details:

	The Technion - Computer-aided verification of software and hardware, modularity and abstraction, temporal logics, equivalences and preorders, automata on infinite objects, theorem provers, static analysis and model checking, coverage in model checking. Sponsored Links:
URL:	http://www.cs.technion.ac.il/users/orna/
Title:	Orna Grumberg's Home Page
Description:	Computers, Computer Science, People, G - Grumberg, Orna. The Technion - Computer-aided verification of software and hardware, modularity and abstraction, temporal logics, equivalences and preorders, automata on infinite objects, theorem provers, static analysis and model checking, coverage in model checking.
Specialized in:

Gadia, Shashi K. (Popularity:

): Iowa State University - Temporal, spatial, belief, security, statistical and incomplete data; database models, type hierarchy, languages, user interfaces, optimization, ...
Gazdar, Gerald (Popularity:

): University of Sussex at Brighton - natural language processing and computational linguistics, lexical knowledge representation, multilingual lexicons, tree adjoining grammars.
Gilmore, Stephen (Popularity:

): University of Edinburgh - PEPA stochastic process algebra, Standard ML functional programming language.
George, Deepak (Popularity:

): This site is for all in the field of VLSI design, VHDL/Verilog Coding and Synthesis. It has links to tutorials, ...
Garg, Naveen (Popularity:

): Indian Institute of Technology, Delhi - Approximation Algorithms, Combinatorial Optimization and Graph Algorithms
Gupta, Shyam (Popularity:

): Indian Institute of Technology, Delhi - Databases and Data Mining, Graph Theory, Computer Vision
Ghosh, Subir Kumar (Popularity:

): Tata Institute of Fundamental Research, Mumbai - Computational Geometry and Applications, Robot Motion Planning, Geometric Graph Theory and Applications.
Gibbons, Nick (Popularity:

): Keele University, UK
Gueziec, Andre P. (Popularity:

): Triangle Software - Medical imaging, data visualization, 3D graphics, video processing.
Ghosh, R. K. (Popularity:

): Indian Institute of Technology, Kanpur - Parallel Algorithms, Genetic Algorithms, Mobile Computing, PVM, MPI, and Distributed Databases.

Popular Sites

Grumberg, Orna (Popularity:

): The Technion - Computer-aided verification of software and hardware, modularity and abstraction, temporal logics, equivalences and preorders, automata on infinite ...
Garg, Naveen (Popularity:

): Indian Institute of Technology, Delhi - Approximation Algorithms, Combinatorial Optimization and Graph Algorithms
Gadia, Shashi K. (Popularity:

): Carnegie Mellon University / Panasas, Inc. - Parallelism in secondary storage system technologies, especially parallel and distributed file systems, disk ...
Gazdar, Gerald (Popularity:

): University of Sussex at Brighton - natural language processing and computational linguistics, lexical knowledge representation, multilingual lexicons, tree adjoining grammars.

Related Press

Democratic National Committee Chairman Tim Kaine Issues Statement Praising the House of Representative's Historic Vote to Pass Health Insurance Reform (Popularity:

): Tonight the House of Representatives passed the Affordable Health Care for America Act, landmark health reform legislation that will ensure ...
AARP Calls On Idaho's U.S. Reps To Back House Health Care Reform Bill (Popularity:

): As the debate over health care reform reaches a fevered pitch and the House readies to vote on critical health ...
Target Unwraps New Price Cuts on Holiday Toys (Popularity:

): Target� introduces all-new price cuts on some of the hottest toys this season, from national brands to Target exclusives. Shoppers ...
LTE UE Stack from L&T Infotech Accelerates Availability of LTE Terminal Devices (Popularity:

): L&T Infotech announced today the availability of its 3GPP release LTE UE (User Equipment) protocol stack (Ver 8), helping to ...
Johnson & Johnson Announces Restructuring Initiatives for Sustainable Growth (Popularity:

): Johnson & Johnson (NYSE: JNJ) today announced global restructuring initiatives designed to strengthen the company's position as the world's leading ...

Related Articles

Make Extra Money Online From Home For Free (Popularity:

): There are many ways to make extra money online from home for free. One of the best ways to do ...
Decision Support System - Brief Information (Popularity:

): The plan of a DSS or Decision Support System is very broad and its meanings differ depending upon the writer's ...
How to Use R4 DS Slots (Popularity:

): Gaming is no longer restricted to the young. From online gaming to various gaming competitions it has become very popular ...
Exabyte Offers High Capacity VXA Media Tape Cartridges (Popularity:

): The momentum for high capacity VXA tape technology developed by Exabyte continues to grow worldwide. The founding members of the ...
Learn Java - Online Java Tutorials and Tips (Popularity:

): You are new to Java that helps improve the web page design and you need to learn in order to ...