2008 |
68 | EE | Yue Jiang,
Bojan Cukic,
Tim Menzies:
Can data transformation help in the detection of fault-prone modules?
DEFECTS 2008: 16-20 |
67 | EE | Yue Jiang,
Bojan Cukic,
Tim Menzies:
Cost Curve Evaluation of Fault Prediction Models.
ISSRE 2008: 197-206 |
66 | EE | Yue Jiang,
Bojan Cukic,
Yan Ma:
Techniques for evaluating fault prediction models.
Empirical Software Engineering 13(5): 561-595 (2008) |
2007 |
65 | EE | Yan Liu,
Bojan Cukic,
Johann Schumann,
Michael Jiang:
Performance Analysis of Dynamic Cell Structures.
Trends in Neural Computation 2007: 367-389 |
64 | EE | Yan Liu,
Bojan Cukic,
Srikanth Gururajan:
Validating neural network-based online adaptive systems: a case study.
Software Quality Journal 15(3): 309-326 (2007) |
2006 |
63 | EE | Nick Bartlow,
Bojan Cukic:
Evaluating the Reliability of Credential Hardening through Keystroke Dynamics.
ISSRE 2006: 117-126 |
62 | EE | Paola Bracchi,
Bojan Cukic,
Vittorio Cortellessa:
Modeling the Performance of Border Inspections with Electronic Travel Documents.
ISSRE 2006: 237-246 |
61 | EE | David Owen,
Dejan Desovski,
Bojan Cukic:
Effectively Combining Software Verification Strategies: Understanding Different Assumptions.
ISSRE 2006: 321-330 |
60 | EE | Dejan Desovski,
Bojan Cukic:
A Strategy for Verification of Decomposable SCR Models.
PRDC 2006: 11-18 |
59 | EE | David Owen,
Dejan Desovski,
Bojan Cukic:
Random testing of formal software models and induced coverage.
Random Testing 2006: 20-27 |
58 | EE | Dejan Desovski,
Bojan Cukic:
A Component-Based Approach to Verification and Validation of Formal Software Models.
WADS 2006: 89-114 |
57 | EE | Ing-Ray Chen,
Bojan Cukic:
High Assurance Software Systems.
Comput. J. 49(5): 507-508 (2006) |
56 | EE | Natalia 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) |
55 | EE | Yan 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) |
54 | EE | Sampath 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 |
53 | EE | Yan Ma,
Bojan Cukic,
Harshinder Singh:
A Classification Approach to Multi-biometric Score Fusion.
AVBPA 2005: 484-493 |
52 | EE | Yan Ma,
Michael E. Schuckers,
Bojan Cukic:
Guidelines for Appropriate Use of Simulated Data for Bio-Authentication Research.
AutoID 2005: 251-256 |
51 | EE | Yan Liu,
Bojan Cukic,
Edgar Fuller,
Srikanth Gururajan,
Sampath Yerramalla:
Novelty Detection for a Neural Network-Based Online Adaptive System.
COMPSAC (2) 2005: 117-122 |
50 | EE | Sampath Yerramalla,
Bojan Cukic,
Martin Mladenovski,
Edgar Fuller:
Stability Monitoring and Analysis of Learning in an Adaptive System.
DSN 2005: 70-79 |
49 | EE | Dejan Desovski,
Yan Liu,
Bojan Cukic:
Linear Randomized Voting Algorithm for Fault Tolerant Sensor Fusion and the Corresponding Reliability Model.
HASE 2005: 153-162 |
48 | EE | Yan Liu,
Bojan Cukic,
Michael Jiang,
Zhiwei Xu:
Predicting with Confidence - An Improved Dynamic Cell Structure.
ICNC (1) 2005: 750-759 |
47 | EE | Petar Popic,
Dejan Desovski,
Walid Abdelmoez,
Bojan Cukic:
Error Propagation in the Reliability Analysis of Component Based Systems.
ISSRE 2005: 53-62 |
46 | EE | Bojan Cukic,
Martin Mladenovski,
Dejan Desovski,
Sampath Yerramalla:
Real-Time Data Fusion Technique for Validation of an Autonomous System.
WORDS 2005: 121-128 |
45 | EE | Bojan Cukic:
The Virtues of Assessing Software Reliability Early.
IEEE Software 22(3): 50-53 (2005) |
44 | EE | Bojan Cukic:
Guest Editor's Introduction: The Promise of Public Software Engineering Data Repositories.
IEEE Software 22(6): 20-22 (2005) |
2004 |
43 | EE | Yan Liu,
Sampath Yerramalla,
Edgar Fuller,
Bojan Cukic,
Srikanth Gururajan:
Adaptive Control Software: Can We Guarantee Safety?
COMPSAC Workshops 2004: 100-103 |
42 | EE | Lan Guo,
Supratik Mukhopadhyay,
Bojan Cukic:
Does Your Result Checker Really Check?
DSN 2004: 399-404 |
41 | EE | Sampath Yerramalla,
Yan Liu,
Edgar Fuller,
Bojan Cukic,
Srikanth Gururajan:
An Approach to V&V of Embedded Adaptive Systems.
FAABS 2004: 173-188 |
40 | EE | Ali 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 |
39 | EE | Dejan Desovski,
Vijai Gandikota,
Yan Liu,
Yue Jiang,
Bojan Cukic:
Validation and Reliability Estimation of a Fingerprint Image Registration Software.
ISSRE 2004: 306-313 |
38 | EE | Lan Guo,
Yan Ma,
Bojan Cukic,
Harshinder Singh:
Robust Prediction of Fault-Proneness by Random Forests.
ISSRE 2004: 417-428 |
37 | EE | Ming 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 |
36 | EE | Paola Bracchi,
Bojan Cukic,
Vittorio Cortellessa:
Performability Modeling of Mobile Software Systems.
ISSRE 2004: 77-88 |
35 | EE | Ravishankar Boddu,
Lan Guo,
Supratik Mukhopadhyay,
Bojan Cukic:
RETNA: From Requirements to Testing in a Natural Way.
RE 2004: 262-271 |
34 | EE | Sherif 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 |
33 | EE | Lan Guo,
Bojan Cukic,
Harshinder Singh:
Predicting Fault Prone Modules by the Dempster-Shafer Belief Networks.
ASE 2003: 249-252 |
32 | EE | Mark Shereshevsky,
Jonathan Crowell,
Bojan Cukic,
Vijai Gandikota,
Yan Liu:
Software Aging and Multifractality of Memory Resources.
DSN 2003: 721-730 |
31 | EE | Yan Liu,
Srikanth Gururajan,
Bojan Cukic,
Tim Menzies,
Marcello R. Napolitano:
Validating an Online Adaptive System Using SVDD.
ICTAI 2003: 384- |
30 | EE | Sampath 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 |
29 | EE | Philip 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 |
28 | EE | David Owen,
Tim Menzies,
Bojan Cukic:
What Makes Finite-State Models More (or Less) Testable?
ASE 2002: 237-240 |
27 | EE | Tim Menzies,
David Owen,
Bojan Cukic:
You Seem Friendly, But Can I Trust You?
FAABS 2002: 208-219 |
26 | EE | David 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 |
25 | EE | Yan Liu,
Tim Menzies,
Bojan Cukic:
Data Sniffing - Monitoring of Machine Learning for Online Adaptive Systems.
ICTAI 2002: 16-21 |
24 | EE | Tim Menzies,
David Owen,
Bojan Cukic:
Saturation Effects in Testing of Formal Models.
ISSRE 2002: 15-26 |
23 | EE | Vittorio Cortellessa,
Harshinder Singh,
Bojan Cukic:
Early reliability assessment of UML based software models.
Workshop on Software and Performance 2002: 302-309 |
22 | EE | Bojan 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) |
21 | EE | Taghi 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 |
19 | EE | Bojan Cukic:
The Need for Verification and Validation Techniques for Adaptive Control System.
ISADS 2001: 297-298 |
18 | EE | Harshinder 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 |
17 | EE | Victor L. Winter,
Dejan Desovski,
Bojan Cukic:
Virtual Environment Modeling for Requirements Validation of High Consequence Systems.
RE 2001: 23-30 |
2000 |
16 | EE | Tim Menzies,
Bojan Cukic,
Harshinder Singh:
Agents Talking Faster.
FAABS 2000: 194-208 |
15 | EE | Tim Menzies,
Bojan Cukic,
Harshinder Singh,
John D. Powell:
Testing Nondeterminate Systems.
ISSRE 2000: 222-233 |
14 | EE | Brian 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) |
12 | EE | Tim 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 |
10 | EE | Ali 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 |
8 | EE | Diego Del Gobbo,
Bojan Cukic,
Marcello R. Napolitano,
Steve M. Easterbrook:
Fault Detectability Analysis for Requirements Validation of Fault Tolerant Systems.
HASE 1999: 231-238 |
7 | EE | Tim Menzies,
Bojan Cukic:
On the Sufficiency of Limited Testing for Knowledge Based Systems.
ICTAI 1999: 431-440 |
6 | EE | Sherif M. Yacoub,
Bojan Cukic,
Hany H. Ammar:
A Component-based Approach to Reliability Analysis of Distributed Systems.
SRDS 1999: 158-167 |
1998 |
5 | EE | Diego 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 |
4 | EE | Victoria Hilford,
Farokh B. Bastani,
Bojan Cukic:
EH* - Extendible Hashing in a Distributed Environment.
COMPSAC 1997: 217- |
3 | EE | Bojan Cukic:
Combining Testing and Correctness Verification in Software Reliability Assessment.
HASE 1997: 182-187 |
1996 |
2 | EE | Farokh 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 |