Bruce M. McMillin
Full Curriculum Vita
Department of
Rolla
Fault Tolerance, Formal Methods in
Software Engineering, Embedded Systems, and Distributed Systems Theory
9/85-7/88
Ph.D. in Computer Science
while employed half time as a graduate assistant. Thesis title is Reliable
Parallel Processing - The Application-Oriented Paradigm, Advisor - Lionel
M. Ni.
12/82-8/85
Master of Science in Computer
Science - obtained while employed full time.
9/76-11/79
Bachelor of Science in
Computer Engineering with Honor.
8/88- University of Missouri-Rolla,
9/01- Professor of Computer Science, Graduate
Coordinator, & Director of Experimental Computation Laboratory
9/93- Associate Professor of Computer Science &
Director of Experimental Computation Laboratory
8/88-8/93 Assistant Professor of Computer Science &
Director of Experimental Computation Laboratory
7/90- Research Investigator - Intelligent
8/94-5/95 State
8/94-5/95 Visiting
Associate Professor of Computer Science
9/85-7/88
9/85-7/88 Research
& Graduate Teaching Assistant
Summary of Major Accomplishments
·
Founded
the Experimental Computation Laboratory (ECL) which is dedicated to parallel
and distributed computation research in formal methods. Projects associated
with the ECL have supported fourteen graduate students under my direction. The
ECL funding includes, and has included grants from NSF, AFOSR, State, and
Industry.
·
Received
an NSF research initiation award to expand on my dissertation research in the
area of fault-tolerant parallel algorithms. This funding led to grants from
AFOSR research Consortia and further funding from NSF.
·
Built
interdisciplinary research teams investigating novel parallel methods for
computational fluid dynamics problems, for composite materials cutting, and
information technology research.
·
Obtained
funding from State Development Agencies consisting of interdisciplinary studies
in combinatorial optimization for VLSI design and Composite Stock cutting.
·
Developed
Computer Systems option within the Department of Computer Science.
·
Five-time
winner of the Faculty Excellence Award recognizing excellence in teaching,
research, and service.
·
Created
the Departmental seminar series.
|
Grant Tabulation |
|||||||
|
Research Grants |
|
|
|
|
|
|
|
|
Duration |
Title |
Agency |
Amount |
PI/co-PI |
Shared Credit |
Shared Amount |
Co-Investigators |
|
2005-2006 |
Continued FACTS Technology
Development |
DOE |
1,270,391 |
co-PI |
25% |
$317,598 |
M. Crow, J. Sarangapani, D. Tauritz, B.
Chowdhury, and F. Liu |
|
2004-2007 |
Construction of a
Laboratory to Study FACTS Device Interactions |
NSF |
300,000 |
PI |
34.00% |
$102,000 |
M. Crow and F. Liu |
|
2004-2005 |
Advances in FACTS and
Energy Storage (Task 2A-C) Subcontract |
DOE |
244,600 |
co-PI |
30.00% |
$73,380 |
M. Crow, J. Sarangapani and F. Liu |
|
2004-2005 |
Advances in FACTS and
Energy Storage (Task 2A-C) |
DOE |
303,363 |
co-PI |
34.00% |
$103,143 |
M. Crow, J. Sarangapani and F. Liu |
|
2003-2004 |
Development of a |
UM Research Board |
16,500 |
co-PI |
20.00% |
$3,300 |
S. Madria, F. Ercal, S. Subramanya, J. Sarangapani |
|
2003-2004 |
Development of a |
NSF |
66,666 |
co-PI |
20.00% |
$13,333 |
S. Madria, F. Ercal, S. Subramanya, J. Sarangapani |
|
2003-2005 |
Development of a Parallel
Machine Tool for Research and Education in Advanced Manufacturing |
NSF |
166,058 |
co-PI |
10.00% |
$16,606 |
R. Landers, F. Liou, A. Okafor, and M. Leu |
|
2003-2004 |
Variable Speed
Electromechanical Drive Systems IGERT |
NSF |
1,349,071 |
co-PI |
13.00% |
$175,379 |
M. Crow, J. Drewniak, F. Liu, W. Eversman, M.
O'Keefe |
|
2003-2004 |
Variable Speed
Electromechanical Drive Systems IGERT Supplement |
NSF |
55,000 |
co-PI |
13.00% |
$7,150 |
M. Crow, J. Drewniak, F. Liu, W. Eversman, M.
O'Keefe |
|
2001-2003 |
|
NSF |
196,616 |
co-PI |
20.00% |
$39,323 |
A. Miller, K. Erickson, S. Subramanya |
|
2001-2002 |
Insider Threat Detection
for Robust Security |
UM Research Board |
32,250 |
PI |
34.00% |
$10,965 |
J. Stanley and A. Miller |
|
2000-2001 |
Fault Tolerance and
Security for Power Transmission System Configuration with FACTS Devices |
NSF |
100,000 |
PI |
50.00% |
$50,000 |
M. Crow |
|
1998-1999 |
Prototype Fault-Tolerant
and Secure IVHS |
UM Research Board |
12,000 |
PI |
100.00% |
$12,000 |
|
|
1997-1998 |
Formal Methods for
Dependable Distributed Transportation Control Software |
Mid |
20,572 |
PI |
100.00% |
$20,572 |
|
|
1997 |
VHLC Tool Set (contract
extension) |
Harmon Electronics, |
37,250 |
PI |
100.00% |
$37,250 |
|
|
1995-1996 |
VHLC Tool Set |
Harmon Electronics, |
186,557 |
PI |
50.00% |
$93,279 |
R. Wilkerson |
|
1994-1995 |
Real Time Dynamic
Simulation and Display of Mechanical Assemblies |
Army STTR and Software Systems Specialists |
100,000 |
co-PI |
50.00% |
$50,000 |
F. Liou |
|
1993-1994 |
CISE Instrumentation |
NSF |
100,000 |
PI |
25.00% |
$25,000 |
|
|
1992-1995 |
Intelligent Control of
Cutting Force in Three Dimensional End Milling Operations Using Neural
Networks |
NSF, MRTC, EPRI |
391,031 |
co-PI |
33.00% |
$129,040 |
W. Lu and K. Krishnamurthy |
|
1995 |
Intelligent Control of
Cutting Force in Three Dimensional End Milling Operations Using Neural
Networks (contract extension) |
EPRI |
20,000 |
co-PI |
33.00% |
$6,600 |
W. Lu and K. Krishnamurthy |
|
1993-1996 |
Run-Time Assurance for
Distributed Computing Systems |
AFOSR |
80,000 |
PI |
100.00% |
$80,000 |
|
|
1992-1995 |
Formal Methods for
Dependable Distributed Software |
AFOSR |
215,961 |
PI |
100.00% |
$215,961 |
|
|
1994 |
Modeling of Supersonic
Combustor Flows With Parallel Computing |
UM Research Board |
25,000 |
co-PI |
50.00% |
$12,500 |
D. Riggins |
|
1993-1994 |
Responsive Software Through
Mathematical Modeling |
UM Research Board |
22,000 |
co-PI |
50.00% |
$11,000 |
M. Insall |
|
1990-1991 |
Determination of Optimal
Multicast Trees in the k-ary n-cube Topology |
UM Inter-Campus Competition |
15,000 |
PI |
34.00% |
$5,100 |
B. Gillett and Y. Lan |
|
1989-1991 |
The Application-Oriented
Fault Tolerance Paradigm for Multicomputers |
NSF - Research Initiation Award |
58,022 |
PI |
100.00% |
$58,022 |
|
|
1989 |
Parallelism in Hierarchial
Relaxation |
McDonnell Douglas Corporation |
30,000 |
PI |
100.00% |
$30,000 |
|
|
1989-1990 |
Parallel Architectures for
Composite Stock Cutting Pattern Classification |
Manufacturing Research and |
17,787 |
co-PI |
30.00% |
$5,336 |
C. Dagli, G. Leininger, and R. Ashouri |
|
1989-1990 |
Parallel Architectures for
Real-Time Process Control |
Manufacturing Research and |
26,518 |
co-PI |
50.00% |
$13,259 |
K. Krishnamurthy, G. Leininger, and R. Ashouri |
|
1989 |
CISE Research
Instrumentation |
National Science Foundation |
80,000 |
PI |
50.00% |
$40,000 |
A. DeKock, J. Manning, and R. Wilkerson |
|
1989 |
Multicomputer Research
Instrumentation |
Intel Scientific Computers |
127,820 |
PI |
40.00% |
$51,128 |
A. DeKock, J. Manning, and R. Wilkerson |
|
1988-1991 |
Faculty Development Grant
(Startup) |
AMOCO Foundation |
60,000 |
PI |
100.00% |
$60,000 |
|
|
|
|
|
$5,726,033 |
|
|
$1,868,224 |
|
|
Software Grants |
|
|
|
|
|
|
|
|
1990-1992 |
University Partners in
Computer Science Research |
Intel Scientific Computers |
60,220 |
PI |
25.00% |
$15,055 |
F. Ercal, B. Gillett, Y. Kwon, K. Krishnamurthy, and
G. Leininger |
|
1990-1992 |
University Partners in
Parallel Programming Education |
Intel Scientific Computers |
29,725 |
co-PI |
30.00% |
$8,918 |
F. Ercal and B. Gillett |
|
|
|
|
$89,945 |
|
|
$23,973 |
|
|
Education Grants |
|
|
|
|
|
|
|
|
1991-1992 |
Parallel Processing:
Design, Analysis, and Implementation of Parallel Algorithms |
NSF |
55,731 |
co-PI |
25.00% |
$13,933 |
B. Gillett |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1990-1991 |
Parallel Processing:
Design, Analysis, and Implementation of Parallel Algorithms |
NSF |
43,860 |
co-PI |
10.00% |
$4,386 |
B. Gillett |
|
|
|
|
$99,591 |
|
|
$18,319 |
|
|
Totals |
|
|
|
|
|
|
|
|
|
|
|
$7,730,622 |
|
|
$2,908,853 |
|
|
2001-2003 |
|
NSF |
196,616 |
co-PI |
20.00% |
$39,323 |
A. Miller, K. Erickson, S. Subramanya |
|
2001-2002 |
Insider Threat Detection
for Robust Security |
UM Research Board |
32,250 |
PI |
34.00% |
$10,965 |
J. Stanley and A. Miller |
|
2000-2001 |
Fault Tolerance and
Security for Power Transmission System Configuration with FACTS Devices |
NSF |
100,000 |
PI |
50.00% |
$50,000 |
M. Crow |
|
1998-1999 |
Prototype Fault-Tolerant
and Secure IVHS |
UM Research Board |
12,000 |
PI |
100.00% |
$12,000 |
|
|
1997-1998 |
Formal Methods for
Dependable Distributed Transportation Control Software |
Mid |
20,572 |
PI |
100.00% |
$20,572 |
|
|
1997 |
VHLC Tool Set (contract
extension) |
Harmon Electronics, |
37,250 |
PI |
100.00% |
$37,250 |
|
|
1995-1996 |
VHLC Tool Set |
Harmon Electronics, |
186,557 |
PI |
50.00% |
$93,279 |
R. Wilkerson |
|
1994-1995 |
Real Time Dynamic
Simulation and Display of Mechanical Assemblies |
Army STTR and Software Systems Specialists |
100,000 |
co-PI |
50.00% |
$50,000 |
F. Liou |
|
1993-1994 |
CISE Instrumentation |
NSF |
100,000 |
PI |
25.00% |
$25,000 |
|
|
1992-1995 |
Intelligent Control of
Cutting Force in Three Dimensional End Milling Operations Using Neural
Networks |
NSF, MRTC, EPRI |
391,031 |
co-PI |
33.00% |
$129,040 |
W. Lu and K. Krishnamurthy |
|
1995 |
Intelligent Control of
Cutting Force in Three Dimensional End Milling Operations Using Neural
Networks (contract extension) |
EPRI |
20,000 |
co-PI |
33.00% |
$6,600 |
W. Lu and K. Krishnamurthy |
|
1993-1996 |
Run-Time Assurance for
Distributed Computing Systems |
AFOSR |
80,000 |
PI |
100.00% |
$80,000 |
|
|
1992-1995 |
Formal Methods for
Dependable Distributed Software |
AFOSR |
215,961 |
PI |
100.00% |
$215,961 |
|
|
1991-1992 |
Parallel Processing:
Design, Analysis, and Implementation of Parallel Algorithms |
NSF |
55,731 |
co-PI |
25.00% |
$13,933 |
B. Gillett |
|
1990-1992 |
University Partners in
Computer Science Research |
Intel Scientific Computers |
60,220 |
PI |
25.00% |
$15,055 |
F. Ercal, B. Gillett, Y. Kwon, K. Krishnamurthy, and
G. Leininger |
|
1990-1992 |
University Partners in
Parallel Programming Education |
Intel Scientific Computers |
29,725 |
co-PI |
30.00% |
$8,918 |
F. Ercal and B. Gillett |
|
1990-1991 |
Parallel Processing:
Design, Analysis, and Implementation of Parallel Algorithms |
NSF |
43,860 |
co-PI |
10.00% |
$4,386 |
B. Gillett |
|
1994 |
Modeling of Supersonic
Combustor Flows With Parallel Computing |
UM Research Board |
25,000 |
co-PI |
50.00% |
$12,500 |
D. Riggins |
|
1993-1994 |
Responsive Software Through
Mathematical Modeling |
UM Research Board |
22,000 |
co-PI |
50.00% |
$11,000 |
M. Insall |
|
1990-1991 |
Determination of Optimal
Multicast Trees in the k-ary n-cube Topology |
UM Inter-Campus Competition |
15,000 |
PI |
34.00% |
$5,100 |
B. Gillett and Y. Lan |
|
1989-1991 |
The Application-Oriented
Fault Tolerance Paradigm for Multicomputers |
National Science Foundation - Research Initiation
Award |
58,022 |
PI |
100.00% |
$58,022 |
|
|
1989 |
Parallelism in Hierarchial
Relaxation |
McDonnell Douglas Corporation |
30,000 |
PI |
100.00% |
$30,000 |
|
|
1989-1990 |
Parallel Architectures for
Composite Stock Cutting Pattern Classification |
Manufacturing Research and |
17,787 |
co-PI |
30.00% |
$5,336 |
C. Dagli, G. Leininger, and R. Ashouri |
|
1989-1990 |
Parallel Architectures for
Real-Time Process Control |
Manufacturing Research and |
26,518 |
co-PI |
50.00% |
$13,259 |
K. Krishnamurthy, G. Leininger, and R. Ashouri |
|
1989 |
CISE Research
Instrumentation |
National Science Foundation |
80,000 |
PI |
|
$0 |
A. DeKock, J. Manning, and R. Wilkerson |
|
1989 |
Multicomputer Research
Instrumentation |
Intel Scientific Computers |
127,820 |
PI |
40.00% |
$51,128 |
A. DeKock, J. Manning, and R. Wilkerson |
|
1988-1991 |
Faculty Development Grant |
AMOCO Foundation |
60,000 |
PI |
100.00% |
$60,000 |
|
|
|
|
|
$5,915,569 |
|
|
$1,870,515 |
|
Donations Obtained
Funding for Undergraduate
Research Activities, John Deere Foundation, $15,000, 1996.
Travel Grants
Travel Grant for Trip to Attend the 15th Annual COMPSAC in
Travel Grant for Trip to Speak at the International Summer Institute on
Parallel Computer Architectures, Languages, and Algorithms in Prague, Czech
Republic, 1993, $1,000.
Travel Grant to Attend and Present at the Teaching Formal Methods:
Curriculum Development Workshop,
Publication Record
Refereed Journal Publications
"Efficient
Run-Time Assurance in Distributed Systems Through Selection of Executable
Assertions," Journal
of Systems and Software, May, 2000, pp. 33-54. (with M. Schollmeyer).
"A Neural
Network Approach for Force and Contour Error Control in Multi-Dimensional End
Milling Operations," Journal of Machine Tools and Manufacture, Vol.
38, pp. 1343-1359, 1998, (with T. Luo, W, Lu, and K. Krishnamurthy).
"A General
Method for Maximizing the Error-Detecting Ability of Distributed
Algorithms," IEEE Transactions on Parallel and Distributed Systems,
Vol. 8, No. 2, February, 1997, pp. 164-172, (with M. Schollmeyer) (A shortened
version appears in PARLE '94 Parallel Architectures and Languages Europe)
"CCSP - A
Formal System for Distributed Program Debugging," Programming and
Computer Software, Plenum Publishers, Vol. 21. No. 1, 1995, pp. 45-50 (with
"Relaxing
Synchronization in Distributed Simulated Annealing," IEEE Transactions
on Parallel and Distributed Systems (with C. Hong), Vol. 6, No. 2,
February, 1995, pp. 189-195.
"Modeling of
Supersonic Combustor Flows Using Parallel Computing," Computer Systems
in Engineering, Pergamon Press Ltd., Great Britain, Vol. 3, Nos 1-4, pp.
217-229, 1992, (with D. Riggins, M. Underwood, L. Reeves, and E. Lu).
"DAWGS: A
Distributed Compute Server Utilizing Idle Workstations," Journal of Parallel
and Distributed Computing (with H. Clark) Vol. 14, pp 175-186, 1992. Also
appeared in Proceedings of the Fifth Distributed Memory Computing
Conference,, 1990.
"SMILI -
Visualization of Asynchronous Massively Parallel Programs", J. of
Systems and Software, Elsevier North Holland, New York, Vol. 19, No. 3,
November 1992, pp. 261-275, (with R. Khanna) (Also as UMR Department of
Computer Science Technical Report Number CSC 91-8).
"Reliable
Parallel Sorting Through the Application-Oriented Fault Tolerance
Paradigm" IEEE Transactions on Parallel and Distributed Computing,
Vol. 3, No. 4, pp. 411-420, (with L. Ni). (also appeared in Proceedings of
the 9th International DCS, 1989).
"Composite
Stock Cutting Through Simulated Annealing," Journal of Mathematical and
Computer Modeling, Pergamon Press, New York, Vol. 16, No. 1, pp. 57-74,
(with H. Lutfiyya, P. Poshyanonda, C. Dagli). Also as UMR Intelligent
"Parallel
Implementation of a Recursive Least Squares Neural Network Training Method on
the Intel iPSC/2," Journal of Parallel and Distributed Computing,
Vol. 18(1993), pp. 89-93 (with J. Steck, K. Krishnamurthy, M. Ashouri, and G.
Leininger). (Also appeared in Proceedings of International Joint Conference
on Neural Networks, 1990).
The Maximum Flow Algorithm
Applied to the Placement and Steady State Control of FACTS Devices, Proceedings of the 2005 North American Power
Symposium October, 2005, Ames, IA, pp. 77-83 (with Austin Armbruster, Mike
Gosnell, and Mariesa Crow)
Power Transmission
Control Using Max-Flow, 29th Annual
International Computers Software and Applications Conference,
Structured Object-oriented
Co-analysis/Co-design of Hardware/Software for the FACTS Powers System , 29th Annual International Computers Software
and Applications Conference,
Energy Balanced Broadcasting Through Delayed Intelligence, Information Technology: Coding and Computing, 2005. ITCC
2005. 2005,
Evolutionary Optimization of Flexible AC Transmission System Device Placement for Increasing Power Grid Reliability, FEA 2005, 6th International Workshop on Frontiers in Evolutionary Algorithms, Salt Lake City, Utah, July 21-26, 2005, pp. 516-519, (with John Chaloupek, Daniel R. Tauritz, and M.L. Crow).
Controlling Power Using
FACTs Devices and the Maximum Flow Algorithm, Proc. 5th International Conference on Power Systems
Operation and Planning, ICPSOP-2002,
Runtime Assertion Checking of
Temporal Specifications in a Mobile Environment - AHS, Proceedings of
the 2001 Workshop on Mobile Computing as part of the 2001 Symposium on Reliable
Distributed Systems, (with C. Sreerambhatla) (to appear).
Fault Tolerance and Security
for Power Transmission System Configuration with FACTS Devices, Proceedings
of the 32nd North American Power Symposium, pp. 5.1-5.9,
October, 2000 (with M. Crow).
"History Clipping in
Event-Driven Distributed Systems," Proceedings of the ISCA 13th
International Conference on Parallel and Distributed Computing Systems,
"Effective
Octree Generation of Parts for Virtual Prototyping," Proceedings of
the 3rd ASME Design for Manufacturing Conference, Paper No.
DETC98/DFM-5716, September 13-16, 1998,
"Run-Time
Secure Evaluation: Can We Afford It?," New Security Paradigms
Workshop, (with C. Serban), September, 1996,
"Wheels: An
Automated Program Analysis Tool," The 8th International Conf. on
Software Engineering and Knowledge Engineering, June 10-12, 1996, Lake
Tahoe, NV, pp. 269-276 (with A. Sun).
"Run-Time Security
Evaluation (RTSE) for Distributed Applications," Proceedings of
the IEEE Symposium on Security and Privacy, Oakland, CA, May, 1996, pp.
222-232, (with C. Serban).
"Checking
Program Proofs Made Easy," Proceedings of COMPSAC'95, the 19th
International Computer Software and Applications Conference, pp. 102-107,
August 1995 (with M. Schollmeyer)
"Assertion-Based
Program Verification Using a Constraint Logic Programming Tool," Proceedings
of CONSTRAINT'95, The International Workshop on Constraint Based Reasoning,
April, 1995, (with M. Schollmeyer).
"Constructing
an Interval Temporal Logic for Real-Time Systems" Proc. First IEEE
International Conference on Engineering of Complex Computer Systems, Nov. 6-10,
1995,
"Ensuring the
Satisfaction of a Temporal Specification at Run-Time" Proc. First IEEE
International Conference on Engineering of Complex Computer Systems, Nov. 6-10,
1995, Ft. Lauderdale, FL, pp. 397-404. (also as UMR Department of Computer
Science Technical Report Number CSC 93-20), (with M. Insall and G. Tsai)
"Force
Control in Two-Dimensional End Milling Operations Using Recurrent Neural
Networks," 1995 ASME Int. Mechanical Engineering Congress and
Exposition, DSC-Vol. 57-2, November 1995, pp. 773-780 (With Luo, T., Xu,
Q., Krishnamurthy, K., and Lu, W).
"CCSP - A
Formal System for Distributed Program Debugging," Proceedings of the
Software for Multiprocessors and Supercomputers, Theory, Practice, Experience,
Moscow, Russia, September 21-23, 1994, pp. 260-269 (with E. Arrowsmith) (also
as UMR Department of Computer Science Technical Report, CSC-94-13.
"An Improved
Characterization of 1-step Recoverable Embeddings: Rings in Hypercubes," Proceedings
of the 1994 International Conference on Parallel and Distributed Systems,
(with J. Liu and T. Sager), pp. 508-513, December 1994.
"A General
Method for Maximizing the Error-Detecting Ability of Distributed
Algorithms," PARLE '94 Parallel Architectures and Languages Europe,
Springer-Verlag, Berlin, Athens, Greece, pp. 725-736, July, 1994, (also as UMR
Department of Computer Science Technical Report Number CSC 93-16) (with M.
Schollmeyer)
"A Neural
Controller for Force Control in End Milling," 1994 International
Mechanical Engineering Congress and Exposition, (with K. Krishnamurthy, Q.
Xu, and W. Lu), DSC-Vol. 55-1, pp. 563-572, November, 1994,
"A Recursive
Least Squares Training Algorithm for Multi-layer Recurrent Neural
Networks," Proc. of the American Control Conference, (with K.
Krishnamurthy, Q. Xu, and W. Lu), pp. 1712-1716, June, 1994.
"Identification
of Cutting Force in End Milling Operations Using Recurrent Neural
Networks," Proceedings of the IEEE Conference on Neural Networks,
Orlando, FL, June-July, 1994, 3828-3833 (with Q. Xu, K. Krishnamurthy, and W.
Lu).
"An Enhanced
Reconfigurable Embedding Scheme for Rings in Hypercubes," Proceedings
of the 1992 International Conference on Parallel and Distributed Systems,
(with J. Liu), pp. 298-305, December, 1992.
"The
Computation of Supersonic Combustor Flows using Multi-Computers," American
Institute of Aeronautics and Astronautics (AIAA), AIAA paper number
93-0060,
"A Divide
and Conquer Ring Embedding Scheme on Hypercubes with Efficient Recovery
Capability," Proceedings of the 21st International Conference on
Parallel Processing, pp. III-38-III-45, August, 1992 (with J. Liu).
"Fault-Tolerant
Distributed Deadlock Detection/Resolution," Proceedings of the 17th
International COMPSAC, November, 1993, pp. 224-230, (with P. Li). (Also as UMR
Department of Computer Science Technical Report Number CSC 92-04).
"Formal
Derivation of an Error-Detecting Distributed Data Scheduler Using
CHANGELING," Formal Methods in Programming and their Applications, Springer-Verlag,
Lecture Notes in Computer Science Series 735, July, 1993, pp. 363-376. (with H.
Lutfiyya and A. Su). (Also as a Poster in the 15th ICSE, Baltimore, MD, May,
1993).
"Fault-Tolerant
Distributed Sort Generated from a Verification Proof Outline," Responsive
Computer Systems - Dependable Computing and Fault-Tolerance, Vol. 7, 1992,
Springer-Verlag, H. Kopetz and Y. Kakuda eds, pp. 71-96. (with H. Lutfiyya and
M. Schollmeyer). (Also as a Short Talk in the 14th ICSE, Melbourne, Australia
May, 1992).
"Fault-Tolerant
Concurrent Branch and Bound Algorithm Derived from Program Verification" Proceedings
of the 16th International COMPSAC, September, 1992, pp. 182-187, (with A.
Sun and H. Lutfiyya).
"Fault-Tolerant
Matrix Multiplication with One-Iteration Fault Latency," Proceedings of
the 15th International COMPSAC, September, 1991, pp. 665-672, (with C.
Hong).
"PAFMV -
Pairwise Asynchronous Multigrid," Proceedings of the 1990 International
Conference on Parallel Processing, August, 1990, pp. I-388-I-392, (with S.
Franks, and R. Khanna). (Also as Technical Report, UMR Intelligent Systems
Center, ISC-TR-90-007, January, 1990).
"Experimental
Comparison of Bidding and Drafting Load Sharing Protocols," Accepted as a
Contributed Talk in the Proceedings of the Fifth Distributed Memory
Computing Conference, Charleston, SC, April 1990, pp. 968-974 (with A.
Ross).
"DAWGS: A
Distributed Compute Server Utilizing Idle Workstations," Accepted as a
Contributed Talk in the Proceedings of the Fifth Distributed Memory
Computing Conference, Charleston, SC, April 1990, pp. 732-741 (with H.
Clark).
"Expectations
for Associative-Commutative Unification in the Multicomputer Environment,"
Proceedings of the 13th International COMPSAC,
"Reliable
Parallel Sorting Through the Application-Oriented Fault Tolerance
Paradigm" Proceedings of the 9th International DCS,
"A
Non-Relaxation Based Problem Instantiation for the Application- Oriented Fault
Tolerance Paradigm," Accepted as a Contributed Talk and in the Proceedings
of the Fourth Conference on Hypercube Concurrent Computers and Applications,
"Executable
Assertion Development for the Distributed Parallel Environment," Proceedings
of the 12th International COMPSAC,
"Limitations
of System Level Diagnosis by Fault Model Consideration," Proceedings of
the Third International Conference on Supercomputing, Vol. III,
"A Reliable
Parallel Algorithm for Relaxation Labeling," Parallel Processing for
Computer Vision and Display, P. M. Dew, R. A. Earnshaw, and T. R. Heywood,
eds., Addison-Wesley, 1989, pp. 190-209. (with L. Ni).
"Byzantine
Fault Tolerance through Application-Oriented Specification," Proceedings
of the 11th International COMPSAC,
Books and Contributions to Published Books
"Intelligent
Control of Cutting Force in End Milling Operations," Intelligent
Control, ed. R. Shoureshi, K. Baheti, D. Garg, J. Maulbetsch, and D.
Wormely, IEEE Press, 1995 (with K. Krishnamurthy, and W. Lu).
"Parallel
Algorithm Fundamentals and Analysis," Parallel Computer Architectures,
Languages, and Algorithms, ed. T. Casavant,, P. Tvrdik, and F. Plasil, IEEE
Computer Society Press, 1995, pp. 151-182. (with J. Liu).
"Formal
Methods to Generate and Understand Distributed Computing Systems," Parallel
Computer Architectures, Languages, and Algorithms, ed. T. Casavant, P.
Tvrdik, and F. Plasil, IEEE Computer Society Press, 1995, pp. 351-368, (with G.
Tsai and H. Lutfiyya).
"Application-Oriented
Fault Tolerance," Advances in Distributed and Parallel Processing,
ed. H. W. Tyrer, Ablex Publishing,
Fault
Tolerance for Multicomputers: An Application-Oriented Approach, Ablex Publishing,
Software Invention
"Intelligent
Control Through the Use of Neural Networks," Developed Under Contract
for the Electric Power Research Institute,
Abstract or Unrefereed Conferences
Multi-Layer Vulnerability Assessments of
SCADA Networks, Workshop on Cyber Infrastructure Emergency Preparedness
Aspects, April 21-22, 2005, Ottowa, Ontario, CA (with
Hardware/software co-design for power system test development, Proceedings of the 2004 ACM workshop on Interdisciplinary software engineering research,, 2004, pp. 83-88, with Austin Armbruster, Matt Ryan, Frank Liu, andYing Cheng.
An integrated pattern recognition approach
for intrusion detection, Biomedical Science and Instrumentation.
2002;38:447-52 (with Pandit A, and
ObjectOriented
Modeling and Fault Detection of a Powder Feeder for a Laser Metal Deposition
System, Proceedings of the Thirteenth Annual Solid
Freeform Fabrication Symposium,
Austin, Texas, August 57, 2002 (with Landers, R.G., Hilgers, M.G., and Liou,
F.W.)
"Fault-Tolerant
and Secure Intelligent
"Modeling of
Injection in Supersonic Combustor Flows," 1994 SCALABLE HIGH
PERFORMANCE COMPUTING CONFERENCE,
"Formal
Generations of Executable Assertions for a Fault-Tolerant Parallel Bitonic
Sort," Short presentation at the 14th International Conference on
Software Engineering, May, 1992 (Also as UMR Department of Computer
Science Technical Report Number CSC 91-12) (with H. Lutfiyya).
"Parallel
Error Tolerance Scheme Based on the Hill Climb Nature of Simulated
Annealing," Proceedings of the 35th
"A
Visualization Model for Massively Parallel Algorithms," Proceedings of
the 6th Distributed Memory Computing Conference May, 1991, pp. 617-620,
(with R. Khanna).
"Neural
Modeling and Control of a Distillation Column," Proceedings of
International Joint Conference on Neural Networks,,
"Parallel
Implementation of a Recursive Least Squares Neural Network Training Method on
the Intel iPSC/2," Proceedings of International Joint Conference on
Neural Networks,, San Diego, CA, June 1990, pp. I-631 - I-636. (with J.
Steck, K. Krishnamurthy, M. Ashouri, and G. Leininger). (Also as a UMR
Intelligent
"Composite
Stock Cutting Pattern Classification Through Neocognitron," Proceedings
of the 1990 International Joint Conference on Neural Networks, January
1990, Washington, D.C., pp. 587-590, (with C. Dagli, R. Ashouri, and G.
Leininger).
"Application-Oriented
Fault Tolerance," 2nd Annual OSU Workshop on Parallel Computing,
March 28-89,
"Composite
Stock Cutting using Simulated Annealing," MAECON 1990,,
"Fault-Tolerant
Matrix Multiplication with One-Iteration Latency," MAECON 1990,,
"A Fast O(k)
Multicast Message Routing Algorithm," Frontiers of Massively Parallel
Computation,,
"An
Asynchronous Multigrid Algorithm for the Intel iPSC/2," Copper Mountain
Conference on Iterative Methods, April, 1990. (with S. Franks and R.
Khanna).
"Reliable
Parallel Elliptic PDE Solution," Presented at the 3rd.
Invited Papers
"A Practical Application
for Formally-Specified Assertions: Debugging and Monitoring," (Proceedings
of SEKE2000 (to appear))
"Automated
Highway Systems," IEEE Potentials, V. 17, No. 4, October-November,
1998, pp. 7-11 (with K. Sanford).
"Distributed
Operating Systems," Encyclopedia of Distributed Computing,
invited paper, P. Dasputa and J, Urban (eds), To appear.
"Parallel
Algorithm Fundamentals and Analysis," International Summer Institute on
Parallel Computer Architectures, Languages, and Algorithms, July 5-10,
1993, Prague, Czech Republic, (with H. Lutfiyya, G. Tsai, and J. Liu). (Also as
UMR Department of Computer Science Technical Report Number CSC 93-05).
"Safe
Computing," IEEE Potentials, October, 1989, pp. 29-31 (with T.
Casavant).
"Personal
Computing for the Visually Impaired," IEEE Potentials, May, 1989,
pp. 17-20. Education Publications "Teaching the Practice of Formal
Methods in Distributed Computing Systems - A Module" Teaching Formal
Methods: Curriculum Development Workshop,
"Parallel
Programming as an Early Paradigm,"
Technical Reports
"History
Clipping in Event-Driven Distributed Systems," UMR Department of
Computer Science Technical Report Number CSC 00-01 (with M. Chittajulu).
"From Formal
Security Specifications to Executable Assertions - A Distributed Systems
Preliminary Study," UMR Department of Computer Science Technical Report
Number CSC 95-01 (with C. Serban)
"Initial
Experimental Results for Controlling the Cutting Force in End Milling
Operations," Dept. of MAE&EM, University of Missouri-Rolla, Rolla,
Missouri, Technical Memorandum MAE-TM-31, September 1994. (with Xu, Q.,
Luo, T., Krishnamurthy, K., and Lu, W.)
"An Approach
for Implementing On-Line Learning for Force Control in End Milling
Operations," Dept. of MAE&EM, University of Missouri-Rolla, Rolla,
Missouri, Technical Memorandum MAE-TM-30, August 1994. (with Smolik, T.,
Krishnamurthy, K. and Lu, W.)
"Experimental
Setup to Test Intelligent Control Algorithms for Controlling Cutting Force in
End Milling Operations," Dept. of MAE&EM, University of
Missouri-Rolla, Rolla, Missouri, Technical Memorandum MAE-TM-29, May 1994.
(with Su, A., Swope, K., Krishnamurthy, K., and Lu, W.)
"Efficient
Run-Time Assurance in Distributed Systems Through Selection of Executable
Assertions," UMR Department of Computer Science Technical Report Number
CSC 94-01 (with M. Schollmeyer)
"Using
Temporal Subsumption for Developing Efficient Error-Detecting Distributed
Algorithms," UMR Department of Computer Science Technical Report Number
CSC 93-28 (with M. Schollmeyer)
"Formal
model and specification of deadlock," UMR Department of Computer
Science Technical Report CSC-93-31 (with P. Li).
"Formal
verification of distributed deadlock detection algorithm using a time-dependent
proof technique," UMR Department of Computer Science Technical Report
Number CSC-94-06 (with P. Li).
"An
Algorithm for Generating Executable Assertions for Fault Tolerance," UMR
Department of Computer Science Technical Report Number CSC 92-01 (with H.
Lutfiyya and M. Schollmeyer).
"How to Program in CCSP"
UMR Department of Computer Science Technical Report CSC-94-20 (with
"CCSP - A
Formal System for Distributed Program Debugging," UMR Department of
Computer Science Technical Report CSC-94-13 (with
"Fault
Tolerant Concurrent Branch and Bound Algorithm Derived From Program
Verification," UMR Department of Computer Science Technical Report
Number CSC 92-02 (with H. Lutfiyya and A. Sun).
"A Divide
and Conquer Ring Embedding Scheme on Hypercubes With Efficient Recovery
Ability," UMR Department of Computer Science Technical Report Number
CSC 92-03 (with J. Liu).
"Fault-Tolerant
Distributed Database Lock Managers Formally Derived From Program
Verification," UMR Department of Computer Science Technical Report
Number CSC 92-05 (with H. Lutfiyya and M. Schollmeyer).
"An Improved
Characterization of 1-Step Recoverable Embeddings: Rings in Hypercubes," UMR
Department of Computer Science Technical Report Number CSC 92-07 (with J.
Liu and T. Sager).
"An Enhanced
Reconfigurable Embedding Scheme for Rings in Hypercubes," UMR
Department of Computer Science Technical Report Number CSC 92-08 (with J.
Liu).
"Fault
Tolerance in Concurrent Systems Through Formal Methods," UMR Department
of Computer Science Technical Report Number CSC 92-14 (with H. Lutfiyya).
"Formal
Generations of Executable Assertions for Application-Oriented Fault
Tolerance," UMR Department of Computer Science Technical Report Number
CSC 92-15 (H. Lutfiyya, M. Schollmeyer).
"Using
Minimal and Maximal Fault Tolerance for the Assessment of Fault-Tolerant
Algorithms," UMR Department of Computer Science Technical Report Number
CSC 92-16 (with M. Schollmeyer).
"A Run-Time
Decision Procedure for Responsive Computing Systems" UMR Department of
Computer Science Technical Report Number CSC 93-29, (with M. Insall and G.
Tsai)
"Constructing
an Interval Temporal Logic for Real-Time Systems" UMR Department of
Computer Science Technical Report Number CSC 93-25, (with M. Insall and G.
Tsai)
"Ensuring
the Satisfaction of a Temporal Specification at Run-Time" UMR
Department of Computer Science Technical Report Number CSC 93-20, (with M.
Insall and G. Tsai)
"Fault-Tolerant
Distributed Deadlock Detection/Resolution," UMR Department of Computer
Science Technical Report Number CSC 92-04 (also in Proceedings of the
17th International COMPSAC) (with P. Li)
"Relaxing
Synchronization in Distributed Simulated Annealing," UMR Department of
Computer Science Technical Report Number CSC 92-06 (with C. E. Hong) (Also
as "Maximum Tolerable Error Bound in Distributed Simulated
Annealing," ETRI Journal. Vol. 15, No. 3-4, Jan 1994, p 1-26 (with
C. Hong and H. Ahn))
"Use of
Multigrid Methods to Improve Parallel Speedup of the Solution of Non-Linear
Partial Differential Equations" UMR Intelligent
"Fault-Tolerant
Parallel Matrix Multiplication with One Iteration Fault Detection
Latency", UMR Department of Computer Science Technical Report Number
CSC 91-6 (with C. E. Hong).
"Comparison
of Three Axiomatic Systems for CSP" UMR Department of Computer Science
Technical Report Number CSC 91-7, (with H. Lutfiyya).
"SMILI -
Visualization of Asynchronous Massively Parallel Progams", UMR
Department of Computer Science Technical Report Number CSC 91-8 (with R.
Khanna).
"Composite
Stock Cutting Through Simulated Annealing" UMR Department of Computer
Science Technical Report Number CSC 91-9, (with H. Lutfiyya).
"A
Visualization Model for Massively Parallel Algorithms" UMR Department
of Computer Science Technical Report Number CSC 91-11, (with R. Khanna).
"Formal
Generations of Executable Assertions for a Fault-Tolerant Parallel Bitonic
Sort" UMR Department of Computer Science Technical Report Number CSC
91-12, (with H. Lutfiyya).
"Formal
Generation of Executable Assertions for a Fault-Tolerant Parallel Matrix
Relaxation Algorithm" UMR Department of Computer Science Technical
Report Number CSC 91-13, (with H. Lutfiyya).
"Application-Oriented
Fault-Tolerant Parallel Branch) Bound" UMR Department of Computer
Science Technical Report Number CSC 91-14, (with A. Y. Sun).
"Experimental
Computation Laboratory, 1990-1991 Annual Report" UMR Department of
Computer Science Technical Report Number CSC 91-15.
"Multicast
Routing in Unreliable Networks" UMR Department of Computer Science
Technical Report Number CSC 91-16, (with M. Schollmeyer).
"Formal
Methods of Real-Time Systems" UMR Department of Computer Science
Technical Report Number CSC 91-17, (with S. M. Tsai).
"Effect of
Domain Decomposition on Parallel Speedup of the Solution of Non-Linear Partial
Differential Equations" UMR Intelligent
"Composite
Stock Cutting Through Simulated Annealing," UMR Intelligent
"Experimental
Computation Laboratory, 1989-1990 Annual Report," Technical Report, UMR
Department of Computer Science, July, 1990.
"Neural
Controller for a Wastewater Treatment System," UMR Intelligent
Reliable
Parallel Processing - The Application Oriented Paradigm, Ph.D. Dissertation, Department of
Computer Science,
"Design of a
Reliable Parallel Environment Through Application Oriented Specification,"
Technical Report MSU-ENGR-87-023, Department of Computer Science,
"High Level
Abstraction of Fault-Tolerance under Byzantine Fault Conditions," Technical
Report MSU-ENGR-86-021, Department of Computer Science,
Published Reviews
Review of Taylor,
Richard N. and Levine, David L., and Kelly, Cheryl D., "Structural Testing
of Concurrent Programs," Vol. 34, No. 9, September, 1993.
Review of Abbott,
Russell, J. "Resourceful Systems of Fault Tolerance, Reliability, and
Safety," Vol. 32, No. 3, March, 1991.
Review of Grant,
Clive, Computing for Engineers: a problem solving approach to programming in
Pascal, Computing Reviews, Vol. 31, No. 8, August, 1990, p. 393.
Review of
Tripathi, Satish, Finkel, David, and Gelenbe, Erol, "Load Sharing in
Distributed Systems with Failures," Computing Reviews, Vol. 30, No.
9, September, 1989, p. 478.
Review of
Tremblay, Jean-Paul and Bunt, Richard B., Introduction of Computer Science:
An Algorithmic Approach, Computing Reviews, Vol. 30, No. 9,
September, 1989, p. 439.
Review of
Morganti, M. "Reliable Communications," Computing Reviews,
Vol. 30, No. 2, February, 1989.
Review of Kime,
Charles, "System Diagnosis," Computing Reviews, Vol. 29, No.
7, July, 1988, pp. 370-371.
Academic Activities
Courses Created
1995 CSE 534/C. Sc. 384 -
Distributed Operating Systems - This is a study of modern operating
systems, particularly distributed operating systems. Topics include a review of
network systems and interprocess communication, causality, distributed state
maintenance, failure detection, reconfiguration and recovery, load balancing,
distributed file systems, distributed mutual exclusion, and stable property
detection including deadlock detection.
1990 C. Sc. 487 - Parallel Computation
Theory - research-oriented study of theoretical aspects of organizing
multiple, independent, and loosely connected processors to perform coherent
problem solving.
1989 C. Sc. 485 - Distributed
Computing - research-oriented study of formal methods of logic in
reasoning about distributed and concurrent computer systems.
1988 C.Sc. 410 - Computer Science Seminar
- research presentations of Departmental interest for graduate and
undergraduate students.
1988 C. Sc. 385 - Computer Communications
and Networks - first year graduate study of fundamental aspects of computer
communications and networking through the use of network architecture models
coupled with laboratory experiences.
Courses Taught (in addition to those created)
2000
C.Sc. 307 - Software Testing and Quality Assurance
1998-2000 C.Sc. 397/398 - Senior Projects in
Computer Science
1994 C.Sc. 253 - Data Structures II
1996-2000 C.Sc. 234 - Computer Architecture I
Graduate Student ThesesCompleted |
||||
|
Name |
Support |
Title |
Degree |
Grad. Date |
|
Chul-Eui Hong |
NSF |
Asynchronous Parallel Simulated
Annealing |
Ph.D. |
1992 |
|
Pei-Yu Li |
|
Fault-Tolerant Distributed
Deadlock Detection |
Ph.D. |
1994 |
|
Jun-Lin Liu |
|
Recoverable Ring Embeddings in
Hypercubes |
Ph.D. |
1993 |
|
Jui-Lin Liu |
UMR |
Computational Mathematics
(co-supervised) |
Ph.D. |
1996 |
|
Hanan Lutfiyya |
NSF |
Fault Tolerance in Concurrent
Systems Through Formal Methods |
Ph.D. |
1992 |
|
Martina Schollmeyer |
ASOSR/UMR |
Formal Methods for Subsumption
of Assertions for Fault Tolerance in Changeling |
Ph.D. |
1994 |
|
Cristina Serban |
AFOSR/UMR |
Run-Time Security Evaluation
(RTSE) for Distributed Applications |
Ph.D. |
1996 |
|
C. Sreerambhatla |
UMR |
Fault Tolerance and Security in
an AHS System |
M.S. |
2001 |
|
Aggie Sun |
NSF/AFOSR |
Declarative Approach to
Generalizing the Understanding of Program Behavior Through Program Visualization |
Ph.D. |
1996 |
|
Su-Mei Tsai |
AFOSR |
Ph.D. |
1994 |
|
|
Rashi Khanna |
NSF |
A Visualization Model for
Massively Parallel Algorithms |
M.S. |
1991 |
|
Henry Clark |
UMR |
DAWGSA Distributed Compute
Server Utilizing Idle Workstations |
M.S. |
1990 |
|
Steven Franks |
MDC |
An Asynchronous Parallel
Multigrid Algorithm |
M.S. |
1990 |
|
Alan Su |
NSF |
A Deterministic Membership
Algorithm in Asynchronous Distributed Systems |
M.S. |
1994 |
|
C. Marutikumar |
UMR |
History Clippings in an AHS
System |
M.S. |
2000 |
|
Undergraduate Student Research Supervised |
||||
|
I. Baird |
|
Insider Threat Creation |
B.S. |
|
|
L. Forschler |
|
An Experiment in OpenGL
Landscaping |
B.S. |
1998 |
|
J. Lovitt |
Boeing |
Component Expansion in XML |
|
|
|
R. Mensching |
|
Secure Access Protocols |
B.S. |
1998 |
|
R. Mahoney |
Mid AM |
Automated Highway System
Simulations |
B.S. |
1998 |
|
J. Sirois |
Mid AM |
Automated Highway System
Simulations |
B.S. |
1998 |
|
Graduate Student ThesesActive |
||||
|
Name |
Support |
Area |
Degree |
|
|
A. Armbruster |
NSF |
Distributed Run-Time Control |
Ph.D. |
|
|
S. Simsek |
UMR |
Insider Threat Detection |
M.S. |
|
Professional Activities
CAMPUS Committee Service
2004-2005
·
Electrical
and Computer Engineering Department Finlay Chair Search Committee
·
ABET
Task Force Chair
·
Graduate
Faculty Council
·
Department
Graduate Policies Procedures Committee Chair
·
Campus
Tenure Committee
2003-2004
·
Graduate
Faculty Council
·
Department
Graduate Policies Procedures Committee Chair
2002-2003
·
ABET
Reaccreditation Effort Chair
·
Computer
Engineering Departmental Faculty Search Committee
·
Graduate
Faculty Council
·
Department
Graduate Policies Procedures Committee Chair
·
Campus
Tenure Committee
2001-2002
·
Computer
Engineering Departmental Faculty Search Committee
·
Electrical
and Computer Engineering Steering Committee
·
Chair
Ad Hoc Committee on Division of Foundational Studies
·
Campus
Tenure Committee
2000-2001
·
Computer
Engineering Departmental Faculty Search Committee
1999-2000
1998-1999
1997-1998
·
Campus
Safety Committee
·
Computer
Science Departmental Faculty Search committee
·
Computer
Science Department CSAB Reaccreditation Coordinator
1996-1997
·
Campus
Doctoral Faculty
·
Campus
Safety Committee
1995-1996
·
Campus
Doctoral Faculty
1994-1995
·
Campus
Doctoral Faculty
1993-1994
·
Campus
Doctoral Faculty
1992-1993
·
Campus
Doctoral Faculty
·
College
of Arts and Sciences Planning Committee
1992-1993
1991-1992
1990-1991
1989-1990
1988-1989
1987-1988
1986-1987
National and International Committee Service
2004-2005
·
Student Volunteer Chair, IEEE ICSE 2005.
·
Associate Editor, International Journal of Computer
Applications
2001-2002
·
Program
Committee, IEEE COMPSAC
·
Panelist
- NSF Software Engineering and Languages
2000-2001
·
Program
Committee 2001 International Conference on Parallel Processing
·
Program
Committee, IEEE COMPSAC
·
Session
Chair, ISCA 13th International Conference on Parallel and Distributed Computing
Systems.
1999-2000
1997-1998
1995-1996
1994-1995
1992-93
1990-1991
1989-90
Community Service
2005 Guest
Lecturer
2003- Member,
1999 Volunteer,
1998
1997
Volunteer
- Mark Twain Elementary Science Olympiad
1991-1993
Judge,
South
Awards
1994 Phillips Petroleum Foundation Faculty
Excellence Award, University of Missouri-Rolla ($2500)
1993 IEEE Computer Society Certificate of
Appreciation for contributions to the 1993 ICDCS
1992 Phillips
Petroleum Foundation Faculty Excellence Award, University of Missouri-Rolla
($2500)
1991 Phillips Petroleum Foundation Faculty
Excellence Award, University of Missouri-Rolla ($2500)
1990 Amoco Foundation Faculty Excellence Award,
University of Missouri-Rolla ($2500)
1989 McDonnell
1988- Doctoral Faculty Member, University of
Missouri-Rolla
1988 Outstanding Graduate Student Award,
Department of Computer Science,
9/87-6/88 GTE Research Fellowship (renewal)
1/87-6/87 GTE Research Fellowship
9/86-6/87 Graduate
Office Fellowship,
2005 Bad things about distributed computing, UMR ACM
Chapter, February, 2005.
2004 FACTS Applications for Transmission System
Stability, DOE Program Review,
2004 Advanced Protection and Control of the Power Grid, NSF Critical
Information Infrastructure Protection Workshop, October, 2004.
2003 Fault-Tolerant Power
Grids,
2003 Bad things about distributed computing, UMR ACM
Chapter, February, 2003.
2002 Trustworthy Object-Oriented Distributed Embedded Hybrid Systems Invited Presentation at the 2002 NSF-Sponsored US-EU Workshop, Virginia, October, 2002.
1999
"Fault-Tolerant
and Secure Automated Highway System Software - a Safety Prototype" given
at the Mid-America Transportation Center and at the St. Louis ACM
Chapter.
1994 "Formal Derivation of High Assurance
Concurrent Software," given at AFOSR Software Systems Meeting,
1994 "Parallel Computing for Engineering
Problems," UMR Department of Civil Engineering.
1994 "Computing: Science, Pseudo-Science, or
Belief?"
1993 "Parallel Algorithm Fundamentals and
Analysis," International Summer Institute on Parallel Computer
Architectures, Languages, and Algorithms, July 5-10, 1993,
1993 "Computing: Science, Pseudo-Science, or Belief?" UMR Last Lecture
Series.
1992 "Error-Detecting Concurrent Software
through Changeling" University of Illinois-Chicago.
1992 "Assured Concurrent Software Through
Application-Oriented Fault Tolerance," McDonnell Douglas Corporation,
1992 "Assured Concurrent Software Through
Application-Oriented Fault Tolerance,"
1991 "Introduction to Parallel Computing on
Distributed Memory Architecture,"
1991 "Parallel Computing for Electromagnetic
Compatibility," IEEE Symposium on EMC,
1991 "Introduction to Parallel Computing on
Distributed Memory Architecture," University of
1991 "Dependable Parallel Processing through
Application-Oriented Fault Tolerance,"
1990 "The Quest for Dependable MIMD
Algorithms,"
1990 "Parallel
Processing - Termites vs. Chainsaws," Engineer's Club of
1988 "Security
in Computer Networks,"
International Journal of
Computer Aided VLSI Design, IEEE Transactions on Parallel and Distributed Systems, Journal
of Parallel and Distributed Computing, Journal of Systems and Software,
IEEE Computer, IEEE Computers, Software, and Applications Conference
(COMPSAC), IEEE International Conference on Parallel Processing, Hawaii
Conference on System Sciences, IEEE Transactions on Computers, IEEE
Transactions on Software Engineering, IEEE Transactions on Data
Engineering, Frontiers of Massively Parallel Computing, ACM
Computing Reviews, Univbersity of Missouri Research Board, Computing
Reviews, National Science Foundation, and Department of Energy.
1991-1992
Visiting Scholar -
Nonacademic Experience
10/82-9/85
6/84-9/85 Capacity
Planning Analyst
10/82-5/84 Sr.
Systems Programmer
3/81-10/82 Badger Meter, Inc.,
Systems Programmer/Database Administrator
12/79-2/81
Systems Programmer