The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 10 - October (vol. 32)
ISSN: 0098-5589
Editorial

Hidden Implementation Dependencies in High Assurance and Critical Computing Systems (Abstract)

D. Conte de Leon , Center for Secure and Dependable Systems, University of Idaho, Moscow, ID
J. Alves-Foss , Center for Secure and Dependable Systems, University of Idaho, Moscow, ID
pp. 790-811

MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems (Abstract)

H. Bohnenkamp , Software Modeling and Verification Group, Informatik 2, University (RWTH) Aachen, 52056 Aachen, Germany
P.R. D'Argenio , Computer Science Group, FaMAF, Universidad Nacional de Co´rdoba, Ciudad Universitaria, 5000?Cordoba, Argentina
H. Hermanns , Dependable Systems and Software Group, Department of Computer Science, Saarland University, 66123 Saarbrucken, Germany
J.-P. Katoen , Software Modeling and Verification Group, Informatik 2, University (RWTH) Aachen, 52056 Aachen, Germany
pp. 812-830

Statistical Debugging: A Hypothesis Testing-Based Approach (Abstract)

Chao Liu , Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL 61801
Long Fei , School of Electronic and Computer Engineering, Purdue University, West Lafayette, IN 47907
Xifeng Yan , Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL 61801
Jiawei Han , Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, IL 61801
S.P. Midkiff , School of Electronic and Computer Engineering, Purdue University, West Lafayette, IN 47907
pp. 831-848
Papers
93 ms
(Ver 3.3 (11022016))