dblp.uni-trier.dewww.uni-trier.de

Bojan Cukic

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
68EEYue Jiang, Bojan Cukic, Tim Menzies: Can data transformation help in the detection of fault-prone modules? DEFECTS 2008: 16-20
67EEYue Jiang, Bojan Cukic, Tim Menzies: Cost Curve Evaluation of Fault Prediction Models. ISSRE 2008: 197-206
66EEYue Jiang, Bojan Cukic, Yan Ma: Techniques for evaluating fault prediction models. Empirical Software Engineering 13(5): 561-595 (2008)
2007
65EEYan Liu, Bojan Cukic, Johann Schumann, Michael Jiang: Performance Analysis of Dynamic Cell Structures. Trends in Neural Computation 2007: 367-389
64EEYan Liu, Bojan Cukic, Srikanth Gururajan: Validating neural network-based online adaptive systems: a case study. Software Quality Journal 15(3): 309-326 (2007)
2006
63EENick Bartlow, Bojan Cukic: Evaluating the Reliability of Credential Hardening through Keystroke Dynamics. ISSRE 2006: 117-126
62EEPaola Bracchi, Bojan Cukic, Vittorio Cortellessa: Modeling the Performance of Border Inspections with Electronic Travel Documents. ISSRE 2006: 237-246
61EEDavid Owen, Dejan Desovski, Bojan Cukic: Effectively Combining Software Verification Strategies: Understanding Different Assumptions. ISSRE 2006: 321-330
60EEDejan Desovski, Bojan Cukic: A Strategy for Verification of Decomposable SCR Models. PRDC 2006: 11-18
59EEDavid Owen, Dejan Desovski, Bojan Cukic: Random testing of formal software models and induced coverage. Random Testing 2006: 20-27
58EEDejan Desovski, Bojan Cukic: A Component-Based Approach to Verification and Validation of Formal Software Models. WADS 2006: 89-114
57EEIng-Ray Chen, Bojan Cukic: High Assurance Software Systems. Comput. J. 49(5): 507-508 (2006)
56EENatalia A. Schmid, Manasi V. Ketkar, Harshinder Singh, Bojan Cukic: Performance analysis of iris-based identification system at the matching score level. IEEE Transactions on Information Forensics and Security 1(2): 154-168 (2006)
55EEYan Liu, Bojan Cukic, Edgar Fuller, Sampath Yerramalla, Srikanth Gururajan: Monitoring techniques for an online neuro-adaptive controller. Journal of Systems and Software 79(11): 1527-1540 (2006)
54EESampath Yerramalla, Edgar Fuller, Bojan Cukic: A validation approach for neural network-based online adaptive systems. Softw., Pract. Exper. 36(11-12): 1209-1225 (2006)
2005
53EEYan Ma, Bojan Cukic, Harshinder Singh: A Classification Approach to Multi-biometric Score Fusion. AVBPA 2005: 484-493
52EEYan Ma, Michael E. Schuckers, Bojan Cukic: Guidelines for Appropriate Use of Simulated Data for Bio-Authentication Research. AutoID 2005: 251-256
51EEYan Liu, Bojan Cukic, Edgar Fuller, Srikanth Gururajan, Sampath Yerramalla: Novelty Detection for a Neural Network-Based Online Adaptive System. COMPSAC (2) 2005: 117-122
50EESampath Yerramalla, Bojan Cukic, Martin Mladenovski, Edgar Fuller: Stability Monitoring and Analysis of Learning in an Adaptive System. DSN 2005: 70-79
49EEDejan Desovski, Yan Liu, Bojan Cukic: Linear Randomized Voting Algorithm for Fault Tolerant Sensor Fusion and the Corresponding Reliability Model. HASE 2005: 153-162
48EEYan Liu, Bojan Cukic, Michael Jiang, Zhiwei Xu: Predicting with Confidence - An Improved Dynamic Cell Structure. ICNC (1) 2005: 750-759
47EEPetar Popic, Dejan Desovski, Walid Abdelmoez, Bojan Cukic: Error Propagation in the Reliability Analysis of Component Based Systems. ISSRE 2005: 53-62
46EEBojan Cukic, Martin Mladenovski, Dejan Desovski, Sampath Yerramalla: Real-Time Data Fusion Technique for Validation of an Autonomous System. WORDS 2005: 121-128
45EEBojan Cukic: The Virtues of Assessing Software Reliability Early. IEEE Software 22(3): 50-53 (2005)
44EEBojan Cukic: Guest Editor's Introduction: The Promise of Public Software Engineering Data Repositories. IEEE Software 22(6): 20-22 (2005)
2004
43EEYan Liu, Sampath Yerramalla, Edgar Fuller, Bojan Cukic, Srikanth Gururajan: Adaptive Control Software: Can We Guarantee Safety? COMPSAC Workshops 2004: 100-103
42EELan Guo, Supratik Mukhopadhyay, Bojan Cukic: Does Your Result Checker Really Check? DSN 2004: 399-404
41EESampath Yerramalla, Yan Liu, Edgar Fuller, Bojan Cukic, Srikanth Gururajan: An Approach to V&V of Embedded Adaptive Systems. FAABS 2004: 173-188
40EEAli Mili, GuangJie Jiang, Bojan Cukic, Yan Liu, Rahma Ben Ayed: Towards the Verification and Validation of Online Learning Systems: General Framework and Applications. HICSS 2004
39EEDejan Desovski, Vijai Gandikota, Yan Liu, Yue Jiang, Bojan Cukic: Validation and Reliability Estimation of a Fingerprint Image Registration Software. ISSRE 2004: 306-313
38EELan Guo, Yan Ma, Bojan Cukic, Harshinder Singh: Robust Prediction of Fault-Proneness by Random Forests. ISSRE 2004: 417-428
37EEMing Li, Y. Wei, Dejan Desovski, Hamed Nejad, Sushmita Ghose, Bojan Cukic, Carol Smidts: Validation of a Methodology for Assessing Software Reliability. ISSRE 2004: 66-76
36EEPaola Bracchi, Bojan Cukic, Vittorio Cortellessa: Performability Modeling of Mobile Software Systems. ISSRE 2004: 77-88
35EERavishankar Boddu, Lan Guo, Supratik Mukhopadhyay, Bojan Cukic: RETNA: From Requirements to Testing in a Natural Way. RE 2004: 262-271
34EESherif M. Yacoub, Bojan Cukic, Hany H. Ammar: A scenario-based reliability analysis approach for component-based software. IEEE Transactions on Reliability 53(4): 465-480 (2004)
2003
33EELan Guo, Bojan Cukic, Harshinder Singh: Predicting Fault Prone Modules by the Dempster-Shafer Belief Networks. ASE 2003: 249-252
32EEMark Shereshevsky, Jonathan Crowell, Bojan Cukic, Vijai Gandikota, Yan Liu: Software Aging and Multifractality of Memory Resources. DSN 2003: 721-730
31EEYan Liu, Srikanth Gururajan, Bojan Cukic, Tim Menzies, Marcello R. Napolitano: Validating an Online Adaptive System Using SVDD. ICTAI 2003: 384-
30EESampath Yerramalla, Edgar Fuller, Martin Mladenovski, Bojan Cukic: Lyapunov Analysis of Neural Network Stability in an Adaptive Flight Control System. Self-Stabilizing Systems 2003: 77-91
29EEPhilip J. Boland, Harshinder Singh, Bojan Cukic: Comparing Partition and Random Testing via Majorization and Schur Functions. IEEE Trans. Software Eng. 29(1): 88-94 (2003)
2002
28EEDavid Owen, Tim Menzies, Bojan Cukic: What Makes Finite-State Models More (or Less) Testable? ASE 2002: 237-240
27EETim Menzies, David Owen, Bojan Cukic: You Seem Friendly, But Can I Trust You? FAABS 2002: 208-219
26EEDavid Owen, Bojan Cukic, Tim Menzies: An Alternative to Model Checking: Verification by Random Search of AND-OR Graphs Representing Finite-State Models. HASE 2002: 119-128
25EEYan Liu, Tim Menzies, Bojan Cukic: Data Sniffing - Monitoring of Machine Learning for Online Adaptive Systems. ICTAI 2002: 16-21
24EETim Menzies, David Owen, Bojan Cukic: Saturation Effects in Testing of Formal Models. ISSRE 2002: 15-26
23EEVittorio Cortellessa, Harshinder Singh, Bojan Cukic: Early reliability assessment of UML based software models. Workshop on Software and Performance 2002: 302-309
22EEBojan Cukic, Brian J. Taylor, Harshinder Singh: Automated Generation of Test Trajectories for Embedded Flight Control Systems. International Journal of Software Engineering and Knowledge Engineering 12(2): 175-200 (2002)
21EETaghi M. Khoshgoftaar, Bojan Cukic, Naeem Seliya: Predicting Fault-Prone Modules in Embedded Systems Using Analogy-Based Classification Models. International Journal of Software Engineering and Knowledge Engineering 12(2): 201-221 (2002)
2001
20 M. S. Fisher, Bojan Cukic: Automating Techniques for Inspecting High Assurance Systems. HASE 2001: 117-126
19EEBojan Cukic: The Need for Verification and Validation Techniques for Adaptive Control System. ISADS 2001: 297-298
18EEHarshinder Singh, Vittorio Cortellessa, Bojan Cukic, Erdogan Gunel, Vijayanand Bharadwaj: A Bayesian Approach to Reliability Prediction and Assessment of Component Based Systems. ISSRE 2001: 12-21
17EEVictor L. Winter, Dejan Desovski, Bojan Cukic: Virtual Environment Modeling for Requirements Validation of High Consequence Systems. RE 2001: 23-30
2000
16EETim Menzies, Bojan Cukic, Harshinder Singh: Agents Talking Faster. FAABS 2000: 194-208
15EETim Menzies, Bojan Cukic, Harshinder Singh, John D. Powell: Testing Nondeterminate Systems. ISSRE 2000: 222-233
14EEBrian J. Taylor, Bojan Cukic: Evaluation of Regressive Methods for Automated Generation of Test Trajectories. ISSRE 2000: 97-109
13 Hany H. Ammar, Bojan Cukic, Ali Mili, Christopher P. Fuhrman: A comparative analysis of hardware and software fault tolerance: Impact on software reliability engineering. Ann. Software Eng. 10: 103-150 (2000)
12EETim Menzies, Bojan Cukic: When to Test Less. IEEE Software 17(5): (2000)
11 Tim Menzies, Bojan Cukic: Adequacy of Limited Testing for Knowledge Based Systems. International Journal on Artificial Intelligence Tools 9(1): 153-172 (2000)
1999
10EEAli Mili, Bojan Cukic, T. Xia, Rahma Ben Ayed: Combining Fault Avoidance, Fault Removal and Fault Tolerance: An Integrated Model. ASE 1999: 137-
9 Goran Trajkovski, Bojan Cukic: On Two Types of LM Fuzzy Lattices. Fuzzy Days 1999: 272-281
8EEDiego Del Gobbo, Bojan Cukic, Marcello R. Napolitano, Steve M. Easterbrook: Fault Detectability Analysis for Requirements Validation of Fault Tolerant Systems. HASE 1999: 231-238
7EETim Menzies, Bojan Cukic: On the Sufficiency of Limited Testing for Knowledge Based Systems. ICTAI 1999: 431-440
6EESherif M. Yacoub, Bojan Cukic, Hany H. Ammar: A Component-based Approach to Reliability Analysis of Distributed Systems. SRDS 1999: 158-167
1998
5EEDiego Del Gobbo, Marcello R. Napolitano, John Callahan, Bojan Cukic: Experience in Developing System Requirements Specification for a Sensor Failure Detection and Identification Scheme. HASE 1998: 209-
1997
4EEVictoria Hilford, Farokh B. Bastani, Bojan Cukic: EH* - Extendible Hashing in a Distributed Environment. COMPSAC 1997: 217-
3EEBojan Cukic: Combining Testing and Correctness Verification in Software Reliability Assessment. HASE 1997: 182-187
1996
2EEFarokh B. Bastani, Bojan Cukic: Impact of program transformation on software reliability assessment. HASE 1996: 214-221
1994
1 Bojan Cukic, Farokh B. Bastani: Automatic Array Alignment as a Step in Hierarchical Program Transformation. IPPS 1994: 578-582

Coauthor Index

1Walid Abdelmoez [47]
2Hany H. Ammar [6] [13] [34]
3Rahma Ben Ayed [10] [40]
4Nick Bartlow [63]
5Farokh B. Bastani [1] [2] [4]
6Vijayanand Bharadwaj [18]
7Ravishankar Boddu [35]
8Philip J. Boland [29]
9Paola Bracchi [36] [62]
10John Callahan [5]
11Ing-Ray Chen [57]
12Vittorio Cortellessa [18] [23] [36] [62]
13Jonathan Crowell [32]
14Dejan Desovski [17] [37] [39] [46] [47] [49] [58] [59] [60] [61]
15Steve M. Easterbrook [8]
16M. S. Fisher [20]
17Christopher P. Fuhrman [13]
18Edgar Fuller [30] [41] [43] [50] [51] [54] [55]
19Vijai Gandikota [32] [39]
20Sushmita Ghose [37]
21Diego Del Gobbo [5] [8]
22Erdogan Gunel [18]
23Lan Guo [33] [35] [38] [42]
24Srikanth Gururajan [31] [41] [43] [51] [55] [64]
25Victoria Hilford [4]
26GuangJie Jiang [40]
27Michael Jiang [48] [65]
28Yue Jiang [39] [66] [67] [68]
29Manasi V. Ketkar [56]
30Taghi M. Khoshgoftaar [21]
31Ming Li [37]
32Yan Liu (Yan (Jenny) Liu) [25] [31] [32] [39] [40] [41] [43] [48] [49] [51] [55] [64] [65]
33Yan Ma [38] [52] [53] [66]
34Tim Menzies [7] [11] [12] [15] [16] [24] [25] [26] [27] [28] [31] [67] [68]
35Ali Mili [10] [13] [40]
36Martin Mladenovski [30] [46] [50]
37Supratik Mukhopadhyay [35] [42]
38Marcello R. Napolitano [5] [8] [31]
39Hamed Nejad [37]
40David Owen [24] [26] [27] [28] [59] [61]
41Petar Popic [47]
42John D. Powell [15]
43Natalia A. Schmid [56]
44Michael E. Schuckers [52]
45Johann Schumann [65]
46Naeem Seliya [21]
47Mark Shereshevsky [32]
48Harshinder Singh [15] [16] [18] [22] [23] [29] [33] [38] [53] [56]
49Carol Smidts [37]
50Brian J. Taylor [14] [22]
51Goran Trajkovski [9]
52Y. Wei [37]
53Victor L. Winter [17]
54T. Xia [10]
55Zhiwei Xu [48]
56Sherif M. Yacoub [6] [34]
57Sampath Yerramalla [30] [41] [43] [46] [50] [51] [54] [55]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)