Invariant relations for affine loops
Ghardallou, Wided, Mohammadi, Hessamaldin, Linger, Richard C., Pleszkoch, Mark, Loh, JiMeng, Mili, Ali
Published in Acta informatica (01.09.2024)
Published in Acta informatica (01.09.2024)
Get full text
Journal Article
Survivability: protecting your critical systems
Ellison, R.J., Fisher, D.A., Linger, R.C., Lipson, H.F., Longstaff, T.A., Mead, N.R.
Published in IEEE internet computing (01.11.1999)
Published in IEEE internet computing (01.11.1999)
Get full text
Journal Article
A Service-Oriented Composition Framework with QoS Management
Fung, Casey K, Hung, Patrick C.K, Linger, Richard C, Wang, Guijun, Walton, Gwendolyn H
Published in International journal of web services research (01.07.2006)
Published in International journal of web services research (01.07.2006)
Get full text
Journal Article
Computing Program Functions
Mohammadi, Hessamaldin, Ghardallou, Wided, Linger, Richard C, Mili, Ali
Published in 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2022)
Published in 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2022)
Get full text
Conference Proceeding
Introducing function extraction into software testing
Pleszkoch, Mark G., Linger, Richard C., Hevner, Alan R.
Published in ACM SIGMIS Database: the DATABASE for Advances in Information Systems (31.07.2008)
Published in ACM SIGMIS Database: the DATABASE for Advances in Information Systems (31.07.2008)
Get full text
Journal Article
Trade Publication Article
The incremental development process in Cleanroom software engineering
Trammell, Carmen J., Pleszkoch, Mark G., Linger, Richard C., Hevner, Alan R.
Published in Decision Support Systems (22.04.1996)
Published in Decision Support Systems (22.04.1996)
Get full text
Journal Article
Comparison of the QCM and the SPR method for surface studies and immunological applications
Köβlinger, C., Uttenthaler, E., Drost, S., Aberl, F., Wolf, H., Brink, G., Stanglmaier, A., Sackmann, E.
Published in Sensors and actuators. B, Chemical (1995)
Published in Sensors and actuators. B, Chemical (1995)
Get full text
Journal Article
Conference Proceeding
Flow-Service-Quality (FSQ) engineering: foundations for high-assurance network systems development
Linger, R.C., Hevner, A.R., Walton, G., Pleszkoch, M.G.
Published in Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings (2004)
Published in Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings (2004)
Get full text
Conference Proceeding
Cleanroom software engineering for zero-defect software
Linger, R.C.
Published in Proceedings of 1993 15th International Conference on Software Engineering (1993)
Published in Proceedings of 1993 15th International Conference on Software Engineering (1993)
Get full text
Conference Proceeding