Research

Publications

2009
Conference Paper (Accepted)	Djones Lettnin, Pradeep K. Nalla, Jörg Behrend, Jürgen Ruf, Gerlach Joachim, Thomas Kropf and Wolfgang Rosenstiel Semiformal Verification of Temporal Properties in Automotive Hardware Dependent Software Design Automation and Test in Europe (Date 09), April 20-24, 2008, Nice, France.
2008
Doctoral Thesis	Pradeep Kumar Nalla Efficient Distributed Bounded Property Checking Eberhard-Karls-Universität Tübingen, Wilhelm-Schickard-Institut für Informatik, Technische Informatik, Tübingen, Germany
Conference Paper	Djones Lettnin, Pradeep K. Nalla, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schönknecht and Stephan Reitemeyer Verification of Temporal Properties in Automotive Embedded Software Design Automation and Test in Europe (Date 08), March 10-14, 2008, Munich, Germany.
2007
Conference Paper	Pradeep K. Nalla, Jörg Behrend, Prakash M. Peranandam, Jürgen Ruf, Thomas Kropf, and Wolfgang Rosenstiel Grid Based Fast Falsification for Bounded Property Checking Forum on specification & Design Languages (FDL 07), September 18-20, Barcelona, Spain.
Workshop Poster	J. Behrend, A. Braun, O. Bringmann, M. Krause, T. Kropf, S. Lämmermann, P. Nalla, W. Rosenstiel, J. Ruf, T. Schöwald, A. Viehl and J. Zimmermann Entwurf und Verifikation von Hardware/Software - Systemen Kooperationsmarkt des Ekompass-Workshops, June 19-20, Hannover, Germany.
Workshop Paper	Djones Lettnin, Pradeep K. Nalla, Juergen Ruf, Roland J. Weiss, Axel Braun, Joachim Gerlach, Thomas Kropf, and Wolfgang Rosenstiel Semiformal Verification of Temporal Properties in Embedded Software 10. GI/ITG/GMM Workshop, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'07), March 2007, Erlangen, Germany.
2006
Conference Paper	Prakash M. Peranandam, Pradeep K. Nalla, Jürgen Ruf, Roland J. Weiss, Thomas Kropf, and Wolfgang Rosenstiel Fast Falsification Based on Symbolic Bounded Property Checking 43rd Design Automation Conference (DAC'06), July 24-28, 2006, San Francisco, USA.
Conference Poster	Pradeep K. Nalla, Prakash M. Peranandam, Jürgen Ruf, Stefan Laemmermann, Joerg Behrend, Roland J. Weiss, Thomas Kropf, and Wolfgang Rosenstiel Fast Distributed Property Checking Design Automation and Test in Europe (Date 06), University Booth, March 6-10, 2006, Munich, Germany.
2005
Workshop Paper	Prakash M. Peranandam, Pradeep K. Nalla, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, and Wolfgang Rosenstiel Overlap Reduction in Symbolic System Traversal IEEE International High Level Design Validation and Test Workshop 2005 (HLDVT 05), November 30-December 2, 2005, Napa Valley, California, USA.
Workshop Paper	Pradeep K. Nalla, Roland J. Weiss, Prakash M. Peranandam, Jürgen Ruf, Thomas Kropf, and Wolfgang Rosenstiel Distributed Symbolic Bounded Property Checking 4th International Workshop on Parallel and Distributed Methods in Verification (PDMC 2005), July 10, 2005, Lisboa, Portugal.
Workshop Paper	Pradeep K. Nalla, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, and Wolfgang Rosenstiel Parallel Bounded Property Checking with SymC 8. GI/ITG/GMM Workshop, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, April 2005, München, Germany. Download: [pdf: 227 KB]
Conference Poster	Pradeep K. Nalla, Prakash M. Peranandam, Jürgen Ruf, Roland J. Weiss, Thomas Kropf, and Wolfgang Rosenstiel Bounded Property Checking with SymC Design Automation and Test in Europe (Date 05), University Booth, March 8-10, 2005, Munich, Germany.
2004
Masters Thesis	Pradeep Kumar Nalla Developing a UML Profile for Hardware Verification under the Aspect of Code Generation Fraunhofer Institute for Integrated Circuits Design Automation Lab, Dresden, Germany.
2003
Conference Paper	Ingo Kühn and Pradeep Kumar Nalla Hardware Verification with "e" and UML Club Verification Europe, 3dr March, 2003, Munich, Germany.
Student Project Report	Pradeep Kumar Nalla "e" Code Generation from UML AMD Saxony, Dresden Design Center, Dresden, Germany.