Dr. Sandeep K. Shukla

Assistant Professor

Electrical and Computer Engineering Department

Virginia Tech

Blacksburg, VA 24061

Email: skshukla@visc.vt.edu

 


FERMAT LAB (Formal Engineering Research with Modeling, Abstraction, and Transformation) <

Research Interests: (follow Links for Details Activities)

(NB: This list is not ordered according to interest level)

 
 

 

 

Link To Resume

Link to Old Homepage


Special Announcement

CALL FOR PAPERS: SPECIAL ISSUE OF THE JOURNAL OF CIRCUITS, SYSTEMS AND COMPUTERS : APPLICATION SPECIFIC HARDWARE DESIGN

 

 

 RECENT PUBLICATIONS:

?         ?         F. Doucet, R. Gupta, M. Otsuka, P. Schaumont, S. Shukla, ?Interoperability as a Design Issue in C++ Based Modeling Environments?, In Proceedings of the 14th International Symposium on System Synthesis (ISSS?01), Montreal, Canada, October 2001, IEEE Computer Society Press, pp 87-92

 

?         ?         P. Garg, S. Shukla, R. Gupta, ?Efficient Usage of Concurrency Models in an Object Oriented Co-Design Framework?, In the Proceedings of the Design Automation and Test in Europe (DATE?01), Designers Forum, Munich, Germany, March 2001, IEEE Computer Society Press.

 

?         ?         S. Shukla, R. Gupta, ??A Model Checking Approach to Evaluating System Level Dynamic Power Management Policies for Embedded Systems ?In the Proceedings of IEEE International High Level Design Validation and Test Workshop (HLDVT?01)?, IEEE Computer Society Press, Monterey, CA, Nov 2001

 

?         ?         N. Saviou, S. Shukla, R. Gupta, ?Automated Concurrency Re-Assignment in High Level System Models for Efficient System Level Simulation?, UCI-ICS Tech. Report No. 01-51, September 2001, Accepted for presentation at the Design Automation and Test Conference (DATE 2002), March 2002.

 

?         ?         S. Irani, S. Shukla, R. Gupta,?? ?Competitive Analysis of Dynamic Power Management Strategies for Systems with Multiple Power Saving States?, UCI-ICS Tech. Report No. 01-50, September 2001, Accepted for presentation at the Design Automation and Test Conference (DATE 2002),

 

?         ?         F. Doucet, R. Gupta, M. Otsuka, S. Shukla, ?An Environment for Dynamic Component Composition for Efficient Co-Design?, Accepted for presentation at the Design Automation and Test Conference (DATE 2002), Match 2002.

 

?         ?         F. Doucet, R. Gupta, M. Otsuka, S. Shukla, ?Efficient System Level Co-Design Environment using Split Level Programming?, UCI-ICS Tech. Report No. 01-34, July 2001.

 

?         ?         S. Shukla ?Fault-Tolerance Patterns for Network Management Applications?, Invited Presentation at the Dagstuhl Seminar on Self-Stabilization, Dagstuhl, Germany, August 1998.

 

?         ?         A. Saxena, S. Shukla, R. Weihmayer, P. Wu, ?CORBA based Event Management System: A Case Study in Automatic Global Correlation?, In the proceedings of the International Conference on Parallel Processing Techniques and Applications (PDPTA?99), Las Vegas, June 1999

 

EARLIER PUBLICATIONS:

 

?         ?         S. Shukla, D. J. Rosenkrantz and S. S. Ravi, ?Developing Self-Stabilizing Coloring Algorithms via Systematic Randomization,? In the Proceedings of the 1st International Workshop on Parallel Processing (IWPP?94), Bangalore, India, December 1994.

 

?         ?         S. Shukla, D. J. Rosenkrantz and S. S. Ravi, ?Observations on Self-Stabilizing Graph Algorithms on Anonymous Networks?, In the Proceedings of the Second Workshop on Self-Stabilizing Systems (WSS?95), LasVegas, Nevada, May 1995.

 

?         ?         S. Shukla, D. J. Rosenkrantz and S. S. Ravi,? ?A Simulation and Validation Tool for Self-Stabilizing Systems,? In Proceedings of SPIN96: Second International Workshop on SPIN, New Jersey, August 1996. A Revised Version appears in DIMACS-AMS special volume published by American Mathematical Society, 1997.?

 

?         ?         S. Shukla, D. J. Rosenkrantz, H. B. Hunt III and R. E. Stearns, ? A HORNSAT Based Approach to the Polynomial Time Decidability of Simulation Relations for Finite State Processes?, In the Proceedings of the DIMACS Workshop on Satisfiability Problems: Theory and Applications}, Piscataway, NJ, March 1996. A Revised Version appears in DIMACS-AMS special volume published by American Mathematical Society, 1996.

 

?         ?         S. Shukla, H.B. Hunt III, D. J. Rosenkrantz, S. S. Ravi and R. E. Stearns, ?I/O Automata Based Verification of Distributed Systems: Complexity Issues,? (Short Presentation) In the Proceedings of the 15th Symposium on Principles of Distributed Computing? (PODC?96), Philadelphia, PA, May 1996.

?         ?         Shukla, H.B. Hunt III, D. J. Rosenkrantz and R. E. Stearns, ?On the Complexity of Relational Problems for Finite State Processes?, In the Proceedings of the 23rd International Colloquium on Automata, Languages and Programming (ICALP?96), Paderborn, Germany, July 1996, Springer-Verlag Lecture Notes in Computer Science.

?         ?        Shukla, H. B. Hunt III and D. J. Rosenkrantz, ?HORNSAT, Model Checking, Verification and Games?, In the Proceedings of the 8th International Conference on Computer Aided Verification}(CAV?96), Piscataway, NJ, July 1996, Springer-Verlag Lecture Notes in Computer Science.

 

?         ?         S. Shukla, H. B. Hunt III, D. J. Rosenkrantz, S. S. Ravi and R. E. Stearns ?A Uniform Approach to Model Checking and Verification?, In the Proceedings of the New York state workshop on Academic Electronics, June 1996.

 

?         ?         Q. Guo, P. Narendran, S. Shukla, ?Solving Equations in Process Algebra?, Presented at the UNIF?97 (International Workshop on Unification) (A preliminary version appeared in the Proceedings of the New York state Workshop on Academic Electronics, June 1996.

 

?         ?         Q. Guo, P. Narendran, S. Shukla, ?Unification and Matching in Process Algebra?, In the Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA), 1998}, Springer-Verlag LNCS.

 

?         ?         H. Huttel and S. Shukla, ?Complexity of Preorders and Equivalences in Process Algebra: A Survey?, BRICS Research Report, RS-96-39, October 1996. Also submitted to ACM Computing Surveys).

 

?         ?         S. Shukla and Shira Dershowitz and Kathleen Fisler and Doron Peled and Gerard Holzmann and Robert Kurshan, ?Regression Test Schemes for the FORMALCHECK Automata Library?, Presented at the Lucent Conference on Electronics Testing, April 1997.

 

?         ?         R. H. Hardin and R. P. Kurshan and S. Shukla and M. Y. Vardi, ?New Heuristics for Bad Cycle Detection Using BDD?s?, In the Proceedings of? the International Conference on Computer Aided Verification (CAV?97), Israel, June 1997, Springer-Verlag Lecture Notes in Computer Science

 

?         ?         S. Shukla and R. P. Kurshan, ?Notes on the Summer school tutorial on automata theoretic approaches to formal verification?, DIMACS Technical Report 97-57, available through http://dimacs.rutgers.edu/TechnicalReports/1997.html