Items where Author is "Hiller, M."

Journal Article

Suri, Neeraj and Jhumka, A. and Hiller, M. and Pataricza, A. and Islam, S. and Sârbu, C. (2010) A software integration approach for designing and assessing dependable embedded systems. Journal of Systems and Software, 83 (10). pp. 1780-1800. ISSN 0164-1212

Hiller, M. and Jhumka, A. and Suri, Neeraj (2004) EPIC : Profiling the propagation and effect of data errors in software. IEEE Transactions on Computers, 53 (5). pp. 512-530. ISSN 0018-9340

Askerdal, Ö. and Gäfvert, M. and Hiller, M. and Suri, Neeraj (2003) Analyzing the Impact of Data Errors in Safety-Critical Control Systems. IEICE Transactions on Information and Systems, E86-D (12). pp. 2623-2633. ISSN 0916-8532

Contribution in Book/Report/Proceedings

Jhumka, A. and Hiller, M. and Suri, Neeraj (2004) An approach for designing and assessing detectors for dependable component-based systems. In: Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings :. Proc. IEEE Int. Symp. High Assur. Syst. Eng., 8 . IEEE, pp. 69-78. ISBN 0769520944

Jhumka, A. and Suri, Neeraj and Hiller, M. (2003) A framework for the design and validation of efficient fail-safe fault-tolerant programs. In: Software and Compilers for Embedded Systems :. Springer-Verlag, pp. 182-197. ISBN 9783540201458

Askerdal, O. and Gäfvert, M. and Hiller, M. and Suri, Neeraj (2002) A control theory approach for analyzing the effects of data errors in safety-critical control systems. In: Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings :. IEEE, pp. 105-114. ISBN 0769518524

Jhumka, A. and Hiller, M. and Suri, Neeraj (2002) An approach to specify and test component-based dependable software. In: 7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings. :. IEEE, pp. 211-220. ISBN 0769517692

Hiller, M. and Jhumka, A. and Suri, Neeraj (2002) PROPANE : An environment for examining the propagation of errors in software. In: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis : ISSTA '02. ACM, pp. 81-85. ISBN 1581135629

Hiller, M. and Jhumka, A. and Suri, Neeraj (2002) On the placement of software mechanisms for detection of data errors. In: Proceedings International Conference on Dependable Systems and Networks :. UNSPECIFIED, pp. 135-144. ISBN 0769515975

Jhumka, A. and Hiller, M. and Claesson, V. and Suri, Neeraj (2002) On systematic design of globally consistent executable assertions in embedded software. In: Proceedings of the joint conference on Languages, compilers and tools for embedded systems : software and compilers for embedded systems. ACM, pp. 75-84. ISBN 1581135270

Jhumka, A. and Hiller, M. and Suri, Neeraj (2002) Component-based synthesis of dependable embedded software. In: Formal Techniques in Real-Time and Fault-Tolerant Systems :. Springer-Verlag, pp. 111-128. ISBN 9783540441656

Jhumka, A. and Hiller, M. and Suri, Neeraj (2001) Assessing inter-modular error propagation in distributed software. In: Proceedings 20th IEEE Symposium on Reliable Distributed Systems :. IEEE, pp. 152-161. ISBN 0769513662

Hiller, M. and Jhumka, A. and Suri, Neeraj (2001) An approach for analysing the propagation of data errors in software. In: 2001 International Conference on Dependable Systems and Networks :. IEEE, pp. 161-170. ISBN 0769511015