Skip Navigation

University of Nebraska–Lincoln

Computer Science & Engineering

Research that Defines the Future

Journal Publications  (2003 - 2008)



 
Choueiry, Berthe
Berthe Y. Choueiry and Lin Xu. "An Efficient Consistency Algorithm for the Temporal Constraint Satisfaction Problem." AI Communications, The European Journal on Artificial Intelligence. 17.4 (2004): 213-221 <http://consystlab.unl.edu/our_work/Pa...>
line
Berthe Y. Choueiry, Yumi Iwasaki, and Sheila McIlraith. "Towards a Practical Theory of Reformulation for Reasoning about Physical Systems." Artificial Intelligence. 162.1 (2005): 145-204 <http://consystlab.unl.edu/our_work/Pa...>
line
Robert C. Holte and Berthe Y. Choueiry. "Abstraction and Reformulation in Artificial Intelligence." Philosophical Transactions of the Royal Society Section Biological Sciences. 1.1 (2003): 1197-1204
Cohen, Myra
C. Yilmaz, M.B. Cohen and A. Porter. "Covering Arrays for Efficient Fault Characterization in Complex Configuration Spaces." IEEE Transactions on Software Engineering. 31.1 (2006): 20-34
line
M.B. Cohen and C.J. Colbourn. "Ladder orderings of pairs and RAID performance." Discrete Applied Mathematics. 138.1 (2004): 35-46
line
M.B. Cohen and C.J. Colbourn. "Optimal and pessimal orderings of Steiner triple systems in disk arrays." Theoretical Computer Science. 297.1 (2003): 103-117
Costello, Don
D. Costello. "Designing Effective and Efficient SAP Testing Plans." Enterprise Resource Planning: Teaching and Research. 11.1 (2005): 155-162
Deogun, Jitender
H. Al Nahas, J. S. Deogun & E. Manley. "Proactive Mitigation of Impact of Wormholes and Sinkholes on Routing Security in Energy-Efficient Wireless Sensor Networks." Wireless Networks. 13.4 (2007): 7
line
H. S. Hamza & J. S. Deogun. "WDM Optical Interconnects: A Balanced Design Approach." IEEE/ACM Transactions on Networking. 15.6 (2007): 1565-1578
line
L. Jiang & J. S. Deogun. "SPICE: A New Framework for Data Mining Based on Probability, Logic and Formal Concept Analysis." Fundamenta Informaticae. 78.1 (2007): 467-485
line
H. S. Hamza & J. S. Deogun. "Design Alternatives for N-stage WDM Optical Planar Permutation Networks." Photonic Network Communications. 13.3 (2007): 297-312
line
Y. Lin, H. S. Hamza & J. S. Deogun. "Designing Fast & Bandwidth Efficient Protection Scheme for WDN Optical Networks." Networking. 14.2 (2006): 391-402
line
D. Li, K. Wang, & J.S. Deogun. "A Fuzzy Anomaly Detection System." Lecture Notes in Computer Science. 3917.1 (2006): 167-168
line
L. Kong, J. S. Deogun & M. Ali. "Building Redundant Multicast Trees for Preplanned Recovery in WDM optical networks." Journal of High Speed Networks. 15.4 (2006): 379-398
line
H. Hamza & J. S. Deogun. "Wavelength-division-multiplexing optical Benes-type networks with simultaneous space-wavelength switching." OSA Journal of Optical Networking. 5.11 (2006): 807-828
line
D. Alexander, J. S. Deogun, H. S. Hamza, J. Bruce III, C. Zuhlke, B. Koch & R. Rudebusch. "Demonstration of a Nano-particle Based Optical Diode." Optics Letters. 31.13 (2006): 1957-1959
line
A. Churbanov, I. Rogozin, J.S. Deogun & H. Ali. "Method of predicting Splice Sides based on signal interactions." Biology Direct. 1.1 (2006): 1-23
line
H. S. Hamza & J. S. Deogun. "Designing scalable WDM optical interconnects using predefined wavelength conversions." Journal of Optical Networking. 5.1 (2006): 422-434
line
E. Manley, H. S. Hamza & J. S. Deogun. "Efficient Use of Protection Bandwidth and Switching Resources in Optical WDM Networks." Journal of Optical Networking. 6.4 (2007): 349-368
line
H. S. Hamza & J. S. Deogun. "Design and Analysis of Strictly Nonblocking WDM Optical-Switching Networks." Journal of Optical Networking. 6.4 (2007): 322-340
line
H. Hamza & J. S. Deogun. "Wavelength Exchanging Cross-Connect (WEX) - A New Class of Photonic Cross-Connects." IEEE/OSA Journal of Lightwave Technology. 24.3 (2006): 1101-1111
line
K. Wang, H. Hamza & J. Deogun. "Wavelength and OEO Sharing and Optimization in WDM Mesh Networks with Path Protection." OSA Journal of Optical Networking. 5.3 (2006): 175-192
line
Ahmed M. Mahdy, Jitender S. Deogun, Jun Wang. "Achieving Stability and Fairness in Mobile Ad Hoc Networks." NETWORKING. 3462.2005 (2005): 1449-1452
line
J. Deogun and J. Saquer. "Monotone Concepts for Formal Concept Analysis." Jounal of Discrete Applied Mathematics (Special issue on Data Mining). 144.1 (2004): 70-78
line
Dan Li and J. Deogun. "Interpolation Models for Spatio-temporal Association Mining." Fundamenta Informaticae. 59.2 (February 2004): 153-172
line
S. Harms & J. Deogun. "Sequential Association Rule Mining with Time Lags." Journal of Intelligent Information Systems. 22.1 (2004): 7-22
line
Lin Li, Stephen D. Scott, and Jitender S. Deogun. "Performance Analysis of Optical Packet Switches with a Hybrid Buffering Architecture (invited paper)." The Journal of Optical Networking. 3.6 (2004): 433-449
line
J.S. Deogun, X. Guo, W. Wei, F. Zhange. "Catacondensed hexagonal systems with smaller numbers of Kekule Structures." Journal of Molecular Structure (Theochem). 639.1 (2003): 101-108
line
S. Yan & J.S. Deogun. "Routing in Sparse Splitting Optical Networks with Multicast Traffic." Computer Networks. 41.1 (2003): 89-113
line
S. Yan & J.S. Deogun. "Multi-drop Path Model for Multicast Routing and Wavelength Minimizations." Information Sciences. 149.1 (2003): 113-134
line
J. Deogun, Zs. Tuza, S. Scott, and L. Li. "Weighed edge-decompositions of graphs." Journal of Combinatorial Mathematics and Combinatorial Computing. 53.1 (2005): 197-208
line
D. Li, J. Deogun, W. Spaulding, & B. Shuart. "Dealing with Missing Data: Algorithms Based on Fuzzy Sets and Rough Sets Theories." Transactions on Rough Sets. 4.1 (2005): 37-57
line
H. Cai, J. Wang, D. Li, & J. S. Deogun. "A Novel State Cache Scheme in Structured P2P systems." Journal of Parallel and distributed Computing. 65.1 (2005): 154-168
Dwyer, Matthew
Robby, E. Rodriguez, M.B. Dwyer & J. Hatcliff. "Checking JML specifications using an extensible software model checking framework." International Journal on Software Tools for Technology Transfer (STTT). 8.3 (2006): 280-299
line
M.B. Dwyer, & S. Leue. "Special Section on the Algorithmics of Software Model Checking." International Journal on Software Tools for Technology Transfer. 6.4 (2004): 257-259
line
Ranganath, V.P., Amtoft, T., Banerjee, A., Dwyer, M.B., & Hatcliff, J. "A New Foundation for Control-Dependence and Slicing for Modern Program Structures." ACM Transactions on Programming Languages and Systems. 29.5 (2007). <http://portal.acm.org/citation.cfm?do...>
line
R. Iosif, M. Dwyer & J. Hatcliff. "Translating Java for Multiple Model Checkers: the Bandera Back-End." Formal Methods in System Design. 26.2 (2005): 137-180
line
M.B. Dwyer, L.A. Clarke, J.M. Cobleigh & G. Naumovich. "Flow Analysis for Verifying Properties of Concurrent software Systems." ACM Transactions on Software Engineering and Methodology. 13.4 (2004): 359-430 <http://portal.acm.org/citation.cfm?do...>
line
M.B. Dwyer, J. Hatcliff, V.R. Prasad & Robby. "Exploiting Object Escape and Locking Information in Partial Order Reductions for Concurrent Object-Oriented Programs." Formal Methods in System Design. 25.2 (2004): 199-240
line
C.S. Pasareanu, M.B. Dwyer & W. Visser. "Finding feasible abstract counter-examples." International Journal on Software Tools for Technology Transfer. 5.1 (2003): 34-48
line
Robby, M.B. Dwyer, J. Hatcliff & R. Iosif. "Space-Reduction Strategies for Model Checking Dynamic Software." Electronic Notes in Theoretical Computer Science. 89.3 (2003).
Elbaum, Sebastian
S. Elbaum, S. Kanduri & A. Andrews. "On the Potential of Anomalies as Precursors of Field Failures: An Empirical Study." Empirical Software Engineering Journal. 12.5 (2007).
line
Ram Chilakamarri and Sebastian Elbaum. "Leveraging Disposable Instrumentation to Reduce Coverage Collection Overhead." Journal of Software Testing, Verification, and Reliability. 16.4 (2006): 267-288
line
H. Do, S. Elbaum & G. Rothermel. "Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact." Empirical Software Engineering Journal. 10.4 (2005): 405-435
line
Sebastian Elbaum and Madeline Hardojo. "Profiling Deployed Software: Assessing Strategies and Testing Opportunities." IEEE Transactions on Sofware Engineering. 31.4 (2005): 312-327
line
S. Elbaum, G. Rothermel, S. Karre, and M.Fisher. "Leveraging User Session Data to Support Web Application Testing." IEEE Transactions on Software Engineering. 31.3 (2005): 187-202
line
G. Rothermel, S. Elbaum, A.G. Malishevsky, P. Kallakuri & X. Qiu. "On test suite composition and cost-effective regression testing." ACM Transactions on Software Engineering and Methodology. 13.3 (2004): 277-331
line
S. Elbaum, G. Rothermel, S. Kanduri, and A. Malishevsky. "Selecting a Cost-Effective Test Case Prioritization Technique." Software Quality Journal. 12.3 (2004): 185-210
line
L.Zhao and S.Elbaum. "Software Quality Related Activities in Open Source." Journal of Systems and Software. 66.1 (2003): 65-75
line
S. Elbaum, P.Kallakuri, A.Malishevsly, G.Rothermel, and S.Kanduri. "Understanding the Effects of Changes on the Cost-Effectiveness of Regression Testing Techniques." Journal of Software Testing, Verification, and Reliability. 13.2 (2003): 65-83
Goddard, Steve
Zhirong Chen, Jinsheng You, Ken G. Hubbard, and Steve Goddard. "A Serially Complete U.S. Dataset of Temperature and Precipitation for Decision Support Systems." Journal of Environmental Informatics. 8.2 (2006): 86-99
line
Shifeng Zhang and Steve Goddard. "A Software Architecture and Framework for Web-based Distributed Decision Support Systems." Journal of Decision Support Systems. 43.1 (2007): 1133-1150
line
Jiangyang Huang, Shane M. Farritor, Ala' Qadi, and Steve Goddard. "Control of Heterogeneous Groups of Mobile Robots ." IEEE/ASME Transactions on Mechatronics. 11.2 (2006): 201-215
line
Tsegaye Tadesse, Donald A. Wilhite, Michael J. Hayes, Sherri K. Harms, and Steve Goddard. "Discovering Associations Between Climatic and Oceanic Parameters to Monitor Drought Using Data Mining Techniques in Nebraska." Journal of Climate. 18.10 (2005): 1541-1550
line
Xin Liu and Steve Goddard. "Scheduling Legacy Multimedia Applications." Journal of Systems and Software. 75.3 (2005): 319-328
line
Ken G. Hubbard, Steve Goddard, William D. Sorensen, Nathan Wells, and Thomas T. Osugi. "Performance of Quality Assurance Procedures for an Applied Climate Information System." Journal of Atmospheric and Oceanic Technology. 22.1 (2005): 105-112
line
Jiazheng Shi, Steve Goddard, Anagh Lal, Jason Dumpert & Shane Farritor. "Global Control of Robotic Highway Safety Markers." Journal of Real-Time Systems. 29.1 (2005): 183-205
line
Shane Farritor & Steve Goddard. "Intelligent Highway Safety Markers." IEEE Intelligent Systems. 19.6 (2004): 8-12
line
Nathan Wells, Steve Goddard, and Michael J. Hayes. "A Self-Calibrating Palmer Drought Severity Index." Journal of Climate. 17.12 (2004): 2335-2351
line
Tsegaye Tadesse, Donald A. Wilhite, Sherri K. Harms, Michael J. Hayes, and Steve Goddard. "Drought Monitoring Using Data Mining Techniques: A case study for Nebraska, USA." Natural Hazards. 33.1 (2004): 137-159
line
Shifeng Zhang and Steve Goddard . "The Design and Implementation of an OpenGIS Conforming Map-Feature Server Implementation Specification for CORBA." Journal of Environmental Informatics. 3.2 (2004): 77-88
line
Shifeng Zhang & Steve Goddard. "OpenGIS Conforming Map-Feature Server Implementation Specifications in Component-Based Distributed Systems." Environmental Informatics Archives. 1.2 (2003): 487-496
line
S. Goddard, S. Harms, S. Reichenbach, T. Tadesse, and W. Waltman. "Geospatial Decision Support for Drought Risk Management." Communications of the ACM. 46.1 (2003): 35-37 <http://csce.unl.edu/~goddard/Papers/J...>
Hochstein, Lorin
Mikael Lindvall, Ioana Rus, Paolo Donzelli, Atif Memon, MarvinZelkowitz, Aysu Betin-Can, Tevfik Bultan, Chris Ackermann, Bettina Anders, Sima Asgari, Victor Basili, Jorg Fellmann, Daniel Hirschbach, Lorin Hochstein, Forrest Shull, Roseanne Tvedt, Daniel Pech. "Experimenting with software testbeds for evaluating new technologies." Empirical Software Engineering. 12.4 (Aug 2007): 417-444
line
Lorin Hochstein, Taiga Nakamura, Victor R. Basili, Sima Asgari, Marvin V. Zelkowitz, Jeffrey K. Hollingsworth, Forrest Shull, Jeffrey Carver, Martin Voelp, Nico Zazworka, Philip Johnson. "Experiments to Understand HPC Time to Development." CTWatch Quarterly. 2.4 (2006): 24-32 <http://www.ctwatch.org/quarterly/pdf/...>
line
Nicole Wolter, Michael O. McCracken, Allan Snavely, Lorin Hochstein, Taiga Nakamura, Victor Basili. "What's working in HPC: Investigating HPC User Behavior and Productivity." CTWatch Quarterly. 2.4 (2006): 9-17 <http://www.ctwatch.org/quarterly/pdf/...>
line
Jeffrey Carver, Lorin Hochstein, Richard Kendall, Taiga Nakamura, Marvin Zelkowitz, Victor Basili, Douglass Post. "Observations about Software Development for High End Computing." CTWatch Quarterly. 2.4 (2006): 33-38
line
Andrew Funk, Victor Basili, Lorin Hochstein, Jeremy Kepner. "Analysis of Parallel Software Development using the Relative Development Time Productivity Metric." CTWatch Quarterly. 2.4 (2006): 46-51 <http://www.ctwatch.org/quarterly/pdf/...>
line
Mikael Lindvall, Ioana Rus, Forrest Shull, Marv Zelkowitz, Paolo Donzelli, Atif Memon, Vic Basili, Patricia Costa, Roseanne Tvedt, Lorin Hochstein, Sima Asgari, Chris Ackermann, Daniel Pech. "An Evolutionary Testbed for Software Technology Evaluation." NASA Journal of Innovations in Systems and Software Engineering. 1.1 (2005): 3-11
line
Lorin Hochstein, Mikael Lindvall. "Combating architectural degeneration: A Survey." nformation & Software Technology. 47.10 (2005): 643-656 <http://dx.doi.org/10.1016/j.infsof.20...>
Jiang, Hong
Yifeng Zhu, Hong Jiang, Jun Wang, and Feng Xian. "HBA: Distributed Metadata Management for Large Cluster-based Storage Systems." IEEE Transactions on Parallel and Distributed Systems. 19.4 (April 2008): 1-14
line
Yifeng Zhu and Hong Jiang. "RACE: A Robust Adaptive Caching Strategy for Buffer Cache." IEEE Transactions on Computers. 59.1 (2008): 25-40
line
Feng Xian, Witawas Srisa-an, Hong Jiang. "Garbage Collection: Java Application Servers' Achilles Heel." Journal of Science of Computer Programming. 72.2 (2008): 89-110
line
Yifeng Zhu and Hong Jiang. "A Novel Buffer Cache Management Scheme Based on Context and Location Awareness." ACM SIGMICRO Newsletter. 24.1 (2006): 26-35
line
Ligang He, Stephen A. Jarvis, Daniel P. Spooner, Hong Jiang, Donna N. Dillenberger and Graham R. Nudd. "Allocating Non-real-time and Soft-real-time Jobs in Multiclusters." IEEE Transactions on Parallel and Distributed Systems. 17.2 (2006): 99-112
line
Xiao Qin and Hong Jiang. "A Novel Fault-tolerant Scheduling Algorithm for Precedence Constrained Tasks in Real-Time Heterogeneous Systems." Parallel Computing. 32.5 (2006): 331-446
line
X. Qin, H. Jiang, Y. Zhu and D. Swanson. "A Feedback Control Mechanism for Balancing I/O- and Memory-Intensive Applications on Clusters." Journal of Parallel and Distributed Computing and Practices. 6.4 (2005): 95-107
line
Nader Mohamed, Jameela Al-Jaroodi, and Hong Jiang. "Configurable Communication Middleware for Clusters with Multiple Interconnections." IEICE Transactions of Information and Systems, Special Issue on Hardware/Software Support for High Performance Scientific and Engineering Computing. 46.7 (July 2004): 1657-1665
line
Yifeng Zhu, Hong Jiang, Xiao Qin, Dan Feng, and David R. Swanson. "Exploiting Redundancy to Boost Performance in a RAID-10 Style Cluster-based File System." Journal of Cluster Computing. 9.4 (2006): 433-447
line
Yifeng Zhu and Hong Jiang. "CEFT: A Cost-Effective Fault-Tolerant Parallel Virtual File System." Journal of Parallel and Distributed Computing. 66.1 (2006): 291-306
line
Nader Mohamed, Jameela Al-Jaroodi, and Hong Jiang. "Dependable User-Level Socket over Dual Networks." Special Issue of Journal of Parallel and Distributed Computing (JPDC) on Design and Performance of Networks for Super-, Cluster-, and Grid-Computing,Guest editors: H. Sarbazi-Azad, M. Ould-Khaoua, and A. Zomaya . 65.10 (2005): 1261-1270
line
S. Ray, R. Kannan, D. Zhang, and H. Jiang. "The Weighted Integrity Problem is Polynomial for Interval Graphs." Ars Combinatoria. 79.2 (2006): 51-61
line
Xiao Qin, Hong Jiang, Yifeng Zhu, and David R. Swanson. "Improving the Performance of I/O-Intensive Applications on Clusters of Workstations." Journal of Cluster Computing. 9.3 (2006): 297-311
line
N. Mohamed, J. Aljaroodi, H. Jiang and D. Swanson. "High-Performance Message Striping over Reliable Transport Protocols." Journal of Supercomputing . 38.3 (2006): 261-278
line
Xiao Qin and Hong Jiang. "A Dynamic and Reliability-Driven Scheduling Algorithm for Parallel Real-time Jobs in Heterogeneous Clusters." Journal of Parallel and Distributed Computing. 65.8 (2005): 885-900
line
J. Al-Jaroodi, N. Mohamed, H. Jiang and D. Swanson. "JOPI: A Java Object-Passing Interface." Concurrency and Computation: Practice and Experience. 17.7 (2005): 775-795
line
J. al-Jaroodi, N. Mohamed, H. Jiang and D. Swanson. "A Middleware Infrastructure for Parallel and Distributed Programming Models on Heterogeneous Systems." IEEE Transactions on Parallel and Distributed Systems, Special Issue on Middleware. 14.11 (2003): 1100-1111
line
N. Mohamed, J. Al-Jaroodi, H. Jiang, and D. Swanson. "Scalable Bulk Data Transfer in Wide Area Networks." International Journal of High Performance Computing Applications, Special Issue on Grid Computing: Infrastructure and Applications . 17.3 (2003): 237-248
Lu, Ying
Tian He, John A. Stankovic, Michael Marley, Chenyang Lu, Ying Lu, Tarek Abdelzaher, Sang Son, Gang Tao. "Feedback Control-based Dynamic Resource Management in Distributed Real-Time Systems." Elsevier Journal of Systems and Software, Special Issue on Dynamic Resource Management in Distributed Real-Time Systems. 80.7 (July 2007): 997-1004
line
Chenyang Lu, Ying Lu, Tarek F. Abdelzaher, John A. Stankovic, Sang H. Son. "Feedback Control Architecture and Design Methodology for Service Delay Guarantees in Web Servers." IEEE Transactions on Parallel and Distributed Systems. 17.9 (September 2006): 1014-1027
line
Ying Lu, Tarek F. Abdelzaher, Avneesh Saxena. "Design, Implementation and Evaluation of Differentiated Caching Services." IEEE Transactions on Parallel and Distributed Systems. 15.5 (2004): 440-452
line
Tarek F. Abdelzaher, John A. Stankovic, Chenyang Lu, Ronghua Zhang, Ying Lu. "Feedback Performance Control in Software Services." IEEE Control Systems Magazine. 23.3 (2003): 74-90