• Y. Liu, B. Cukic, S. Gururajan, Validating Neural Network-based Online Adaptive Systems: A Case Study, Software Quality Journal, Vol. 15, No. 3 (2007), pp. 309-326..
• T. M. Khoshgoftaar, B. Cukic, N. Seliya, An Empirical Assessment on Program Module-Order Models, Quality Technology and Quantitative Management, Vol. 4, No. 2 (2007), pp. 171-190.
• Y. Liu, B. Cukic, E. Fuller, S. Yerramalla, S. Gururajan, Monitoring Techniques for an On-Line Neuro-Adaptive Controller, Journal of Systems and Software, Vol. 79 (2006), pp. 1527-1540.
• S. Yerramalla, E. Fuller, B. Cukic, A Validation Approach for Neural Network-based Online Adaptive Systems, Software - Practice and Experience, Vol. 36 (2006), pp. 1209-1225.
• N. A. Schmid, M. V. Ketkar, H. Singh, B. Cukic, Performance Analysis of Iris-Based Identification System at the Matching Score Level, IEEE Transactions on Information Forensics and Security, Vol. 1, No. 2, June 2006, pp 154-168.
• D. Desovski, V. Gandikota, Y. Liu, Y. Jiang, B. Cukic, Verification and Validation of a Fingerprint Image Registration Software, EURASIP Journal on Applied Signal Processing, Vol. 2006, Article ID 15940, pp. 1-9.
• S. Yacoub, B. Cukic, H. H. Ammar, A Scenario Based Reliability Analysis Approach for Component Based Software, IEEE Transactions on Reliability, Vol. 53, No. 4, pp. 465-480, December 2004.
• P. J. Boland, H. Singh, B. Cukic: The Stochastic Precedence Ordering with Applications in Sampling and Testing, Journal of Applied Probability, Vol. 41, pp. 73-82, March 2004.
• B. Cukic, E. Gunel, H. Singh, L. Guo, The Theory of Software Reliability Corroboration, IEICE Transactions on Information and Systems, Vol. E86-D, No. 10, October 2003.
• P. J. Boland, H. Singh, B. Cukic: Comparing Partition and Random Testing via Majorization and Schur Functions, IEEE Transactions on Software Engineering, Vol. 29, No. 1, pp. 88-94, January 2003.
• P. J. Boland, H. Singh, B. Cukic: Stochastic Orders in Partition and Random Testing, Journal of Applied Probability, Vol. 39, 2002, pp. 555-565.
• B. Cukic, B. J. Taylor, H. Singh, Automated Generation of Test Trajectories for Embedded Flight Control Systems, International Journal on Software Engineering and Knowledge Engineering, Vol. 12, No. 2, pp. 175-200, April 2002.
• T. Khoshgoftaar, B. Cukic, N. Seliya, Predicting Fault-Prone Modules in Embedded Systems Using Analogy Based Classification Models, International Journal on Software Engineering and Knowledge Engineering, Vol. 12, No. 2, pp. 201-222, April 2002.
• T. Menzies, B. Cukic, Adequacy of Limited Testing for Knowledge Based Systems, International Journal on Artificial Intelligence Tools (IJAIT), Vol. 9, No. 1 (2000), pp. 153-172.
• H. Ammar, B. Cukic, C. Fuhrman, A. Mili, A Comparative Analysis of Hardware and Software Fault Tolerance: Impact on Software Reliability Engineering, Annals of Software Engineering, Volume 10 (2000), pp. 103-150.

• I. R. Chen, B. Cukic, High Assurance Software Systems, The Computer Journal, Vol. 49, No. 5, 2006, pp. 507-508.
• B. Cukic, Guest Editor`s Introduction: The Promise of Public Software Engineering Data Repositories, IEEE Software, Vol. 22, No. 6, Nov - Dec. 2005, pp 20 - 22.
• B. Cukic, The Virtues of Assessing Software Reliability Early IEEE Software, Vol. 22, Issue 3, May - June 2005, pp.50-53.
• T. Menzies, B. Cukic, When to Test Less, IEEE Software, Vol. 17, No. 5, pp.107-112, September - October 2000.

• Y. Ma, L. Guo, B. Cukic, A Statistical Framework for the Prediction of Fault Proneness, in Advances in Machine Learning Applications in Software Engineering, D. Zhang and J. P. Tsai (Eds), Idea Group Publishing, 2007, pp. 237-264.
• D. Desovski, B. Cukic, A Component-Based Approach to Verification and Validation of Formal Software Models, in Architecting Dependable Systems IV, R. de Lemos et. al. (Eds), Lecture Notes in Computer Science LNCS 4615, Springer Verlag, 2007, pp 89-114.
• Y. Liu, B. Cukic, J. Schumann, M. Jiang, Performance Analysis of Dynamic Cell Structures, in Trends in Neural Computation, Studies in Computational Intelligence (SCI), Volume 35/2007, Springer-Verlag, pp. 367-390.
• E. Fuller, S. Yerramalla, B. Cukic, Stability Properties of Neural Networks, in Methods and Procedures for the Verification and Validation of Artificial Neural Networks, Brian J Taylor (editor), Springer Science, 2006, pp 97 - 108.
• B. Cukic, E. Fuller, M. Mladenovski, S. Yerramalla, Run-Time Assessment of Neural Network Control Systems, in Methods and Procedures for the Verification and Validation of Artificial Neural Networks, Brian J Taylor (editor), Springer Science, 2006, pp. 257 - 269.
• A. Mili, B. Cukic, Y. Liu, R. Ben Ayed, Towards the Verification and Validation of On-Line Learning Adaptive Systems, in Software Engineering with Computational Intelligence, T. Khoshgoftaar (editor), Kluwer Academic Publishers, April 2003.
• T. Menzies, B. Cukic, How Many Tests are Enough? Handbook of Software Engineering and Knowledge Engineering, Volume II, , S. K. Chung (editor), World Scientific Publishers, pp. 343-365, March 2002.
• B. Cukic, F. B. Bastani: Software Design Principles for Improved Reliability Assessment, Recent Advances in Reliability and Quality Engineering, Hoang Pham (editor), World Scientific Publishers, pg. 271-290, 2001.
• T. Menzies, B. Cukic, H. Singh, Agents Talking Faster, Formal Approaches to Agent Based Systems, J.L. Rash, C.A. Rouff, W. Truszkowski, D. Gordon, M.G. Hinchey (editors), Lecture Notes in Artificial Intelligence, LNAI 1871, Springer, pp. 194-208, 2001.

• Y. Jiang, B. Cukic, T. Menzies, "Fault Prediction using Early Lifecycle Data, 18th Int'l Symposium on Software Reliability Engineering (ISSRE 2007), Trollhattan, Sweden, Nov. 2007, pp. 237-246.
• Y. Ma, B. Cukic, Adequate and Precise Evaluation of Predictive Models in Software Engineering Studies, 3rd IEEE/ACM Workshop on Predictive Models in Software Engineering (PROMISE), Minneapolis, MN, May 2007.
• N. Bartlow, N. Kalka, B. Cukic, A. Ross, Protecting Iris Images through Asymetric Digital Watermarking, 5th IEEE Workshop on Automatic Identification Advanced Technologies (AUTO ID 2007), Alghero, Italy, June 2007, pp. 192-197.
• D. Desovski, B. Cukic, A Strategy for Verification of Decomposable SCR Models, 12th IEEE Int`l Pacific Rim Symposium on Dependable Computing, Riverside, CA, Dec. 2006, pp. 11-18.
• N. Bartlow, B. Cukic, Evaluating the Reliability of Credential Hardening through Keystroke Dynamics, 17th Int`l Symposium on Software Reliability Engineering (ISSRE 2006), Raleigh, NC, Nov. 2006, pp. 117-126.
• P. Bracchi, B. Cukic, V. Cortellessa, Modeling the Performance of Border Inspections with Electronic Travel Documents, 17th Int`l Symposium on Software Reliability Engineering (ISSRE 2006), Raleigh, NC, Nov. 2006, pp. 237-244.
• D. Owen, D. Desovski, B. Cukic, Effectively Combining Software Verification Strategies: Understanding Different Assumptions, 17th Int`l Symposium on Software Reliability Engineering (ISSRE 2006), Raleigh, NC, Nov. 2006, pp. 321-330.
• N. D. Kalka, J. Zuo, V. Dorairaj, N. A. Schmid, and B. Cukic, Image Quality Assessment for Iris Biometric, Proc. 2006 SPIE Conf. on Biometric Technology for Human Identification III, Orlando, FL, April 2006, vol. 6202, pp. 61020D-1-62020D-11.
• D. Owen, D. Desovski, B. Cukic, Random Testing of Formal Software Models and Induced Coverage, 1st Int`l Workshop on Random Testing, International Symposium on Software Testing and Analysis 2006, Portland, ME, July 2006.
• P. Popic, D. Desovski, W. Abdelmoez, B. Cukic, Error Propagation in the Reliability Analysis of Component Based Systems, 16th Int`l Symposium on Software Reliability Engineering (ISSRE 2005), Chicago, IL, Nov. 2005, pp. 53-62.
• D. Desovski, Y. Liu, B. Cukic, Linear Randomized Voting Algorithm for Fault Tolerant Sensor Fusion and the Corresponding Reliability Model, 9th IEEE Int`l High Assurance Systems Symposium (HASE 2005), Heidelberg, Germany, October 2005.
• Y. Ma, M. Schuckers, B. Cukic, Guidelines for Appropriate Use of Simulated Data for Bio-Authentication Research, 4th IEEE Workshop on Automatic Identification Advanced Technologies (AUTO ID), Buffalo, NY, October 2005, pp. 251-256.
• Fuller, S. Yerramalla, B. Cukic, S. Gururajan, An Approach to Predicting Non-Deterministic Neural Network Behavior, International Joint Conference on Neural Networks, IJCNN 2005, Montreal, Canada, July - August 2005.
• Y. Liu, B. Cukic, S. Yerramalla. S. Gururajan, Validity Index in Dynamic Cell Structures, International Joint Conference on Neural Networks, IJCNN 2005, Montreal, Canada, July - August 2005.
• S. Yerramalla, B. Cukic, M. Mladenovski, E. Fuller, Stability Monitoring and Analysis of Learning in an Adaptive System, Int`l Conference on Dependable Systems and Networks, DSN 2005, Yokohama, Japan, July 2005, pp. 70-79.
• Y. Ma, B. Cukic, H. Singh, A Classification Approach to Multi-biometric Score Fusion, 5th Int`l Conference on Audio ? and Video- Based Biometric Person Authentication, AVBPA 2005, Rye Town, NY, July 2005, Lecture Notes in Computer Science, Vol 3546, Springer, pp. 484-493, 2005.
• Y. Liu, B. Cukic, E. Fuller, S. Gururajan, S. Yerramalla, Novelty Detection for a Neural Network based Online Adaptive System, 29th Annual International Computer Software and Applications Conference (COMPSAC 2005), Edinburgh, Scotland, July 2005.
• Y. Liu, B. Cukic, M. Jiang, Zhiwei Xu, Predicting with Confidence ? An Improved Dynamic Cell Structure, 1st Intl`l Conferencxe on the Advances in Natural Computation, ICNC 2005, Changsha, China, Aug. 2005, Lecture Notes in Computer Science, Vol 3610, Springer, pp. 750 - 759, 2005.
• N. Schmid, B. Cukic, M. Ketkar, H. Singh,Performance Analysis of Iris Based Identification System at the Matching Score Level, IEEE Int`l Conference on Acoustics, Speach and Signal Processing, ICASSP 2005, Vol. 2, Philadelphia, PA, March 2005, pp. 93-96.
• B. Cukic, M. Mladenovski, D. Desovski, S. Yerramalla, Real-Time Data Fusion Technique for Validation of an Autonomous System, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, Sedona, AZ, February 2005, pp. 121-128.
• S. Yerramalla, Y. Liu, E. Fuller, B. Cukic, S. Gururajan, An Approach to V&V of Embedded Adaptive Systems, 3rd Int`l Workshop on Formal Approaches to Agent-Based Systems, FAABS 2004, Greenbelt, MD, April 2004, Lecture Notes in Computer Science, Vol 3280, Springer, pp. 173-188, 2004.
• M. Li, Y. Wei, D. Desovski, H. Nejad, S. Ghose, B. Cukic, C. Smidts, Validation of a Methodology for Assessing Software Reliability, Proc. 15th Int`l IEEE Symposium on Software Reliability Engineering (ISSRE `04), St. Malo, France, November 2004, pp. 66-76.
• P. Bracchi, B. Cukic, V. Cortellessa, Performability Modeling of Mobile Software Systems, Proc. 15th Int`l IEEE Symposium on Software Reliability Engineering (ISSRE `04), St. Malo, France, November 2004, pp. 77-88.
• D. Desovski, V. Gandikota, Y. Liu, Y. Jiang, B. Cukic, Validation and Reliability Estimation of a Fingerprint Image Registration Software, Proc. 15th Int`l IEEE Symposium on Software Reliability Engineering (ISSRE `04), St. Malo, France, November 2004, pp. 306-313.
• L. Guo, Y. Ma, B. Cukic, H. Singh, Robust Prediction of Fault-Proneness by Random Forests, Proc. 15th Int`l IEEE Symposium on Software Reliability Engineering (ISSRE `04), St. Malo, France, November 2004, pp. 417-428.
• Y. Liu, S. Yerramalla, E. Fuller, B. Cukic, S. Gururajan, Adaptive Control Software: Can We Guarantee Safety? Proc.28th Annual Int`l Computer Software and Applications Conference (COMPSAC `04),Volume 2, pp. 100-103, Hong Kong, October 2004.
• R. Boddu, L. Guo, S. Mukhopadyay, B. Cukic, RETNA: From Requirements to Testing in a Natural Way, Proc. 12th IEEE Int`l Requirements Engineering Conference (RE `04), Tokyo, Japan, September 2004, pp. 244-253.
• L. Guo, S. Mukhopadyay, B. Cukic, Does Your Result Checker Really Check?, The International Conference on Dependable Systems and Networks (DSN-2004), Florence, Italy, June 2004.
• A. Mili, G. Jiang, B. Cukic, Y. Liu, R. Ben Ayed, Towards the Verification and Validation of Online Learning Systems: General Framework and Applications, 37th Hawaii International Conference on System Sciences (HICSS-37 2004), Big Island, Hawaii, January 2004.
• L. Guo, B. Cukic, H. Singh, Predicting Fault Prone Modules by the Dempster-Shafer Belief Networks, 18th IEEE International Conference on Automated Software Engineering, Montreal, CA, October 2003.
• Y. Liu, B. Cukic, T. Menzies, S. Gururajan, M. Napolitano, Validating an On-Line Adaptive System Using Support Vector Data Description, 15th International Conference on Tools with Artificial Intelligence, Sacramento, CA, November 2003.
• B. Cukic, H. Singh, Yan Ma, Optimal Decision Level Acceptance Rules for Multimodal Biometric Systems, Biometrics Consortium, Washington, DC, September 2003.
• S. Yerramalla, E. Fuller, B. Cukic, Lyapunov Analysis of Neural Network Stability in an Adaptive Flight Control System, 6th Symposium on Self Stabilizing Systems (SSS-03), San Francisco, CA, June 2003.
• M. Shereshevsky, B. Cukic, J. Crowel, V. Gandikota, Y. Liu, Software Aging and Multifractality of Memory Resources, The International Conference on Dependable Systems and Networks (DSN-2003), San Francisco, CA, June 2003.
• S. Yerramalla, E. Fuller, B. Cukic, Lyapunov Stability Analysis of the Quantization Error for DCS Neural Networks, 2003 International Joint Conference on Neural Networks (IJCNN 2003), Portland, OR, July 2003.
• R. Ben Ayed, A. Mili, G. Jiang, B. Cukic, Y. Liu, Verifying Properties of On-Line Adaptive Systems, Proceedings of ACS/IEEE International Conference on Computer Systems and Applications, Tunis, July 2003.
• C. Smidts, B. Cukic, E. Gunel, M. Li, H. Singh, Software Reliability Corroboration, 27th Annual NASA/IEEE Software Engineering Workshop, Greenbelt, MD, December 2002.
• D. Owen, T. Menzies, B. Cukic, Saturation Effects in Testing of Formal Models, 13th IEEE International Symposium on Software Reliability Engineering (ISSRE `02), Annapolis, MD, November 2002.
• Y. Liu, T. Menzies, B. Cukic, Data Sniffing: Monitoring of Machine Learning for On-Line Adaptive Systems, 14th International Conference on Tools with Artificial Intelligence, Washington, DC, November 2002.
• T. Menzies, D. Owen, B. Cukic, You Seem Friendly, But Can I Trust You? 2nd NASA Goddard Workshop on Formal Approaches to Agent-Based Systems (FAABS II), Greenbelt, MD, October 2002.
• D. Owen, B. Cukic, T. Menzies, An Alternative to Model Checking: Verification by Random Search of AND-OR Graphs Representing Finite-State Models, 7th IEEE International Symposium on High Assurance Systems Engineering, Tokyo, Japan, October 2002.
• D. Owen, T. Menzies, B. Cukic, What Makes Finite-State Models More (or Less) Testable? (short paper), 17th IEEE International Conference on Automated Software Engineering, Edinburgh, UK, September 2002.
• T. M. Khoshgoftaar, B. Cukic, E. Galeyn, D. Joshy, Predicting Decay in Legacy Software Systems Using Three-Group Classification, 8th ISSAT International Conference on Reliability and Quality in Design, Anaheim, CA, August 2002.
• V. Cortellessa, H. Singh, B. Cukic, Early Reliability Assessment of UML Based Software Models, 3rd International Workshop on Software Performance, Rome, Italy, July 2002.
• H. Singh, V. Cortellessa, B. Cukic, E. Gunel, V. Bharadwaj, A Bayesian Approach to Reliability Prediction and Assessment of Component Based Systems, 12th IEEE International Symposium on Software Reliability Engineering (ISSRE `01), Hong Kong, November 2001.
• M. Fisher, B. Cukic, Automating Techniques for Inspecting High-Assurance Systems, 6th IEEE International Symposium on High Assurance Systems Engineering, Boca Raton, FL, October 2001.
• D. Desovski, B. Cukic, V. Winter, Virtual Environment Modeling for Requirements Validation of High Consequence Systems, 5th IEEE International Symposium on Requirements Engineering (RE 2001), Toronto, CA, August 2001.
• T. Menzies, B. Cukic,? Average Case Coverage for Validation of AI Systems, AIII Workshop on Model-based Validation of Intelligence, 2001 AAAI/Stanford University Spring Symposium Series, March 2001, Stanford University, CA, March 2001.
• B. Cukic, D. Chakravarthy, Bayesian Framework for Reliability Assessment of a Deployed Safety Critical System, 5th IEEE International Symposium on High Assurance Systems Engineering, Albuquerque, NM, November 2000.
• B. Taylor, B. Cukic: Evaluation of Regressive Methods for Automated Generation of Test Trajectories, 11th IEEE Int`l Symposium on Software Reliability Engineering, San Jose, CA, Oct. 2000.
• T. Menzies, B. Cukic, Testing Indeterminate Systems, 11th IEEE Int`l Symposium on Software Reliability Engineering, San Jose, CA, Oct. 2000.
• T. Menzies, B. Cukic, Maintaining Maintainability = Recognizing Reachability WESS 2000 - Workshop on Empirical Aspects of Software Science, San Jose, CA, October 2000.
• R. Ben Ayed, A. Mili, B. Cukic, T. Xia, Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated Model, Proceedings, Design for Safety Workshop, NASA Ames Research Center, Moffet Field, CA, October 2000.
• V. Cortellessa, B. Cukic, A. Mili, M. Shereshevsky, H. Sandhu, D. Del Gobbo, M. Napolitano: Certifying Adaptive Flight Control Software, Proceedings of ISACC 2000: The Software Risk Management Conference, Reston, VA, September 2000.
• T. Menzies, B. Cukic, H. Singh: Agents Talking Faster, NASA Goddard Workshop on Formal Aspects of Agent-Oriented Systems, Greenbelt, MD, April 2000.
• B. Taylor, B. Cukic: Regressive Model Approach to the Generation of Test Trajectories, IEEE Symposium on Application Specific System and Software Engineering Technology, Richardson, TX, March 2000.

Older publications:

• D. Del Gobbo, B. Cukic, S. Easterbrook, M. Napolitano, Fault Detectability Analysis for Requirements Validation of Fault Tolerant Systems, 4th IEEE International Symposium on High-Assurance Systems Engineering, Washington, DC, Nov. 1999.
• T. Menzies, B. Cukic, On the Sufficiency of Limited Testing for Knowledge Based Systems, 11th International Conference on Tools with Artificial Intelligence, Chicago, IL, Nov. 1999, (Technical Report #NASA-IVV-99-011).
• S. Yacoub, B. Cukic, H. Ammar: Scenario-Based Analysis of Component-Based Software, 10th IEEE Int`l Symposium on Software Reliability Engineering, Boca Raton, FL, Nov. 1999.
• A. Mili, B. Cukic, T. Xia, R. Ben Ayed, Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated Model, 14th IEEE International Conference on Automated Software Engineering, Cocoa Beach, FL, Oct. 1999.
• S. Yacoub, B. Cukic, H. Ammar: A Component-Based Approach to Reliability Analysis of Distributed Software Systems, 18th IEEE International Symposium on Reliable Distributed Systems, Lausanne, Switzerland, October 1999.
• B. Cukic, F. B. Bastani, A. Jamoussi, V. Hilford: Accelerating Software Reliability Assessment Through Program Transformations, 5th ISSAT International Conference on Reliability and Quality in Design, Las Vegas, NV, August 1999
• T. Menzies, E. Coiera, B. Cukic Smaller, Faster Agent Dialogues via Conversational Probing, (PDF file), Sixteenth National Conference on Artificial Intelligence (AIII-99), Workshop on Negotiation, Orlando, FL, July 1999,(Technical Report #NASA-IVV-99-013).
• T. Menzies and B. Cukic, Intelligent Testing can be Very Lazy, Workshop on Intelligent Software Engineering, Orlando, FL, July 19, 1999. (Technical Report #NASA-IVV-99-006)
• G. Trakovski, B. Cukic, G. Stojanov, Fuzzy Logic in Neurophysiology: A Case Study, International ICSC Congress on Computational Intelligence: Methods and Applications, Roachester, NY, June 22-25, 1999.
• G. Trajkovski, B. Cukic: On Two Types of LM Fuzzy Lattices, in Computational Intelligence: Theory and Applications, International Conference on Computational Intelligence, Dortmund, Germany, Lecture Notes in Computer Science 1625, Springer, May 1999.
• G. Trajkovski, B. Cukic, M. Bogatinovski, A Comparison of Two Buffer Occupancy Control Algorithms in ATM Networks, 1999 IEEE Symposium on Application-Specific Systems and Softeare Engineering & Technology (ASSET 99), Dallas, TX, March 1999.

• D. Del Gobbo. M. Napolitano, J. Callahan, B. Cukic: Experience in Developing System Requirements Specification for a Sensor Failure Detection and Identification Scheme, The 3rd IEEE High-Assurance Systems Engineering Symposium, Washington, DC, November 13-14, 1998.
• B. Cukic, H. Ammar, K. Lateef: Identifying High-Risk Scenarios of Complex Systems Using Input Domain Partitioning, The 9th International Symposium on Software Reliability Engineering, Paderborn, Germany, November 4-7, 1998.
• B. Cukic: Software Design Principles for Improved Reliability Assessment, The 4th ISSAT International Conference on Reliability and Quality in Design, Seattle, WA, August 12-14, 1998.
• B. Cukic: Accelerated Testing for Software Reliability Assessment, The 21st Annual International Conference MIPRO `98, Opatija, Croatia, May 1998.
• B. Cukic, D. Chakravarthy, D. McCaugherty: Reliability Prediction of a Trajectory Verification System, 1998 IEEE Workshop on Application-Specific System and Software Engineering, Richardson, TX, March 1998.

• B. Cukic, F. B. Bastani: Attaining High Confidence in Software Reliability Assessment, High Integrity Software Conference, Albuquerque, NM, Oct. 1997.
• V. Hilford, F. B. Bastani, B. Cukic: EH*-Extendible Hashing in a Distributed Environment, The 21st Annual International Computer Software and Applications Conference(COMPSAC`97), Washington, DC, Aug. 1997.
• B. Cukic: Combining Testing and Verification in Software Reliability Assessment, 2nd IEEE High-Assurance Systems Engineering Symposium, Washington, DC, Aug.1997
• B. Cukic: Transformational Approach to Software Reliability Assessment, Doctoral Dissertation, Department of Computer Science, University of Houston, Houston, TX, August 1997.
• V. Hilford, M. R. Lyu, B. Cukic, A. Jamoussi, F. B. Bastani: Diversity in the Software Development Process, The 3rd IEEE Workshop on Object-Oriented Real-Time Dependable Systems, February 1997.

• B. Cukic, F. B. Bastani: On Reducing the Sensitivity of Software Reliability to Variations in the Operational Profile, 7th Int`l Symposium on Software Reliability Engineering, White Plains, NY, Oct.1996.
• F. B. Bastani, B. Cukic: Impact of Program Transformation on Software Reliability Assessment, IEEE High-Assurance Systems Engineering Workshop, Niagara-on-the-Lake, Ontario, Canada, Oct. 1996.
• B. Cukic, F. B. Bastani: Developing Highly Reliable Software: The MAP Approach, The 19th Annual International Conference MIPRO `96, Opatija, Croatia, May 1996.
• F. B. Bastani, B. Cukic, V. Hilford, A. Jamoussi: Towards Dependable Safety-Critical Software, The 2nd IEEE Workshop on Object-Oriented Real-Time Dependable Systems, Laguna Beach, CA, February 1996.

• F. B. Bastani, B. Cukic: A Transformational Approach for Measuring Software Reliability, The 4th IEEE International Workshop on Evaluation Techniques for Dependable Systems, San Antonio, TX, October 1995.
• B. Cukic, F. B. Bastani: Bridging the Gaps of Parallel Programming, The 18th Annual International Conference MIPRO `95, Opatija, Croatia, May 1995.
• B. Cukic, F. B. Bastani: The Performance Impact of False Subpage Sharing in KSR-1, The Fifth Symposium on the Frontiers of Massively Parallel Computation, Washington, DC, February 1995.
• B. Cukic, F. B. Bastani, J. F. Novak: KSR-1: The Performance of ALLCACHE Memory, The 17th Annual International Conference MIPRO `94, Rijeka, Croatia, May 1994.
• B. Cukic, F. B. Bastani: Automatic Array Alignment as a Step in the Hierarchical Program Transformation, 8th International Parallel Programming Symposium, Cancun, Mexico, April 1994.
• T. Al Marzooq, B. Cukic, F. B. Bastani: Hierarchical Parallel Program Transformation, Proceedings of the 1993 International Conference on Parallel and Distributed Systems, Taipei, Taiwan, Dec. 1993.
• B. Cukic, J. F. Novak: RISC Architectures - A Decade After, Proceedings of MIPRO `92, Rijeka, Croatia, pg. 3.8 -- 3.15, May 1992.
• B. Cukic, P. Brajak, L. Gyergyek: Programming Environment for PAREX Parallel Processor, In Education and Application of Computer Technology, M. De Blasi, E.Luque, M. Scerry (eds.), Community of Mediterranean Universities, September 1990.
• B. Cukic: Simulation and Performance Evaluation of Software for Multiprocessors, Informatica, Vol. 14, No. 3/90, pg. 44-53, July 1990.