| * | 2009 |
|---|
| 69 | EE | Betty H. C. Cheng,
Rogério de Lemos,
Holger Giese,
Paola Inverardi,
Jeff Magee,
Jesper Andersson,
Basil Becker,
Nelly Bencomo,
Yuriy Brun,
Bojan Cukic,
Giovanna Di Marzo Serugendo,
Schahram Dustdar,
Anthony Finkelstein,
Cristina Gacek,
Kurt Geihs,
Vincenzo Grassi,
Gabor Karsai,
Holger M. Kienle,
Jeff Kramer,
Marin Litoiu,
Sam Malek,
Raffaela Mirandola,
Hausi A. Müller,
Sooyong Park,
Mary Shaw,
Matthias Tichy,
Massimo Tivoli,
Danny Weyns,
Jon Whittle:
Software Engineering for Self-Adaptive Systems: A Research Roadmap.
Software Engineering for Self-Adaptive Systems 2009: 1-26 |
| 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 |
