|
|
 |
Research |
|
|
|
|
|
|
|
Research Interests
Adaptive Software: software
engineering, correctness, fault-tolerance issues in dynamic adaptation;
Component-Based Systems; Distributed Computing; Autonomic
Computing, Wireless and Sensor Networks.
Publications
*
Book Chapter
Journals
Conferences / Workshops
-
K. Biyani and S. Kulkarni, "Mixed-mode
adaptation in distributed systems: a case study," in
Proceedings of International Workshop on Software Engineering
for Adaptive and Self-Managing Systems (SEAMS), in
conjunction with International Conference on Software
Engineering (ICSE),
May 2007.
-
K. Biyani and S. Kulkarni, "Testing
dynamic adaptation in distributed systems," in
Proceedings of International Workshop on Automation in
Software Test (AST), in conjunction with
International Conference on Software Engineering (ICSE), May 2007.
-
K. Biyani and S. Kulkarni, "Concurrency
tradeoffs in dynamic adaptation," in Proceedings of
International Workshop on Assurance in Distributed Systems and
Networks (ADSN), in conjunction with International
Conference on Distributed Computing Systems (ICDCS), July 2006.
-
U. Arumugam and S. Kulkarni and
K. Biyani, "Adaptation in sensor-actuator networks: a case
study," in Proceedings of the Third International
Conference on Networked Sensing Systems (INSS), June 2006.
-
K. Biyani and S. Kulkarni,
"Building component families to support adaptation," in
Proceedings of International Workshop on Design and Evolution
of Autonomic Application Software (DEAS), in conjunction
with International Conference on Software Engineering (ICSE), May
2005.
-
S. Kulkarni and K. Biyani,
"Composing distributed fault-tolerance components," in
Proceedings of International Workshop on Principles of
Dependable Systems (PoDSy), in conjunction with
International Conference on Dependable Systems and Networks (DSN), June 2003.
Technical Reports
-
K. Biyani and S. Kulkarni, "Testing
Dynamic Adaptation in Distributed Systems," Technical
Report MSU-CSE-07-15, Michigan State University,
March 2007.
-
K. Biyani and S. Kulkarni, "Mixed-Mode
Adaptation in Distributed Systems: A Case Study,"
Technical Report MSU-CSE-07-13, Michigan State University, March 2007.
-
K. Biyani and S. Kulkarni, "Concurrency
and Complexity in Verifying Dynamic Adaptation: A Case Study,"
Technical Report MSU-CSE-05-21, Michigan State University,
August 2005.
-
S. Kulkarni and K. Biyani,
"Correctness of Component-Based Adaptation," Technical
Report MSU-CSE-04-2, Michigan State University, January 2004.
Posters
-
K. Biyani, "Concurrency
Tradeoffs in Dynamic Adaptation," in Department of
Computer Science and Engineering Poster Workshop, Michigan
State University, April
2006.
-
K. Biyani, "Verifying
Adaptive Software," in Department of Computer Science
and Engineering Poster Workshop, Michigan State
University, April 2005.
-
K. Biyani, "Correctness
of Dynamic Adaptation," in Department of Computer
Science and Engineering Poster Workshop, Michigan State
University, May 2004.
*
Please note that all the necessary copyrights are with the
authors and the conference organizers. These papers are
provided only as a means to disseminate research work in a
timely manner. Any commercial usage of the ideas presented in
these papers, without the written permission of the authors or
the conference organizers, is considered a violation of
copyrights and is grounds for legal persecution. |
