Displaying works 201 - 220 of 271 in total
Sorted by most recent date added to the index first, which may not be the same as publication date order.
2018 conference paper
State-based formal methods in scientific computation
In M. Butler, A. Raschke, T. S. Hoang, & K. Reichl (Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z (pp. 392β396).
Ed(s): M. Butler, A. Raschke, T. Hoang & K. Reichl
Event: at Cham
2018 journal article
Numerical study on factors influencing typhoon-induced storm surge distribution in Zhanjiang Harbor
Estuarine, Coastal and Shelf Science, 215, 39β51.
2018 article
Poster: Automated Program Repair with Canonical Constraints
PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, pp. 339β341.
2018 article
Dazed: Measuring the Cognitive Load of Solving Technical Interview Problems at the Whiteboard
2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING TECHNOLOGIES RESULTS (ICSE-NIER), pp. 93β96.
Contributors: M. Behroozi nβ, A. Lui*, I. Moore n, D. Ford n & C. Parnin n
2018 article
Poster: Improving Formation of Student Teams: A Clustering Approach
PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, pp. 147β148.
2018 article
Identifying Security Issues in Software Development: Are Keywords Enough?
PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, pp. 426β427.
2018 journal article
BUR-GEN: A Bursty Packet Generator for Vehicular Communication Channels
IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, 67(11), 10232β10242.
2018 journal article
LCD: A Fast Contrastive Divergence Based Algorithm for Restricted Boltzmann Machine
NEURAL NETWORKS, 108, 399β410.
2018 article
Characteristics of Defective Infrastructure as Code Scripts in DevOps
PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, pp. 476β479.
2018 article
Poster: Defect Prediction Metrics for Infrastructure as Code Scripts in DevOps
PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, pp. 414β415.
2018 article
TScope: Automatic Timeout Bug Identification for Server Systems
15TH IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING (ICAC 2018), pp. 1β10.
2018 conference paper
Identifying How Metacognitive Judgments Influence Student Performance During Learning with MetaTutorIVH
INTELLIGENT TUTORING SYSTEMS, ITS 2018, 10858, 140β149.
2018 journal article
Choice Poetics by Example
ARTS, 7(3).
2018 review
Attack surface definitions: A systematic literature review
[Review of ]. INFORMATION AND SOFTWARE TECHNOLOGY, 104, 94β103.
2018 article
Guest Editorial for the Special Section from the 9th International Symposium on Search Based Software Engineering
Petke, J., & Menzies, T. (2018, December). INFORMATION AND SOFTWARE TECHNOLOGY, Vol. 104, pp. 194β194.
2018 article
Co-Scheduling on Fused CPU-GPU Architectures With Shared Last Level Caches
Damschen, M., Mueller, F., & Henkel, J. (2018, November). IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, Vol. 37, pp. 2337β2347.
2018 journal article
Reliability Analysis of Lead-Free Solders in Electronic Packaging Using a Novel Surrogate Model and Kriging Concept
JOURNAL OF ELECTRONIC PACKAGING, 140(4).
2018 article
A Failure Recovery Protocol for Software-Defined Real-Time Networks
Qian, T., & Mueller, F. (2018, November). IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, Vol. 37, pp. 2222β2232.
2018 article
Open-Source Software in Class: Students' Common Mistakes
2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING EDUCATION AND TRAINING (ICSE-SEET), pp. 40β48.
2018 article
10+Years of Teaching Software Engineering with iTrust: the Good, the Bad, and the Ugly
2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING EDUCATION AND TRAINING (ICSE-SEET), pp. 1β4.