Ganesh Gopalakrishnan

Available identifiers

zbMath Open gopalakrishnan.ganesh-lalithaMaRDI QIDQ239161

List of research outcomes

Publication	Date of Publication	Type
Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions	2019-12-19	Paper
Automata and Computability	2018-12-14	Paper
Rigorous floating-point mixed-precision tuning	2017-10-20	Paper
A parameterized floating-point formalizaton in HOL Light	2016-12-16	Paper
https://portal.mardi4nfdi.de/entity/Q2845493	2013-08-30	Paper
A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications	2012-11-06	Paper
Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols	2010-05-05	Paper
On the definition of sequential consistency	2009-12-18	Paper
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions	2008-11-20	Paper
Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings	2008-07-15	Paper
Model Checking Software	2007-05-02	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q5488458	2006-09-20	Paper
Computer Aided Verification	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4817532	2004-09-24	Paper
Incremental Proof of the Producer/Consumer Property for the PCI Protocol	2004-08-03	Paper
Formal verification of a complex pipelined processor	2004-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q4427911	2003-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4804891	2003-05-01	Paper
An efficient partial order reduction algorithm with an alternative proviso implementation	2002-06-16	Paper
Deriving efficient cache coherence protocols through refinement	2002-04-11	Paper
https://portal.mardi4nfdi.de/entity/Q2754112	2001-11-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ganesh Gopalakrishnan