| [1] |
Jonathan K. Shapiro C. V. Hollot and Don Towsley.
Trading precision for stability in congestion control with
probabilistic packet marking.
ICNP 2005, November 2005.
To appear. [ bib ] |
| [2] |
Daniel Figueiredo, Jonathan K. Shapiro, and Don Towsley.
Incentives to promote availability in peer-to-peer anonymity systems.
ICNP 2005, November 2005.
To appear. [ bib ] |
| [3] |
M. Deng, R. E. K. Stirewalt, and B. H. C. Cheng.
Retrieval by construction: A traceability technique to support
verification and validation of uml formalizations.
International Journal of Software Engineering and Knowledge
Engineering, October 2005.
To appear. [ bib ] |
| [4] |
Sascha Konrad and Betty H .C. Cheng.
Facilitating the construction of specification patterns-based
properties.
In 13th IEEE International Requirements Engineering Conference
(RE05), Paris, France, August 2005. IEEE.
(accepted to appear). [ bib ] |
| [5] |
Daniel M. Berry, Betty H.C. Cheng, and Ji Zhang.
The four levels of requirements engineering for and in dynamic
adaptive systems.
In 11th International Workshop on Requirements Engineering
Foundation for Software Quality (REFSQ), Porto, Portugal, June 2005. [ bib ] |
| [6] |
S. M. Sadjadi and P. K. McKinley.
Using transparent shaping and web services to support self-management
of composite systems.
In Proceedings of the Second IEEE International Conference on
Autonomic Computing (ICAC), Seattle, Washington, June 2005. [ bib ] |
| [7] |
C. Tang and P. K. McKinley.
Improving mutipath reliability in topology-aware overlay networks.
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. [ bib ] |
| [8] |
C. Tang and P. K. McKinley.
iMobif: An informed mobility framework for energy optimization in
wireless ad hoc networks.
In Proceedings of the Second International Workshop on Wireless
Ad Hoc Networking (WWAN), in conjunction with the 25th IEEE International
Conference on Distributed Computing Systems, Columbus, Ohio, June 2005. [ bib ] |
| [9] |
S. S. Kulkarni and L. Wang.
MNP: Multihop network reprogramming service for sensor networks.
In Proceedings of the 25th International Conference on
Distributed Computing Systems (ICDCS), pages 7-16, June 2005. [ bib ] |
| [10] |
Philip K. McKinley S. Masoud Sadjadi and Betty H. C. Cheng.
Transparent shaping of existing software to support pervasive and
autonomic computing.
In IEEE ICSE Workshop on Design and Evolution of Autonomic
Computing Systems (DEAS), St. Louis, Missouri, May 2005. IEEE.
(also accepted for presentation). [ bib ] |
| [11] |
Scott D. Fleming, Betty H.C. Cheng, Kurt Stirewalt, and Philip K. McKinley.
An approach to implementing dynamic adaptation in c++.
In IEEE ICSE Workshop on Design and Evolution of Autonomic
Computing Systems (DEAS), St. Louis, Missouri, May 2005. IEEE. [ bib ] |
| [12] |
Ji Zhang and Betty H. C. Cheng.
Specifying adaptation semantics.
In IEEE ICSE Workshop on Architecting Dependable Systems
(WADS), St. Louis, Missouri, May 2005. IEEE. [ bib ] |
| [13] |
Sascha Konrad and Betty H. C. Cheng.
Real-time specification patterns.
In IEEE International Conference on Software Engineering
(ICSE05), St. Louis, Missouri, May 2005. IEEE.
(acceptance rate 14%). [ bib ] |
| [14] |
R. Behrends, R. E. K. Stirewalt, and L. K. Dillon.
A component-oriented model for the design of safe multi-threaded
applications.
In Proc. 8th Inter. SIGSOFT Symp. on Component-based Software
Engineering (CBSE 2005): Software Components at Work, May 2005. [ bib ] |
| [15] |
S. Fleming, B. H. C. Cheng, R. E. K. Stirewalt, and P. K. McKinley.
An approach to implementing dynamic adaptation in c++.
In Proceedings of the ICSE Workshop on Design and Evolution of
Autonomic Application Software (DEAS), St. Louis, Missouri, May 2005. [ bib ] |
| [16] |
S. M. Sadjadi, P. K. McKinley, and B. H. C. Cheng.
Transparent shaping of existing software to support pervasive and
autonomic computing.
In Proceedings of the ICSE Workshop on Design and Evolution of
Autonomic Application Software (DEAS), St. Louis, Missouri, May 2005. [ bib ] |
| [17] |
K. Biyani and S. S. Kulkarni.
Building component families to support adaptation.
In International Workshop on Design and Evolution of Autonomic
Application Softwar e, ICSE, May 2005. [ bib ] |
| [18] |
Ji Zhang, Betty H C. Cheng, Zhenxiao Yang, and Philip K. McKinley.
Enabling safe dynamic component-based software adaptation.
In Alexander Romanovsky Rogerio de Lemos, Cristina Gacek, editor,
Architecting Dependable Systems III, Springer Lecture Notes for
Computer Science. Springer-Verlag, 2005.
(in press). [ bib ] |
| [19] |
Ryan Stephenson, Betty H.C. Cheng, and Brian Berenbach.
Lessons learned from metrics-based automated analysis of industrial
uml models.
2005.
(to appear). [ bib ] |
| [20] |
J. H. Sowell and R. E. K. Stirewalt.
A feature-oriented alternative to implementing reliability connector
wrappers.
In R. de Lemos, C. Gacek, and A. Romanovsky, editors,
Architecting Dependable Systems III. Springer, 2005. [ bib ] |
| [21] |
R. E. K. Stirewalt, R. Behrends, and L. K. Dillon.
Safe and reliable use of concurrency in multi-threaded shared memory
sytems.
In Proc. of the 29th Annual IEEE/NASA Software Engineering
Workshop, 2005. [ bib ] |
| [22] |
Philip K. McKinley, Betty H.C. Cheng, and Juyang Weng.
Integrating multimedia technology into the undergraduate curriculum.
International Journal of Engineering Education, 2005.
(in press). [ bib ] |
| [23] |
C. Tang and P. K. McKinley.
Topology-aware overlay path probing, 2005.
submitted to IEEE/ACM Transactions on Networking. [ bib ] |
| [24] |
C. Tang and P. K. McKinley.
A distributed approach to path monitoring in topology-aware overlay
networks, 2005.
submitted to IEEE Transactions on Parallel and Distributed
Systems. [ bib ] |
| [25] |
C. Tang and P. K. McKinley.
Energy optimization under informed mobility, 2005.
submitted to IEEE Transactions on Parallel and Distributed
Systems. [ bib ] |
| [26] |
G. Chakrabarti and S. S. Kulkarni.
Load balancing and resource reservation in mobile ad-hoc networks.
Ad Hoc Networks, 2005.
To appear. [ bib ] |
| [27] |
A. Ebnenasir and S. S. Kulkarni.
Adding fault-tolerance using pre-synthesized components.
Fifth European Dependable Computing Conference, 2005.
To appear. [ bib ] |
| [28] |
S. S. Kulkarni and M. Arumugam.
Transformations for write-all-with-collision model.
Computer Communications (Elsevier), Special Issue on Dependable
Wireless Sensor Networks, 2005.
to appear. [ bib ] |
| [29] |
S. S. Kulkarni and M. Arumugam.
Approximate causal observer.
Transactions of Society of Instrument and Control Engineers,
Special Issue on Networked Sensing Systems, 2005.
to appear. [ bib ] |
| [30] |
S. S. Kulkarni and M(U). Arumugam.
SS-TDMA: A self-stabilizing MAC for sensor networks, chapter
Sensor Network Operations.
IEEE Press, 2005.
To appear. [ bib ] |
| [31] |
S. S. Kulkarni and B. Bruhadeshwar.
A family of collusion resistant protocols for instantiating security.
International Conference on Network Protocols, 2005.
to appear. [ bib ] |
| [32] |
S. S. Kulkarni and B. Bruhadeshwar.
Rekeying and storage cost for multiple user revocation.
In The 12th Annual Network and Distributed System Security
Symposium, San Diego, California, pages 45-54. Internet Society, 2005. [ bib ] |
| [33] |
S. S. Kulkarni, C. Bolen J. Oleszkiewicz, and A. Robinson.
Alternators in read/write atomicity.
Information Processing Letters, 2005.
to appear. [ bib ] |
| [34] |
S. S. Kulkarni, M. G. Gouda, and A. Arora.
Secret instantiation in ad-hoc network.
Computer Communications (Elsevier), Special Issue on Dependable
Wireless Sensor Networks, 2005.
to appear. [ bib ] |
| [35] |
S. S. Kulkarni and Ravikant.
Stabilizing causal deterministic merge.
Journal of High Speed Networks, 2005.
To appear. [ bib ] |
| [36] |
A. Arora, S. S. Kulkarni, and M. Demirbas.
Resettable vector clocks.
Journal of Parallel and Distributed Computing, 2005. [ bib ] |
| [37] |
Sascha Konrad, Betty H.C. Cheng, and Laura Campbell.
Object analysis patterns for embedded systems.
IEEE Transactions on Software Engineering, 30(12):970-992,
December 2004. [ bib ] |
| [38] |
Jesus Bisbal and Betty H.C. Cheng.
Resource-based approach to feature interaction in adaptive software.
In ACM SIGSOFT Workshop on Self-Managing Systems (WOSS04),
November 2004. [ bib ] |
| [39] |
E. P. Kasten and P. K. McKinley.
Meso: Perceptual memory to support online learning in adaptive
software.
In Proceedings of the 3rd International Conference on
Development and Learning (ICDL'04), La Jolla, California, October 2004. [ bib ] |
| [40] |
Z. Yang, Z. Zhou, B. H. C. Cheng, and P. K. McKinley.
Enabling collaborative adaptation across legacy components.
In Proceedings of the Third Workshop on Reflective and Adaptive
Middleware, in conjunction with Middleware'04, Toronto, Ontario, Canada,
October 2004. [ bib ] |
| [41] |
S. M. Sadjadi, P. K. McKinley, B. H. C. Cheng, and R. E. K. Stirewalt.
TRAP/J: Transparent generation of adaptable Java programs.
In Proceedings of the 2004 International Symposium on
Distributed Objects and Applications, Agia Napa, Cyprus, October 2004. [ bib ] |
| [42] |
F. Samimi, P. K. McKinley, S. M. Sadjadi, and P. Ge.
Kernel-middleware interaction to support adaptation in pervasive
computing environments.
In Proceedings of the Second Int'l Workshop on Middleware for
Pervasive and Ad-Hoc Computing, in conjunction with Middleware'04, Toronto,
Ontario, Canada, October 2004. [ bib ] |
| [43] |
Sascha Konrad, Laura Campbell, and Betty H. C. Cheng.
Automated analysis of timing information in uml diagrams.
In Proc. of IEEE International Conference on Automated Software
Engineering, Linz, Austria, September 2004.
Short paper. [ bib ] |
| [44] |
Sascha Konrad, Laura Campbell, and Betty H.C. Cheng.
Automated analysis of timing information in uml diagrams.
In Proc. of IEEE International Conference on Automated Software
Engineering, Linz, Austria, September 2004. [ bib ] |
| [45] |
R. Behrends, R. E. K. Stirewalt, and L. K. Dillon.
Avoiding serialization vulnerabilities through the use of
synchronization contracts.
In Proc. of the Workshop on Specification and Automated
Processing of Security Requirements, pages 207-219. Austrian Computer
Society, September 2004. [ bib ] |
| [46] |
R. E. K. Stirewalt, Reimer Behrends, and Laura K. Dillon.
A model-based semantics for synchronization contracts in
object-oriented languages.
Technical Report MSU-CSE-04-38, Computer Science and Engineering,
Michigan State University, East Lansing, Michigan, August 2004. [ bib ] |
| [47] |
S. Rugaber and R. E. K. Stirewalt.
Model-driven reverse engineering.
IEEE Software, 21(4):45-53, July 2004. [ bib ] |
| [48] |
S. S. Kulkarni and M(U). Arumugam.
Approximate causal observer.
In Proceedings of the International Workshop on Networked
Sensing Systems (INSS), pages 123-128, June 2004. [ bib | http ] |
| [49] |
R. E. K. Stirewalt.
Teaching software engineering ``bottom up''.
In Proc. of the ASEE Annual Conference and Exposition, June
2004. [ bib | www: ] |
| [50] |
Z. Zhou, P. K. McKinley, and S. M. Sadjadi.
On quality-of-service and energy consumption tradeoffs in fec-enabled
audio streaming.
In Proceedings of the 12th IEEE International Workshop on
Quality of Service (IWQoS 2004), Montreal, Canada, June 2004.
(selected as Best Student Paper). [ bib | .pdf ] |
| [51] |
G. Stockman, P. Albee, L. Dillon, and J. Oleszkiewicz.
Cs1 and cs2 programming exams for assessing learning and teaching.
In Proc. of the ASEE Annual Conference and Exposition, June
2004. [ bib ] |
| [52] |
Sandeep Kulkarni and Karun Biyani.
Correctness of component-based adaptation.
In Proceedings of the International Symposium on Component-based
Software Engineering, May 2004. [ bib | http ] |
| [53] |
J. H. Sowell and R. E. K. Stirewalt.
Middleware reliability implementations and connector wrappers.
In Proc. of the ICSE Workshop on Architecting Dependable Systems
(WADS'04), May 2004. [ bib | http ] |
| [54] |
Ji Zhang, Zhenxiao Yang, Betty H. C. Cheng, and Philip K. McKinley.
Adding safeness to dynamic adaptation techniques.
In Proceedings of the ICSE 2004 Workshop on Architecting
Dependable Systems, in conjunction with ICSE 2004, Edinburgh, Scotland, May
2004. [ bib | .pdf ] |
| [55] |
S. M. Sadjadi and P. K. McKinley.
Transparent self-optimization in existing CORBA applications.
In Proceedings of the International Conference on Autonomic
Computing (ICAC-04), New York, NY, May 2004. [ bib | .pdf ] |
| [56] |
S. M. Sadjadi, P. K. McKinley, R. E. K. Stirewalt, and B. H.C. Cheng.
Generation of self-optimizing wireless network applications (poster
summary).
In Proceedings of the International Conference on Autonomic
Computing (ICAC-04), New York, NY, May 2004. [ bib | .pdf ] |
| [57] |
S. S. Kulkarni and K. Biyani.
Correctness of component-based adaptation.
In International Symposium on Component-based Software
Engineering, ICSE, pages 48-58, May 2004. [ bib ] |
| [58] |
G. Stockman, P. Albee, L. Dillon, and J. Oleszkiewicz.
Cs1 and cs2 programming exams for assessing learning and teaching.
In Proc. ASEE North Central Section Spring Conference, April
2004. [ bib ] |
| [59] |
S. S. Kulkarni and M(U). Arumugam.
TDMA service for sensor networks.
In Proceedings of the Third International Workshop on Assurance
in Distributed Systems and Networks, March 2004. [ bib | http ] |
| [60] |
S. M. Sadjadi and P. K. McKinley.
ACT: An adaptive CORBA template to support unanticipated
adaptation.
In Proceedings of the 24th IEEE International Conference on
Distributed Computing Systems (ICDCS), Tokyo, Japan, March 2004. [ bib | .pdf ] |
| [61] |
C. Tang and P. K. McKinley.
A distributed approach to topology-aware overlay path monitoring.
In Proceedings of the 24th IEEE Int'l Conference on Distributed
Computing Systems (ICDCS), Tokyo, Japan, March 2004. [ bib | .pdf ] |
| [62] |
E. P. Kasten and P. K. McKinley.
Perimorph: Run-time composition and state management for adaptive
systems.
In Proceedings of Fourth International Workshop on Distributed
Auto-Adaptive and Reconfigurable Systems (DARES), in conjunction with ICDCS
2004, pages 332-337, Hachioji, Japan, March 2004. [ bib | .pdf ] |
| [63] |
A. Arora, P. Dutta, S. Bapat, V. Kulathumani, H. Zhang, V. Naik, V. Mittal,
H. Cao, M. Demirbas, M. Gouda, Y-R. Choi, T. Herman, S. S. Kulkarni,
U. Arumugam, M. Nesterenko, A. Vora, and M. Miyashita.
A line in the sand: A wireless sensor network for target detection,
classification, and tracking.
Computer Networks (Elsevier), 2004. [ bib | http ] |
| [64] |
G. Chakrabarti and S. Kulkarni.
Load balancing and resource reservation in ad-hoc networks.
Ad-Hoc Networks, 2004. [ bib ] |
| [65] |
R. E. K. Stirewalt, Reimer Behrends, and Laura K. Dillon.
A model-based semantics for synchronization contracts in
object-oriented languages.
Science of Computer Programming, 2004.
Accepted, pending revisions. [ bib | www: ] |
| [66] |
Sandeep S. Kulkarni, Borzoo Bonakdarpour, and Ali Ebnenasir.
Mechanical verification of automatic synthesis of fault-tolerance.
In Proceedings of the International Symposium on Logic-based
Program Synthesis and Transformation, 2004. [ bib ] |
| [67] |
S. S. Kulkarni and A. Ebnenasir.
Automated synthesis of multitolerance.
In Proceedings of the International Conference on Dependable
Systems and Networks, Palazzo dei Congressi, Florence, Italy, June 28 - July
1, 2004. [ bib ] |
| [68] |
Ali Ebnenasir and Sandeep S. Kulkarni.
SAT-based synthesis of fault-tolerance.
Fast Abstracts of the International Conference on Dependable
Systems and Networks, Palazzo dei Congressi, Florence, Italy, June 28 - July
1, 2004. [ bib ] |
| [69] |
Laura K. Dillon and Walter Tichy.
Guest editors' introduction: 2003 international conference on
software engineering.
IEEE Transactions on Software Engineering, 30(6):353-354,
2004. [ bib ] |
| [70] |
Laura K. Dillon and Walter F. Tichy.
Guest editors' introduction: 2003 international conference on
software engineering.
IEEE Transactions on Software Engineering, 30(6):353-354,
2004. [ bib ] |
| [71] |
P. K. McKinley, S. M. Sadjadi, E. P. Kasten, and B. H. C. Cheng.
Composing adaptive software.
IEEE Computer, 37(7):56-64, 2004. [ bib | http ] |
| [72] |
A. Arora, P. Dutta, S. Bapat, V. Kulathumani, H. Zhang, V. Naik, V. Mittal,
H. Cao, M. Demirbas, M. Gouda, Y-R. Choi, T. Herman, S. S. Kulkarni,
U. Arumugam, M. Nesterenko, A. Vora, and M. Miyashita.
A line in the sand: A wireless sensor network for target detection,
classification, and tracking.
Computer Networks (Elsevier), Special Issue on Military
Communications Systems and Technologies, 2004. [ bib ] |
| [73] |
A. Ebnenasir and S. S. Kulkarni.
SAT-based synthesis of fault-tolerance.
In the Fast Abstracts of the International Conference on
Dependable Systems and Networks, Palazzo dei Congressi, Florence, Italy,
2004. [ bib ] |
| [74] |
A. Ebnenasir and S. S. Kulkarni.
Hierarchical presynthesized component for automatic addition of
fault-tolerance: A case study.
Proceedings of ACM Workshop on Specification and Verification of
Component-Based Systems (SAVCBS), Newport Beach, California, USA, 2004. [ bib ] |
| [75] |
S. S. Kulkarni and M (U) Arumugam.
Tdma service for sensor networks.
Assurance in Distributed Systems and Networks (ADSN), 2004. [ bib ] |
| [76] |
S. S. Kulkarni and B. Bruhadeshwar.
Distributing key updates in secure dynamic groups.
In Distributed Computing and Internet Technology, First
International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24,
2004, volume 3347 of Lecture Notes in Computer Science, pages
410-419. Springer, 2004. [ bib ] |
| [77] |
S. S. Kulkarni and A. Ebnenasir B. Bonakdarpour.
Mechanical verification of automatic synthesis of fault-tolerant
programs.
International Symposium on Logic Based Program Synthesis and
Transformation, (LOPSTR), 2004. [ bib ] |
| [78] |
S. S. Kulkarni and A. Ebnenasir.
Automated synthesis of multitolerance.
The International Conference on Dependable Systems and
Networks, 2004. [ bib ] |
| [79] |
S. S. Kulkarni and M(U). Arumugam.
Transformations for write-all-with-collision model.
In Proceedings of the International Conference on Principles of
Distributed Systems (OPODIS), volume LNCS:3144, pages 184-197, December
2003. [ bib | http ] |
| [80] |
C. Tang and P. K. McKinley.
On the cost-quality tradeoff in topology-aware overlay path probing.
In Proceedings of the 11th IEEE International Conference on
Network Protocols (ICNP), pages 268-279, Atlanta, Georgia, November 2003. [ bib | .pdf ] |
| [81] |
S. S. Kulkarni and B. Bruhadeshwar.
Adaptive rekeying for secure multicast.
IEEE/IEICE Special issue on Communications: Transactions on
Communications, E86-B(10):2948-2956, October 2003. [ bib ] |
| [82] |
Sascha Konrad, Laura Campbell, and Betty H. C. Cheng Ronald Wassermann.
Using security patterns to model and analyze security requirements.
In IEEE Workshop on Requirements for High Assurance Systems
(RHAS03), Monterey, California, September 2003. [ bib ] |
| [83] |
C. Tang and P. K. McKinley.
Modeling multicast packet losses in wireless LANs.
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), pages 130-133, San Diego, California,
September 2003. [ bib | .pdf ] |
| [84] |
P. K. McKinley, U. I. Padmanabhan, N. Ancha, and S. M. Sadjadi.
Composable proxy services to support collaboration on the mobile
internet.
IEEE Transactions on Computers (Special Issue on Wireless
Internet), pages 713-726, June 2003. [ bib | .pdf ] |
| [85] |
S. S. Kulkarni, K. N. Biyani, and U. Arumugam.
Composing distributed fault-tolerance components.
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. [ bib | http ] |
| [86] |
S. S. Kulkarni and U. Arumugam.
Collision-free communication in sensor networks.
In Proceedings of the Sixth Symposium on Self-stabilizing
Systems (SSS), Springer, volume LNCS:2704, pages 17-31, June 2003. [ bib | http ] |
| [87] |
P. K. McKinley, U. I. Padmanabhan, N. Ancha, and S. M. Sadjadi.
Composable proxy services to support collaboration on the mobile
internet.
IEEE Transactions on Computers (Special Issue on Wireless
Internet), pages 713-726, June 2003. [ bib | .pdf ] |
| [88] |
S. S. Kulkarni, K. Biyani, and M. Arumugam.
Composing distributed fault-tolerance components.
In Workshop on Principles of Dependable Systems, DSN, pages
W127-136, June 2003. [ bib ] |
| [89] |
Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng, and Min Deng.
A requirements patterns-driven approach to check systems and specify
properties.
In Thomas Ball and Sirom K. Rajamani, editors, Model Checking
Software (SPIN 2003), number 2648 in Lecture Notes in Computer Science,
pages 18-33. Springer Verlag, May 2003. [ bib ] |
| [90] |
S. M. Sadjadi, P. K. McKinley, and E. P. Kasten.
Architecture and operation of an adaptable communication substrate.
In Proceedings of the Ninth IEEE International Workshop on
Future Trends of Distributed Computing Systems (FTDCS'03), pages 46-55, San
Juan, Puerto Rico, May 2003. [ bib | .pdf ] |
| [91] |
R. E. K. Stirewalt, Reimer Behrends, and Laura K. Dillon.
Formal specification of the universe model.
Technical Report MSU-CSE-03-7, Computer Science and Engineering,
Michigan State University, East Lansing, Michigan, March 2003. [ bib ] |
| [92] |
Laura K. Dillon and R. E. K. Stirewalt.
Inference graphs: A computational structure supporting generation of
customizable and correct analysis.
IEEE Transactions on Software Engineering, 29(2):133-150,
February 2003. [ bib ] |
| [93] |
Sandeep S. Kulkarni and Ali Ebnenasir.
Enhancing the fault-tolerance of nonmasking programs.
In Proceedings of the 23rd IEEE International Conference on
Distributed Computing Systems, Providence, Rhode Island USA, May 19-22,
2003. [ bib | http ] |
| [94] |
S. S. Kulkarni and M (U) Arumugam.
Transformations for write-all-with-collision model.
On Principles of Distributed Systems, 2003. [ bib ] |
| [95] |
S. S. Kulkarni and M (U) Arumugam.
Collision free communication in sensor networks.
Symposium on Self-stabilization, San Francisco, CA, Lecture
Notes in Computer Science vol 2704, 2003. [ bib ] |
| [96] |
S. S. Kulkarni and A. Ebnenasir.
Enhancing the fault-tolerance of nonmasking programs.
International Conference on Distributed Computing Systems,
pages 441-450, 2003. [ bib ] |
| [97] |
S. S. Kulkarni and A. Ebnenasir.
A framework for automatic synthesis of fault-tolerance.
Technical Report MSU-CSE-03-16, Michigan State University, 2003. [ bib ] |
| [98] |
Laura A. Campbell, Betty H. C. Cheng, William E. McUmber, and R.E.K. Stirewalt.
Automatically detecting and visualizing errors in UML diagrams.
Requirements Engineering Journal, December 2002. [ bib ] |
| [99] |
Z. Yang, B. H. C. Cheng, R. E. K. Stirewalt, J. Sowell, S. M. Sadjadi, and
P. K. McKinley.
An aspect-oriented approach to dynamic adaptation.
In Proceedings of the ACM SIGSOFT Workshop on Self-Healing
Systems (WOSS02), Charleston, South Carolina, November 2002. [ bib | .pdf ] |
| [100] |
Philip K. McKinley, Kurt Stirewalt, Betty H.C. Cheng, Laura K. Dillon, and
Sandeep S. Kulkarni.
Interactive distributed applications and the computer science
curriculum.
IEEE Distributed Systems Online, October 2002. [ bib | www: ] |
| [101] |
P. K. McKinley, S. Sadjadi, E. P. Kasten, and R. Kalaskar.
Programming language support for adaptable wearable computing.
In Proceedings of the Sixth International Symposium on Wearable
Computers, Seattle, Washington, October 2002. [ bib | .pdf ] |
| [102] |
P. K. McKinley, S. M. Sadjadi, and E. P. Kasten.
An adaptive software approach to intrusion detection and response.
In Proceedings of the 10th International Conference on
Telecommunication Systems, Modeling and Analysis, Monterey, California,
October 2002. [ bib | .ps.gz ] |
| [103] |
S. M. Sadjadi, P. K. McKinley, and E. P. Kasten.
Metasockets: Run-time support for adaptive communication services
(poster summary).
In Addendum to the Proceedings of the 2002 International
Symposium on Distributed Objects and Applications, Irvine, California,
October 2002. [ bib | .pdf ] |
| [104] |
G. Chakrabarti and S. S. Kulkarni.
A modified approach to dynamic source routing in mobile ad-hoc
networks.
In Proceedings of AD-HOC NetwOrks and Wireless (ADHOC-NOW),
Toronto, Canada, September 2002. [ bib | .ps ] |
| [105] |
Sascha Konrad and Betty H. C. Cheng.
Requirements patterns for embedded systems.
In Proceedings of the IEEE Joint International Conference on
Requirements Engineering (RE02), Essen, Germany, September 2002. [ bib | .pdf ] |
| [106] |
Sascha Konrad, Laura A. Campbell, and Betty H. C. Cheng.
Adding formal specifications to requirements patterns.
In C. Heitmeyer and N. Mead, editors, Proceedings of the IEEE
Requirements for High Assurance Systems (RHAS02), Essen, Germany, September
2002. [ bib | .pdf ] |
| [107] |
Philip K. McKinley, Chiping Tang, and Arun P. Mani.
A study of adaptive forward error correction for for wireless
collaborative computing.
IEEE Transactions on Parallel and Distributed Systems,
September 2002. [ bib | .ps.gz ] |
| [108] |
Betty H. C. Cheng and Enoch Y. Wang.
Formalizing and integrating the dynamic model for object-oriented
modeling.
IEEE Transactions on Software Engineering, 28(8):747-762,
August 2002.
A shorter, preliminary version appeared in Proc. of IEEE
International Conference on Software Engineering (ICSE97). [ bib ] |
| [109] |
Betty H.C. Cheng and Enoch Y. Wang.
Formalizing and integrating the dynamic model for object-oriented
modeling.
IEEE Transactions on Software Engineering, 28(28):747-762,
August 2002. [ bib | .pdf ] |
| [110] |
Chiping Tang and P. K. McKinley.
Adaptive reliable multicast in wireless LANs.
In Proceedings of the IEEE International Conference on
Networking, Atlanta, Georgia, August 2002. [ bib | .pdf ] |
| [111] |
Peng Ge and Philip K. McKinley.
Leader-driven multicast for video streaming on wireless LANs.
In Proceedings of the IEEE International Conference on
Networking, Atlanta, Georgia, August 2002. [ bib | .pdf ] |
| [112] |
S. S. Kulkarni and A. Ebnenasir.
Complexity of adding failsafe fault-tolerance.
In Proceedings of the 22nd IEEE International Conference on
Distributed Computing Systems, Vienna, Austria, July 2002. [ bib | .ps ] |
| [113] |
S. S. Kulkarni and B. Bruhadeshwar.
Critical path in secure multicast for dynamic groups.
In Proceedings of the International Workshop on Assurance in
Distributed Systems and Networks, Vienna, Austria, July 2002. [ bib | .ps ] |
| [114] |
J. Zhang, J. Lee, and P. K. McKinley.
Optimizing java piped i/o stream library for performance.
In Proceedings of the 15th Workshop on Languages and Compilers
for Parallel Computing (LCPC), College Park, Maryland, July 2002. [ bib ] |
| [115] |
E. Kasten, P. K. McKinley, S. Sadjadi, and R. Stirewalt.
Separating introspection and intercession in metamorphic distributed
systems.
In Proceedings of the IEEE Workshop on Aspect-Oriented
Programming for Distributed Computing, in conjunction with ICDCS 2002,
Vienna, Austia, July 2002. [ bib | .ps.gz ] |
| [116] |
R.E.K. Stirewalt, Betty H.C. Cheng, and William E. McUmber.
An oo-framework approach to a generic uml formalization tool.
Technical Report MSU-CSE-02-16, Computer Science and Engineering,
Michigan State University, East Lansing, Michigan, June 2002.
Submitted for Publication. [ bib | www: ] |
| [117] |
Philip K. McKinley, E. P. Kasten, S. M. Sadjadi, and Zhinan Zhou.
Realizing multi-dimensional software adaptation.
In Proceedings of the ACM Workshop on Self-Healing, Adaptive and
self-MANaged Systems, held in conjunction with the 16th Annual ACM
International Conference on Supercomputing, New York City, June 2002. [ bib | .pdf ] |
| [118] |
P. Ge and P. K. McKinley.
Comparisons of error control techniques for wireless video
multicasting.
In Proceedings of the IEEE International Performance, Computing,
and Communications Conference, Phoenix, Arizona, April 2002. [ bib | .ps.gz ] |
| [119] |
Laura A. Campbell, Betty H. C. Cheng, William E. McUmber, and R. E. K.
Stirewalt.
Automatically detecting and visualizing errors in uml diagrams.
Requirements Engineering Journal, 2002.
(in press). [ bib | .pdf ] |
| [120] |
S. S. Kulkarni and A. Ebnenasir.
The complexity of adding failsafe fault-tolerance.
International Conference on Distributed Computing Systems,
pages 337-334, 2002. [ bib ] |
| [121] |
Betty H. Cheng, Laura K. Dillon, R. E. Kurt Stirewalt, Phillip McKinley,
Sandeep Kulkarni, and Jaejin Lee.
Automated development and run-time adaptation of interactive
distributed applications.
In NCO Workshop on New Visions for Software Design, December
2001.
http://www.isis.vanderbilt.edu/sdp/Papers/Papers.htm. [ bib ] |
| [122] |
B. Cheng, L. Dillon, K. Stirewalt, P. McKinley, S. Kulkarni, and J. Lee.
Automated development and run-time adaptation of interactive
distributed applications.
NCO Workshop on New Visions for Software Design and
Productivity: Research and Applications, December 2001. [ bib ] |
| [123] |
S. Rugaber and R. E. K. Stirewalt.
Adequate reverse engineering.
In Proceedings of the IEEE International Conference on Automated
Software Engineering, November 2001. [ bib ] |
| [124] |
P. K. McKinley, U. I. Padmanabhan, and N. Ancha.
Experiments in composing proxy audio services for mobile users.
In Proceedings of the IFIP/ACM International Conference on
Distributed Systems Platforms (Middleware 2001), pages 99-120, Heidelberg,
Germany, November 2001. [ bib | .ps.gz ] |
| [125] |
S. S. Kulkarni, A. Arora, and A. Chippada.
Polynomial time synthesis of byzantine agreement.
In Proceedings of the Twentieth Symposium on Reliable
Distributed Systems, New Orleans, LA, October 2001. [ bib | .ps ] |
| [126] |
S. S. Kulkarni and Ravikant.
Stabilizing causal deterministic merge.
In Proceedings of the Fifth Workshop on Self-Stabilization,
October 2001. [ bib | .ps ] |
| [127] |
Betty H. C. Cheng.
A metamodel-based approach to formalizing UML.
In Proceedings of the IEEE International Computer Software and
Applications Conference (COMPSAC01), Naperville, Illinois, October 2001. [ bib ] |
| [128] |
Laura A. Campbell and Betty H. C. Cheng.
Integrating informal and formal approaches to requirements modeling
and analysis.
In Proceedings of the IEEE International Symposium on
Requirements Engineering (RE01), Toronto, Canada, August 2001. [ bib ] |
| [129] |
A. Arora, M. Demirbas, and S. Kulkarni.
Graybox stabilization.
International Conference on Dependable Systems and Networks
(DSN'2001), July 2001. [ bib ] |
| [130] |
William E. McUmber and Betty H. C. Cheng.
A generic framework for formalizing UML with formal languages.
In Proceedings of IEEE International Conference on Software
Engineering (ICSE01), Toronto, Canada, May 2001. [ bib ] |
| [131] |
William E. McUmber and Betty H. C. Cheng.
A general framework for formalizing UML with formal languages.
In Proceedings of IEEE International Conference on Software
Engineering (ICSE01), Toronto, Canada, May 2001. [ bib ] |
| [132] |
L. K. Dillon and R. E. K. Stirewalt.
Lightweight analysis of operational specifications using inference
graphs.
In Proc. 2001 IEEE Inter. Conf. Software Engineering, pages
57-67, Toronto, May 2001. [ bib ] |
| [133] |
R. E. K. Stirewalt and L. K. Dillon.
Generation of visitor components that implement program
transformations.
In Proc. ACM Symp. Software Reuse, pages 86-94, Toronto, May
2001. [ bib ] |
| [134] |
R. E. K. Stirewalt and L. K. Dillon.
A component-based approach to building formal analysis tools.
In Proc. 2001 IEEE Inter. Conf. Software Engineering, pages
167-166, Toronto, May 2001. [ bib ] |
| [135] |
Peng Ge and Philip K. McKinley.
Experimental evaluation of error control for video multicast over
wireless LANs.
In Proceedings of the Third International Workshop on Multimedia
Network Systems, Phoenix, Arizona, April 2001. [ bib ] |
| [136] |
Philip K. McKinley and U. I. Padmanabhan.
Design of composable proxy filters for mobile computing.
In Proceedings of the Second International Workshop on Wireless
Networks and Mobile Computing, Phoenix, Arizona, April 2001. [ bib ] |
| [137] |
S. S. Kulkarni, A. Arora, and A. Chippada.
Polynomial time synthesis of byzantine agreement.
Symposium on Reliable Distributed Systems, 2001. [ bib ] |
| [138] |
Gerald C. Gannod and Betty H.C. Cheng.
A suite of tools for facilitating reverse engineering using formal
methods.
Technical Report MSU-CSE-00-30, Computer Science and Engineering,
Michigan State University, East Lansing, Michigan, December 2000. [ bib | www: ] |
| [139] |
Laura A. Campbell and Betty H. C. Cheng.
Object-oriented modeling and automated analysis of a telemedicine
application.
In Proceedings of the IEEE International Workshop on Software
Specification and Design (IWSSD-10)., Shelter Island, San Diego, California,
November 2000. [ bib ] |
| [140] |
Laura A. Campbell, William E. McUmber, and Betty H. C. Cheng.
Enabling automated analysis of embedded systems designs via
formalization of uml.
Technical Report MSU-CSE-00-22, Computer Science and Engineering,
Michigan State University, East Lansing, Michigan, October 2000.
submitted to IEEE Transactions on Computers. [ bib | www: ] |
| [141] |
Laura Campbell, Betty H. C. Cheng, and Enoch Y. Wang.
Enabling automated analysis through the formalization of
object-oriented modeling diagrams.
In Proceedings of IEEE Dependable Systems and Networks
(FTCS-30 and DCCA-8), New York, NY, June 2000. [ bib ] |
| [142] |
Betty H .C. Cheng, Laura A. Campbell, and Enoch Y. Wang.
Enabling automated analysis through the formalization of
object-oriented diagrams.
In Proceedings of the IEEE Int. Conf. on Dependable Systems and
Networks (FTCS-30 and DCCA-8), pages 305-314, New York, NY, June 2000. [ bib ] |
| [143] |
R. E. Kurt Stirewalt and Laura K. Dillon.
Lightweight analysis components: An improvement over monolithic tools
and environments.
Submitted, March 2000. [ bib ] |
| [144] |
R. E. Kurt Stirewalt and Laura K. Dillon.
Amalia: A generator framework for lightweight analysis components.
Submitted, March 2000. [ bib ] |
| [145] |
Enoch Y. Wang and Betty H. C. Cheng.
Formalizing the functional model within object-oriented design.
International Journal of Software Engineering and Knowledge
Engineering, 10(1):5-30, 2000. [ bib ] |
| [146] |
S. S. Kulkarni and A. Arora.
Automating the addition of fault-tolerance.
Formal Techniques in Real-Time and Fault-Tolerant Systems,
pages 82-93, 2000. [ bib ] |
| [147] |
William E. McUmber and Betty H.C. Cheng.
UML-based analysis of embedded systems using a mapping to VHDL.
In Proceedings of IEEE High Assurance Software Engineering
(HASE99), Washington, DC, November 1999. [ bib ] |
| [148] |
S. S. Kulkarni, J. Rushby, and N. Shankar.
A case-study in component-based mechanical verification of
fault-tolerant programs.
Proceedings of the 19th IEEE International Conference on
Distributed Computing Systems Workshop on Self-Stabilization (WSS'99) Austin,
Texas, USA, pages 33-40, June 1999. [ bib ] |
| [149] |
David S. Keyes, Laura K. Dillon, and Moon Jung Chung.
Analysis of a scheduler for a CAD framework.
In Proc. 21 st IEEE Inter. Conf. Software
Engineering, pages 152-162, Los Angeles, CA, May 1999. [ bib ] |
| [150] |
Betty H. C. Cheng and Robert France.
A discussion about integrated techniques.
In Post-Proceedings. of IEEE International Workshop on
Industrial Strength Formal Specification Techniques (WIFT98), April 1999. [ bib ] |
| [151] |
William E. McUmber and Betty H.C. Cheng.
A generic framework for formalizing UML with formal languages.
Technical Report MSU-CPS-99-10, Department of Computer Science,
Michigan State University, East Lansing, Michigan, February 1999.
(Revised August 2000, submitted for publication). [ bib | www: ] |
| [152] |
Betty H.C. Cheng.
Multiple dimensions of integrating development technology.
In P. Ammann, B. Barnes, S. Jajodia, and E. Sibley, editors,
Computer Security, Dependability, and Assurance: From Needs to Solutions.
IEEE Computer Society, 1999. [ bib ] |
| [153] |
S. S. Kulkarni.
Component-based design of fault-tolerance.
PhD thesis, Ohio State University, 1999. [ bib ] |
| [154] |
S. Kulkarni and A. Arora.
Multitolerance in distributed reset.
Chicago Journal of Theoretical Computer Science, 1998(4),
December 1998. [ bib ] |
| [155] |
Gerald C. Gannod, Yonghao Chen, and Betty H. C. Cheng.
An automated approach for supporting software reuse via reverse
engineering.
In Proc. IEEE of Automated Software Engineering Conference,
Honolulu, Hawaii, October 1998. [ bib ] |
| [156] |
Gerald C. Gannod Mark Fagnani, Gora Sudindranath, and Betty H. C. Cheng.
Packrat: A software re-engineering case study.
In Proc. of IEEE Working Conference on Reverse Engineering,
Honolulu, Hawaii, October 1998. [ bib ] |
| [157] |
William E. McUmber and Betty H.C. Cheng.
Integrating uml and vhdl.
Draft research manuscript, Michigan State University, October 1998.
(in progress). [ bib ] |
| [158] |
George S. Avrunin, James C. Corbett, and Laura K. Dillon.
Analyzing partially-implemented real-time systems.
IEEE Transactions on Software Engineering, 24(8):602-614,
August 1998. [ bib ] |
| [159] |
S. S. Kulkarni and A. Arora.
Low-cost fault-tolerance in barrier synchronizations.
International Conference on Parallel Processing, pages
132-139, August 1998. [ bib ] |
| [160] |
Enoch Y. Wang and Betty H. C. Cheng.
Formalizing and integrating the functional model into object-oriented
design.
In Proceedings of International Conference on Software
Engineering and Knowledge Engineering, June 1998.
Selected as Best Paper. [ bib ] |
| [161] |
Enoch Y. Wang and Betty H. C. Cheng.
A rigorous object-oriented design process.
In Proceedings of International Conference on Software Process,
Naperville, Illinois, June 1998. [ bib ] |
| [162] |
A. Arora and S. S. Kulkarni.
Designing masking fault-tolerance via nonmasking fault-tolerance.
IEEE Transactions on Software Engineering, pages 435-450, June
1998.
A preliminary version appears in the Proceedings of the Fourteenth
Symposium on Reliable Distributed Systems, Bad Neuenahr, 1995, pages
174-185. [ bib ] |
| [163] |
A. Arora and S. S. Kulkarni.
Detectors and correctors: A theory of fault-tolerance components.
International Conference on Distributed Computing Systems,
pages 436-443, May 1998. [ bib ] |
| [164] |
Gretel V.L. Coombs and Betty H. C. Cheng.
Translation of object-oriented designs into vhdl.
Technical Report MSU-CPS-98-8, Michigan State University, Department
of Computer Science, 3115 Engineering Bldg., East Lansing, Michigan 48824,
February 1998.
(submitted for publication). [ bib ] |
| [165] |
A. Arora and S. S. Kulkarni.
Component based design of multitolerant systems.
IEEE Transactions on Software Engineering, 24(1):63-78,
January 1998. [ bib ] |
| [166] |
S. S. Kulkarni and A. Arora.
Compositional design of multitolerant repetitive byzantine agreement.
Proceedings of the Seventeenth International Conference on
Foundations of Software Technology and Theoretical Computer Science,
Kharagpur, India, pages 169-183, December 1997. [ bib ] |
| [167] |
Gerald C. Gannod and Betty H. C. Cheng.
A formal automated approach for reverse engineering programs with
pointers.
In Proc. IEEE of Automated Software Engineering Conference,
Lake Tahoe, Nevada, November 1997. [ bib ] |
| [168] |
Yonghao Chen and Betty H. C. Cheng.
Facilitating an automated approach to architecture-based software
reuse.
In Proceedings IEEE of Automated Software Engineering
Conference, Lake Tahoe, Nevada, November 1997. [ bib ] |
| [169] |
Yonghao Chen and Betty H. C. Cheng.
Formalizing and automating component reuse.
In Proceedings IEEE of International Conference on Tools with
Artificial Intelligence, Newport Beach, California, November 1997. [ bib ] |
| [170] |
S. S. Kulkarni and A. Arora.
Multitolerant barrier synchronization.
Information Processing Letters, 64(1):29-36, October 1997. [ bib ] |
| [171] |
S. S. Kulkarni and A. Arora.
Once-and-forall management protocol (OFMP).
Proceedings of the Fifth International Conference on Network
Protocols, October 1997. [ bib ] |
| [172] |
Enoch Y. Wang and Betty H. C. Cheng.
Integrating the functional model into object-oriented design.
Technical Report MSU-CPS-96-20, Department of Computer Science,
Michigan State University, East Lansing, Michigan, June 1997. [ bib | www: ] |
| [173] |
Enoch Y. Wang, Heather A. Richter, and Betty H. C. Cheng.
Formalizing and integrating the dynamic model within OMT.
In Proceedings of IEEE International Conference on Software
Engineering (ICSE97), Boston, MA, May 1997. [ bib ] |
| [174] |
Hugh McGuire, Laura K. Dillon, and Y. S. Ramakrishna.
Generating trace checkers for test oracles.
In Proc. International Quality Week, pages 3-T-2, San
Francisco, May 1997. Software Research Institute. [ bib ] |
| [175] |
George S. Avrunin, James C. Corbett, and Laura K. Dillon.
Analyzing partially-implemented real-time systems.
In Proc. 19th IEEE Inter. Conf. Software Engineering, pages
228-238, Boston, MA, May 1997. [ bib ] |
| [176] |
Betty H.C. Cheng and Jun-Jang Jeng.
Reusing analogous components.
IEEE Trans. on Knowledge and Data Engineering, 9(2):341-349,
March 1997. [ bib ] |
| [177] |
Yonghao Chen and Betty H. C. Cheng.
Formally specifying and analyzing architectural and functional
properties of components for reuse.
In Proceedings Eighth Annual Workshop on Software Reuse
(WISR8), Columbus, Ohio, March 1997. [ bib ] |
| [178] |
Laura K. Dillon.
Task dependence and termination in Ada.
ACM Trans. Software Engineering and Methodology, pages
80-110, January 1997. [ bib ] |
| [179] |
S. S. Kulkarni and A. Arora.
Compositional design of multitolerant repetitive Byzantine
agreement (preliminary version).
Third Workshop on Self-Stabilizing Systems (WSS 97), University
of California, Santa Barbara, 1997. [ bib ] |
| [180] |
Y. S. Ramakrishna, P. Michael Melliar-Smith, Louise E. Moser, Laura K.
Dillon, and George Kutty.
Interval logics and their decision procedures, part II: A real-time
interval logic.
Theoretical Computer Science, 170(1-2):1-46, December 1996. [ bib ] |
| [181] |
Gerald C. Gannod and Betty H. C. Cheng.
Integration of informal and formal methods for reverse engineering of
C programs.
In Proc. of IEEE International Conference on Software
Maintenance, Monterey Bay, California, November 1996. [ bib ] |
| [182] |
Y. S. Ramakrishna, P. Michael Melliar-Smith, Louise E. Moser, Laura K.
Dillon, and George Kutty.
Interval logics and their decision procedures, part I: An interval
logic.
Theoretical Computer Science, 166(1-2):1-47, October 1996. [ bib ] |
| [183] |
Laura K. Dillon and Y. S. Ramakrishna.
Generating oracles from your favorite temporal specifications.
In Proc. 1996 ACM SIGSOFT ACM SIGSOFT Symp. Foundations of
Software Engineering, pages 106-117, San Francisco, October 1996. [ bib ] |
| [184] |
Louise E. Moser, P. Michael Melliar-Smith, Y. S. Ramakrishna, George Kutty, and
Laura K. Dillon.
The real-time graphical interval logic toolset.
In Proc. 8th Inter. Conf. Computer-Aided Verification, pages
446-449, August 1996.
System description paper. [ bib ] |
| [185] |
Laura K. Dillon and Steven Zeil.
Introduction to the special section.
IEEE Transactions on Software Engineering, 22(7):441, July
1996. [ bib ] |
| [186] |
Gerald C. Gannod and Betty H. C. Cheng.
Strongest postcondition semantics for reverse engineering.
Journal of Automated Software Engineering, 3(1/2):139-164,
June 1996.
A preliminary version appeared in the Proc. of IEEE Working
Conference on Reverse Engineering, July 1995, Toronto, Canada. [ bib ] |
| [187] |
T. Owen O'Malley, Deborah J. Richardson, and Laura K. Dillon.
Efficient specification-based oracles for critical systems.
In Walter Scacchi and Richard Taylor, editors, Proc. 1996
California Systems Symposium, pages 50-59, Los Angeles, CA, April 1996. [ bib ] |
| [188] |
Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. Michael
Melliar-Smith, and George Kutty.
A real-time interval logic and its decision procedure.
Sadhana, Engineering Sciences Journal, 21(2):147-184, April
1996. [ bib ] |
| [189] |
Enoch Y. Wang and Betty H.C. Cheng.
Formalizing and integrating the dynamic model within omt.
Technical Report MSU-CPS-96-13, Department of Computer Science,
Michigan State University, East Lansing, Michigan, March 1996.
(revised August 1997). [ bib | www: ] |
| [190] |
Gerald C. Gannod and Betty H. C. Cheng.
Development of multimedia information systems.
In S.M. Chung, editor, Multimedia and Storage Management.
Kluwer Academic Publishers, 1996. [ bib ] |
| [191] |
Louise E. Moser, Y. S. Ramakrishna, George Kutty, P. Michael Melliar-Smith,
and Laura K. Dillon.
A graphical environment for design of concurrent and realtime
systems.
TOSEM, 6(1):31-79, January 1996. [ bib ] |
| [192] |
Louise E. Moser, P. Michael Melliar-Smith, Y. S. Ramakrishna, George Kutty, and
Laura K. Dillon.
Automated deduction in a graphical temporal logic.
Journal of Applied Non-Classical Logics, 6(1):29-47, 1996. [ bib ] |
| [193] |
George Kutty, Louise E. Moser, P. Michael Melliar-Smith, Y. S. Ramakrishna, and
Laura K. Dillon.
Axiomatizations of interval logics.
Fundamenta Informaticae, 24(4):313-331, December 1995. [ bib ] |
| [194] |
D. F. Robinson, D. Judd, P. K. McKinley, and B. H. C. Cheng.
Efficient collective data distribution in all-port wormhole-routed
hypercubes.
Journal of Parallel and Distributed Computing,
31(1):1029-1042, November 1995. [ bib ] |
| [195] |
Betty H.C. Cheng, Enoch Y. Wang, Robert H. Bourdeau, and Heather A. Richter.
Bridging the gap between the informal and formal approaches to
software development.
In Proceedings of Software Engineering Research Forum, Boca
Raton, Florida, November 1995. [ bib ] |
| [196] |
D. F. Robinson, P. K. McKinley, and B. H. C. Cheng.
Optimal multicast communication in torus networks.
IEEE Trans. on Parallel and Distributed Systems,
6(10):1029-1042, October 1995. [ bib ] |
| [197] |
Robert H. Bourdeau and Betty H. C. Cheng.
A formal semantics of object models.
IEEE Trans. on Software Engineering, 21(10):799-821, October
1995. [ bib ] |
| [198] |
Stephen W. Turner, Lionel M. Ni, and Betty H.C. Cheng.
A scheduling facility for network of workstations.
In Proc. of High Performance Computing-Asia, September 1995. [ bib ] |
| [199] |
Stephen W. Turner, Lionel M. Ni, and Betty H. C. Cheng.
Contention Free 2-D Mesh Cluster Allocation in
Hypercubes.
Trans. on Computers, 44(8), August 1995.
Extended version of ICPP paper. [ bib ] |
| [200] |
Heather Richter and Betty H. C. Cheng.
Formalizing and integration the functional model within OMT.
Technical Report MSU-CPS-95-30, Department of Computer Science,
Michigan State University, A714 Wells Hall, East Lansing, 48824, August 1995.
(submitted for publication). [ bib ] |
| [201] |
Gerald C. Gannod and Betty H. C. Cheng.
Strongest postcondition as the basis to reverse engineering.
In Proc. of IEEE Working Conference on Reverse Engineering,
pages 188-197, Toronto, Ontario, July 1995. [ bib ] |
| [202] |
Betty H. C.Cheng, Gerald C. Gannod, Dan Judd, and Philip K. McKinley.
Object-oriented environmental information system for multimedia
information using traditional and high-speed networks.
Technical Report MSU-CPS-95-30, Michigan State University, Department
of Computer Science, July 1995. [ bib ] |
| [203] |
Joseph L. Sharnowski, Gerald C. Gannod, and Betty H.C. Cheng.
A distributed multimedia environmental information system.
In Proceedings of IEEE Int. Conference on Multimedia and
Computing Systems, pages 142-194, Washington, DC, May 1995. [ bib ] |
| [204] |
Joseph L. Sharnowski, Gerald C. Gannod, and Betty H. C. Cheng.
A distributed multimedia environmental information system.
In Proceedings of IEEE International Conference on Multimedia
and Computing Systems, pages 142-149, Washington, D.C., May 1995. [ bib ] |
| [205] |
Laura K. Dillon.
Temporal oracles for testing and debugging concurrent software
systems.
In Proc. 8th Inter. Software Quality Week, San Francisco, May
1995.
Paper 3-T-4. [ bib ] |
| [206] |
Joseph L. Sharnowski and Betty H. C. Cheng.
A visualization-based environment for top-down debugging of parallel
programs.
In Proceedings of 9th International Parallel Processing
Symposium, pages 640-645, Santa Barbara, CA, April 1995. [ bib ] |
| [207] |
Jun-Jang Jeng and Betty H. C. Cheng.
Specification Matching for Software Reuse: A Foundation.
In ACM Symposium on Software Reuse, pages 97-105, Seattle,
Washington, April 1995. [ bib ] |
| [208] |
Betty H.C. Cheng and Others.
Lecture notes for formal methods for software development (cps814).
Online classnotes, 1995.
Available on web (http://www.cps.msu.edu/ cps814/classnotes.html). [ bib ] |
| [209] |
Joseph Sharnowski and Betty H. C. Cheng.
GOLD: A graphical, on-line debugger for parallel programs.
submitted to IEEE Parallel and Distributed Technology, 1995.
Available as Department of Computer Science, Technical Report,
MSU-CPS-95-16, April 1995. [ bib ] |
| [210] |
N. Bourbakis, W. Campbell, B. Cheng, M. Gennert, and K. Makki.
The role of multimedia and AI in GIS.
In Niki Pissinou and Kia Makki, editors, Proceedings of the
Second ACM Workshop on Advances in Geographic Information Systems, pages
84-88, Gaithersburg, Maryland, December 1994. [ bib ] |
| [211] |
Laura K. Dillon and Qing Yu.
Oracles for checking temporal properties of concurrent systems.
In Proc. 2nd ACM SIGSOFT Symp. Foundations of Software
Engineering [212], pages 140-153. [ bib ] |
| [212] |
Proc. 2nd ACM SIGSOFT Symp. Foundations of Software Engineering, New
Orleans, December 1994. ACM Press. [ bib ] |
| [213] |
S. W. Turner, L. M. Ni, and B. H. C. Cheng.
Time and/or space sharing in a workstation cluster environment.
In Proc. of Supercomputing'94, November 1994. [ bib ] |
| [214] |
Betty H. C. Cheng, Enoch Y. Wang, and Robert H. Bourdeau.
A graphical environment for formally developing object-oriented
software.
In Proceedings of IEEE 6th International Conference on Tools
with Artificial Intelligence, November 1994. [ bib ] |
| [215] |
Joseph L. Sharnowski, Gerald C. Gannod, and Betty H. C. Cheng.
Enforms: A distributed multimedia environmental information system.
Technical Report MSU-CPS-94-57, Michigan State University, Department
of Computer Science, East Lansing, MI 48824, November 1994.
(submitted for publication). [ bib ] |
| [216] |
Robert H. Bourdeau, Enoch Y. Wang, and Betty H. C. Cheng.
An integrated approach to developing diagrams as formal
specifications.
Technical Report MSU-CPS-94-42, Michigan State University, Department
of Computer Science, A714 Wells Hall, East Lansing, Michigan 48824, September
1994.
(submitted for publication). [ bib ] |
| [217] |
Jun-Jang Jeng and Betty H. C. Cheng.
A formal approach to reusing more general components.
In IEEE 9th Knowledge-Based Software Engineering Conference,
pages 90-97, Monterey, California, September 1994. [ bib ] |
| [218] |
George S. Avrunin, James C. Corbett, Laura K. Dillon, and Jack C. Wileden.
Automated derivation of time bounds in uniprocessor concurrent
systems.
IEEE Transactions on Software Engineering, 20(9):708-719,
September 1994. [ bib ] |
| [219] |
D. F. Robinson, P. K. McKinley, and B. H. C. Cheng.
Optimal multicast communication in torus networks.
In Proc. of International Conference on Parallel Processing,
pages Vol. I, 131-141, August 1994. [ bib ] |
| [220] |
Joseph L. Sharnowski and Betty H. C. Cheng.
A formal approach to modeling expected behavior in parallel program
visualizations.
Lecture Notes in Computer Science, 817:202-213, July 1994.
PARLE'94. [ bib ] |
| [221] |
Robert H. Bourdeau, Betty H. C. Cheng, and Bryan Pijanowski.
A regional information system for environmental data analysis.
Photogrammetric Engineering & Remote Sensing, 62(7):855-861,
July 1994. [ bib ] |
| [222] |
Betty H. C. Cheng and Steve R. Schafer.
Design Document for 1993 Knowledge Transfer Prototype
Regional Information System for US/Mexico Border.
Technical Report MSU-CPS-94-37, Department of Computer Science,
Michigan State University, A714 Wells Hall, East Lansing, Michigan, USA, July
1994. [ bib ] |
| [223] |
P. Michael Melliar-Smith, Louise E. Moser, George Kutty, Y. S. Ramakrishna, and
Laura K. Dillon.
A system for automated deduction in Graphical Interval Logic: A
system description paper.
In Dov M. Gabbay and Hans Jürgen Ohlbach, editors, Proc. 1st Inter. Conf. Temporal Logic, volume 827 of Lecture Notes in
Artificial Intelligence, pages 540-542, Bonn, Germany, July 1994.
Springer-Verlag. [ bib ] |
| [224] |
George Kutty, Louise E. Moser, P. Michael Melliar-Smith, Laura K. Dillon, and
Y. S. Ramakrishna.
First-order future interval logic.
In Dov M. Gabbay and Hans Jürgen Ohlbach, editors, Proc. 1st Inter. Conf. Temporal Logic, volume 827 of Lecture Notes in
Artificial Intelligence, pages 195-209, Bonn, Germany, July 1994.
Springer-Verlag. [ bib ] |
| [225] |
Betty H. C. Cheng, Robert H. Bourdeau, and Gerald C. Gannod.
The object-oriented development of a distributed multimedia
environmental information system.
In Proceedings of 6th International Conference on Software
Engineering and Knowledge Engineering, pages 70-77, June 1994. [ bib ] |
| [226] |
Michele Morin and Betty H. C. Cheng.
Graphical Development Environment for Larch Shared and Interface
Languages.
Technical Report CPS-94-18, Michigan State University, Department of
Computer Science, A714 Wells Hall, East Lansing, MI 48824-1027, April 1994. [ bib ] |
| [227] |
Michele Morin and Betty H. C. Cheng.
User Manual for Larch Development Environment.
Michigan State University, Department of Computer Science, A714 Wells
Hall, East Lansing, MI 48824-1027, April 1994. [ bib ] |
| [228] |
Betty H. C. Cheng, Enoch Y. Wang, and Robert H. Bourdeau.
A graphical environment for formally developing object-oriented
software.
Technical Report MSU-CPS-94-26, Department of Computer Science,
Michigan State University, A714 Wells Hall, East Lansing, 48824, April 1994. [ bib ] |
| [229] |
Betty H. C. Cheng and Jun-Jang Jeng.
Reusing analogous components.
Technical Report MSU-CPS-94-28, Michigan State University, Department
of Computer Science, A714 Wells Hall, East Lansing, MI 48824-1027, April
1994.
Revised June 1995. [ bib ] |
| [230] |
Laura K. Dillon, George Kutty, Louise E. Moser, P. Michael Melliar-Smith, and
Y. S. Ramakrishna.
A graphical interval logic for specifying concurrent systems.
ACM Trans. Software Engineering and Methodology,
3(2):131-165, April 1994. [ bib ] |
| [231] |
Laura K. Dillon, George Kutty, P. Michael Melliar-Smith, Louise E. Moser, and
Y. S. Ramakrishna.
Visual specifications for temporal reasoning.
Journal of Visual Languages and Computing, 5(1):61-81, March
1994. [ bib ] |
| [232] |
Betty H. C. Cheng and Brent Auernheimer.
Applying Formal Methods and Object-Oriented Analysis to the
Existing Space Shuttle Software.
Technical Report CPS-94-9, Michigan State University, Department of
Computer Science, A714 Wells Hall, East Lansing, Michigan 48824, February
1994. [ bib ] |
| [233] |
Gerald C. Gannod and Betty H. C. Cheng.
Facilitating the maintenance of safety-critical systems.
Int. J. of Software Engineering and Knowledge Engineering,
4(2):183-204, 1994. [ bib ] |
| [234] |
Robert H. Bourdeau and Betty H. C. Cheng.
A formal semantics of object models.
Technical Report MSU-CPS-94-6, Department of Computer Science,
Michigan State University, A714 Wells Hall, East Lansing, 48824, January
1994.
(under review for IEEE Trans. on Software Engineering.). [ bib ] |
| [235] |
Betty H. C. Cheng.
Applying formal methods in automated software development.
Journal of Computer and Software Engineering, 2(2):137-164,
1994. [ bib ] |
| [236] |
D. M. Dhamdhere and S. S. Kulkarni.
A token based k resilient mutual exclusion algorithm for
distributed systems.
Information Processing Letters, 50:151-157, 1994. [ bib ] |
| [237] |
Betty H. C. Cheng and Brent Auernheimer.
Applying formal methods and object-oriented analysis to existing
flight systems.
In Proc. of 18th Annual Software Engineering Workshop, pages
274-282. NASA/Goddard Space Flight Center, Software Engineering Laboratory,
December 1993. [ bib ] |
| [238] |
Robert H. Bourdeau and Betty H. C. Cheng.
A formal semantics for the integration of object and dynamic models.
Technical Report MSU-CPS-93-32, Department of Computer Science,
Michigan State University, A714 Wells Hall, East Lansing, 48824, December
1993.
(submitted for publication). [ bib ] |
| [239] |
Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. Michael
Melliar-Smith, and George Kutty.
A real-time interval logic and its decision procedure.
In Proc. 13th Conf. Foundations of Software Technology and
Theoretical Computer Science, volume 761 of Lecture Notes in Computer
Science, pages 173-192, Bombay, India, December 1993. Springer-Verlag. [ bib ] |
| [240] |
Y. S. Ramakrishna, P. Michael Melliar-Smith, Louise E. Moser, Laura K.
Dillon, and George Kutty.
Really visual temporal reasoning.
In Proc. 14th RTSS, pages 262-273, Raleigh-Durham, NC,
December 1993. [ bib ] |
| [241] |
David F. Robinson and Betty H. C. Cheng.
A temporal model for transparent monitoring of shared-memory
multiprocessors.
In COMPSAC'93, pages 388-394, Phoenix, Arizona, November 1993.
IEEE. [ bib ] |
| [242] |
D. F. Robinson, D. Judd, P. K. McKinley, and B. H. C. Cheng.
Efficient collective data distribution in all-port wormhole-routed
hypercubes.
In Supercomputing'93, pages 792-803, November 1993. [ bib ] |
| [243] |
Joseph L. Sharnowski and Betty H. C. Cheng.
A formal approach to modeling expected behavior in parallel program
visualizations.
Technical Report CPS-93-30, Department of Computer Science, Michigan
State University, A714 Wells Hall, East Lansing, Michigan 48824, November
1993.
(submitted for publication). [ bib ] |
| [244] |
Jun-Jang Jeng and Betty H. C. Cheng.
Using analogy to determine program modifications based on
specification changes.
In Proceedings of IEEE 5th Int'l Conf. on Tools with Artificial
Intelligence, pages 113-116, Boston, MA, November 1993. [ bib ] |
| [245] |
William McUmber and Betty H. C. Cheng.
Formally specifying distributed systems.
Technical Report MSU-CPS-93-25, Department of Computer Science,
Michigan State University, East Lansing, Michigan 48824, October 1993. [ bib ] |
| [246] |
George Kutty, Louise E. Moser, P. Michael Melliar-Smith, Laura K. Dillon, and
Y. S. Ramakrishna.
Temporal deduction in a graphical logic.
In Proc. AAAI Symp. Automated Deduction in Nonstandard
Logics, pages 89-96, Raliegh, NC, October 1993. [ bib ] |
| [247] |
Laura K. Dillon.
A visual execution model for Ada tasking.
ACM Trans. Software Engineering and Methodology,
2(4):311-345, October 1993. [ bib ] |
| [248] |
David R. Chesney and Betty H. C.Cheng.
Extending the unimodular approach to other transformation techniques.
Technical Report CPS-93-24, Michigan State University, Department of
Computer Science, A714 Wells Hall, East Lansing, Michigan 48824, September
1993. [ bib ] |
| [249] |
Jun-Jang Jeng and Betty H. C. Cheng.
Using Formal Methods to Construct a Software Component
Library.
Lecture Notes in Computer Science, 717:397-417, September
1993.
(Proceedings of Fourth European Software Engineering Conference). [ bib ] |
| [250] |
Stephen W. Turner, Lionel M. Ni, and Betty H. C. Cheng.
Contention Free 2-D Mesh Cluster Allocation in
Hypercubes.
In Proc. of International Conference on Parallel Processing,
pages Vol. II, 125-129, August 1993. [ bib ] |
| [251] |
George Kutty, Laura K. Dillon, Louise E. Moser, P. Michael Melliar-Smith, and
Y. S. Ramakrishna.
Visual tools for temporal reasoning.
In Proc. 1993 IEEE Symp. Visual Languages [252],
pages 152-159. [ bib ] |
| [252] |
Proc. 1993 IEEE Symp. Visual Languages, Bergen, Norway, August 1993.
IEEE Computer Society Press. [ bib ] |
| [253] |
Michael R. Laux, Robert H. Bourdeau, and Betty H. C. Cheng.
An integrated development environment for formal specifications.
In Proc. of International Conference on Software Engineering and
Knowledge Engineering, pages 681-688, San Francisco, California, July 1993. [ bib ] |
| [254] |
Laura K. Dillon, George Kutty, Louise E. Moser, P. Michael Melliar-Smith, and
Y. S. Ramakrishna.
A graphical interval logic for specifying concurrent systems.
Technical Report TRCS 93-16, Computer Science Department, University
of California, Santa Barbara, July 1993. [ bib ] |
| [255] |
George Kutty, Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, and
P. Michael Melliar-Smith.
A graphical interval logic toolset for verifying concurrent systems.
In Proc. 4th Conf. Computer Aided Verification, volume 697 of
Lecture Notes in Computer Science, pages 138-153, Elounda, Greece,
July 1993. Springer-Verlag. [ bib ] |
| [256] |
Gerald C. Gannod and Betty H. C. Cheng.
A two-phase approach to reverse engineering using formal methods.
Lecture Notes in Computer Science, Proc. of Formal Methods in
Programming and Their Applications Conference, 735:335-348, June 1993. [ bib ] |
| [257] |
Robert H. Bourdeau and Betty H. C. Cheng.
Formal software specifications through pictures.
Technical Report MSU-CPS-93-16, Department of Computer Science,
Michigan State University, A714 Wells Hall, East Lansing, 48824, June 1993. [ bib ] |
| [258] |
M. V. LaPolla, J. L. Sharnowski, B. H. C. Cheng, and K. Anderson.
Data parallel program visualizations from formal specifications.
Journal of Parallel and Distributed Computing, 18(2):252-257,
June 1993. [ bib ] |
| [259] |
Joseph L. Sharnowski and Betty H. C. Cheng.
Using visualizations to guide data partitioning.
Technical Report CPS-93-19, Department of Computer Science, Michigan
State University, A714 Wells Hall, East Lansing, Michigan 48824, May 1993. [ bib ] |
| [260] |
J. Sharnowski and B. H. C. Cheng.
Using visualizations to guide data partitioning.
Technical Report CPS-93-19, Department of Computer Science, Michigan
State University, A714 Wells Hall, East Lansing, Michigan 48824, May 1993. [ bib ] |
| [261] |
David R. Chesney and Betty H. C.Cheng.
Application of the unimodular approach to loop fission and loop
fusion.
Technical Report CPS-93-13, Michigan State University, Department of
Computer Science, A714 Wells Hall, East Lansing, Michigan 48824, March 1993. [ bib ] |
| [262] |
Robert H. Bourdeau, Gerald C. Gannod, and Betty H. C. Cheng.
The object-oriented development of a contextual information system.
Technical Report CPS-93-5, Michigan State University, Department of
Computer Science, A714 Wells Hall, East Lansing, Michigan 48824, February
1993. [ bib ] |
| [263] |
Robert H. Bourdeau and Betty H. C. Cheng.
Decomposition of Formal Specifications for Object-Oriented
Software, 1993.
in preparation. [ bib ] |
| [264] |
Robert H. Bourdeau, Bryan Pijanowski, and Betty H. C. Cheng.
A decision support system for regional environmental analysis.
In Proceedings of 25th International Symposium on Remote Sensing
and Global Environmental Change: Tools for Sustainable Development
(Vol. II), pages 223-233, Graz, Austria, 1993. [ bib ] |
| [265] |
J. Mao, B. H. C. Cheng, and L. M. Ni.
The stride interval tests for data dependence analysis.
In Proceedings of 1992 International Conference on Parallel and
Distributed Systems, Taiwan, December 1992.
Extended version in Department of Computer Science, Michigan State
University Technical Report,MSU-CPS-ACS-59. [ bib ] |
| [266] |
Jun-Jang Jeng and Betty H. C. Cheng.
Using Automated Reasoning to Determine Software Reuse.
International Journal of Software Engineering and Knowledge
Engineering, 2(4):523-546, December 1992. [ bib ] |
| [267] |
Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. Michael
Melliar-Smith, and George Kutty.
An automata-theoretic decision procedure for future interval logic.
In Proc. 12th Conf. Foundations of Software Technology and
Theoretical Computer Science, volume 652 of Lecture Notes in Computer
Science, pages 51-67, New Delhi, December 1992. Springer-Verlag. [ bib ] |
| [268] |
Betty H.C. Cheng and Robert H. Bourdeau.
Design document for Task #6 of CIESIN/USDA Global Change
Data Assessment and Integration Project.
Technical Report MSU-CPS-92-21, Department of Computer Science,
Michigan State University, A714 Wells Hall, East Lansing, Michigan, USA,
November 1992. [ bib ] |
| [269] |
Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. Michael
Melliar-Smith, and George Kutty.
An automata-theoretic decision procedure for propositional temporal
logic with since and until.
Fundamenta Informaticae, 17(3):271-282, November 1992. [ bib ] |
| [270] |
D. R. Chesney and B. H. C. Cheng.
Formal Specification of Automatic Source Code Translator
for Parallel Computer.
Technical report, Department of Computer Science,Michigan State
University, East Lansing, MI 48824, October 1992.
in preparation. [ bib ] |
| [271] |
Betty H. C. Cheng, David Gries, Mark A. Ardis, Kwei-Jay Lin, Natarajan Shankar,
Joseph E. Urban, and Horst F. Wedde.
Are formal methods useful for software development.
In Proc. of the 16th Annual International Computer Software and
Applications Conference, pages 2-9, September 1992. [ bib ] |
| [272] |
David F. Robinson, Betty H. C. Cheng, and Richard J. Enbody.
A transparent monitoring tool for shared-memory multiprocessors.
In Proc. of COMPSAC'92: Computer Software and Applications
Conference, pages 227-232, September 1992. [ bib ] |
| [273] |
Michael R. Laux, Robert H. Bourdeau, and Betty H. C. Cheng.
An integrated environment supporting the reuse of formal
specifications.
Technical Report MSU-CPS-ACS-70, Michigan State University,
Department of Computer Science, East Lansing, Michigan 48824, September 1992.
submitted for publication. [ bib ] |
| [274] |
Robert H. Bourdeau and Betty H. C. Cheng.
An object-oriented toolkit for constructing specification editors.
In Proceedings of COMPSAC'92: Computer Software and Applications
Conference, pages 239-244, September 1992. [ bib ] |
| [275] |
Joseph Sharnowski, Betty H. C. Cheng, and Mark V. LaPolla.
Mapping formal specifications to parallel program visualizations.
In Proceedings of Minnowbrook Workshop on Software Engineering
for Parallel Computing, pages 29-34, August 1992. [ bib ] |
| [276] |
D.R. Chesney and B. H. C. Cheng.
A formal Approach to Automatic Source Code Translation for
Parallel Architectures.
In Proceedings of Minnowbrook Workshop on Software for Parallel
Computing, pages 29-34, August 1992. [ bib ] |
| [277] |
David F. Robinson and Betty H. C. Cheng.
A temporal model for transparent monitoring of shared-memory
multiprocessors.
Technical Report MSU-CPS-ACS-65, Department of Computer Science,
Michigan State University, East Lansing, Michigan 48824, July 1992. [ bib ] |
| [278] |
M. V. LaPolla, J. Sharnowski, B. H. C. Cheng, and K. Anderson.
Using formal specifications to generate visualizations of data
parallelism.
Technical Report CPS-92-05, Department of Computer Science, Michigan
State University, A714 Wells Hall, East Lansing, Michigan 48824, July 1992. [ bib ] |
| [279] |
J.L. Sharnowski, K. Gidewall, and Betty H. C. Cheng.
Guideplus: An interface-building tool for the sun openwindows.
Technical Report MSU-CPS-92-04, Michigan State University, Department
of Computer Science, A714 Wells Hall, East Lansing, MI 48824, July 1992. [ bib ] |
| [280] |
Jun-Jang Jeng and Betty H. C. Cheng.
Using Automated Reasoning to Determine Software Reuse.
Technical Report MSU-CPS-ACS-64, Department of Computer Science,
Michigan State University, East Lansing, Michigan, June 1992.
accepted for publication in IJSEKE. [ bib ] |
| [281] |
P. Michael Melliar-Smith, Louise E. Moser, and Laura K. Dillon.
Real-time graphical interval logic: Position paper.
In Proc. Ninth IEEE Workshop on Real-Time Operating Systems and
Software, pages 100-103, Pittsburg, PA, May 1992. [ bib ] |
| [282] |
Laura K. Dillon, George Kutty, Louise E. Moser, P. Michael Melliar-Smith, and
Y. S. Ramakrishna.
Graphical specifications for concurrent software systems.
In Proc. 14th IEEE Inter. Conf. Software Engineering, pages
213-224, Melbourne, May 1992. [ bib ] |
| [283] |
Loiuse E. Moser, P. Michael Melliar-Smith, and Laura K. Dillon.
Graphical tools for development of concurrent systems: Research
summary.
In Proc. DARPA Software Technology Conference, pages 508-511,
Los Angeles, CA, April 1992. [ bib ] |
| [284] |
Stephen W. Turner and Betty H. C. Cheng.
Formal Specification of Weapon Target Assignment Software.
January 1992. [ bib ] |
| [285] |
Betty H. C. Cheng and Gerald C. Gannod.
Using Prolog to Develop Tools Supporting Formal Methods
in Software Development.
Technical Report MSU-CPS-92-02, Department of Computer Science,
Michigan State University, A714 Wells Hall, 1992. [ bib ] |
| [286] |
Robert H. Bourdeau and Betty H. C. Cheng.
An object-oriented toolkit for constructing specification editors.
Technical report, Michigan State University, Department of Computer
Science, 1992. [ bib ] |
| [287] |
Tom Danieli and Betty H. C. Cheng.
Construction of Formal Specifications from an Object-Oriented
Decomposition of Informal Problem Descriptions.
Technical Report MSU-CPS-92-08, Department of Computer Science,
Michigan State University, 1992. [ bib ] |
| [288] |
Jianchang Mao, Betty H. C. Cheng, and Lionel M. Ni.
The stride interval tests for data dependence analysis.
Technical Report MSU-CPS-ACS-59, Department of Computer Science,
Michigan State University, 1992.
submitted for publication. [ bib ] |
| [289] |
Betty H. C. Cheng and Jun-Jang Jeng.
Formal methods applied to reuse.
In Proceedings of the Fifth Workshop in Software Reuse, 1992. [ bib ] |
| [290] |
Jun-Jang Jeng and Betty H. C. Cheng.
Using Formal Methods to Construct a Software Component
Library.
Technical Report MSU-CPS-92-11, Michigan State University, Department
of Computer Science, 1992.
submitted for publication. [ bib ] |
| [291] |
Gerald C. Gannod and Betty H. C. Cheng.
Formal Specification and Development of AutoSpec.
Technical report, Department of Computer Science,Michigan State
University, East Lansing, MI 48824, December 1991. [ bib ] |
| [292] |
George Kutty, Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, and
P. Michael Melliar-Smith.
Specification of a communication protocol in graphical interval
logic.
In Proc. IEE Inter. Conf. Information Engineering, pages
432-441, Singapore, December 1991. [ bib ] |
| [293] |
Betty H. C. Cheng and Gerald C. Gannod.
Constructing formal specifications from program code.
In Proc. of IEEE Third International Conference on Tools in
Artificial Intelligence, pages 125-128, November 1991. [ bib ] |
| [294] |
George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, and Jack C.
Wileden.
Automated analysis of concurrent systems with the constrained
expression toolset.
IEEE Transactions on Software Engineering, 17(11):1204-1222,
November 1991. [ bib ] |
| [295] |
George S. Avrunin, Ugo Buy, James C. Corbett, Laura K. Dillon, and Jack C.
Wileden.
Experiments with an improved constrained expression toolset.
In Proc. 4th ACM Symp. Testing, Analysis and Verification
[296], pages 178-187. [ bib ] |
| [296] |
ACM SIGSOFT.
Proc. 4th ACM Symp. Testing, Analysis and Verification,
Victoria, British Columbia, October 1991. ACM Press. [ bib ] |
| [297] |
Betty H. C. Cheng.
Synthesis of Procedural Abstractions from Formal
Specifications.
In Proc. of COMPSAC'91, pages 149-154, September 1991. [ bib ] |
| [298] |
Betty H. C. Cheng.
Constructing formal specifications from informal descriptions.
In Proceedings of Fourteenth Minnowbrook Software Engineering
Workshop, pages 22-23, July 1991. [ bib ] |
| [299] |
Betty H. C. Cheng.
Automated Synthesis of Data Abstractions.
In Proc. of Irvine Software Symposium, pages 161-176, June
1991. [ bib ] |
| [300] |
Laura K. Dillon.
An isolation approach to symbolic execution-based verification of
Ada tasking programs.
Journal of Systems and Software, 14(3):183-198, March 1991. [ bib ] |
| [301] |
Douglas K. Pierce and Betty H. C. Cheng.
Intelligent Browser for Formal Specifications of Software
Components.
Technical Report MSU-CPS-91-14, Department of Computer Science,
Michigan State University, 1991. [ bib ] |
| [302] |
Laura K. Dillon.
Using symbolic execution for verification of Ada tasking programs.
ACM Transactions on Programming Languages and Systems,
12(4):643-669, October 1990. [ bib ] |
| [303] |
P. Michael Melliar-Smith, Louise E. Moser, Laura K. Dillon, and Y. S.
Ramakrishna.
The development of graphical interval logic.
In Ladkin and Vogt
[305], pages 105-116. [ bib ] |
| [304] |
Laura K. Dillon, P. Michael Melliar-Smith, Louise E. Moser, and Y. S.
Ramakrishna.
An interval logic based on actions and events.
In Ladkin and Vogt
[305], pages 33-46. [ bib ] |
| [305] |
Peter B. Ladkin and Fritz H. Vogt, editors.
Proc. Berkeley Workshop on Temporal and Real-Time
Specification, International Computer Science Institute, Berkeley, CA,
August 1990. [ bib ] |
| [306] |
Laura K. Dillon.
Verifying general safety properties of Ada tasking programs.
IEEE Transactions on Software Engineering, 16(1):51-63,
January 1990. [ bib ] |
| [307] |
Laura K. Dillon.
Research on validation of concurrent and real-time software systems.
Invited paper for ONR Workshop on Directions in Software
Analysis and Testing, August 1989. [ bib ] |
| [308] |
Betty H. C. Cheng.
Synthesis of procedural and data abstractions.
Preliminary Report of Investigations, July 1989. [ bib ] |
| [309] |
George S. Avrunin, Laura K. Dillon, and Jack C. Wileden.
Constrained expression analysis of real-time systems.
Technical Report TR89-50, Computer and Information Science
Department, University of Massachusetts, April 1989. [ bib ] |
| [310] |
Betty Cheng and Simon Kaplan.
A semantically oriented program synthesis system.
In Hawaii International Conference on System Sciences-22, pages
85-94, 1989. [ bib ] |
| [311] |
Betty Cheng and Simon Kaplan.
Update of seed.
submitted to Computer, 1989. [ bib ] |
| [312] |
Jack Greenbaum, Russel Revlin, and Laura Dillon.
Explorations in parallel semantic systems: Test of psychological
properties of data-flow semantic networks.
1989. [ bib ] |
| [313] |
Laura K. Dillon.
Critical gaps in software validation.
Invited paper for SDS Testing and Evaluation Technology
Workshop, Institute for Denfese Analysis, Washington D.C., September 1988. [ bib ] |
| [314] |
Laura K. Dillon, George S. Avrunin, and Jack C. Wileden.
Constrained expressions: Toward broad applicability of analysis
methods for distributed software systems.
ACM Transactions on Programming Languages and Systems,
10(3):374-402, July 1988. [ bib ] |
| [315] |
Laura K. Dillon, Richard A. Kemmerer, and Linda J. Harrison.
An experience with two symbolic execution-based approaches to formal
verification of Ada tasking programs.
In Proc. 2nd Workshop Software Testing, Verification and
Analysis, pages 114-122. IEEE Computer Society Press, July 1988. [ bib ] |
| [316] |
Laura K. Dillon.
Symbolic execution-based verification of Ada tasking programs.
In Proc. 3rd Intl. IEEE Conf. Ada Applications and
Environments, pages 3-13, Manchester, NH, May 1988. IEEE Computer Society
Press. [ bib ] |
| [317] |
Laura K. Dillon, Richard A. Kemmerrer, and Linda J. Harrison.
An experience with two symbolic execution-based approaches to formal
verification of Ada tasking programs.
Technical Report TRCS 88-6, Computer Science Department, University
of California, Santa Barbara 93106, March 1988.
Proc. of Second Workshop on Software Testing, Verification and
Analysis, July 1988. [ bib ] |
| [318] |
Laura K. Dillon.
Symbolic execution-based verification of Ada tasking programs.
Technical Report TRCS 88-11, Computer Science Department, University
of California, Santa Barbara 93106, March 1988.
Proc. of Third International IEEE Conference on Ada Applications
and Environments, May 1988. [ bib ] |
| [319] |
Laura K. Dillon.
Verification of ada tasking programs using symbolic execution, part
I: Partial correctness.
Technical Report TRCS 87-20, Computer Science Department, University
of California, Santa Barbara 93106, October 1987. [ bib ] |
| [320] |
Laura K. Dillon.
Verification of ada tasking programs using symbolic execution, part
II: General safety properties.
Technical Report TRCS 87-21, Computer Science Department, University
of California, Santa Barbara 93106, October 1987. [ bib ] |
| [321] |
Betty H. C. Cheng.
Seed : A semantic editor.
Technical Report UIUCDCS-R-87-1341, University of Illinois at
Urbana-Champaign, Champaign-Urbana, IL, May 1987.
Master's Thesis. [ bib ] |
| [322] |
Laura K. Dillon.
A constrained expression formulation of CEDL.
Technical Report TRCS86-22, Computer Science Department, University
of California, Santa Barbara 93106, November 1986. [ bib ] |
| [323] |
Laura K. Dillon.
Simplification and reduction of CEDL constrained expressions.
Technical Report TRCS86-29, Computer Science Department, University
of California, Santa Barbara 93106, November 1986. [ bib ] |
| [324] |
Laura K. Dillon.
Overview of the constrained expression design language.
Technical Report TRCS86-21, Computer Science Department, University
of California, Santa Barbara 93106, October 1986. [ bib ] |
| [325] |
Laura K. Dillon, George S. Avrunin, and Jack C. Wileden.
Constrained expressions: Toward broad applicability of analysis
methods for distributed software systems.
Technical Report TRCS 86-12, Computer Science Department, University
of California, Santa Barbara 93106, May 1986.
ACM Transactions on Programming Languages and Systems, 1988. [ bib ] |
| [326] |
George S. Avrunin, Laura K. Dillon, Jack C. Wileden, and William E. Riddle.
Constrained expressions: Adding analysis capabilities to design
methods for concurrent software systems.
IEEE Transactions on Software Engineering, SE-12(12):278-292,
February 1986. [ bib ] |
| [327] |
Laura K. Dillon.
Analysis of Distributed Systems using Constrained Expressions.
PhD thesis, University of Massachusetts, Amherst, MA 01003, September
1984. [ bib ] |
| [328] |
Laura K. Dillon.
Translation of future interval logic into linear-time temporal logic.
Technical Report MSU-CSE-99-32, Computer Science and Engineering,
Michigan State University, East Lansing, Michigan, September 99. [ bib ] |
| [329] |
Laura Campbell, Betty H.C. Cheng, and Enoch Y. Wang.
Enabling automated analysis through the formalization of
object-oriented modeling diagrams.
Technical Report MSU-CPS-99-13, Department of Computer Science and
Engineering, Michigan State University, East Lansing, Michigan, March 99. [ bib | www: ] |
| [330] |
William E. McUmber and Betty H.C. Cheng.
UML-based analysis of embedded systems using a mapping to VHDL.
Technical Report MSU-CPS-99-11, Department of Computer Science and
Engineering, Michigan State University, East Lansing, Michigan, February 99. [ bib | www: ] |
| [331] |
Yonghao Chen and Betty H.C. Cheng.
A theory of specification matching.
Technical Report MSU-CPS-98-30, Department of Computer Science,
Michigan StateUniversity, East Lansing, Michigan, October 98.
(submitted for publication). [ bib | www: ] |
| [332] |
Enoch Y. Wang and Betty H.C. Cheng.
An application of a rigorous design process.
Technical Report MSU-CPS-98-6, Department of Computer Science,
Michigan State University, East Lansing, Michigan, February 98. [ bib | www: ] |
| [333] |
Enoch Y. Wang and Betty H.C. Cheng.
An application of a rigorous design process.
Technical Report MSU-CPS-98-6, Department of Computer Science,
Michigan State University, East Lansing, Michigan, February 98. [ bib | www: ] |
| [334] |
Enoch Y. Wang and Betty H.C. Cheng.
A rigorous object-oriented design process.
Technical Report MSU-CPS-97-46, Department of Computer Science,
Michigan State University, East Lansing, Michigan, November 97. [ bib | www: ] |
| [335] |
Betty H.C. Cheng, Philip K. McKinley, R. E. K. Stirewalt, and Laura K. Dillon.
Meridian: Automating the development of interactive distributed
applications.
IEEE Computer.
under revision. [ bib ] |
| [336] |
A. Ebnenasir and S. S. Kulkarni.
FTSyn: A framework for automatic synthesis of fault-tolerance.
http://www.cse.msu.edu/~ebnenasi/research/tools/ftsyn.htm. [ bib ] |
| [337] |
Louise E. Moser, Y. S. Ramakrishna, George Kutty, P. Michael Melliar-Smith,
and Laura K. Dillon.
A graphical environment for design of concurrent and realtime
systems.
Submitted. [ bib ] |
| [338] |
George S. Avrunin, Laura K. Dillon, and Jack C. Wileden.
Experiments with automated constrained expression analysis of
concurrent software systems.
pages 124-130. [ bib ] |
| [339] |
Laura K. Dillon and R. E. K. Stirewalt.
Inference graphs: A computational structure supporting generation of
customizable and correct analysis components.
Under review. [ bib ] |
| [340] |
Laura K. Dillon and R. E. Kurt Stirewalt.
Proof of correctness of a transparent design abstraction.
Submitted to ICSE'02. [ bib ] |
| [341] |
Laura K. Dillon and Y. S. Ramakrishna.
Generating oracles from your favorite temporal specifications.
Submitted. [ bib ] |
| [342] |
Laura K. Dillon and Qing Yu.
Oracles for checking temporal properties of concurrent systems.
Submitted. [ bib ] |
| [343] |
Laura K. Dillon, George Kutty, Louise E. Moser, P. Michael Melliar-Smith, and
Y. S. Ramakrishna.
A graphical interval logic for specifying concurrent systems.
Submitted. Available in directory /pub/gil at ftp.cs.ucsb.edu by
anonymous ftp. [ bib ] |
| [344] |
Laura K. Dillon.
Task dependence and termination in Ada.
Under revision. [ bib ] |
| [345] |
Laura K. Dillon and George Walden.
A prototype constraint eliminator for constrained expression
representations.
In preparation. [ bib ] |
| [346] |
R. E. K. Stirewalt, R. Behrends, and L. K. Dillon.
A model-based semantics for synchronization contracts in
object-oriented languages.
accepted (pending minor revision) to Science of Computer
Programming. [ bib ] |
This file has been generated by bibtex2html 1.75