Automated Ensemble Extraction and Analysis of Acoustic Data Streams Eric P. Kasten,
Philip K. McKinley,
and Stuart H. Gage In Proceedings of the First International Workshop on Distributed Event Processing, Systems and Applications (DEPSA), in conjunction with ICDCS 2007,
Toronto, Ontario, Canada,
June 2007.
Digitally Evolving Models for Dynamically Adaptive Systems H. J. Goldsby,
D. B. Knoester,
B.H.C. Cheng,
P. K. McKinley,
and C. A. Ofria In Proceedings of the ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS),
Minneapolis, Minnesota,
May 2007.
Energy Optimization under Informed Mobility Chiping Tang and Philip K. McKinley IEEE Transactions on Parallel and Distributed Systems,
special issue on Localized Communication and Topology Protocols for Ad Hoc Networks,
17(9):947--962,
September 2006.
Transparent Autonomization in Composite Systems S. M. Sadjadi and P. K. McKinley In Salim Hariri and Manish Parashar, editors,Autonomic Computing: Concepts, Infrastructure, and Applications.
CRC Press,
2006.
Using Temporal Logic to Specify Adaptive Program Semantics J. Zhang and B.H.C. Cheng Journal of Systems and Software,
2006.
(Special issue on Architecting Dependable Systems, in press)
SS-TDMA: A Self-Stabilizing MAC for Sensor Networks S. S. Kulkarni and M. Arumugam ,
chapter In Sensor Network Operations.
IEEE Press,
2006.
(In press)
COCA: A Contract-Based Infrastructure for Composing Adaptive Multimedia Systems Zhinan Zhou and Philip K. McKinley In Proceedings of the 8th International Workshop on Multimedia
Network Systems and Applications (MNSA 2006), held in conjunction
with the IEEE 26th International Conference on Distributed
Computing Systems (ICDCS 2006),
Lisbon, Portugal,
July 2006.
A Model-based Design-for-Verification Approach to Checking
for Deadlock in Multithreaded Applications B. Sarna-Starosta,
R. E. K. Stirewalt,
and L. K. Dillon In Proceedings of the 18th International Conference on Software Engineering
and Knowledge Engineering,
San Francisco, CA,
July 2006.
Model-Based Develpment of Dynamically Adaptive Software Ji Zhang and Betty H. C. Cheng In IEEE International Conference on Software
Engineering (ICSE06),
Shanghai, China,
May 2006.
IEEE.
Goal-oriented Specification of Adaptation Requirements Engineering in Adaptive Systems Gregory Brown,
Betty H.C. Cheng,
and Ji Zhang In Proceedings of IEEE ICSE Workshop of Software Engineering of Adaptive and Self-Managing Systems (SEAMS06),
May 2006
.
Using Views to Specify a Synchronization Aspect
for Object-Oriented Languages R. E. K. Stirewalt,
L. K. Dillon,
and R. Behrends In Proc. of the International Conference of Z Users,
Columbia, MD,
April 2006.
TA-LTL: Specifying Adaptation Timing Properties in Autonomic Systems Z. Zhou,
J. Zhang,
P. K. McKinley,
and B. H. C. Cheng In Third IEEE Workshop on Engineering of Autonomic and Autonomous Systems (EASe 2006),
Columbia, Maryland,
April 2006
.
The Role of Specification Model in the Complexity of Adding Masking Fault-Tolerance Sandeep S. Kulkarni and Ali Ebnenasir IEEE Transactions on Dependable and Secure Computing,
2005.
Proactive Reliable Bulk Data Dissemination in Sensor
Networks L. Wang and S. S. Kulkarni In Proceedings of the IASTED International Workshop on
Distributed Algorithms and Applications for Wireless and Mobile
Systems
(DAAWMS),
November 2005
.
UML formalization is a traceability problem R. E. K. Stirewalt and M. Deng and
B. H. C. Cheng In Proc. of the Workshop on Traceability and
Emerging Forms of Software Engineering,
pages 31--36,
November 2005
.
Revising UNITY Programs: Possibilities and
Limitations. A. Ebnenasir and S. S. Kulkarni and
B. Bonakdarpour In 9th International Conference on Principles of
Distributed Systems,
2005.
UML formalization is a traceability problem R. E. K. Stirewalt,
Min Deng,
and Betty H. C. Cheng In 3rd International Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE05 (in conjunction with ASE05),
pages 31--36,
November 2005
.
Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance Sandeep S. Kulkarni and Ali Ebnenasir IEEE Transactions on Dependable and Secure Computing,
2005.
Retrieval by Construction: A Traceability Technique to
Support Verification and Validation of UML Formalizations M. Deng,
R. E. K. Stirewalt,
and B. H. C. Cheng International Journal of Software Engineering
and Knowledge Engineering,
15(5),
October 2005
.
Adding Fault-Tolerance Using Pre-Synthesized
Components
Sandeep S. Kulkarni and Ali Ebnenasir In Proceedings of the Fifth European Dependable Computing Conference
(EDCC-5),
LNCS, Vol. 3463, p. 72,
2005.
Facilitating the Construction of Specification Patterns-based Properties Sascha Konrad and Betty H. C. Cheng In 13th IEEE International Requirements Engineering Conference (RE05),
Paris, France,
August
2005.
IEEE.
Enabling Safe Dynamic Component-Based Software Adaptation Ji Zhang,
Betty H. C. Cheng,
Zhenxiao Yang,
and Philip K. McKinley In Alexander Romanovsky Rogerio de Lemos, Cristina Gacek, editor,Architecting Dependable Systems III, Springer Lecture Notes for Computer Science.
Springer-Verlag,
2005.
Automatic Synthesis of Fault-Tolerance Ali Ebnenasir PhD thesis,
Michigan State University,
2005.
A feature-oriented alternative to implementing
reliability connector wrappers J. H. Sowell and R. E. K. Stirewalt In R. de Lemos,
C. Gacek,
and A. Romanovsky, editors,Architecting Dependable Systems III.
Springer,
2005.
Automated invariant maintenance via OCL compilation R. E. K. Stirewalt and S. Rugaber In Proc. of the ACM/IEEE $8^{th}$ International
Conference on Model Driven Engineering
Languages and Systems (MoDELS/UML 2005),
2005
.
Lessons Learned from Metrics-Based Automated Analysis of Industrial UML Models Ryan Stephenson,
Betty H. C. Cheng,
and Brian Berenbach In Proc. of the ACM/IEEE 8th International
Conference on Model Driven Engineering
Languages and Systems (MoDELS/UML 2005),
2005.
Underlay Aware Overlay Networks Chiping Tang PhD thesis,
Michigan State University,
East Lansing, Michigan USA,
August
2005.
The Four Levels of Requirements Engineering for and
in Dynamic Adaptive Systems Daniel M. Berry,
Betty H. C. Cheng,
and Ji Zhang In 11th International Workshop on Requirements
Engineering Foundation for Software Quality (REFSQ),
Porto, Portugal,
June
2005.
Rekeying and Storage Cost for Multiple User Revocation Sandeep S. Kulkarni and Bezawada Bruhadeshwar In Proceedings of The 12th Annual Network and Distributed System Security
Symposium,
San Diego, California,
2005.
Safe and Reliable use of Concurrency in Multi-Threaded
Shared Memory Sytems R. E. K. Stirewalt,
R. Behrends,
and L. K. Dillon In Proceedings of the 29th Annual IEEE/NASA Software Engineering Workshop,
2005
.
A Component-Oriented Model for the Design of Safe
Multi-threaded Applications R. Behrends,
R. E. K. Stirewalt,
and L. K. Dillon In Proceedings of the 8th International SIGSOFT Symposium on
Component-based Software Engineering (CBSE 2005):
Software Components at Work,
May 2005.
Improving Mutipath Reliability in Topology-Aware Overlay Networks C. Tang and P. K. McKinley In Proceedings of the Fourth International Workshop on Assurance
in Distributed Systems and Networks (ADSN), held in conjunction
with the 25th IEEE International Conference on Distributed Computing Systems,
Columbus, Ohio,
June 2005.
MNP: Multihop network reprogramming service for sensor
networks S. S. Kulkarni and L. Wang In Proceedings of the 25th International Conference on
Distributed Computing Systems (ICDCS),
Columbus, OH,
pages 7-16,
June 2005
.
Specifying Adaptation Semantics Ji Zhang and Betty H. C. Cheng In Proceedings of the IEEE ICSE Workshop on Architecting Dependable
Systems (WADS),
St. Louis, Missouri,
May
2005.
IEEE.
Real-time Specification Patterns Sascha Konrad and Betty H. C. Cheng In IEEE International Conference on Software
Engineering (ICSE05),
St. Louis, Missouri,
May 2005.
IEEE.
Abstract: Automating checks for deadlock in
contract-aware programs R. E. K. Stirewalt In Proc. of the ACM/IEEE International
Conference on Software Engineering,
2005
.
An Approach to Implementing Dynamic Adaptation in C++ S. Fleming,
B. H. C. Cheng,
R. E. K. Stirewalt,
and P. K. McKinley In Proceedings of the ICSE Workshop on Design and Evolution of Autonomic Application Software (DEAS),
St. Louis, Missouri,
May 2005.
Building Component Families to Support Adaptation Karun N. Biyani and Sandeep S. Kulkarni In Proceedings of the ICSE Workshop on Design and Evolution of Autonomic Application Software (DEAS),
St. Louis, Missouri,
May 2005.
Interactive Video Multicast in Wireless LANs Peng Ge PhD thesis,
Michigan State University,
East Lansing, Michigan USA,
dec
2004.
Distributing Key Updates in Secure Dynamic Groups Sandeep S. Kulkarni and Bezawada Bruhadeshwar In Proceedings of the First International Conference on Distributed Computing and Internet Technology (LNCS vol.3347),
Bhubaneswar, India,
pages 410--419,
2004.
Object Analysis Patterns for Embedded Systems Sascha Konrad,
Betty H. C. Cheng,
and Laura Campbell IEEE Transactions on Software Engineering,
30(12
):970--992,
December 2004.
Interactive Video Multicast in Wireless LANs Peng Ge PhD thesis,
Michigan State University,
Department of Computer Science and Engineering,
December
2004.
Distributing Key Updates in Secure Dynamic Groups Sandeep S. Kulkarni and
Bezawada Bruhadeshwar In Proceedings of the First International Conference on
Distributed Computing and Internet Technology,
volume 3347 of Lecture Notes in Computer Science,
Bhubaneswar, India,
December 2004.
Springer.
Resource-based Approach to Feature Interaction in
Adaptive Software Jesus Bisbal and Betty H. C. Cheng In ACM SIGSOFT Workshop on Self-Managing Systems (WOSS04),
November
2004.
Hierarchical Presynthesized Component for Automatic Addition of Fault-Tolerance:
A Case Study. Sandeep S. Kulkarni and Ali Ebnenasir In Proceedings of ACM Workshop on Specification and Verification of Component-Based Systems (SAVCBS),
2004.
TRAP/J: Transparent Generation of Adaptable Java Programs S. M. Sadjadi,
P. K. McKinley,
B. H. C. Cheng,
and R. E. K. Stirewalt In Proceedings of the 2004 International Symposium on Distributed Objects and Applications,
Agia Napa, Cyprus,
October 2004.
Enabling Collaborative Adaptation across Legacy Components Z. Yang,
Z. Zhou,
B. H. C. Cheng,
and P. K. McKinley In Proceedings of the Third Workshop on Reflective and Adaptive Middleware (with Middleware'04),
Toronto, Ontario, Canada,
October 2004.
Automated Analysis of Timing Information in UML Diagrams Sascha Konrad,
Laura Campbell,
and Betty H. C. Cheng In Proc. of IEEE International Conference on Automated Software Engineering,
Linz, Austria,
September 2004.
Avoiding serialization vulnerabilities through the
use of synchronization contracts R. Behrends,
R. E. K. Stirewalt,
and L. K. Dillon In Proc. of the Workshop on Specification and
Automated Processing of Security
Requirements,
pages 207--219,
September 2004
.
Austrian Computer Society.
Automated Synthesis of Multitolerance S. S. Kulkarni and A. Ebnenasir In Proceedings of the International Conference on Dependable Systems
and Networks, Palazzo dei Congressi, Florence, Italy, June 28 - July 1,
2004.
Transparent Shaping Support for Adaptability in Pervasive and Autonomic Computing S. Masoud Sadjadi PhD thesis,
Michigan State University,
East Lansing, Michigan USA,
aug
2004.
Enabling Integrative Analyses and Refinement of Object-Oriented Models with Special Emphasis on High-Assurance Embedded Systems Laura A. Campbell PhD thesis,
Michigan State University,
Department of Computer Science and Engineering,
August
2004.
SAT-Based Synthesis of Fault-Tolerance Ali Ebnenasir and Sandeep S. Kulkarni Fast Abstracts of the International Conference
on Dependable
Systems and Networks, Palazzo dei Congressi, Florence, Italy, June 28 - July 1,
2004.
Composing Adaptive Software P. K. McKinley,
S. M. Sadjadi,
E. P. Kasten,
and B. H. C. Cheng IEEE Computer,
37(7):56-64,
2004.
Approximate Causal Observer S. S. Kulkarni and M(U). Arumugam In Proceedings of the International Workshop on
Networked Sensing Systems (INSS),
pages 123-128,
June 2004.
Correctness of Component-based Adaptation Sandeep Kulkarni and Karun Biyani In Proceedings of the International Symposium on Component-based
Software Engineering,
May 2004.
Adding Safeness to Dynamic Adaptation Techniques Ji Zhang,
Zhenxiao Yang,
Betty H. C. Cheng,
and Philip K. McKinley In Proceedings of the ICSE 2004 Workshop on Architecting Dependable Systems,
Edinburgh, Scotland,
May 2004.
Perimorph: Run-Time Composition and State Management for Adaptive Systems E. P. Kasten and P. K. McKinley In Proceedings of Fourth International Workshop on Distributed Auto-Adaptive and Reconfigurable Systems (DARES), in conjunction with ICDCS 2004,
Hachioji, Japan,
pages 332-337,
March 2004.
TDMA Service for Sensor Networks S. S. Kulkarni and M(U). Arumugam In Proceedings of the Third International Workshop on
Assurance in
Distributed Systems and Networks,
March 2004.
Designing and Implementing a Model of Synchronization
Contracts in Object-Oriented Languages R. Behrends PhD thesis,
Michigan State University,
East Lansing, Michigan USA,
dec
2003.
Transformations for Write-All-With-Collision Model S. S. Kulkarni and M(U). Arumugam In Proceedings of the International Conference on
Principles of
Distributed Systems (OPODIS),
volume LNCS:3144,
pages 184-197,
December 2003.
Adaptive Rekeying for Secure Multicast Sandeep S. Kulkarni and Bezawada Bruhadeshwar IEEE/IEICE Special Issue on Communications:
Transactions on Communications,
E86-B(10):2948-2956,
October 2003.
Modeling Multicast Packet Losses in Wireless LANs C. Tang and P. K. McKinley In Proceedings of the Sixth ACM International Workshop on Modeling,
Analysis and Simulation of Wireless and Mobile Systems (MSWiM) (in conjunction
with ACM Mobicom 2003),
San Diego, California,
pages 130-133,
September 2003.
Composing Distributed Fault-Tolerance Components S. S. Kulkarni,
K. N. Biyani,
and U. Arumugam In Proceedings of the International Conference on
Dependable Systems
and Networks (DSN), Supplemental Volume, Workshop on Principle
s of Dependable Systems (PoDSy),
pages W127-W136,
June 2003.
Enhancing The Fault-Tolerance of Nonmasking
Programs Sandeep S. Kulkarni and Ali Ebnenasir In Proceedings of the 23rd IEEE International Conference on Distributed
Computing
Systems, Providence, Rhode Island USA, May 19-22,
2003.
Collision-Free Communication in Sensor Networks S. S. Kulkarni and U. Arumugam In Proceedings of the Sixth Symposium on
Self-stabilizing Systems
(SSS), Springer,
volume LNCS:2704,
pages 17-31,
June 2003.
Architecture and Operation of an Adaptable Communication Substrate S. M. Sadjadi,
P. K. McKinley,
and E. P. Kasten In Proceedings of the Ninth IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS'03),
San Juan, Puerto Rico,
pages 46-55,
May 2003.
An Aspect-Oriented Approach to Dynamic Adaptation Z. Yang,
B. H. C. Cheng,
R. E. K. Stirewalt,
J. Sowell,
S. M. Sadjadi,
and P. K. McKinley In Proceedings of the ACM SIGSOFT Workshop on Self-Healing Systems (WOSS02),
Charleston, South Carolina,
November 2002.
Requirements Patterns for Embedded Systems Sascha Konrad and Betty H. C. Cheng In Proceedings of the IEEE Joint International Conference on Requirements Engineering (RE02),
Essen, Germany,
September 2002.
Adding Formal Specifications to Requirements Patterns Sascha Konrad,
Laura A. Campbell,
and Betty H. C. Cheng In C. Heitmeyer and N. Mead, editors,
Proceedings of the IEEE Requirements for High Assurance Systems (RHAS02),
Essen, Germany,
September 2002.
Complexity of Adding Failsafe Fault-tolerance S. S. Kulkarni and A. Ebnenasir In Proceedings of the 22nd IEEE International
Conference on Distributed Computing
Systems,
Vienna, Austria,
July 2002.
Critical Path in Secure Multicast
for Dynamic Groups S. S. Kulkarni and B. Bruhadeshwar In Proceedings of the International Workshop on
Assurance in Distributed
Systems and Networks,
Vienna, Austria,
July 2002.
Realizing Multi-Dimensional Software Adaptation Philip K. McKinley,
E. P. Kasten,
S. M. Sadjadi,
and Zhinan Zhou In Proceedings of the ACM
Workshop on Self-Healing, Adaptive and self-MANaged
Systems (SHAMAN), held in conjunction with the
16th Annual ACM International Conference on Supercomputing,
New York City,
June 2002.
Automated Development and Run-Time Adaptation of
Interactive Distributed Applications B. Cheng,
L. Dillon,
K. Stirewalt,
P. McKinley,
S. Kulkarni,
and J. Lee NCO Workshop on New Visions for Software Design and Productivity: Research and Applications,
December 2001.
Experiments in Composing Proxy Audio Services for Mobile Users P. K. McKinley,
U. I. Padmanabhan,
and N. Ancha In Proceedings of the IFIP/ACM International Conference on
Distributed Systems Platforms (Middleware 2001),
Heidelberg, Germany,
pages 99--120,
November 2001.
Adequate reverse engineering S. Rugaber and R. E. K. Stirewalt In Proceedings of the IEEE International Conference
on Automated Software Engineering,
November 2001
.
Polynomial time synthesis of Byzantine Agreement S. S. Kulkarni,
A. Arora,
and A. Chippada In Proceedings of the Twentieth Symposium on Reliable
Distributed Systems,
New Orleans, LA,
October 2001.
A Metamodel-Based Approach to Formalizing UML Betty H. C. Cheng In Proceedings of the IEEE International Computer
Software and Applications Conference (COMPSAC01),
Naperville, Illinois,
October 2001.
Integrating Informal and Formal Approaches to
Requirements Modeling and Analysis Laura A. Campbell and Betty H. C. Cheng In Proceedings of the IEEE International Symposium on
Requirements Engineering (RE01),
Toronto, Canada,
August 2001.
Last modified: Sun Jun 17 00:54:01 2007
This document was translated from BibTEX by
bibtex2html